Nakayama's Lemma¶
A finite-generation principle saying radical multiples cannot exhaust a nonzero module and that generators after quotienting by the Jacobson radical lift to generators before quotienting.
Core Idea¶
Nakayama’s lemma makes reduction modulo a Jacobson radical reliable for finitely generated modules. If the radical times M is all of M, then M must vanish; more generally, if a submodule plus the radical part is all of M, the submodule was already all of M.
For a local ring, M/mM is a vector space over the residue field. A spanning set there lifts to module generators, which is why pointwise and local calculations in algebraic geometry can control nearby algebra—but only under the lemma’s hypotheses.
Structural Signature¶
Sig role-phrases:
- Ring with identity — Provides ideals, units, and the Jacobson radical. It is ambient algebra. Counterfactual: Without the ring the radical action is untyped.
- Finitely generated module — Is the object to which the standard lemma applies. It is target. Counterfactual: Dropping finite generation makes standard conclusions fail.
- Jacobson radical or suitable ideal — Supplies coefficients invisible modulo all maximal ideals. It is smallness condition. Counterfactual: An arbitrary ideal need not support the strongest corollary.
- Radical product JM — Measures the module portion generated through radical coefficients. It is defining relation. Counterfactual: Ordinary subset containment is not the hypothesis.
- Quotient M/JM — Exposes residual generator data. It is reduction. Counterfactual: Forgetting the quotient destroys the lifting comparison.
- Unit argument — Turns an annihilator congruent to one modulo the radical into invertibility. It is proof engine. Counterfactual: Without radical-to-unit reasoning the vanishing step is unsupported.
What It Is Not¶
- It is not valid for arbitrary infinitely generated modules.
- It does not say quotienting preserves every relation.
- An arbitrary ideal is not automatically the Jacobson radical.
- Lifting generators is weaker than lifting a vector-space basis to a free basis.
- Closest near-miss. Over a local ring, reduction modulo the maximal ideal resembles passage to a vector space; Nakayama justifies lifting generators, not arbitrary bases or relations.
Scope of Application¶
- Commutative algebra. Controls finite modules and ideals.
- Algebraic geometry. Relates local modules to residue-field fibers.
- Local algebra. Counts minimal generators.
- Noncommutative algebra. Uses carefully sided Jacobson–Azumaya variants.
Clarity¶
State commutativity and sidedness, identity, module finite generation, ideal or Jacobson radical, locality if used, exact equality or quotient hypothesis, and the precise vanishing or generation conclusion.
Manages Complexity¶
The lemma converts a nonlinear-looking self-generation equation into a unit argument and turns a simpler residue quotient into trustworthy finite generator information.
Abstract Reasoning¶
- Choose the exact lemma variant.
- Verify ring, ideal, and finite-generation hypotheses.
- Reduce the desired relation modulo the radical.
- Use determinant/unit or superfluous-submodule reasoning.
- Lift only the conclusion the chosen variant licenses.
Knowledge Transfer¶
The result transfers among local, graded, and topological settings only with their replacement radical, finiteness, completeness, and separation hypotheses; the mnemonic alone does not transfer.
Examples¶
Canonical¶
For a finitely generated module M over a local ring (R,m), if chosen elements span M/mM over R/m, their lifts generate M over R.
Mapped back: ring → local R; module → finite; radical → m; quotient → M/mM; conclusion → generators lift.
Applied / In Practice¶
An infinitely generated module can satisfy behavior that evades the finite determinant/unit argument; invoking Nakayama without added hypotheses is invalid.
Mapped back: finite generation → absent; standard conclusion → not licensed.
Structural Tensions¶
T1 — Pointwise Reduction versus Global Module Generation. A residue-field quotient is simpler while finite generation is what lets that simplified information lift.
Diagnostic: Where is finite generation used?
T2 — Compact Slogan versus Variant-Specific Hypotheses. Several equivalent-looking statements use different ideal, locality, or topology assumptions.
Diagnostic: Which exact version is being invoked?
Structural–Framed Character¶
Nakayama's Lemma is structural as a radical-smallness theorem for finite modules.
Structural Core vs. Domain Accent¶
The core is finite carrier, radical action, quotient reduction, and unit-based lift. Algebra supplies rings, modules, locality, sidedness, and topological variants.
Instantiates / Related Primes¶
This entry presupposes Radical of a ring.
-
Approved root. No reviewed parent entails this radical–module theorem.
-
Related — Jacobson radical, local ring, finitely generated module, residue field, and Cayley–Hamilton. They provide hypothesis, setting, carrier, quotient, and proof route.
Relationships to Other Abstractions¶
Current abstraction Nakayama's Lemma Domain-specific
Parents (1) — more general patterns this builds on
-
Nakayama's Lemma presupposes Radical of a ring Domain-specific
Nakayama's Lemma presupposes Radical of a ring because the lemma's module conclusion is stated through multiplication by a ring radical.Every reviewed Nakayama's Lemma instance depends on the parent role: the lemma's module conclusion is stated through multiplication by a ring radical. Removing that role makes the frozen child identity undefined or changes it into a different abstraction. Radical of a ring can occur without Nakayama's Lemma, so the relation is dependency rather than subsumption.
Hierarchy path (1) — routes to 1 parentless root
- Nakayama's Lemma → Radical of a ring → Classification
Neighborhood in Abstraction Space¶
Nakayama's Lemma sits in a moderately populated region (47th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Algebraic Structures & Homological Invariants (15 abstractions)
Nearest neighbors
- Countably Generated Module — 0.88
- Monomial Ideal — 0.87
- J-multiplicity — 0.87
- K-theory — 0.86
- Number-Theoretic Hilbert Transform — 0.86
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
- Cayley–Hamilton theorem. Tell: Can prove a general form but is not the same conclusion.
- Localization. Tell: Changes the ring and module rather than quotienting by the radical.
- Basis lifting. Tell: Requires freeness or stronger conditions beyond generator lifting.
- Krull intersection theorem. Tell: Concerns intersections of ideal powers under different hypotheses.
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Nakayama%27s_lemma (revision 1363197820).
- Preserved source candidate: https://mathweb.ucsd.edu/~jmckerna/Teaching/13-14/Spring/203C/l_5.pdf
- Preserved source candidate: https://web.archive.org/web/20220909204021/https://mathweb.ucsd.edu/~jmckerna/Teaching/13-14/Spring/203C/l_5.pdf
- Preserved source candidate: https://mathoverflow.net/questions/61446/how-to-memorise-understand-nakayamas-lemma-and-its-corollaries
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.