Nakayama-Lemma

Aussage über endlich erzeugte Moduln über einem lokalen Ring (oder allgemein über einem Ring mit Jacobson-Radikal J): Ist M ein endlich erzeugter R-Modul und M = J·M, dann ist M = 0; äquivalent: Elemente, deren Bilder M/JM erzeugen, lassen sich zu Erzeugern von M heben.