Lemme de Nakayama

Soit ${\displaystyle X=(x_{1},\ldots ,x_{n})}$ une famille génératrice de M. Il existe des ${\displaystyle y_{i,j}\in I}$ tels que pour tout i, ${\displaystyle x_{i}=\sum _{j=1}^{n}y_{i,j}x_{j}}$. En notant Y la matrice des ${\displaystyle y_{i,j}}$ et d le déterminant de ${\displaystyle I_{n}-Y}$, on en déduit que dM=(0) (car tous les ${\displaystyle dx_{j}}$ sont nuls, d'après la formule de Laplace). Or (en développant le déterminant) d appartient à 1 + I. (Alternativement, on peut invoquer le théorème de Cayley-Hamilton pour l'endomorphisme identité de M, de matrice Y dans X.)

Le ${\displaystyle A}$-module ${\displaystyle N'=M/N}$ est de type fini et vérifie ${\displaystyle N'\subset IN'}$, il suffit alors d'appliquer le résultat précédent : il existe un élément ${\displaystyle a\in I}$ tel que ${\displaystyle (1+a)N'=(1+a)M/N=0}$ ce qui revient à ${\displaystyle (1+a)M\subset N}$.