Restklassengruppe/Kommutativ/Repräsentant/Definition

Restklassengruppe

Es sei eine kommutative Gruppe und eine Untergruppe. Die Quotientenmenge

mit der aufgrund von Fakt eindeutig bestimmten Gruppenstruktur heißt Restklassengruppe von modulo . Die Elemente heißen Restklassen. Für eine Restklasse heißt jedes Element mit ein Repräsentant von .