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 .