Quaternionengruppe

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

In der Gruppentheorie ist die Quaternionengruppe eine nicht-abelsche Gruppe der Ordnung 8. Sie wird häufig mit dem Symbol Q_8 bezeichnet. Ihren Namen erhält sie daher, dass sie aus den acht Elementen \pm 1, \pm \mathrm i , \pm \mathrm j , \pm \mathrm k im Schiefkörper der Hamiltonschen Quaternionen besteht.

Definition[Bearbeiten]

Die Quaternionengruppe ist die achtelementige Menge Q_8 = \{\pm 1, \pm \mathrm i , \pm \mathrm j , \pm \mathrm k \} mit der Verknüpfung \cdot \colon Q_8 \times Q_8 \to Q_8, die neben den üblichen Vorzeichenregeln die folgenden Relationen erfüllt:

\mathrm i \cdot \mathrm i = \mathrm j \cdot \mathrm j = \mathrm k \cdot \mathrm k = \mathrm i \cdot \mathrm j \cdot \mathrm k = -1.

Diese Regeln wurden von William Rowan Hamilton gefunden.[1] Daraus ergibt sich folgende Verknüpfungstafel:

\cdot 1 -1 i -i j -j k -k
1 1 -1 i -i j -j k -k
-1 -1 1 -i i -j j -k k
i i -i -1 1 k -k -j j
-i -i i 1 -1 -k k j -j
j j -j -k k -1 1 i -i
-j -j j k -k 1 -1 -i i
k k -k j -j -i i -1 1
-k -k k -j j i -i 1 -1

Eigenschaften[Bearbeiten]

Die Quaternionengruppe Q_8 ist nicht abelsch, da beispielsweise \mathrm i \cdot \mathrm j =\mathrm k \neq \mathrm j \cdot \mathrm i =-\mathrm k gilt. Zusammen mit der Diedergruppe D_4 sind dies bis auf Isomorphie die beiden einzigen nicht-abelschen Gruppen mit acht Elementen.

Die Gruppe Q_8 ist zudem eine hamiltonsche Gruppe: sie ist zwar nicht-abelsch, aber dennoch ist jede Untergruppe ein Normalteiler. Jede hamiltonsche Gruppe hat eine zu Q_8 isomorphe Untergruppe.

Der Schiefkörper \mathbb{H} der Hamiltonschen Quaternionen besteht aus dem reellen Vektorraum mit Basis \{1,\mathrm i ,\mathrm j ,\mathrm k \} und der Multiplikation, die die obige Multiplikationstabelle bilinear fortsetzt.[2] Umgekehrt können wir ausgehend vom Schiefkörper \mathbb{H} die Quaternionengruppe definieren als die von den Elementen \pm 1,\pm \mathrm i, \pm \mathrm j, \pm \mathrm k gebildete Untergruppe.

Man kann Q_8 auch als Untergruppe der allgemeinen linearen Gruppe \operatorname{GL}_2(\C) darstellen durch die Matrizen \mathrm i = \left(\begin{smallmatrix}\sqrt{-1} & 0 \\ 0 & -\sqrt{-1} \end{smallmatrix}\right) und \mathrm j = \left(\begin{smallmatrix} 0 & 1 \\ -1 & 0 \end{smallmatrix}\right) und \mathrm k = \left(\begin{smallmatrix} 0 & \sqrt{-1} \\ \sqrt{-1} & 0 \end{smallmatrix}\right).

Eine Anwendung der Quaternionengruppe ergibt sich in der synthetischen Geometrie. Dort dienen Quasikörper als Koordinatenbereiche einer affinen oder projektiven Ebene und es zeigt sich, dass einer der kleinsten Quasikörper, der kein Schiefkörper ist und über dem sich daher nichtdesarguesche Ebenen ergeben, eine zu Q_8 isomorphe multiplikative Gruppe hat. → siehe Ternärkörper.

Automorphismen[Bearbeiten]

