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
$M/IM$ is generated by $x_1, \ldots , x_ n$,
$M$ is a finite $A$-module,
$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$.)