Nilpotent ideal and ring homomorphism In "Problems and Solutions in Mathematics", 2nd Edition, exercice 1308
Problem statement
Let $I$ be a nilpotent ideal in a ring $R$, let $M$ and $N$ be $R$-modules, and let
\begin{equation}
f : M \rightarrow N
\end{equation}
be an $R$-homomorphism. Show that if the induced map
\begin{equation}
\overline{f} : M / IM \rightarrow N / IN
\end{equation}
is surjective, then $f$ is surjective.
Beginning of solution
Since $\overline{f}$ is surjective, $f(M) + IN = N$. It follows that
\begin{equation}
I \cdot N / f(M) = IN + f(M) / f(M) = N / f(M)
\end{equation} 
My questions


*

*Why does $\overline{f}$ being surjective implies $f(M) + IN = N$ ?

*I understand that $IM$ is a subgroup of $M$ created by applying the scalar product operation between every element of $I$ to every element of $M$. What is the meaning of $I \cdot N / f(M)$ since $N / f(M)$ is a group of cosets ?

*How do you derive the two equalities: $I \cdot N / f(M) = IN + f(M) / f(M) = N / f(M)$ ? From the first equation you immediately get $I \cdot N / f(M) = I \cdot (f(M) + IN) / f(M)$, but how do you continue from there ?


EDIT: how in particular do you get $I \cdot N / f(M) = IN + f(M) / f(M)$ in question 3, since $IN + f(M) / f(M) = N / f(M)$ is a direct consequence of question 1 ?

*

*It is false. It is even meaningless: a priori, $IM$ is not contained in $N$. What is true is that $f(M)+IN=N$.

*It is what is written just afterwards: $\;(IN+f(M))/f(M)$.

*It is derived from the correct relation in question $1$.


Once you have $N/f(M)=I\cdot N/f(M)$, you deduce repeatedly:
$$N/f(M)=I\cdot N/f(M)=I^2\cdot N/f(M)=\dots=I^k\cdot N/f(M)=\dots$$
If $r$ is the index of nilpotency of $I$ you thus have
$$N/f(M)=I^r\cdot N/f(M)=0,\enspace\text{whence}\enspace N=f(M). $$
Note:
If $N$ is a finitely generated $R$-module, it is a simple consequence of Nakayama's lemma.
