2
$\begingroup$

I am reading Lang's Algebra and trying to fill in the gaps in my mathematical background while I train for the quals. So I came across the following exercise (chapter 20, ex. 26 in the third edition).

$A$ is a commutative ring, $E$ an $A$-module and its dual is $E^*=\mathrm{Hom}_A(E; \mathbb Q/\mathbb Z)$.

It is asked to prove that a short sequence \begin{equation} 0 \rightarrow N \rightarrow M \rightarrow E \rightarrow 0 \end{equation} is exact iff the dual sequence \begin{equation} 0 \rightarrow E^* \rightarrow M^* \rightarrow N^* \rightarrow 0 \end{equation} is exact.

It is not hard to prove that the dual sequence is exact if the first one is, using the arguments Lang shows, in particular the injectivity of the module $\mathrm{Hom}_A(A; \mathbb Q/\mathbb Z)$. The vice versa turns out to be harder (at least, I can't find a clear way for that), besides the easy proof that $ N \rightarrow M$ is injective, thanks to the canonical embedding of a module $M$ in its bidual $M^{**}$. Any hint or reference? Also any interesting reading on the topics of injective and projective module, resolutions, etc, will be appreciated.

Thanks a lot.

  • 0
    I guess you meant to say $N \to M$ is injective?2012-08-16
  • 0
    Ok, I edited that. You're right, I meant injective.2012-08-16
  • 0
    You are also assuming $A = \mathbb Q / \mathbb Z$ too, right? I have the feeling that you need divisibility. I'm not sure yet though.2012-08-16
  • 0
    Well, the exercise needs another edit. The dual is defined as $Hom_Z(E;Q/Z)$ and not as $A$-maps, sorry again. I should re-check my posts more than once apparently.2012-08-16
  • 0
    @Tunococ Your guess is correct: $\textrm{Hom}_\mathbb{Z}(-; I)$ is exact if and only if $I$ is an injective abelian group, and injective abelian groups are precisely the divisible abelian groups.2012-08-17
  • 0
    Nevermind, I solved it. It was pretty much a diagram chasing matter, and the divisibility helps when you need it.2012-08-17

0 Answers 0