Endliche abelsche Gruppe/Restklassengruppe von Einheitengruppe/Fakt
Jede endliche kommutative Gruppe
ist eine Restklassengruppe einer Einheitengruppe für ein gewisses .
Jede endliche kommutative Gruppe
ist eine Restklassengruppe einer Einheitengruppe für ein gewisses .