Nakayama's lemma

Layer 0 — Mathematicsin the abstract-algebra subtree

Finitely-generated M over (R,m) local: mM = M ⟹ M = 0. Equiv: M/mM generates M via any lift. Workhorse of commutative algebra.

Related concepts

Explore Nakayama's lemma on the interactive knowledge graph →