Nakayama's Lemma

Core Idea

Nakayama's lemma states that if M is a finitely generated module over a local ring (R, 𝔪) and 𝔪M = M, then M = 0. Equivalently, elements of M that generate M/𝔪M (a vector space over the residue field) lift to generators of M itself. This seemingly simple result is one of the most frequently used tools in commutative algebra, enabling the "linear algebra over the residue field controls the module" principle.

Explainer

Nakayama's lemma is perhaps the most used single result in commutative algebra. In its simplest form, it says: if (R, 𝔪) is a local ring and M is a finitely generated R-module with 𝔪M = M, then M = 0. The hypothesis 𝔪M = M says "multiplying M by the maximal ideal recovers all of M," and the conclusion is the surprisingly strong statement that M must be trivial. The proof is a slick induction: write the last generator as an 𝔪-linear combination of all generators, use the fact that 1 - a is a unit when a ∈ 𝔪, and eliminate one generator, contradicting minimality.

The more useful form is the generator-lifting corollary. Let k = R/𝔪 be the residue field. For any finitely generated R-module M, the quotient M/𝔪M is a finite-dimensional k-vector space (since 𝔪 acts as zero). Nakayama's lemma implies that elements of M that map to a basis of M/𝔪M generate M over R, and the minimal number of generators of M equals dim_k(M/𝔪M). This is extraordinarily useful: to find generators of an R-module, you reduce to the residue field (a much simpler object), find a basis there, and lift. The number of generators is controlled by a dimension computation over a field.

The finite generation hypothesis is not a technicality — it is essential. The ℚ-module over ℤ₍ₚ₎ satisfies 𝔪ℚ = pℚ = ℚ (every rational number is p times another rational number) but ℚ is very far from zero. The issue is that ℚ requires infinitely many generators over ℤ₍ₚ₎. In practice, the finite generation hypothesis is almost always available because the modules studied in commutative algebra are typically finitely generated over Noetherian rings.

Nakayama's lemma has far-reaching consequences. It implies that finitely generated projective modules over local rings are free — a major simplification that reduces projectivity questions to the local case. It is the key ingredient in the proof that regular local rings have finite global dimension. It underlies the Krull intersection theorem (∩ₙ 𝔪ⁿ = 0 in a Noetherian local domain). And it is used constantly in algebraic geometry: the dimension of the fiber of a coherent sheaf at a point equals dim_k(M/𝔪M), which by Nakayama controls the local structure of the sheaf.