Endliche abelsche Gruppe/Restklassengruppe von Einheitengruppe/Fakt

Jede endliche kommutative Gruppe

ist eine Restklassengruppe einer Einheitengruppe für ein gewisses .