6
$\begingroup$

We know that every prime ideal is primary ideal. But can we say, every primary ideal is a power of prime ideal? if it is not correct a counterexample.

Thanks.

  • 0
    I am a little tired right now so I can't figure out an example, but even though the example with $\mathbb Z$ seems convincing (which is probably your intuition behind it, I believe), I don't think it's true ; perhaps you should just check this out. http://en.wikipedia.org/wiki/Primary_ideal There's an example there where a primary ideal is not always a power of its radical.2011-12-22
  • 4
    $(X,Y^2)\subset K[X,Y]$, where $K$ is a field.2011-12-22
  • 0
    @Pierre; I was searching for an easier counterexample.2011-12-22
  • 1
    So, you knew the answer.2011-12-22
  • 0
    no I got in wikipedia..2011-12-23
  • 0
    Dear @Pierre-YvesGaillard, why do we need $K$ to be a field? It seems to me that the example also works if $K$ is a ring and I'm wondering what I'm missing.2012-06-16
  • 4
    Dear @Matt: If $K=A\times B$ where $A$ and $B$ are nonzero rings, then the image of $(1,0)\in K$ in $K[X,Y]/(X,Y^2)$ is a non-nilpotent zero divisor. (More generally, if $(0)$ is not primary in $K$, then $(X,Y^2)$ is not primary in $K[X,Y]$.) ($+1$ to your answer!)2012-06-16
  • 0
    Dear @Pierre-YvesGaillard Thank you very much for both, your reply and the plus one!2012-06-17

1 Answers 1

4

From Atiyah-MacDonald, page 51, Example 2):

"Let $A=k[x,y], \mathfrak q = (x,y^2)$. Then $A / \mathfrak q \cong k[y]/(y^2)$, in which the zero-divisors are all the multiples of $y$, hence are nilpotent. Hence $\mathfrak q$ is primary, and its radical $\mathfrak p$ is $(x,y)$. We have $\mathfrak p^2 \subset \mathfrak q \subset \mathfrak p$ (strict inclusions), so that a primary ideal is not necessarily a prime power."

  • 2
    Even though this example was already given in the comments I am posting it as an answer to reduce the number of questions without answers.2012-06-16
  • 0
    Sorry I don't get it. how can you conclude from the fact $p^{2} \subset q \subset p$ that $q$ is not the power of prime ideal. I think at most you could only conclude that it is not the square of a prime ideal. Please explain for me. Thanks...2013-09-22
  • 0
    @leducquang If $p^2 \subsetneq q \subsetneq p$ then neither $q=p^2$ nor $q=p$ but there are no powers of $p$ between $p$ and $p^2$ so therefore $q$ is not equal to a power of $p$.2013-09-23
  • 0
    Why $q$ must be a power of $p$ and not be a power of some other ideal? I don't get it. Can you make it clearer?2013-09-23
  • 2
    @leducquang Can you give me a list of all prime ideals containing $q$?2013-09-25