Kommutative Gruppe/Einbettung in divisible Gruppe/Fakt

Zu jeder kommutativen Gruppe

gibt es eine divisible Gruppe mit .