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