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.
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. Inclusion test: Require the declared ring, finite generation or an explicitly stated replacement hypothesis, the correct radical/ideal condition, and a conclusion about vanishing or lifting generators. Exclusion test: Exclude a general slogan that reduction preserves all module properties, applications to infinitely generated modules without extra completeness/separation, and ordinary linear algebra with no ring-radical structure. Nearest boundary: Over a local ring, reduction modulo the maximal ideal resembles passage to a vector space; Nakayama justifies lifting generators, not arbitrary bases or relations. Exit condition: The standard lemma no longer applies when finite generation or the relevant radical condition is absent, unless a separately stated topological version supplies its own hypotheses. Common misclassifications: 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. Nearest named distinctions: Cayley–Hamilton theorem: Can prove a general form but is not the same conclusion. Localization: Changes the ring and module rather than quotienting by the radical. Basis lifting: Requires freeness or stronger conditions beyond generator lifting. Krull intersection theorem: Concerns intersections of ideal powers under different hypotheses.
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.
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.
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