Skip to main content
Aurora's user avatar
Aurora's user avatar
Aurora's user avatar
Aurora
  • Member for 12 years, 7 months
  • Last seen more than 6 years ago
awarded
awarded
awarded
Loading…
comment
Almost complete intersection ideal and $d$-sequence
It depends on how you are going to define a sequence to be a $d$-sequence. For instance, in the Huneke's paper which I cited above, to define $d$-sequences, colon ideals are considered for any permutation of the sequence.
comment
Almost complete intersection ideal and $d$-sequence
$(x^3):xy^2=(x^2)$, but $(x^3):x^2y^4=(x)$, therefore $x^3,xy^2$ is not a $d$-sequence.
revised
Loading…
answered
Loading…
Loading…
asked
Loading…
comment
$F$-pure threshold of an $F$-pure ideal
@lemiller, Thanks. Would you please mention its reference? The question can be modifies as, whether $F$-pure ideals have a particular $F$-pure threshold, something like a function of the dimension of the ring or the codimension of the defining ideal
asked
Loading…
comment
$I=mI$, when I is not finitely generated
Let $k$ be a perfect field of characteristic $2$ and $R=\bigcup^{\infty} k[[x^{1/2^i}]]$. Then the unique maximal ideal $\mathfrak{m}$ of $R$ is generated by $\{x^{1/2^i}:i\in \mathbb{N}\}$. It is easily seen that $\mathfrak{m}^2=\mathfrak{m}$. In general if $R$ is a perfect ring of prime characteristic $p>0$ then any prime ideal $\mathfrak{p}$ of $R$ satisfies $\mathfrak{p}^2=\mathfrak{p}$, whence $\mathfrak{p}\mathfrak{m}=\mathfrak{p}$, provided $(R,\mathfrak{m})$ is local as well.
awarded
accepted
asked
Loading…
comment
Does module Hom commute with tensor product in the second variable?
@Lau-tzu $Hom_{\mathbb{Z}}(\mathbb{Q},\mathbb{Z})=0$
Loading…
comment
addition on an affine scheme
@მამუკა ჯიბლაძე, how do we define addition on an affine space? do you mean $Spec(K[x_1,\ldots,x_n])$ by an affine space over a field $K$?
comment
1
2 3 4 5