Lema de Nakayama

Afirmación sobre módulos finitamente generados sobre un anillo local (o más generalmente sobre un anillo con radical de Jacobson J): si M es un R-módulo finitamente generado y M = J·M entonces M = 0; equivalentemente, un conjunto cuyos imágenes generan M/JM se eleva para generar M.