Als Automorphismus (hier von Q_8) gilt eine bijektive Abbildung \phi \colon Q_8 \to Q_8, bei der die Multiplikation homomorph behandelt wird, d. h.

\phi(x \cdot y) = \phi(x) \cdot \phi(y) \, .

Da die Ordnung von Gruppenelementen hierbei erhalten bleibt, müssen \pm 1 als einzige Elemente mit Ordnung 1 bzw. 2 festbleiben. Dagegen können die 3 imaginären Einheiten  \mathrm i , \mathrm j , \mathrm k jeweils in eine andere überführt werden. Genauer: die erste, sagen wir  \mathrm i, hat alle 6 Ecken  \pm \mathrm i , \pm \mathrm j , \pm \mathrm k dieses Oktaeders zur Auswahl, das Negative dieses Werts muss dann dem „Antipoden“  -\mathrm i \, zugeteilt werden. Bleiben für die zweite, sagen wir  \mathrm j, noch 4 Ecken. Danach sind die restlichen Zuordnungen festgelegt: Antipode  -\mathrm j wie auch \mathrm k wegen \mathrm k = \mathrm i \cdot \mathrm j (diese Orientierung verbietet die Spiegelungen s. u.) und dessen Antipode -\mathrm k. Es gibt also 6·4 = 24 Automorphismen, die in eineindeutiger Korrespondenz zu den Drehungen des besagten Oktaeders stehen. Somit ist die Automorphismengruppe \operatorname{Aut}(Q_8) isomorph zur Drehgruppe des Oktaeders, die wiederum zur symmetrischen Gruppe S4 isomorph ist.

Eine elegante Realisierung von \operatorname{Aut}(Q_8) im Kontext der Quaternionen findet sich in Hurwitzquaternionen.

Die inneren Automorphismen von Q_8 werden durch die q \in Q_8 modulo dem Zentrum Z = \left\{\pm 1 \right\} vermöge x \mapsto q^{-1} \cdot x \cdot q vermittelt. Sie bilden die Gruppe \operatorname{Inn}(Q_8) isomorph zu Q_8/Z, die zur kleinschen Vierergruppe V isomorph ist.

Die Konjugation als Spiegelung an der reellen Achse, die hier gleichzeitig die Inversionsabbildung darstellt, ist antihomomorph,[3] das heißt

\overline{x \cdot y}=\bar y \cdot\bar x     und auch     \bar \mathrm k = \bar \mathrm j \cdot \bar \mathrm i \; \ne \; \bar \mathrm i \cdot \bar \mathrm j,

und wird deshalb als involutiver Antiautomorphismus bezeichnet.

Verallgemeinerte Quaternionengruppe[Bearbeiten]

Die Quaternionengruppe Q_8 lässt sich wie folgt durch Erzeuger und Relationen präsentieren:

\left\langle x,y\mid x^4=1, x^2 = y^2, y x y^{-1} = x^{-1}\right\rangle.

In obiger Schreibweise gilt x=\mathrm i und y=\mathrm j .

Die verallgemeinerte Quaternionengruppe Q_{4n} der Ordnung 4n für n\ge2 erhalten wir durch folgende Präsentation über Erzeuger und Relationen:

\left\langle x,y\mid x^{2n}=1,x^n = y^2, y x y^{-1} = x^{-1}\right\rangle.

Die verallgemeinerten Quaternionengruppen gehören zu der noch größeren Familie der dizyklischen Gruppen.

Siehe auch[Bearbeiten]

Weblinks[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1. William Rowan Hamilton. Einritzung in einen Stein der Broom (auch: Brougham) Bridge. Dublin, 1843.
  2. Hans-Dieter Ebbinghaus et al.: Zahlen. Grundwissen Mathematik, Bd. 1. Springer-Verlag, Berlin, Heidelberg, New York, Tokio 1983. S. 138–154. ISBN 3-540-12666-X
  3. Eric W. Weisstein: Antihomomorphism. In: MathWorld (englisch).