Let $A$ be a commutative ring. Suppose $P \subset A$ is a minimal prime ideal. Then it is a theorem that $P$ consists of zero-divisors.

This can be proved using localization, when $A$ is noetherian: $A_P$ is local artinian, so every element of $PA_P$ is nilpotent. Hence every element of $P$ is a zero-divisor. (As Matt E has observed, when $A$ is nonnoetherian, one can still use a similar argument: $PA_P$ is the only prime in $A_P$, hence is the radical of $A_P$ by elementary commutative algebra.)

Can this be proved without using localization?

  • $\begingroup$ Why bother? It's not like you're going to get very far in commutative algebra without using localization... $\endgroup$ – user126 Jul 22 '10 at 22:53
  • 4
    $\begingroup$ I don't agree Harry, if you had said Alg Geom, then I'd agree, but comm alg is pretty big... But this is purely opinion of course, you likely weigh the type of ring theory using localization much higher due to your inclinations :D $\endgroup$ – BBischof Jul 22 '10 at 22:59
  • $\begingroup$ Harry: A friend had asked me about this from his algebra course, where they hadn't yet covered localization. $\endgroup$ – Akhil Mathew Jul 23 '10 at 0:06
  • 29
    $\begingroup$ Because it's good to have more than one perspective on a problem! $\endgroup$ – Noah Snyder Jul 23 '10 at 3:40

Denote set complements in $\rm A $ by $\rm\,\bar T = A - T.\, $ Consider the monoid $\rm\,S\,$ generated by $\rm\,\bar P\,$ and $\rm\,\bar Z,\ $ for $\rm\,Z = $ all zero-divisors in $\rm A $ (including $0).\,$ Note $\rm\,0\not\in S\ $ (else $\rm\, 0 = a\,b,$ $\rm\ a\in \bar P,$ $\rm\ b\in \bar Z\ $ $\rm \Rightarrow b\in Z)$ so we can enlarge $\,0\,$ to an ideal $\rm\,Q\,$ maximally disjoint from $\rm\,S.\, $ Since $\rm\,S\,$ is a monoid, $\rm\,Q\,$ is prime. $\rm\, S\,\supset\, \bar P \cup \bar Z\ \Rightarrow\ Q \subset \bar S \subset P\cap Z,\, $ so by minimality of $\rm\,P\,$ we infer $\rm\, P = Q \subset Z.\quad$ QED

  • $\begingroup$ Dear Bill, Very nice, thanks! $\endgroup$ – Akhil Mathew Mar 18 '11 at 4:10
  • 1
    $\begingroup$ I only discovered your question now via a search (I was not a member when it was asked). Almost surely this is in Kaplansky's Commutative Rings (probably in a more general form). $\endgroup$ – Bill Dubuque Mar 18 '11 at 5:02
  • 3
    $\begingroup$ In some sense, this is "secretly" a localization argument since you are manipulating multiplicatively closed subsets of $A$. $\endgroup$ – Amitesh Datta Jun 1 '11 at 11:52
  • 4
    $\begingroup$ @Amitesh True, but one could probably say essentially the same of almost any "elementary" argument. $\endgroup$ – Bill Dubuque Jun 1 '11 at 12:48
  • 2
    $\begingroup$ This is Theorem 84 in Kaplansky's Commutative Rings. $\endgroup$ – user26857 Dec 26 '14 at 22:52

This is a comment on the proof sketch in the question: the localization $A_P$ is local of dimension zero (its unique maximal ideal is also a minimal prime ideal, and hence is the unique prime ideal of $A_P$), but need not be Artinian, as far as I can tell. E.g. if $A =\mathbb C[[x^{1/2},x^{1/3},\dots]]/(x)$, then $A$ is local with a unique prime ideal (namely the ideal generated by all the $x^{1/n}$), but is not Artinian (equivalently, not Noetherian), since if $(a_i)$ is any strictly descending sequence of rational numbers in the interval $(0,1)$, then the ideals $x^{a_i}A$ form a strictly descending sequence of ideals in $A$.

(Hopefully I'm not blundering here; if I am, someone please let me know!)

(Also, I should add that it is still the case that since $PA_P$ is the unique minimal prime of $A_P$, every element of $PA_P$ is nilpotent, and hence every element of $P$ is a zero divisor, so my comment is very nitpicky: it is just about the use of the terminology Artinian.)

  • $\begingroup$ Right, what I said only works when $A$ is noetherian. (+1) $\endgroup$ – Akhil Mathew Jul 28 '10 at 3:01
  • 2
    $\begingroup$ Dear Akhil, No, I think you are okay: A_P has a unique maximal ideal, which is also a minimal prime, and hence has a unique minimal prime too (PA_P is simultaneously uniquely maximal and minimal), hence PA_P is the nilradical of A_P, and so what you wrote is okay (unless I am blundering too). $\endgroup$ – Matt E Jul 28 '10 at 3:25
  • $\begingroup$ Yes, this makes sense. I'll add a reference to your comment. $\endgroup$ – Akhil Mathew Jul 30 '10 at 21:42

In the early days of commutative algebra people did not use the language of localization, so probably such proof exists. In particular, I have been told Kaplansky's early book (around 1950?) might be such reference, but I don't have it right now.

In any case, Exercise 2.3 of Eisenbud tells you how to cheat and localize without admitting it. I might be wrong here, but what you want to prove is about some multiplicative properties of elements in $R$, so perhaps any proof you can find is just localization in disguise.


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.