Sunday, 23 September 2007

ac.commutative algebra - Nilradicals without Zorn's lemma

I assume the argument you have in mind is the folowing: suppose $f in cap mathfrak{p}$; then to show that $f$ is nilpotent, it suffices to show that the localized ring $A_f$ is zero. And indeed, if $f$ is in every prime ideal of $A$, then $A_f$ has no prime ideals at all; since every nonzero ring has a maximal ideal by Zorn's Lemma, we must have $A_f = 0$.



This line of reasoning easily adapts to show that in fact, the statement that $operatorname{Nil}(A) = cap mathfrak{p}$ implies that every nonzero ring has a prime ideal. Indeed, suppose that $A$ were nonzero with no prime ideals; then $cap mathfrak{p} = A$, so every element of $A$ is nilpotent. In particular, $1 = 1^n = 0$, so $A = 0$.



Following Eric Rowell's answer, this is very close to being equivalent to the axiom of choice (however, it does not obviously imply the existence of maximal ideals).

No comments:

Post a Comment