The Nakayama lemma as a concept is present throughout Commutative Algebra. And truth be told, learning it is not easy. The proof contains a small trick that is deceptively simple, but throws off many people. Also, it is easy to dismiss this lemma as unimportant. But as one would surely find out later, this would be an error in judgement. I am going to discuss this theorem and its proof in detail.
The statement of the theorem, as stated in Matsumura, is:
Let be an ideal in , and be a finitely generated module over . If , then there exists such that , and .
What does this statement even mean? Why is it so important? Why are the conditions given this way? Are these conditions necessary conditions? These are some questions that we can ask. We will try and discuss as many of them as we can.
is probably finitely generated so that we can generate a matrix, which by definiton has to be finite dimensional. Where the matrix comes in will become clear when we discuss the proof. What does imply? This is a highly unusual situation. For instance, if and , then . I can’t think of examples in which , and . However, that does not mean that there do not exist any. What does it mean for ? It just means that for some . That was fairly simple! Now let’s get on with the proof.
Let be generated by the elements . If , then for each generator , we have , where all the . We then have . Let us now create a matrix of these equations in the natural way, in which the rows are indexed by the ‘s. The determinant of this matrix will be , as for any column vector that we multiply this matrix with, we will get . On expanding this determinant, we will get an expression of the form , where . If is odd, then just multiply the expression by . In either case, you get , where ( or ).
Now as is , we have . Hence, such that and
The reason why the proof is generally slightly confusing is that it is done more generally. It is first assume that there exists a morphism such that . Cayley-Hamilton is then used to give a determinant in terms of , and then it is assumed that . Here I have directly assumed that , which made matters much simpler.