## 109.8 Nakayama's Lemma

Exercise 109.8.1. Let $A$ be a ring. Let $I$ be an ideal of $A$. Let $M$ be an $A$-module. Let $x_1, \ldots , x_ n \in M$. Assume that

1. $M/IM$ is generated by $x_1, \ldots , x_ n$,

2. $M$ is a finite $A$-module,

3. $I$ is contained in every maximal ideal of $A$.

Show that $x_1, \ldots , x_ n$ generate $M$. (Suggested solution: Reduce to a localization at a maximal ideal of $A$ using Exercise 109.7.2 and exactness of localization. Then reduce to the statement of Nakayama's lemma in the lectures by looking at the quotient of $M$ by the submodule generated by $x_1, \ldots , x_ n$.)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).