Eigentliche Bewegungsgruppe/Fix/Endliche Untergruppe/Äquivalente Halbachsen/Isomorphe Isotropiegruppen/Fakt/Beweis
Beweis
Es sei , was es gibt, da die beiden Halbachsen nach Voraussetzung äquivalent sind. Dann hat man aber sofort den Gruppenisomorphismus
Wegen
führt dieser innere Automorphismus von in der Tat die beiden Gruppen ineinander über.