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 .