A statement about finitely generated modules over a local ring (or more generally over a ring with Jacobson radical J): if M is a finitely generated R-module and M = J M then M = 0; equivalently, a set of elements whose images generate M/JM lifts to generate M.

Principle

The controlling role of the maximal (or Jacobson) radical in passing from generation modulo the radical to generation over the whole ring for finitely generated modules.

Demonstration

Let (R,m) be a local ring and M a finitely generated R-module. If x1,...,xn map to generators of M/mM then x1,...,xn generate M; in particular, if M = mM then the generators can be chosen to be zero, so M = 0.

Misapplication

Applying the lemma to modules that are not finitely generated, to rings that are not local (or without using the Jacobson radical hypothesis), or concluding generation properties without checking the radical condition.

Consequence

Provides existence and uniqueness (up to augmentation by units) of minimal generating sets of finitely generated modules over local rings and is a key tool for arguments about dimensions, base change, and lifting properties.

Reversal

If a set fails to generate M modulo mM then it cannot generate M; conversely, information about generators over R need not be visible modulo m without finiteness and radical hypotheses.

Boundary

Requires finiteness of the module and the correct radical hypothesis (maximal ideal in a local ring or Jacobson radical in the general form); it does not hold for arbitrary modules or without the radical condition.

Semantic Tension

Tension exists between the local/modulo-radical perspective (a finite, local test for generation) and global module behaviour where local criteria may fail; similarly, Nakayama is sometimes mistaken for a statement about arbitrary rings rather than about the Jacobson radical.

Synthesis

Nakayama's Lemma is the principle that, for finitely generated modules, generation can be tested modulo the Jacobson/maximal radical and that vanishing modulo the radical forces vanishing, making the radical the decisive obstruction to lifting generators.