Eigentliche Bewegungsgruppe/Endlich/Klasseneinteilung/Zugehöriger Gruppenhomomorphismus/Fakt/Beweis

Beweis

Nach der Definition von Halbachsenklasse ist mit auch für alle . Daher ist die Abbildung wohldefiniert. Seien . Dann ist sofort