Quaternionengruppe

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

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

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

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 S₄ 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] d. h.

$\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

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 = i$ und $y = j$ .

Die verallgemeinerte Quaternionengruppe $Q 4 n$ der Ordnung $4 n$ 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

Weblinks

Platonische Polychora

Einzelnachweise

↑ William Rowan Hamilton. Einritzung in einen Stein der Broom (auch: Brougham) Bridge. Dublin, 1843.
↑ 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
↑ Eric W. Weisstein: Antihomomorphism. In: MathWorld. (englisch)

Kategorie:

Gruppentheorie

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

Präsentation einer Gruppe — In der Mathematik ist die Präsentation einer Gruppe gegeben durch eine Liste von Elementen, die die Gruppe erzeugen, und eine Liste von Relationen, die zwischen diesen Erzeugern bestehen. Zum Beispiel wird die zyklische Gruppe der Ordnung n… … Deutsch Wikipedia
Hamiltonsche Gruppe — In der Gruppentheorie nennt man eine Gruppe Dedekindsche Gruppe (nach R. Dedekind), wenn jede Untergruppe ein Normalteiler ist. Offenbar ist jede abelsche Gruppe eine Dedekindsche Gruppe. Die nicht abelschen unter ihnen werden Hamiltonsche… … Deutsch Wikipedia
Hamilton-Zahl — Gedenktafel an der Broom Bridge in Dublin, wo William Rowan Hamilton die Multiplikationsregeln im Oktober 1843 spontan in den Stein ritzte. Die Quaternionen (von lat. quaternio „Vierheit“) sind eine Erweiterung der reellen Zahlen, ähnlich den… … Deutsch Wikipedia
Hamilton-Zahlen — Gedenktafel an der Broom Bridge in Dublin, wo William Rowan Hamilton die Multiplikationsregeln im Oktober 1843 spontan in den Stein ritzte. Die Quaternionen (von lat. quaternio „Vierheit“) sind eine Erweiterung der reellen Zahlen, ähnlich den… … Deutsch Wikipedia
Quaternionen — Gedenktafel an der Broom Bridge in Dublin, wo William Rowan Hamilton die Multiplikationsregeln im Oktober 1843 spontan in den Stein ritzte. Die Quaternionen (von lat. quaternio „Vierheit“) sind eine Erweiterung der reellen Zahlen, ähnlich den… … Deutsch Wikipedia
Quaternionen-Schiefkörper — Gedenktafel an der Broom Bridge in Dublin, wo William Rowan Hamilton die Multiplikationsregeln im Oktober 1843 spontan in den Stein ritzte. Die Quaternionen (von lat. quaternio „Vierheit“) sind eine Erweiterung der reellen Zahlen, ähnlich den… … Deutsch Wikipedia
Hurwitzquaternion — Eine Hurwitzquaternion (oder Hurwitz Ganzzahl) in der Mathematik ist eine Quaternion, deren vier Koeffizienten entweder alle (rational )ganzzahlig oder alle halbzahlig (Hälften ungerader ganzer Zahlen) sind – Mischungen von Ganzzahlen und… … Deutsch Wikipedia
Ternärkörper — Ein Ternärkörper ist eine algebraische Struktur, die in der synthetischen Geometrie als Koordinatenbereich einer beliebigen affinen Ebene dient. Als Menge besteht der Ternärkörper dabei aus den Punkten einer fest gewählten Geraden der Ebene,… … Deutsch Wikipedia
Fastring — Ein Fastring ist in der Mathematik die Verallgemeinerung der algebraischen Struktur eines Ringes, in der die Addition nicht mehr kommutativ sein muss und in der nur ein einseitiges Distributivgesetz gilt. Im allgemeinen werden Fastringe verwendet … Deutsch Wikipedia
Gruppentheorie — Die Gruppentheorie als mathematische Disziplin untersucht die algebraische Struktur der Gruppen. Anschaulich besteht eine Gruppe aus den Symmetrien eines Objekts oder einer Konfiguration zusammen mit der Verknüpfung, die durch das… … Deutsch Wikipedia

Academic dictionaries and encyclopedias

Quaternionengruppe

Inhaltsverzeichnis

Definition

Eigenschaften

Automorphismen

Verallgemeinerte Quaternionengruppe

Siehe auch

Weblinks

Einzelnachweise

Schlagen Sie auch in anderen Wörterbüchern nach:

Share the article and excerpts

$\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

$\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

Academic dictionaries and encyclopedias

Deutsch Wikipedia

Quaternionengruppe

Inhaltsverzeichnis

Definition

Eigenschaften

Automorphismen

Verallgemeinerte Quaternionengruppe

Siehe auch

Weblinks

Einzelnachweise

Schlagen Sie auch in anderen Wörterbüchern nach:

Share the article and excerpts

Direct link

$\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