Eigentliche Bewegungsgruppe/Endliche Untergruppe/Halbachsenoperation/Eigenschaften/Fakt

Es sei ${}G\subseteq \operatorname {SO} _{3}\,(\mathbb {R} )$ eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des ${}\mathbb {R} ^{3}$ . Dann gelten folgende Aussagen.

Für zwei äquivalente Halbachsen ${}H_{1}$ und ${}H_{2}$ sind die Isotropiegruppen ${}G_{H_{1}}={\left\{g\in G\mid g(H_{1})=H_{1}\right\}}$ und ${}G_{H_{2}}={\left\{g\in G\mid g(H_{2})=H_{2}\right\}}$ isomorph.

Zu einer Halbachse ${}H$ aus der Halbachsenklasse ${}K$ ist
${}{\#\left(G\right)}={\#\left(K\right)}\cdot {\#\left(G_{H}\right)}\,.$

Zu einer Halbachsenklasse ${}K$ ist die Abbildung
$G\longrightarrow \operatorname {Perm} (K),\,g\longmapsto {\left(\sigma _{g}:H\mapsto g(H)\right)},$

ein Gruppenhomomorphismus, dessen Kern die Isotropiegruppe ist.

Die Isotropiegruppen zu einer Halbachse ${}H$ und der gegenüberliegenden Halbachse ${}-H$ sind isomorph.

Zum Beweis, Alternativen Beweis erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.