Restklassengruppe/Repräsentant/Definition
Restklassengruppe
Es sei eine Gruppe und ein Normalteiler. 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 .