In this note I just want to record some facts about commutative algebra about which I often just think “that’s something to do with Nakayama’s lemma, which is a thing” and try to do them justice. In particular, I want to prove the following very nice fact.

**Theorem: **Let be a *local* ring (one with a unique maximal ideal ). Then if the finitely-generated -module has the property that as a finite dimensional vector space, it follows that . In other words, we can lift a basis of to get a generating set of .

First, some remarks about why this isn’t trivial and why all the conditions are necessary. The hypothesis of locality is essential. Indeed, if there are two maximal ideals , then is an -module whose image under projection by is the zero vector space. This has as a basis the empty set, which certainly doesn’t lift to a generating set of the whole module. In general, having loads of maximal ideals floating about will often result in such ‘cancellation’ behaviour. The hypothesis that is finitely generated is also essential. Indeed, an important aspect of the proof will involve taking polynomial equations whose degree is the dimension of the space.

So how are we going to prove it? Well, the module is certainly a *submodule* of , and in fact we can write (since the generate the quotient module, is surjective). The essential ingredient is therefore to show that is substantially *smaller* than M. In fact, we want it to be so much smaller that in fact is trivial. What we have just written leads us to the following plausible conjecture.

**Plausible but Optimistic Conjecture: **If is a finitely generated -module with , for some proper ideal , then . Or, to put it another way, multiplication by an ideal of must always make a nonzero module smaller.

This is plausible because multiplication by ideals feels like it should usually make things smaller. However, it is optimistic because it is obviously false outside local rings (multiplying a cyclic group of order 3 by 2 doesn’t make it smaller). Our hope is that with a single maximal ideal governing behaviour, -modules will be unable to ‘dodge’ having to get smaller in such a way. What nice properties do local rings have that will facilitate a proof of non-dodgingness?

**Why local rings are lovely: **Take any proper ideal, and consider the coset . This certainly has no intersection with , and therefore *every element of is a unit!*

Contrast with the horrible old integers, where 2+1 = 3, which isn’t a unit. So yes, maybe our conjecture is true. In fact, given the loveliness of local rings, it will now suffice to find an element which kills (since then will kill , proving that ).

But we have an obvious way to get such an element, using the fact that is finitely generated. What does the condition mean? Well, take a bunch of generators for , and write out equations for each of them in terms of elements of :

Then, multiplying by the adjugate, we deduce that as an endomorphism of the module, and this determinant expands to a give precisely a number in which therefore annihilates . So our plausible conjecture was true, and we have proved the theorem.

The content of this post is actually part of a more general story, centred around Nakayama’s lemma, which is just our ‘plausible conjecture’ but with the locality condition replaced by the (what feels like almost as stringent) condition that must be contained in the intersection of all maximal ideals of . Chapter II of Atiyah and MacDonald is the obvious reference.

## Leave a comment

Comments feed for this article