12
$\begingroup$

I was looking at an exercise this morning which I was able to reduce to showing that the nilradical is the the intersection of the prime ideals in a ring -- a fact I remembered was true, but which I tried for a while to prove without success. Bucking my usual tendency to let something like that ruin the rest of my day for research, I dug out my copy of Atiyah and MacDonald and looked up the answer. (The idea is to assume that some non-nilpotent element f lies in every prime ideal, apply Zorn's lemma to the ideals which contain no power of f ordered by inclusion, and then show that the upper bound is prime.)

My reaction to this was something along the lines of, "Ah, I never would have got that, because I never would have tried using Zorn's lemma!" Upon further reflection, I realized that this indicated a serious weakness in my ability to do commutative algebra.

I'm perfectly comfortable using Zorn's lemma for something like showing that an arbitrary vector space has a basis, but when I look at a question like this I'm just not seeing the connection. I know that this doesn't really have a definite answer, but I was hoping that someone would be able to point out some kind of connection that would improve my intuition for when Zorn's lemma might be effective.

EDIT: Thanks to everyone for all the answers. They are all helpful and I had a hard time choosing!

  • 0
    I'd say: try to use Zorn's lemma any time you have to build a ‘maximal’ object but have no *canonical* way of doing so. But I agree that its use is not quite so obvious in the exercise you quote...2011-09-03
  • 3
    Eisenbud remarks in [his book](http://books.google.com/books?id=Fm_yPgZBucMC&lpg=PP1&pg=PA70#v=onepage&q&f=false) that ideals maximal with respect to some property tend to be prime, and gives a few examples. This particular proof might be made more transparent via localization.2011-09-03
  • 4
    A related question: [How to use Zorn’s lemma](http://gowers.wordpress.com/2008/08/12/how-to-use-zorns-lemma/), in Gowers's blog.2011-09-03
  • 1
    "My supervision partner solved the problem using Zorn’s lemma, which we had been told about in a lecture, and I just sat there in disbelief because it hadn’t even remotely occurred to me that Zorn’s lemma might be useful." Good to at least know I'm in the same boat as a future Fields medalist...2011-09-03
  • 0
    Good question. Even, I was thinking about asking this here. You also use $\text{Zorn's lemma}$ for proving that a ring with $1$ has a maximal ideal.2011-09-03
  • 0
    The general statement here is that if $S$ is a multiplicative subset of a comm. ring (not containing 0), then an ideal which is maximal among all ideals disjoint from $S$, is prime. When $S$ = powers of a non-nilpotent element $f$, you get the result mentioned in the original post. If in particular you choose $f=1$, you get that every comm. ring (with 1) has a maximal ideal. What are other applications of Zorn's Lemma are there in comm. algebra besides special cases of this?2011-09-03
  • 0
    The only additional tip I can give you is to study a lot. Eventually intuition about when to apply Zorn's lemma comes.2011-09-04

3 Answers 3

9

As Dylan Moreland hints at in a comment above, one way to think about your specific question (on nilradicals), which is very commutative algebraic in spirit, is to first localize your ring $A$ at the non-nilpotent element $f$. The problem then amounts to proving that the non-zero ring $A_f$ admits a prime ideal, and this follows from Zorn's lemma: any non-zero ring (with identity) has a maximal (and hence prime) ideal.

This result on the existence of maximal ideals is the standard use of Zorn's lemma in commutative algebra, akin to the existence of bases in linear algebra. If you would like to strengthen your commutative algebra, the solution is perhaps not so much to find a wider range of situations in which to apply Zorn's lemma, but rather to practice applying standard tricks such as localization, so as to find ways to put yourself into situations where this standard application of Zorn's lemma can be used.

8

Perhaps this is an overly on-the-nose answer to what is really a more general question, but here goes:

You are given a non-nilpotent element $x$ of a commutative ring $R$ and need to find a prime ideal $\mathfrak{p}$ of $R$ such that $x \notin \mathfrak{p}$. So in particular you need to find a prime ideal of $R$! But without some form Zorn's Lemma / Axiom of Choice there are nonzero commutative rings with no prime ideals whatsoever. Indeed, the Boolean Prime Ideal Theorem is the assertion that every nonzero Boolean ring has a prime ideal, and this is well known to be strictly weaker than Zorn's Lemma / Axiom of Choice but not derivable from standard ZF set theory. See this answer by Chris Phan to a closely related MO question for more information on this point.

Here is a sketch of a better, more general answer: it is often the case that any ideal in a commutative ring which is maximal with respect to some given property $P$ is necessarily prime. Hand in hand with this goes the fact that ideals maximal with respect to $P$ exist, which is usually verified using Zorn's Lemma. The above is a special case of this where the maximality is with respect to exclusion of a certain multiplicatively closed subset. For more on this I highly recommend that you read about the Prime Ideal Principle of Lam and Reyes.

  • 2
    An exposition of the result of Lam-Reyes can be found in 1.3 of http://people.fas.harvard.edu/~amathew/chspec.pdf, incidentally. To avoid making this look like pure advertising, let me point out some applications (shown there): one can show using the Lam-Reyes method that an ideal maximal with respect to being *not principal* is necessarily prime. So to check that a ring is a PIR, one just has to check on prime ideals. Another example is the fact that noetherianness can be checked, again, simply on prime ideals. I have no idea where these results have actually been used, but they are fun!2011-09-04
  • 1
    @Akhil: when your product is free, I see no reason for qualms about advertising it!2011-09-04
  • 1
    @Akhil: In your exposition, in the definition of an Oka family (Definition 1.15), shouldn't the condition be that $R \in F$ rather than $R \not \in F$? When you apply the Proposition 1.18, you don't want to get $R$ as a maximal not-in-$F$ ideal, so you need $R \in F$. Furthermore, in the examples you give (principal ideals, finitely generated ideals) $R$ is in the family.2011-09-04
  • 0
    @Ted: Thanks for pointing that out. I had made a mistake earlier in this section, which someone else corrected, but I apparently didn't correct it completely then. I've just done so.2011-09-04
4

IMO, you rarely set out to do a problem and think "Oh, I'll use Zorn's lemma! If I can only figure out how...." Instead, the opportunity comes up naturally, and you just have to notice it.

For example, the proof that every vector space has a basis; everyone learns in their first linear algebra course the algorithm to prove a finite-dimensional vector space has a basis:

  1. Start with the empty set
  2. If your current set is a basis, you're done
  3. Pick some element not in the span of your current set
  4. Add that element to your current set
  5. Go to step 2

Since the vector space is finite dimensional, this algorithm stops and you get a basis.

Now, to prove that all vector spaces have bases, you don't have to do anything new -- you already know the key idea, and in this case you merely have to notice that this algorithm still terminates (but after transfinitely many steps).

Of course, I tend to invoke the well-ordering theorem in my proofs rather than Zorn's Lemma -- as you might guess from my example -- but the same idea can apply.

For the problem in your opening post, the key idea seems to be

Choose an ideal that doesn't contain a power of $x$

And to notice that any particular violation of primeness can be corrected by picking a bigger ideal. It's at this point you notice "Hey, Zorn's lemma lets me do that!" and invoke it to complete your proof.