Gruppe/Kommutativ/Restklassengruppe/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.

Zur bewiesenen Aussage