Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I've recently been reading about primary decomposition, and was browsing the questions here. From this, I know that it is not true that every primary ideal is the power of a prime ideal.

I'm curious about a slight variation inspired by the comments. Consider $K[X,Y]$, for $K$ a field. For any prime $\mathfrak{p}\subset K[X,Y]$, and any $n\geq 1$, is the ideal $\mathfrak{p}^n$ primary, so that if $ab\in\mathfrak{p}^n$, then either $a\in\mathfrak{p}^n$ or $b^j\in\mathfrak{p}^n$ for some $j$?

I suspect it is indeed true, and it is obviously true when $n=1$. An inductive approach doesn't feel right, so is there another way to reach the conclusion?

share|improve this question
add comment

1 Answer

up vote 6 down vote accepted

The answer is yes. Recall the following important fact:

Theorem. (Reid, Undergraduate Commutative Algebra, Proposition page 22) The prime ideals of $k[x,y]$ are as follows:

  1. $0$;
  2. $(f)$, for irreducible $f \in k[x,y]$;
  3. maximal ideals $\mathfrak{m}$.

Now you can easily conlude with the following two facts: (a) a power of a maximal ideal is primary (Atiyah, Macdonald 4.2); (b) in a UFD the power of a principal prime ideal is primary.

I don't know what happens in general in $k[x_1, \dots, x_n]$, when $n \geq 3$. It can be prooved that if $\mathfrak{p}$ is a monomial prime in $k[x_1, \dots, x_n]$ then $\mathfrak{p}^m$ is $\mathfrak{p}$-primary for all $m$.

share|improve this answer
    
I doubt this holds for $n\geq 3$. –  Alex Becker Feb 24 '12 at 20:27
    
Thanks Andrea. Do you have a proof or reference to a proof of the second fact (b) stated above? –  Kally Feb 25 '12 at 1:16
    
It is quite easy. Try to prove it on your own. –  Andrea Feb 25 '12 at 13:46
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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