Lemme de Nakayama

Énoncé concernant des modules de type fini sur un anneau local (ou plus généralement sur un anneau dont on considère le radical de Jacobson J) : si M est un R-module de type fini et M = J·M alors M = 0 ; de façon équivalente, des éléments dont les images engendrent M/JM se relèvent en un système engendrant M.