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.


  • 1
    $\begingroup$ 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. en.wikipedia.org/wiki/Primary_ideal There's an example there where a primary ideal is not always a power of its radical. $\endgroup$ Dec 22 '11 at 10:03
  • 5
    $\begingroup$ $(X,Y^2)\subset K[X,Y]$, where $K$ is a field. $\endgroup$ Dec 22 '11 at 10:38
  • $\begingroup$ @Pierre; I was searching for an easier counterexample. $\endgroup$
    – Vahid
    Dec 22 '11 at 15:11
  • 1
    $\begingroup$ So, you knew the answer. $\endgroup$ Dec 22 '11 at 15:19
  • 4
    $\begingroup$ 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!) $\endgroup$ Jun 16 '12 at 16:34

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
    $\begingroup$ 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. $\endgroup$ Jun 16 '12 at 15:44
  • $\begingroup$ 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... $\endgroup$ Sep 22 '13 at 8:09
  • $\begingroup$ @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$. $\endgroup$ Sep 23 '13 at 5:51
  • $\begingroup$ 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? $\endgroup$ Sep 23 '13 at 15:36
  • 3
    $\begingroup$ @leducquang Can you give me a list of all prime ideals containing $q$? $\endgroup$ Sep 25 '13 at 6:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.