3
$\begingroup$

given a ring $R$, a nilpotent ideal $I$ and a morphism $\phi$ of $R$-modules $M \to N$, such that $M/IM \to N/IN$ is an isomorphism.

It is easy to see that this implies $\phi$ surjective, but what about injectivity?

  • 1
    $M/I$ denotes $M/IM$.2010-12-31

1 Answers 1

4

The answer is no in general. E.g. if $M = R$ and $N = R/I$, then the natural surjection $M \to N$ will induce an isomorphism $M/I \to N/I$, which won't be an isomorphism unless $I = 0$.

  • 0
    Here it is: http://math.stackexchange.com/questions/16000/question-regarding-waterhouse-affine-group-schemes2011-01-02