Sequences of Abelian Groups Split

1.2k Views Asked by At

Show that an exact sequence of abelian groups $$0 \rightarrow \mathbb{Q} \rightarrow M \rightarrow N \rightarrow 0$$ always splits.

If $f: \mathbb{Q} \rightarrow M$ and $g: M \rightarrow N$, what needs to be found is a map $h: N \rightarrow M$ such that $gh=1_N$. My first question is simply this: isn't that the same as requiring that $g$ is an isomorphism?

Secondly, I have no idea how to even begin here. Could someone give a hint or two? Thanks.

1

There are 1 best solutions below

3
On BEST ANSWER

This is no direct answer to your question, but some sidenotes to put it in a more general context. I'd like to write it as a comment, but this would be way too long. Maybe you are interested in understanding the background why your claim is true, so this could be intersting for you.

First note, that abelian groups are precisly the modules over the integers $\mathbb{Z}$.

There is the notion of injective modules, which plays a big role in e.g. homological algebra and is definitly worth to get used to it. The second equivalent defintion in the Wikipedia-article shows you, that you're question reduces to: Is $\mathbb{Q}$ an injective abelian group ($\mathbb{Z}$-module)?

With a little effort (essentially using a lemma called "Baers criterion". Be aware that you need Zorns Lemma, respectivly the axiom of choice to prove it) one can show, that an abelian group is injective, iff it's divisible. If you take a look at the definition of divisibility, $\mathbb{Q}$ is clearly divisible, so this shows your question.

Of course this way is maybe away from beeing as straight-forward as possible to answer your question, but I suggest you to try to understand this way for two reasons: Firstly, you will get to know concepts, which are very important in algebra (Of course, if you just want to get your exercices done, this doesn't play a role for you). Secondly if you will take a straight-forward way, you will essentially need most of the arguments, which you will need for the proofs in the more generel way I suggested (At least I think there is no way to prove your claim without lemma of zorn, etc.), so why don't take the more conceptual way?