Nakayama's lemma

This article is about the statement of a simple but indispensable lemma in commutative algebra
View other indispensable lemmata

Statement

Let $R$ be a commutative unital ring, and $I$ be an ideal contained inside the Jacobson radical of $R$. Let $M$ be a finitely generated $R$-module. Then the following are true:

• If $IM=M$ then $M=0$
• If $m_1,m_2,\dots ,m_n$ have images in $M/IM$ that generate it as a $R$-module, then $m_1,m_2,\dots ,m_n$ generate $M$ as a $R$-module