Zum Inhalt springen

Gruppe/Kommutativ/Restklassengruppe/Fakt/Beweis

Aus Wikiversity
Beweis

Da die kanonische Projektion zu einem Gruppenhomomorphismus werden soll, muss die Verknüpfung durch

gegeben sein, was bereits die Eindeutigkeit sichert. Wir müssen also zeigen, dass durch diese Vorschrift eine wohldefinierte Verknüpfung auf definiert ist, die unabhängig von der Wahl der Repräsentanten ist. D.h. wir haben für und zu zeigen, dass ist. Nach Voraussetzung können wir und mit schreiben. Damit ist

und somit ist . Aus der Wohldefiniertheit der Verknüpfung auf und der Surjektivität der kanonischen Projektion folgen die Gruppeneigenschaften und die Homomorphieeigenschaft der Projektion.