Kommutative Gruppe/Einbettung in divisible Gruppe/Fakt/Beweis

Aus Wikiversity
Beweis

Wir schreiben mit einer geeigneten Indexmenge , die ein Erzeugendensystem von indiziere. Die freie Gruppe kann man in die divisible Gruppe einbetten. Daher gibt es eine Einbettung

und letztere ist nach Fakt divisibel.