2
$\begingroup$

Let $A$ be a noetherian ring and $I$ be an ideal (need not contained in Jacobson radical) of $A$. An element $a\in I$ is said to be superficial if there exists $c\in\mathbb{N}$ such that $(I^n:a)\cap I^c=I^{n-1}$ for all $n\geq c$.

If $a$ is a superficial element of a regular ideal $I$, then $a\notin I^2$. I don't understand why it follows easily.

$\endgroup$
3
  • 5
    $\begingroup$ What is $(I^n:a)$, and what does the question have to do with Hilbert polynomials and algebraic geometry? $\endgroup$ Commented Sep 10 at 8:45
  • 2
    $\begingroup$ Do you mean $(I^n: a)=\{r\in A: ra\in I^n\}$? This is the definition that I am familiar with. $\endgroup$ Commented Sep 10 at 9:21
  • $\begingroup$ Yes @BoweiTang. $\endgroup$ Commented Sep 10 at 9:27

2 Answers 2

3
$\begingroup$

If $a\in I^2$, then for any $x\in I^{n-2}$ with $n\geq 2$, we have $ax\in I^2\cdot I^{n-2}=I^n$. So, $I^{n-2}\subseteq (I^n:a)$. Take $c'=\max\{2,c\}$, we have $I^{m}\subseteq (I^{m+2}: a)\cap I^{c'}=I^{m+1}$ for all $m\geq c'$ and thus $I^m=I^{m+1}$ for all $m\geq c'$. By Nakayama's lemma, we have $I^m=0$, which contradicts to the fact that $I$ is a regular ideal.

$\endgroup$
10
  • $\begingroup$ Why is the ideal $I$ contained in the jacobson radical ? $\endgroup$ Commented Sep 10 at 10:18
  • $\begingroup$ @DebojyotiPal I don't understand your question. May I ask which step? $\endgroup$ Commented Sep 10 at 10:20
  • $\begingroup$ You have used Nakayama's lemma. The necessary condition for Nakayama's lemma is that the ideal must be contained in Jacobson radical. $\endgroup$ Commented Sep 10 at 10:41
  • 1
    $\begingroup$ @DebojyotiPal oops, I forgot that. So my answer only answers part of your question, i.e., when $A$ is a noetherian local ring or $I\subseteq J(A)$ $\endgroup$ Commented Sep 10 at 10:45
  • 1
    $\begingroup$ One can localize at each maximal ideal containing $I$ in order to use Nakayama as well. $\endgroup$ Commented Sep 10 at 16:37
2
+50
$\begingroup$

The claim is not true for a Noetherian ring. For a counterexample, let $A=\mathbf Z/6\mathbf Z$ and $I=(2)$. Note that $I=I^2$ and $a=2\in I$ is a superficial element.

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.