In der Gruppentheorie ist die Quaternionengruppe eine nicht-abelsche Gruppe der Ordnung
. Sie wird häufig mit dem Symbol
bezeichnet. Ihren Namen erhält sie daher, dass sie aus den acht Elementen
im Schiefkörper der Hamiltonschen Quaternionen besteht.
Die Quaternionengruppe ist die achtelementige Menge
mit der Verknüpfung
, die neben den üblichen Vorzeichenregeln die folgenden Relationen erfüllt:
.
Diese Regeln wurden von William Rowan Hamilton gefunden.[1] Daraus ergibt sich folgende Verknüpfungstafel:
| | | | | | | | |
| ![{\displaystyle \mathrm {1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f325576382d2576944483fc8e5b0ecd34c89f5e0) | ![{\displaystyle \mathrm {-1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f8ecf11415c1997b68aae203d5430a707c0dc71) | ![{\displaystyle \mathrm {i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/18f0f09f6fc40e634d34aed6e205ac0f7a40e062) | ![{\displaystyle \mathrm {-i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c501d3a6571444365da1f551b852054077c467e2) | ![{\displaystyle \mathrm {j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97685153a7b89e72bba63e2903f6d5a7663fe734) | ![{\displaystyle \mathrm {-j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fae7d5c598a9e5630f9203c9af88964b828aad0) | ![{\displaystyle \mathrm {k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e9db4cac5fae0698c77b08f022475476842c9f5) | |
| ![{\displaystyle \mathrm {-1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f8ecf11415c1997b68aae203d5430a707c0dc71) | ![{\displaystyle \mathrm {1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f325576382d2576944483fc8e5b0ecd34c89f5e0) | ![{\displaystyle \mathrm {-i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c501d3a6571444365da1f551b852054077c467e2) | ![{\displaystyle \mathrm {i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/18f0f09f6fc40e634d34aed6e205ac0f7a40e062) | ![{\displaystyle \mathrm {-j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fae7d5c598a9e5630f9203c9af88964b828aad0) | ![{\displaystyle \mathrm {j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97685153a7b89e72bba63e2903f6d5a7663fe734) | ![{\displaystyle \mathrm {-k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b7e3357f7fe462ae110a29cbb0b36020cefa766) | |
| ![{\displaystyle \mathrm {i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/18f0f09f6fc40e634d34aed6e205ac0f7a40e062) | ![{\displaystyle \mathrm {-i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c501d3a6571444365da1f551b852054077c467e2) | ![{\displaystyle \mathrm {-1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f8ecf11415c1997b68aae203d5430a707c0dc71) | ![{\displaystyle \mathrm {1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f325576382d2576944483fc8e5b0ecd34c89f5e0) | ![{\displaystyle \mathrm {k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e9db4cac5fae0698c77b08f022475476842c9f5) | ![{\displaystyle \mathrm {-k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b7e3357f7fe462ae110a29cbb0b36020cefa766) | ![{\displaystyle \mathrm {-j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fae7d5c598a9e5630f9203c9af88964b828aad0) | |
| ![{\displaystyle \mathrm {-i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c501d3a6571444365da1f551b852054077c467e2) | ![{\displaystyle \mathrm {i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/18f0f09f6fc40e634d34aed6e205ac0f7a40e062) | ![{\displaystyle \mathrm {1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f325576382d2576944483fc8e5b0ecd34c89f5e0) | ![{\displaystyle \mathrm {-1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f8ecf11415c1997b68aae203d5430a707c0dc71) | ![{\displaystyle \mathrm {-k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b7e3357f7fe462ae110a29cbb0b36020cefa766) | ![{\displaystyle \mathrm {k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e9db4cac5fae0698c77b08f022475476842c9f5) | ![{\displaystyle \mathrm {j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97685153a7b89e72bba63e2903f6d5a7663fe734) | |
| ![{\displaystyle \mathrm {j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97685153a7b89e72bba63e2903f6d5a7663fe734) | ![{\displaystyle \mathrm {-j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fae7d5c598a9e5630f9203c9af88964b828aad0) | ![{\displaystyle \mathrm {-k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b7e3357f7fe462ae110a29cbb0b36020cefa766) | ![{\displaystyle \mathrm {k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e9db4cac5fae0698c77b08f022475476842c9f5) | ![{\displaystyle \mathrm {-1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f8ecf11415c1997b68aae203d5430a707c0dc71) | ![{\displaystyle \mathrm {1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f325576382d2576944483fc8e5b0ecd34c89f5e0) | ![{\displaystyle \mathrm {i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/18f0f09f6fc40e634d34aed6e205ac0f7a40e062) | |
| ![{\displaystyle \mathrm {-j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fae7d5c598a9e5630f9203c9af88964b828aad0) | ![{\displaystyle \mathrm {j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97685153a7b89e72bba63e2903f6d5a7663fe734) | ![{\displaystyle \mathrm {k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e9db4cac5fae0698c77b08f022475476842c9f5) | ![{\displaystyle \mathrm {-k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b7e3357f7fe462ae110a29cbb0b36020cefa766) | ![{\displaystyle \mathrm {1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f325576382d2576944483fc8e5b0ecd34c89f5e0) | ![{\displaystyle \mathrm {-1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f8ecf11415c1997b68aae203d5430a707c0dc71) | ![{\displaystyle \mathrm {-i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c501d3a6571444365da1f551b852054077c467e2) | |
| ![{\displaystyle \mathrm {k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e9db4cac5fae0698c77b08f022475476842c9f5) | ![{\displaystyle \mathrm {-k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b7e3357f7fe462ae110a29cbb0b36020cefa766) | ![{\displaystyle \mathrm {j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97685153a7b89e72bba63e2903f6d5a7663fe734) | ![{\displaystyle \mathrm {-j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fae7d5c598a9e5630f9203c9af88964b828aad0) | ![{\displaystyle \mathrm {-i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c501d3a6571444365da1f551b852054077c467e2) | ![{\displaystyle \mathrm {i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/18f0f09f6fc40e634d34aed6e205ac0f7a40e062) | ![{\displaystyle \mathrm {-1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f8ecf11415c1997b68aae203d5430a707c0dc71) | |
| ![{\displaystyle \mathrm {-k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b7e3357f7fe462ae110a29cbb0b36020cefa766) | ![{\displaystyle \mathrm {k} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e9db4cac5fae0698c77b08f022475476842c9f5) | ![{\displaystyle \mathrm {-j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fae7d5c598a9e5630f9203c9af88964b828aad0) | ![{\displaystyle \mathrm {j} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97685153a7b89e72bba63e2903f6d5a7663fe734) | ![{\displaystyle \mathrm {i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/18f0f09f6fc40e634d34aed6e205ac0f7a40e062) | ![{\displaystyle \mathrm {-i} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c501d3a6571444365da1f551b852054077c467e2) | ![{\displaystyle \mathrm {1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f325576382d2576944483fc8e5b0ecd34c89f5e0) | |
Die Gruppenaxiome
- Existenz des neutralen Elements
- Existenz des inversen Elements
- Assoziativität
sind leicht nachgeprüft.
Die Quaternionengruppe
ist nicht abelsch, da beispielsweise
gilt. Sie und die Diedergruppe
sind bis auf Isomorphie die beiden einzigen nicht-abelschen Gruppen mit acht Elementen.
Die Gruppe
ist zudem eine hamiltonsche Gruppe: sie ist zwar nicht-abelsch, aber dennoch ist jede Untergruppe ein Normalteiler. Jede hamiltonsche Gruppe hat eine zu
isomorphe Untergruppe.
Der Schiefkörper
der Hamiltonschen Quaternionen besteht aus dem reellen Vektorraum mit Basis
und der Multiplikation, die die obige Multiplikationstabelle bilinear fortsetzt.[2] Umgekehrt kann man ausgehend vom Schiefkörper
die Quaternionengruppe als die von den Elementen
gebildete Untergruppe definieren.
Man kann
auch als Untergruppe der allgemeinen linearen Gruppe
darstellen durch die Matrizen
und
und
.
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
isomorphe multiplikative Gruppe hat. → siehe Ternärkörper.
Als Automorphismus (hier von
) gilt eine bijektive Abbildung
, bei der die Multiplikation homomorph behandelt wird, d. h.
.
Da die Ordnung von Gruppenelementen hierbei erhalten bleibt, müssen
als einzige Elemente mit Ordnung 1 bzw. 2 festbleiben. Dagegen können die 3 imaginären Einheiten
jeweils in eine andere überführt werden. Genauer: die erste, sagen wir
, hat alle 6 Ecken
dieses Oktaeders zur Auswahl, das Negative dieses Werts muss dann dem „Antipoden“
zugeteilt werden. Bleiben für die zweite, sagen wir
, noch 4 Ecken. Danach sind die restlichen Zuordnungen festgelegt: Antipode
wie auch
wegen
(diese Orientierung verbietet die Spiegelungen s. u.) und dessen Antipode
. Es gibt also 6·4 = 24 Automorphismen, die in eineindeutiger Korrespondenz zu den Drehungen des besagten Oktaeders stehen. Somit ist die Automorphismengruppe
isomorph zur Drehgruppe des Oktaeders, die wiederum zur symmetrischen Gruppe S4 isomorph ist.
Eine elegante Realisierung von
im Kontext der Quaternionen findet sich in Hurwitzquaternionen.
Die inneren Automorphismen von
werden durch die
modulo dem Zentrum
vermöge
vermittelt. Sie bilden die Gruppe
isomorph zu
, 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
und auch
,
und wird deshalb als involutiver Antiautomorphismus bezeichnet.
Die Quaternionengruppe hat folgende Charaktertafel:
| | | | | |
| | | | | |
| ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | |
| ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle -1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/704fb0427140d054dd267925495e78164fee9aac) | |
| ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle -1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/704fb0427140d054dd267925495e78164fee9aac) | ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | |
| ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) | ![{\displaystyle -1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/704fb0427140d054dd267925495e78164fee9aac) | ![{\displaystyle -1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/704fb0427140d054dd267925495e78164fee9aac) | |
| ![{\displaystyle 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/901fc910c19990d0dbaaefe4726ceb1a4e217a0f) | ![{\displaystyle -2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46e5b5b462e546b1d3d7e5f9a23efece405b2e78) | ![{\displaystyle 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aae8864a3c1fec9585261791a809ddec1489950) | ![{\displaystyle 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aae8864a3c1fec9585261791a809ddec1489950) | |
Die Diedergruppe D4 hat dieselbe Charaktertafel ohne zur Quaternionengruppe isomorph zu sein. Damit ist die Quaternionengruppe ein Beispiel dafür, dass sich eine Gruppe nicht aus ihrer Charaktertafel rekonstruieren lässt.[4]
Die Quaternionengruppe
lässt sich wie folgt durch Erzeuger und Relationen präsentieren:
.
In obiger Schreibweise gilt
und
.
Die Quaternionengruppe ist daher eine sogenannte dizyklische Gruppe. Die dizyklische Gruppe der Ordnung
für
erhält man durch folgende Präsentation über Erzeuger und Relationen:
.[5][6]
Die dizyklischen Gruppen, deren Ordnung eine Zweierpotenz ist, heißen verallgemeinerte Quaternionengruppen.[7]
- ↑ William Rowan Hamilton: Einritzung in einen Stein der Broom (auch: Brougham) Bridge. Dublin 1843.
- ↑ Hans-Dieter Ebbinghaus et al.: Zahlen. In: Grundwissen Mathematik, Band 1. Springer-Verlag, Berlin / Heidelberg / New York / Tokio 1983, ISBN 3-540-12666-X, S. 138–154.
- ↑ Eric W. Weisstein: Antihomomorphism. In: MathWorld (englisch).
- ↑ J. L. Alperin, R.B. Bell: Groups and Representations. Springer-Verlag, (1995), ISBN 0-387-94525-3, Kap. 6, Beispiel 8
- ↑ Steven Roman: Fundamentals of group theory. Birkhäuser, Basel 2012, Kapitel 12, S. 347/348.
- ↑ Thomas Keilen: Endliche Gruppen. (PDF) Beispiel 9.11, S. 37.
- ↑ Bertram Huppert: Endliche Gruppen I. Springer, Berlin 1967, Kapitel I, § 14, Satz 14.9, S. 91.