imported>Meinichselbst: Parameter fix

2025-09-20T17:04:58Z

Parameter fix

Neue Seite

{{Dieser Artikel|handelt von einem Satz aus der Gruppentheorie. Ein nach Cayley benannter Satz in der Graphentheorie ist unter [[Cayley-Formel]] zu finden.}}
Der '''Satz von Cayley''' ist ein nach dem englischen Mathematiker [[Arthur Cayley]] benannter Satz aus der [[Algebra]]. Er besagt, dass man jede [[Gruppe (Mathematik)|Gruppe]] als Untergruppe einer [[symmetrische Gruppe|symmetrischen Gruppe]] realisieren kann.

Dieses Ergebnis spielte für die Entwicklung der [[Gruppentheorie]] im 19. Jahrhundert eine wichtige Rolle, denn es stellt sicher, dass jede abstrakte Gruppe isomorph zu einer konkreten Gruppe von Permutationen ist. Anders gesagt, jede Gruppe lässt sich [[Gruppenoperation#Freie und treue Operationen|treu]] als [[Permutationsgruppe]] darstellen. Der Satz von Cayley bildet damit einen Ausgangspunkt der [[Darstellung (Gruppe)|Darstellungstheorie]], die eine gegebene Gruppe untersucht, indem sie ihre Darstellungen auf konkreten und gut verstandenen Gruppen nutzt.

== Aussage des Satzes ==
Der Satz von Cayley besagt:
: Jede Gruppe ist [[Isomorphismus|isomorph]] zu einer [[Untergruppe]] einer [[Symmetrische Gruppe|symmetrischen Gruppe]].

Ausführlicher bedeutet das Folgendes:
: Sei <math>(G,*)</math> eine Gruppe. Dann existiert eine Menge <math>M</math> und in der symmetrischen Gruppe <math>\mathrm{Sym}(M)</math> eine Untergruppe <math>U</math>, so dass <math>(G,*)</math> isomorph zu <math>(U,\circ)</math> ist.

Wenn die gegebene Gruppe <math>G</math> zudem endlich ist, kann man hierzu auch eine endliche Menge <math>M</math> wählen.
Genauer gilt: Ist <math>G</math> von Ordnung <math>n</math>, dann ist <math>G</math> isomorph zu einer Untergruppe von <math>S_n</math>.

== Anwendungen ==
Die praktische Bedeutung des Satzes von Cayley besteht darin, jede beliebige Gruppe <math>G</math> als Untergruppe einer konkreten Gruppe darzustellen. Als konkrete Gruppe betrachtet man hier eine [[symmetrische Gruppe]] <math>\mathrm{Sym}(M)</math> bestehend aus allen [[Bijektivität|bijektiven]] [[Funktion (Mathematik)|Abbildungen]] einer Menge <math>M</math> in sich. Die Verknüpfung in der symmetrischen Gruppe <math>\mathrm{Sym}(M)</math> ist gegeben durch die [[Komposition (Mathematik)|Hintereinanderausführung]] <math>(f \circ g)(x) := f(g(x))</math>. Permutationsgruppen sind sehr praktisch in dem Sinne, dass man ihre Elemente (die [[Permutation]]en) bequem aufschreiben und leicht mit ihnen rechnen kann. Dies ist insbesondere in der [[Computeralgebra]] nützlich.

Auf theoretischer Ebene eröffnet der Satz von Cayley die Möglichkeit, die Theorie der Permutationsgruppen auf jede beliebige Gruppe anzuwenden. Man spricht von einer ''Permutationsdarstellung'' der gegebenen Gruppe. Daneben gibt es noch andere Möglichkeiten, Gruppen in spezieller Form darzustellen, zum Beispiel als Matrixgruppe, das heißt als Untergruppe einer linearen Gruppe. Man spricht dann von einer ''linearen Darstellung'', siehe dazu den Artikel [[Darstellung (Gruppe)]].

== Beweis des Satzes ==
Vor dem eigentlichen Beweis lohnt es sich, die wesentliche Idee an einem einfachen Beispiel zu illustrieren. Der nachfolgende Beweis formuliert dann die gemachten Beobachtungen nur aus.

=== Einführendes Beispiel ===
Betrachten wir zur Illustration die [[Kleinsche Vierergruppe]] <math>(V,*)</math>, die wir hier durch die Menge <math>V=\{1,2,3,4\}</math> mit folgender [[Verknüpfungstafel]] darstellen:
{| class="wikitable centered" style="text-align:center;"
|-
! style="background:#F8F8E0;"|<math>*</math>
! style="background:#FBFBE0;"|1
! style="background:#FBFBE0;"|2
! style="background:#FBFBE0;"|3
! style="background:#FBFBE0;"|4
|-
! style="background:#FBFBE0;"|1 || 1 || 2 || 3 || 4
|-
! style="background:#FBFBE0;"|2 || 2 || 1 || 4 || 3
|-
! style="background:#FBFBE0;"|3 || 3 || 4 || 1 || 2
|-
! style="background:#FBFBE0;"|4 || 4 || 3 || 2 || 1
|}
In der ersten Zeile sehen wir die Permutation <math>\tau_1 = \bigl(\begin{smallmatrix}1&2&3&4\\1&2&3&4\end{smallmatrix}\bigr)</math>
und in den folgenden Zeilen die Permutationen <math>\tau_2 = \bigl(\begin{smallmatrix}1&2&3&4\\2&1&4&3\end{smallmatrix}\bigr)</math>,
<math>\tau_3 = \bigl(\begin{smallmatrix}1&2&3&4\\3&4&1&2\end{smallmatrix}\bigr)</math>,
<math>\tau_4 = \bigl(\begin{smallmatrix}1&2&3&4\\4&3&2&1\end{smallmatrix}\bigr)</math>.
Diese Permutationen sind zueinander verschieden, die Abbildung <math>T \colon V \to S_4</math> mit <math>a \mapsto \tau_a</math> ist also injektiv.
Daraufhin kann man nun direkt nachrechnen, dass <math>T</math> ein [[Gruppenhomomorphismus]] ist, also <math>T(a*b) = T(a) \circ T(b)</math> für alle <math>a,b \in V</math> erfüllt.
Dies folgt ganz allgemein aus den Gruppenaxiomen, wie wir nun zeigen werden.

=== Allgemeine Konstruktion ===
Sei <math>(G,*)</math> eine Gruppe. Als Menge wählen wir <math>M:=G</math>. Für jedes Gruppenelement <math>a \in G</math> definieren wir eine Abbildung <math>\tau_a \colon M \to M</math> durch <math>\tau_a(x) := a*x</math>. Diese Abbildung heißt ''Linksmultiplikation'' mit <math>a</math>.
# Die Assoziativität <math>a * (b * x) = (a * b) * x</math> für alle <math>a,b \in G</math> und <math>x \in M</math> ist gleichbedeutend mit <math>\tau_a \circ \tau_b = \tau_{a * b}</math>.
# Die Tatsache, dass <math>e \in G</math> [[neutrales Element]] ist, also <math>e * x = x</math> für alle <math>x \in M</math> erfüllt, ist gleichbedeutend mit <math>\tau_e = \mathrm{id}_M</math>.
# Sind <math>a,b \in G</math> zueinander inverse Elemente, also <math>a * b = e</math>, dann folgt daraus <math>\tau_a \circ \tau_b = \tau_{a * b} = \tau_e = \mathrm{id}_M</math>.

Da in einer Gruppe <math>G</math> alle Elemente invertierbar sind, ist demnach jede der Abbildungen <math>\tau_a</math> [[Bijektivität|bijektiv]].
Wir erhalten also einen Gruppenhomomorphismus <math>T \colon G \to \mathrm{Sym}(M)</math> durch <math>T(a) = \tau_a</math>.
Dieser Homomorphismus ist injektiv: falls <math>\tau_a = \tau_b</math>, dann gilt insbesondere <math>\tau_a(e) = \tau_b(e)</math> und daher <math>a = a*e = b*e = b</math>.
Damit ist <math>T</math> ein Isomorphismus zwischen der Gruppe <math>G</math>
und der Untergruppe <math>U = \mathrm{Bild}(T) = \{ \tau_a \mid a \in G \} = \{\sigma \in \mathrm{Sym}(M) \mid \forall x \in M : \sigma(x) = \sigma(e)*x\}</math>.

=== Bemerkungen ===
Der obige Beweis beruht auf der Beobachtung, dass die Linksmultiplikation eine [[Gruppenoperation]] der Gruppe <math>G</math> auf sich selbst ist, nämlich <math>G \times G \to G</math> mit <math>(g,x) \mapsto g*x</math>. Er zeigt sodann, dass jede Gruppenoperation <math>G \times M \to M</math> einen Gruppenhomomorphismus <math>T \colon G \to \mathrm{Sym}(M)</math> induziert. Im speziellen Fall der Linksmultiplikation ist <math>T</math> sogar injektiv und wird die ''[[Linksreguläre Darstellung|(links)reguläre Darstellung]]'' genannt.

Der Beweis lässt sich analog führen, wenn man statt der Linksmultiplikation die Rechtsmultiplikation mit dem Inversen verwendet.
Er liefert dann unter Umständen eine andere Untergruppe von <math>\mathrm{Sym}(G)</math>, die aber ebenfalls isomorph zu <math>G</math> ist.

== Minimale Permutationsdarstellungen ==
Anstelle der im obigen Beweis verwendeten Menge <math>M=G</math> kann man oft auch kleinere Mengen finden. Zum Beispiel liefert der Beweis eine Darstellung der [[Alternierende Gruppe|alternierenden Gruppe]] <math>A_4</math> mit <math>12</math> Elementen als Untergruppe der <math>S_{12}</math>, obwohl die Menge <math>\{1,2,3,4\}</math> als Grundmenge <math>M</math> ausreichen würde, denn wir haben ja die Inklusion <math>A_4 \hookrightarrow S_4</math>.

Zu einer gegebenen Gruppe <math>G</math> kann man sich daher fragen, ab welchem Grad <math>n</math> ein injektiver Gruppenhomomorphismus <math>G \hookrightarrow S_n</math> existiert (auch ''treue Permutationsdarstellung'' oder ''Einbettung'' genannt – siehe zu den in diesem Abschnitt geschilderten Fragen auch den Artikel [[Permutationsgruppe]]). Der Satz stellt klar, dass dies für <math>n = |G|</math> jedenfalls möglich ist. Es ist eine interessante und mitunter schwierige Frage, den minimalen Grad <math>m(G)</math> zu bestimmen, für den dies möglich ist.

Interessanterweise gibt es Gruppen <math>G</math>, für die die reguläre Darstellung schon minimal ist, also <math>m(G) = |G|</math>. Für eine solche Gruppe gibt es also Einbettungen <math>G \hookrightarrow S_n</math> nur für <math>n \ge |G|</math>. Dies gilt zum Beispiel für jede [[zyklische Gruppe]] <math>\Z/p \Z</math> von Primzahlordnung, denn keine symmetrische Gruppe <math>S_k</math> mit <math>k < p</math> enthält ein Element der Ordnung <math>p</math> ([[Satz von Lagrange]]). Gleiches gilt für jede zyklische Gruppe <math>\Z/p^k \Z</math>, deren Ordnung eine [[Primzahlpotenz]] ist: Keine symmetrische Gruppe <math>S_l</math> mit <math>l < p^k</math> enthält ein Element der Ordnung <math>p^k</math>. (Dies folgt aus der Zerlegung einer Permutation in ein Produkt disjunkter [[Zyklische Permutation|Zykel]].) Auch die [[kleinsche Vierergruppe]] <math>\Z/2 \Z \times \Z/2 \Z</math> der Ordnung <math>4</math> lässt sich in <math>S_4</math>, aber nicht in <math>S_3</math> einbetten (ebenfalls nach dem Satz von Lagrange). Einen vollständigen Überblick verschafft folgendes Ergebnis:<ref>{{cite journal | last = Johnson | first = David L. | title = Minimal permutation representations of finite groups | journal = American Journal of Mathematics | volume = 93 | year = 1971 | pages = 857–866 |language=en}}</ref>

Für die folgenden Gruppen <math>G</math> ist die reguläre Darstellung bereits minimal, das heißt, es gibt Einbettungen <math>G \hookrightarrow S_n</math> nur für <math>n \ge |G|</math>:
# <math>\Z/2 \Z \times\Z/2 \Z</math>, die kleinsche Vierergruppe.
# <math>\Z/p^k \Z</math>, eine zyklische Gruppe, deren Ordnung eine Primzahlpotenz ist.
# <math>Q_{2^k}</math>, eine verallgemeinerte [[Quaternionengruppe]] der Ordnung <math>2^k</math> mit <math>k \ge 3</math>.
In den Fällen (2) und (3) ist jede Einbettung <math>G \hookrightarrow S_n</math> mit <math>n=|G|</math> konjugiert zur regulären Darstellung.

Umgekehrt gilt, wenn für eine endliche Gruppe <math>G</math> die reguläre Darstellung minimal ist, dann ist <math>G</math> eine Gruppe aus dieser Liste.
Für alle anderen Gruppen lässt sich also der Grad <math>n = |G|</math> aus dem Satz von Cayley noch reduzieren.

== Geschichte ==
Der Satz wird allgemein [[Arthur Cayley]] zugeschrieben, der die Grundidee bereits 1854 in einem der ersten Artikel der Gruppentheorie formulierte.<ref>{{cite journal | last = Cayley | first = Arthur | authorlink= Arthur Cayley | title = On the theory of groups as depending on the symbolic equation θ<sup>n</sup>=1 | journal = Phil. Mag | volume = 7 | issue = 4 | pages = 40–47 | year = 1854 |language=en}}</ref>
Allerdings führt [[William Burnside]]<ref>{{cite book | last = Burnside | first = William | title = Theory of Groups of Finite Order | location = Cambridge | year = 1911 | edition = 2 |language=en}}</ref> in seinem Buch über Gruppentheorie den vollständigen Beweis auf [[Marie Ennemond Camille Jordan|Camille Jordan]]<ref>{{cite book | last = Jordan | first = Camille | title = Traité des substitutions et des équations algébriques | publisher = Gauthier-Villars | location = Paris | year = 1870 |language=en}}</ref> im Jahre 1870 zurück. Eric Nummela<ref>{{cite journal | last = Nummela | first = Eric | title = Cayley's Theorem for Topological Groups | journal = American Mathematical Monthly | volume = 87 | issue = 3 | year = 1980 | pages = 202–203 | doi = 10.2307/2321608 |language=en}}</ref> argumentiert jedoch, dass die übliche Bezeichnung als ''Satz von Cayley'' durchaus korrekt ist: Cayley hatte in seiner Arbeit von 1854 gezeigt, dass die obige Abbildung in die symmetrische Gruppe injektiv ist, auch wenn er nicht explizit gezeigt hat, dass sie ein Gruppenhomomorphismus ist.

== Einzelnachweise ==
<references/>

[[Kategorie:Gruppentheorie]]
[[Kategorie:Satz (Mathematik)|Cayley]]

Satz von Cayley - Versionsgeschichte

imported>Meinichselbst: Parameter fix