##  [Lemme de Nakayama](/fr/node/63900) 

  ##  [Lemme de Nakayama](https://algebra.quantumdictionary.io/fr/node/63901) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Définition

É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.