Kommutative Gruppe/Einbettung in divisible Gruppe/Fakt

Zu jeder kommutativen Gruppe ${}G$

gibt es eine divisible Gruppe ${}D$ mit ${}G\subseteq D$.

Zum Beweis, Alternativen Beweis erstellen