1
$\begingroup$

I'm stuck in this problem:

If $A$ is an abelian group which is torsion free, prove that there exists a divisible group $D$ and an injective homomorphism $A \to D$.

Same question also but for $A$ abelian and any torsion group.

Any help is appreciated.

Thanks a lot

2 Answers 2

1

In the torsion-free case you could put together the following facts:

  • Every abelian group $A$ is a $\mathbb{Z}$-module in a natural way.

  • For a $\mathbb{Z}$-module $A$ one can form the localization $A_0:=(\mathbb{Z}\setminus \{0\})^{-1}A$.

  • The natural homomorphism $A\rightarrow A_0$ is injective.

In the case of a torsion group $A$ the relevant facts are these:

  • $A$ is isomorphic to a group of the form $\mathbb{Z}^{(I)}/N$, where $\mathbb{Z}^{(I)}$ is the direct sum over the index set $I$.

  • A factor group of a divisible group is divisible.

  • Define $D:=\mathbb{Q}^{(I)}/N$ as $\mathbb{Z}$-modules.

1

Fist for any $A$ abelian group you could consider the free abelian group $\mathbb{Z}^{(A)}$ with basis $\{e_a\}_{a\in A}$ and the function that asigns to each $e_a$ to $a$, so the function extends to a morphism of groups which for construction is an epimorphism, so apply the first theorem of iso morphism to get that $A\cong \mathbb{Z}^{(A)}/N$ where $N$ is the kernel of the previous morphism, then consider the isomorphism in the reverse direction that is $f:A\longrightarrow \mathbb{Z}^{(A)}/N$ and compose it with the inclusion $i:\mathbb{Z}^{(A)}/N\longrightarrow \mathbb{Q}^{(A)}/N$. This with the facts that $\mathbb{Q}$ is divisible, the coproduct of divisibles is divisible and the quotient of divisible is divisible.