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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$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|cite|improve this question
    
This is clearly false as stated ($\beta$ could be zero). What is the source? – m_t_ 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
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|cite|improve this answer

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.