Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

For $A$-modules and homomorphisms $0\to M′\stackrel{u}{\to}M\stackrel{v}{\to}M′′\to 0$ is exact iff for all A-modules N, the sequence

$0 \to Hom(M′′,N)\stackrel{\bar{v}}{\to} Hom(M,N)\stackrel{\bar{u}}{\to} Hom(M′,N)$ is exact.

How $\bar{u}$ and $\bar{v}$ are defined ? How do I prove that the sequence is exact at Hom(M′′,N) and Hom(M′,N)?

thanks for any help or hints

share|cite|improve this question
$\bar v$ maps a $\phi:M''\to N$ to the composition $v\cdot \phi:M\to N$. – Berci Nov 10 '12 at 21:30
thats wrong it should map it to ϕ . v – user48931 Nov 12 '12 at 1:31
The claim is wrong. Correct and a trivial consequence of the universal properties is the following: $M' \to M \to M'' \to 0$ is exact iff for all $N$ we have that $0 \to \hom(M'',N) \to \hom(M,N) \to \hom(M',N)$ is exact. – Martin Brandenburg Nov 13 '12 at 13:27
@navigetor23: Unless I am mistaken, this is asking about the sequence at a different point than the other ($\mathrm{Hom}(M,N)$ instead of $\mathrm{Hom}(M'',N)$ and $\mathrm{Hom}(M',N)$). – robjohn Nov 13 '12 at 18:54

Writing composition from left to right, $\bar v$ maps $\phi\mapsto v\cdot \phi$, similarly for $\bar u$. For exactness, you need to show that $\ker\bar u={\rm im\,}\bar v$ and that $\bar v$ is injective. For example, the injectivity follows because $v$ is epimorphism, so $v\cdot\phi= 0$ implies $\phi=0$.

share|cite|improve this answer
Thanks for the help, got it – user48931 Nov 11 '12 at 9:45
how to prove exactness at Hom(M,N) ? – user48931 Nov 12 '12 at 1:51

Your Answer


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.