Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

$R$ is a commutative ring, $M$ and $N$ finitely generated $R$-modules, $\alpha, \beta\in \operatorname{Hom}_{R}(M,N)$, $\mathfrak a\subset \operatorname{rad}(R)$ and $\alpha $ is surjective while $\beta(M) \subseteq\mathfrak aN$, prove that $\gamma=\alpha + \beta $ is an isomorphism between $M$ and $N$.

I understand why it is a surjection according to Nakayama's lemma but I don't know how to prove injectivity since $M$ might be way bigger than $N$ with regard to their generating sets.

share|improve this question
    
This is clearly false as stated ($\beta$ could be zero). What is the source? –  mt_ May 26 '13 at 0:01
    
@YACP do you mean that if we assume that $M=N$ then the assertion holds? Then are there any conditions that are unnecessary? –  Alex May 26 '13 at 0:15
    
@mt_: it is Chap10.12 of a term of commutative algebra by Altman and Kleinman –  Alex May 26 '13 at 0:18
    
@Alex Yes, when $M=N$ the assertion holds. This is stated as Corollary 10.4 in your book and (in order to answer your second question) I can't see any superfluous condition. –  user26857 May 26 '13 at 6:19
add comment

1 Answer 1

up vote 4 down vote accepted

For $\beta=0$, the statement is that every surjective homomorphism between f.g. modules is an isomorphism. Of course, this is wrong. However, every surjective endomorphism of a f.g. module is an isomorphism, this is an application of the general form of Nakayama's lemma applied to the corresponding $R[x]$-module where $x$ acs as the endomorphism (details). This shows that the claim is true for $M=N$, and hence also when $M \cong N$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.