Gruppenoperation

In der Mathematik gehört zu einer Gruppenoperation, -aktion oder -wirkung eine Gruppe <math>(G, *)</math> als „aktiver“ Teil und eine Menge <math>X</math> als „passiver“ Teil. Die Operation, Aktion oder Wirkung eines Elements <math>g\in G</math> auf der Menge <math>X</math> ist eine Transformation (bijektive Selbstabbildung) dieser Menge. Dabei operieren die Elemente <math>g,h\in G</math> auf den Elementen der Menge <math>X</math> in der Weise, dass die Aktion des Produkts <math>g*h</math> der Hintereinanderausführung der Einzelaktionen entspricht.

Die operierende Gruppe <math>G</math> wird Transformationsgruppe genannt. Die Menge <math>X</math> zusammen mit der Operation von <math>G</math> auf <math>X</math> heißt {{#if:trim|<math>G</math>-Menge.}}

Ist bei der Menge <math>X</math> zusätzliche Struktur von Bedeutung, sei es algebraische, geometrische oder topologische, wird eine Gruppenoperation nur dann als zulässig erachtet, wenn sie diese Struktur bewahrt.

Die Gruppenoperation ermöglicht es in Algebra, Geometrie und vielen anderen Bereichen der Mathematik, die Symmetrien von Objekten mit Hilfe von Symmetriegruppen zu beschreiben. Hier steht die Untersuchung der Menge, auf der die Operation wirkt, im Vordergrund. Andererseits kann die Operation einer vorgegebenen Gruppe auf geeignet gewählten Mengen in der Gruppentheorie wichtige Informationen über die Struktur der operierenden Gruppe liefern. In diesem Fall steht die Untersuchung der operierenden Gruppe im Vordergrund.

Einführendes Beispiel: Würfelgruppe und Raumdiagonalen

Datei:Cube rotation and reflection and mirror(de).svg

<math>ABCDEFGH</math> seien die Ecken eines Würfels in der üblichen Bezeichnung, d. h., <math>ABCD</math> und <math>EFGH</math> sind gegenüberliegende Flächen (siehe erstes Bild). Die Drehung des Würfels um die Achse, die die Mittelpunkte dieser beiden Flächen verbindet (zweites Bild), induziert die folgende Vertauschung der Ecken:

<math>A \; \, \mapsto \; \, B \; \, \mapsto \; \, C \; \, \mapsto \; \, D \; \, \mapsto \; \, A</math> und gleichzeitig

<math>E \; \, \mapsto \; \, F \; \, \mapsto \; \, G \; \, \mapsto \; \, H \; \, \mapsto \; \, E.</math>

Durch die Drehung werden auch (gleichzeitig) die vier Raumdiagonalen vertauscht, nämlich

<math>AG\mapsto BH\mapsto CE\mapsto DF\mapsto AG.</math>

Eine weitere Symmetrieabbildung, die Spiegelung an der Ebene <math>ABGH</math> (viertes Bild), lässt die zwei Raumdiagonalen <math>AG</math> und <math>BH</math> fest und vertauscht die anderen zwei:

<math>CE\mapsto DF</math> und <math>DF\mapsto CE.</math>

Es gibt aber auch Symmetrieabbildungen des Würfels, die die Raumdiagonalen nicht untereinander vertauschen, nämlich die Punktspiegelung am Mittelpunkt (drittes Bild): Sie entspricht

<math>A\mapsto G\mapsto A</math> und gleichzeitig

<math>B\mapsto H\mapsto B</math> und gleichzeitig

<math>C\mapsto E\mapsto C</math> und gleichzeitig

<math>D\mapsto F\mapsto D.</math>

Dabei wird jede einzelne Raumdiagonale, wenn auch gespiegelt, so doch auf sich selbst abgebildet.

Man sagt: Die Gruppe der Symmetrieabbildungen des Würfels (genannt die „Würfelgruppe“) operiert auf der Menge der Ecken, auf der Menge der Kanten, auf der Menge der Raumdiagonalen etc. Um diese Gruppe zu erfassen, werde im Folgenden der Fokus auf die Permutationen der Raumdiagonalen gerichtet.

Es gibt zu jedem Paar von Raumdiagonalen eine Ebenenspiegelung (in der Abbildung zum Paar <math>CE</math> und <math>DF</math>), die diese beiden vertauscht und alle anderen Raumdiagonalen fest lässt, nämlich die Spiegelung an derjenigen Ebene, die die festbleibenden Raumdiagonalen enthält. Eine solche paarige Vertauschung heißt Transposition, und diese Transpositionen erzeugen die ganze symmetrische Gruppe der Permutationen der (vier) Raumdiagonalen. Da es <math>4! = 24</math> dieser Permutationen gibt und genau zwei Symmetrieabbildungen, die alle Raumdiagonalen festlassen (nämlich die Identität und die oben genannte Punktspiegelung), kann man schließen, dass es insgesamt

Symmetrieabbildungen des Würfels gibt, ohne jede von ihnen einzeln zu kennen. (Für eine genauere Analyse der Gruppenstruktur siehe Oktaedergruppe.)

Definition

(Links-)Aktion

Eine (Links-)Operation, (Links-)Aktion oder (Links-)Wirkung einer Gruppe <math>(G, *)</math> auf einer Menge <math>X</math> ist eine äußere zweistellige Verknüpfung

<math>\triangleright\colon G \times X \to X; \qquad (g, x) \mapsto g \triangleright x,</math>

mit folgenden Eigenschaften:

<math>e \triangleright x = x</math> für alle <math>x \in X</math>, wobei <math>e</math> das neutrale Element von <math>G</math> ist („Identität“),
<math>(g * h) \triangleright x = g \triangleright (h \triangleright x)</math> für alle <math>g, h \in G, x \in X</math> („Verträglichkeit“).

Man sagt dann, <math>G</math> operiert (von links) auf <math>X</math>, und nennt <math>X</math> zusammen mit dieser Gruppenoperation eine (linke) {{#if:trim|<math>G</math>-Menge.}}

Aus den beiden Forderungen folgt, dass für jedes <math>g \in G</math> die Transformation <math>\vartheta_{g \, \triangleright}\colon X \to X, \; x \mapsto g \triangleright x,</math> eine Bijektion (mit der Umkehrabbildung <math>\vartheta_{g \, \triangleright}^{-1} = \vartheta_{g^{-1}\triangleright}\colon X \to X, \, x \mapsto g^{-1} \triangleright x</math>) auf <math>X</math> ist.

Im Falle endlicher Mengen <math>X</math> spricht man von einer Permutation auf <math>X</math>: Für jedes <math>g\in G</math> liegt <math>\vartheta_{g\, \triangleright}</math> in der symmetrischen Gruppe <math>\operatorname{Sym}(X)</math>. Die Aktionen der Gruppenelemente lassen sich also durch Permutationen auf <math>X</math> „darstellen“.
Bei unendlicher Menge <math>X</math> ist der Begriff der Permutation (für eine bijektive Selbstabbildung auf einer Menge) unüblich. Die Menge <math>X</math> ist im unendlichen Falle in der Regel mit einer (algebraischen, geometrischen oder topologischen) Struktur versehen, und von den Gruppenaktionen <math>\vartheta_{g\, \triangleright}</math> wird die Verträglichkeit mit diesen Strukturen verlangt („Automorphismen“): Die Aktionen der Gruppenelemente lassen sich dann als gewisse Automorphismen auf dem Objekt <math>X</math> „darstellen“, je nachdem, worum es sich bei <math>X</math> handelt, soll heißen, welcher Kategorie das Objekt <math>X</math> angehört. Auf der Trägermenge <math>X</math> wird ein Hüllensystem induziert (bspw. das Hüllensystem (der Verband) der Zwischenkörper), dessen Hüllenoperator (Hülleneigenschaften) durch die Kategorie, welcher das Objekt <math>X</math> angehört, bestimmt ist und mit dem sich die Gruppenoperation ebenfalls verträgt.
Wenn im Folgenden also von der symmetrischen Gruppe <math>\operatorname{Sym}(X)</math> oder von Permutationen die Rede ist, so darf stillschweigend angenommen werden, dass <math>X</math> endlich ist. Gruppenoperationen auf endlichen Mengen lassen sich als Teil der Darstellungstheorie endlicher Gruppen auffassen, vgl. hierzu das Beispiel zur Darstellung durch Permutationsmatrizen.
Doch alle Begrifflichkeiten und Aussagen gelten mutatis mutandis auch für den Fall einer unendlichen Menge <math>X</math> mit einer geeigneten Struktur, wenn anstelle der symmetrischen Gruppe <math>\operatorname{Sym}(X)</math> die Automorphismengruppe <math>\operatorname{Aut}(X)</math> betrachtet wird und die Gruppenoperation sowie die Gruppenaktionen mit der auf <math>X</math> bzw. <math>\operatorname{Aut}(X)</math> vorliegenden Struktur verträglich sind. Beispiele hierfür gibt die allgemeine Darstellungstheorie, doch auch der Abschnitt Beispiele vermittelt hierfür einen ersten Eindruck.

Des Weiteren folgt erneut aus den Operationseigenschaften, dass eine Gruppenoperation von <math>G</math> auf <math>X</math> mit einem Gruppenhomomorphismus <math>\Theta_\triangleright</math> von <math>(G, *)</math> in die symmetrische Gruppe <math>(\operatorname{Sym}(X), \circ)</math> gleichgesetzt werden kann:

<math>

\begin{matrix}

  \Theta_\triangleright\colon & (G,*) &\longrightarrow & (\operatorname{Sym}(X), \circ) \\
                              & g     & \mapsto        & [\vartheta_{g\,\triangleright}: x \mapsto g\triangleright x]

\end{matrix} </math>

Dieser Gruppenhomomorphismus heißt eine Permutationsdarstellung der Gruppe, da seine Wirkung auf <math>X</math> durch Permutationen dargestellt wird.

Rechtsaktion

Analog zur Linksoperation ist eine Rechtsoperation, -aktion oder -wirkung eine äußere zweistellige Verknüpfung

<math>\triangleleft\colon X \times G \to X; \qquad (x, g) \mapsto x \triangleleft g</math>

mit

<math>x \triangleleft e = x</math> für alle <math>x \in X</math> und das neutrale Element <math>e</math> von <math>G,</math>
<math>x \triangleleft (g * h) = (x \triangleleft g) \triangleleft h</math> für alle <math>g, h \in G, x \in X.</math>

Der Unterschied zwischen Links- und Rechtsoperationen liegt in der Art und Weise, wie Verknüpfungen <math>g * h</math> auf <math>X</math> operieren. Bei einer Linksoperation operiert zuerst <math>h</math> und dann <math>g</math>, während bei einer Rechtsoperation die Reihenfolge umgekehrt ist.

Aus einer Rechtsoperation lässt sich eine Linksoperation konstruieren, indem man die Operation als Linksoperation der Gegengruppe schreibt, oder auch, indem statt <math>g</math> von links <math>g^{-1}</math> von rechts operiert. Zu jeder Rechtsoperation <math>\triangleleft</math> gibt es eine Linksoperation

<math>\triangleright\colon G \times X \to X; \qquad (g, x) \mapsto g \triangleright x := x \triangleleft g^{-1},</math>

denn

<math>e \triangleright x = x \triangleleft e^{-1} = x \triangleleft e = x</math>

und

<math>\begin{align}

(g * h) \triangleright x &= x \triangleleft (g * h)^{-1}

                         = x \triangleleft (h^{-1} * g^{-1})\\
                        &= (x \triangleleft h^{-1}) \triangleleft g^{-1}
                         = (h \triangleright x) \triangleleft g^{-1} = g \triangleright (h \triangleright x).

\end{align}</math>

Analog lässt sich eine Links- in eine Rechtsoperation umwandeln. Da sich Links- und Rechtsoperation im Wesentlichen nicht unterscheiden, werden ab hier nur noch Linksoperationen betrachtet.

Bei der Betrachtung der Abbildung <math>\Theta_\triangleright</math> ist allerdings Vorsicht geboten: Bei einer Linksoperation ist sie ein Gruppenhomomorphismus, weil Funktionssymbole üblicherweise auch linksseitig notiert werden: „<math>f(x)</math>“. Bei <math>f\circ g</math> operiert daher zuerst <math>g</math> und anschließend <math>f</math>. Das entspricht der Reihenfolge bei einer Linksoperation gemäß der Eigenschaft der Verträglichkeit. Operiert die Gruppe aber von rechts, so handelt es sich um einen Antihomomorphismus von Gruppen, es sei denn, man trifft Vorkehrungen, wie oben geschildert, um dies zu verhindern.

Weitere Begriffe

Homomorphismen zwischen G-Mengen

Wenn <math>Y</math> eine weitere Menge mit einer <math>G</math>-Linksoperation <math>\star</math> ist und <math>\varphi\colon X \to Y</math> eine Abbildung, so dass für alle <math>g \in G</math> und für alle <math>x \in X</math> gilt:

<math>\varphi(g \triangleright x) = g \star \varphi(x),</math>

dann wird <math>\varphi</math> als G-äquivariant oder auch als Homomorphismus von <math>G</math>-Mengen bezeichnet.

Bahn

Es sei <math>\triangleright</math> die (Links-)Operation einer Gruppe <math>(G, *)</math> auf einer Menge <math>X.</math> Für jedes <math>x \in X</math> nennt man dann

<math>G \triangleright x := \{g \triangleright x \mid g \in G\}</math>

die Bahn, das Transitivitätsgebiet, das Transitivitätssystem oder den Orbit (engl. orbit) von <math>x.</math>

Die Bahnen bilden eine Partition von <math>X.</math> Die Anzahl der Elemente einer Bahn (bzw. ihre Mächtigkeit) wird auch die Länge der Bahn genannt. Für ein fest gewähltes <math>x_0\in X</math> nennt man die durch

<math>g\mapsto g \triangleright x_0</math>

gegebene Abbildung <math>G\to X</math> die „Orbitabbildung“.

Die Bahnen sind die Äquivalenzklassen bezüglich der Äquivalenzrelation der Konjugation (unter der Operation der Gruppe <math>G</math>, scil.):

Elemente <math>x,y \in X</math> heißen (unter der Gruppenoperation) konjugiert, (in Zeichen: „<math>x \sim y</math>“) genau dann, falls es ein <math>g \in G</math> gibt, für das <math>g \triangleright x = y</math> gilt.<ref group="Anm">Von Lateinisch coniugare: „(zu einem Paar) verbinden, verknüpfen; verheiraten“: Konjugierte Elemente sind mit Hilfe der Gruppenoperation miteinander verknüpft, nämlich durch die Operation des geeigneten <math>g</math> bzw. <math>g^{-1}</math>.</ref>

Offenbar sind zwei Elemente einer Bahn stets konjugiert.

Die Menge <math>G\backslash X := \{G \triangleright x \mid x \in X\}</math> der Äquivalenzklassen wird Bahnenraum oder Orbitraum genannt und besteht demnach aus den Konjugationsklassen (unter der Gruppenoperation).

Für eine Rechtsoperation <math>\triangleleft</math> definiert man analog

<math>x \triangleleft G := \{x \triangleleft g \mid g \in G\}</math>

und

<math>X/G := \{x \triangleleft G \mid x \in X\}.</math>

Fundamentalbereich

{{#if: Fundamentalbereich|{{#ifexist:Fundamentalbereich|

|{{#if: |{{#ifexist:{{{2}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{2}}}{{#if: ||{{{titel2}}}}}]]{{#if: |{{#ifexist:{{{3}}}| und [[{{{3}}}{{#if: ||{{{titel3}}}}}]]|}}|}}

|{{#if: |{{#ifexist:{{{3}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{3}}}{{#if: ||{{{titel3}}}}}]]

|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}

Seien <math>X</math> eine Menge und <math>G</math> eine Transformationsgruppe von <math>X</math>. Für einen Punkt <math>x \in X</math> bezeichne <math>G \triangleright x</math> die Bahn von <math>x</math>. Dann heißt die Menge <math>F \subset X</math> ein Fundamentalbereich von <math>X</math>, wenn der Schnitt <math>G \triangleright x \cap F</math> für jedes <math>x \in X</math> eine einelementige Menge ist.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Mit anderen Worten enthält ein Fundamentalbereich genau einen Punkt aus jeder Bahn und ist damit dasselbe wie ein Repräsentantensystem der durch die Operation auf der Menge induzierten Äquivalenzrelation.

Beispiel: Das Quadrat <math>[0,1)\times[0,1)</math> ist ein Fundamentalbereich von <math>\R^2</math> bezüglich der Transformationsgruppe <math>\Z^2</math>. Jeder Punkt <math>(x,y) \in \R^2</math> lässt sich schreiben als <math>(u + m, v + n)</math> mit <math>(m,n) := (\lfloor x \rfloor, \lfloor y \rfloor) \in \Z^2</math> und <math>(u,v) := (x-m,y-n) \in [0,1)\times[0,1)</math>.

Transitive und scharf transitive Operationen {{#invoke:Vorlage:Anker|f |errCat=Wikipedia:Vorlagenfehler/Vorlage:Anker |errHide=1}}

Man bezeichnet die Gruppenoperation <math>\triangleright</math> von <math>G</math> auf <math>X</math> als (einfach) transitiv oder sagt „die Gruppe <math>G</math> operiert (einfach) transitiv auf <math>X</math>“, wenn es zu je zwei Elementen <math>x, y \in X</math> ein <math>g \in G</math> gibt, so dass <math>g \triangleright x = y</math> gilt. Es genügt sogar, dies nur für ein fest gewähltes <math>x'\in X</math> zu fordern, das heißt: Ist <math>x\in X</math>, so operiert <math>G</math> (einfach) transitiv, wenn es zu jedem <math>y\in X</math> ein <math>g\in G</math> gibt mit <math>g\triangleright x = y</math>. („Jedes Element von <math>X</math> ist zu einem fest gewählten konjugiert.“)

Ist ein Gruppenelement <math>g</math> mit <math>g \triangleright x = y</math> darüber hinaus durch zwei beliebige Elemente <math>x, y \in X</math> eindeutig bestimmt, so nennt man die Gruppenoperation scharf (einfach) transitiv.

Transitive Gruppenoperationen auf <math>X</math> sind demnach dadurch gekennzeichnet, dass sie nur eine Bahn besitzen, die ganz <math>X</math> umfasst.

Besitzt sie mehr als nur eine Bahn, so heißt die Gruppenoperation intransitiv.

Gibt es sogar zu jedem Paar <math>(x_1, x_2) \in X^2</math> mit <math>x_1 \neq x_2</math> und jedem Paar <math>(y_1, y_2)\in X^2</math> mit <math>y_1 \neq y_2</math> ein Gruppenelement <math>g\in G</math>, für das <math>g \triangleright x_1 = y_1</math> und <math>g \triangleright x_2 = y_2</math> ist, dann nennt man die Gruppenoperation zweifach transitiv und scharf zweifach transitiv, wenn es stets genau ein Gruppenelement mit der genannten Eigenschaft gibt.

Allgemein induziert eine Operation <math>\triangleright</math> der Gruppe <math>G</math> auf <math>X</math> für <math>k \in \N\setminus\{0\}</math> eine Operation

<math>\triangleright_k\colon G \times X^k \to X^k</math> durch <math>g \triangleright_k (x_1, x_2, \dotsc, x_k) = (g \triangleright x_1, g \triangleright x_2, \dotsc, g\triangleright x_k).</math>

Da hierbei stets <math>x_i = x_j \Leftrightarrow g \triangleright x_i = g \triangleright x_j </math> gilt, lässt sich diese Operation auf jene Teilmenge <math>(X^k)' \subseteq X^k</math> beschränken, die nur diejenigen Tupel <math>(x_i)_{1\leq i\leq k}</math> mit paarweise verschiedenen Einträgen <math>x_i</math> enthält.

Ist <math>\triangleright_k\colon (X^k)' \to (X^k)'</math> (scharf) einfach transitiv, dann heißt die Gruppenoperation <math>\triangleright</math> (scharf) <math>k</math>-fach transitiv. Mit anderen Worten: Die Gruppe <math>G</math> operiert via <math>\triangleright</math> genau dann

<math>k</math>-fach transitiv auf <math>X</math>, wenn <math>\triangleright_k</math> transitiv operiert,
scharf <math>k</math>-fach transitiv auf <math>X</math>, wenn <math>\triangleright_k</math> auf <math>(X^k)'</math> scharf einfach transitiv operiert, das heißt, wenn es für <math>t_1, t_2 \in (X^k)'</math> (also für „<math>k</math>-Tupel ohne Doppelnennung“) stets genau ein Gruppenelement <math>g \in G</math> mit <math>g\triangleright_k t_1 = t_2</math> gibt.

Wichtige Anwendungen haben solche (scharf) transitiven Operationen in der Geometrie, siehe zum Beispiel Affinität (Mathematik), Moufangebene, Affine Translationsebene.

Bei der Anwendung auf Graphen begegnet man, wenn keine Missverständnisse zu befürchten sind, den kurzen Formulierungen „der Graph ist kantentransitiv“ oder „die Gruppe ist kantentransitiv“ (engl. edge-transitive) anstelle der ausführlichen Formulierung „die Symmetriegruppe des Graphen operiert transitiv auf den Kanten“.

Beispiele

Die (Kleinsche) Vierergruppe <math>V_1:=\{e,(12)(34),(13)(24),(14)(23)\}</math> operiert (scharf einfach) transitiv auf der Menge <math>X := \{1,2,3,4\}</math>, da die Ziffer 1 in jede andere übergeführt werden kann. Dies gilt nicht für die Operation der Vierergruppe <math>V_2:=\{e,(12),(34),(12)(34)\}</math> auf <math>X</math>. Dabei sind <math>V_1</math> und <math>V_2</math> zueinander isomorph und zur Diedergruppe der Ordnung vier.
Die Galoisgruppe eines über einem Körper <math>K</math> irreduziblen Polynoms (etwa eines Polynoms mit rationalen Koeffizienten (<math>K=\Q</math>)) operiert transitiv auf der Menge der Nullstellen des Polynoms.<ref>Nieper-Wißkirchen: Galoissche Theorie. Universität Augsburg (2013), Folgerung 4.11, S. 133 (<templatestyles src="Webarchiv/styles.css" />{{#if:20190715130507

      | {{#ifeq: 20190715130507 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20190715130507}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20190715130507}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20190715130507|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: online
    | {{#if: {{#invoke:WLink|isBracketedLink|online}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}).</ref><ref>Vgl. auch {{#invoke:Vorlage:Literatur|f}}</ref> Dieses Beispiel ist Gegenstand des Abschnittes „Automorphismengruppe eines Körpers und einer Galois-Erweiterung“.

Homogene Operationen

Eine Verallgemeinerung der <math>k</math>-fach transitiven Operation ist die <math>k</math>-fach homogene Operation. Eine Gruppe <math>G</math> operiert {{#if:trim|<math>k</math>-fach}} homogen auf der Menge <math>X</math> mit <math>k \in \N\setminus\{0\},</math> wenn es für zwei beliebige Teilmengen <math>U, V \subseteq X</math> mit je genau <math>k</math> Elementen stets mindestens ein Gruppenelement <math>g\in G</math> gibt, das <math>U</math> auf <math>V</math> abbildet, also mit <math>g \triangleright U = V.</math> Jede <math>k</math>-fach transitive Operation ist auch <math>k</math>-fach homogen. Von der homogenen Operation wird im Unterschied zur transitiven Operation nicht verlangt, dass die <math>k</math> vorgegebenen Urbildelemente in einer bestimmten Reihenfolge auf die vorgegebenen Bildelemente abgebildet werden.

Stabilisator

Für ein <math>x \in X</math> nennt man

<math>G_x = \{g \in G \mid g \triangleright x = x\}</math>

den Stabilisator, die Isotropiegruppe, die Fixgruppe oder die Standuntergruppe von <math>x.\; (G_x, *)</math> ist eine Untergruppe von <math>(G, *)</math>, die auf <math>G</math> operiert. Durch die Operation <math>\triangleright</math> ist dann eine kanonische Bijektion zwischen der Menge der Linksnebenklassen nach dem Stabilisator des Elements <math>x</math> und dessen Bahn gegeben (siehe unten „Bahnensatz“):

<math>G/G_x \;\stackrel\cong\to\; G \triangleright x,\quad g * G_x \mapsto g \triangleright x.</math>

Gehören <math>x</math> und <math>y</math> derselben Bahn an (<math>x\sim y</math>) so sind die zugehörigen Fixgruppen <math>G_x, G_y</math> im Sinne der Gruppentheorie zueinander konjugierte Untergruppen,<ref group="Anm">Beachte hierzu unter den Beispielen den Abschnitt Operation durch Konjugation.</ref> das heißt, mit einem geeigneten <math>g\in G</math> gilt: <math>G_x = g^{-1} * G_y * g </math>. Dazu wähle nämlich <math>g</math> mit <math>y = g\triangleright x</math> gemäß Voraussetzung. Kurz: Fixgruppen konjugierter Elemente sind konjugierte Untergruppen.

<math>G_x</math> operiert (durch Einschränkung von <math>\triangleright</math>) auf <math>X\setminus\{x\}.</math> Ist diese Operation <math>k</math>-fach transitiv und <math>G_x \neq G,</math> so ist die Operation von <math>G</math> auf <math>X</math> sogar <math>(k+1)</math>-fach transitiv.

Ist <math>Y \subseteq X</math> eine Teilmenge und <math>H\subseteq G</math> eine Untergruppe, und gilt

<math>H \triangleright Y \subseteq Y</math> mit <math>H \triangleright Y := \{h \triangleright y \mid h \in H, y \in Y\},</math>

so sagt man, dass <math>Y</math> stabil oder invariant unter (der Operation von) <math>H</math> ist oder dass <math>Y</math> von <math>H</math> stabilisiert wird. Es gilt dann stets sogar <math>H \triangleright Y = Y.</math> Der Stabilisator eines Punktes <math>x \in X</math> ist also die maximale Untergruppe von <math>G,</math> die <math>\{x\}</math> stabilisiert.

Wenn <math>Y \supset Y'</math>, so ist die maximale Untergruppe von <math>G</math>, die <math>Y</math> stabilisiert, eine Teilmenge der maximalen Untergruppe von <math>G</math>, die <math>Y'</math> stabilisiert.

Fixgruppen von Mengen und ihre Normalisatoren

Für eine (nicht notwendig echte) Teilmenge <math>Y\subseteq X</math> bezeichnet <math>G_Y := \operatorname{Fix}_G(Y):= \{g\in G\mid \forall y\in Y: g\triangleright y = y\}</math> die Menge aller Gruppenelemente, die jeden Punkt <math>y\in Y</math> unverändert lassen.

Die Fixgruppe von einer Menge <math>Y</math> ist in der maximalen die Menge <math>Y</math> stabilisierenden Untergruppe<ref group="Anm">In der Literatur scheint der Begriff „Stabilisator einer Menge“ nicht üblich zu sein, möglicherweise um Verwechslungen mit der Fixgruppe von vornherein zu vermeiden. Zudem wird sich weiter unten zeigen, dass er mit dem Normalisator der Fixgruppe übereinstimmt, so dass die Einführung einer potenziell verwirrenden Begrifflichkeit verzichtbar ist.</ref> enthalten, jedoch im Allgemeinen nicht mit ihr identisch, da diese die Punkte aus <math>Y</math> nicht punktweise fixieren muss, sondern permutieren darf.

Für <math>h\in G</math> folgt unmittelbar aus der Definition:

<math>\operatorname{Fix}_G(h\triangleright Y) = h* \operatorname{Fix}_G(Y) * h^{-1}</math>.
Ist <math>Y' := h\triangleright Y</math> und bezeichnet <math>U = \{g\in G\mid g\triangleright Y = Y \} </math> die maximale die Menge <math>Y</math> stabilisierende Untergruppe von <math>G</math> sowie <math>U'</math> die Entsprechung für <math>Y'</math>, so gilt <math>U' = h^{-1} * U * h</math>, denn <math>g\in U' \Leftrightarrow (g*h)\triangleright Y = h\triangleright Y \Leftrightarrow h^{-1}* g * h \in U</math>.

Zusammenfassend: Die maximal stabilisierenden Untergruppen (bzw. die Fixgruppen) konjugierter Teilmengen sind unter der Operation der inneren Automorphismen (siehe Beispiel „Operation durch Konjugation“) konjugiert. Insbesondere sind die maximal stabilisierenden Untergruppen (bzw. die Fixgruppen) von Teilmengen <math>Y</math>, die unter der Operation der gesamten Transformationsgruppe stabil (invariant) sind Normalteiler in der Transformationsgruppe.

Auch wenn <math>Y</math> nicht invariant unter der gesamten Transformationsgruppe ist, so folgt aus der Identität <math>\operatorname{Fix}_G(h\triangleright Y) = h* \operatorname{Fix}_G(Y) * h^{-1}</math> für jedes <math>h\in G</math> (und unter Beachtung der Tatsache <math>\operatorname{Fix}_G(Y) \subseteq U</math>) die Äquivalenz

<math>h\in U \Leftrightarrow h * \operatorname{Fix}_G(Y) * h^{-1} = \operatorname{Fix}_G(Y)</math>.

Also stehen die Fixgruppe <math>\operatorname{Fix}_G(Y)</math> und die sie umfassende maximale Untergruppe <math>U</math>, unter deren Operation <math>Y</math> invariant ist, in dem bemerkenswerten Verhältnis:

<math>U = \{g\in G\mid g* \operatorname{Fix}_G(Y) *g^{-1} = \operatorname{Fix}_G(Y) \} =: \operatorname{Nor}_G(\operatorname{Fix}_G(Y))</math>. Die rechte Menge heißt der Normalisator von <math>\operatorname{Fix}_G(Y)</math> in <math>G</math>, da sie die maximale Untergruppe von <math>G</math> ist, in der <math>\operatorname{Fix}_G(Y)</math> als Normalteiler enthalten ist. Diese ist identisch mit der maximalen Untergruppe <math>\operatorname{Inv}_G (Y)</math> von <math>G</math>, unter deren Operation <math>Y</math> invariant (stabil) ist: <math>\operatorname{Nor}_G(\operatorname{Fix}_G(Y)) = \operatorname{Inv}_G (Y) := \{g\in G\mid g\triangleright Y \subseteq Y \} </math>.

Fixpunktmengen

Ein Element <math>x\in X</math> heißt Fixpunkt unter der Operation eines <math>g\in G</math>, wenn <math>g\triangleright x = x</math>. Es heißt Fixpunkt unter der Gruppe(noperation einer Untergruppe) <math>H\subset G</math>, wenn es Fixpunkt eines jeden <math>h\in H</math> ist.

Für Fixpunktmengen finden sich in der Literatur folgende Schreibweisen:

die Menge aller Fixpunkte unter <math>g</math>:

<math>X^g := \{ x\in X \mid x \text{ ist Fixpunkt unter } g\}</math>

die Menge aller Fixpunkte unter einer Untergruppe <math>H\subset G</math>:

<math>X^H := \{ x\in X \mid h \text{ ist Fixpunkt unter der Operation von } H \}</math>

Erzeugt das Element <math>h\in G</math> die Untergruppe <math>H</math>, so gilt <math>X^h = X^H</math>.

Selbstverständlich ist die Fixpunktmenge <math>X^H</math> stabil unter <math>H</math>, doch ist es im Allgemeinen nicht gleich der maximalen unter <math>H</math> stabilen Teilmenge, denn in dieser müssen die Elemente nicht punktweise fix bleiben, sondern dürfen untereinander permutiert werden.

Es gilt <math>X^{H} \subset X^{H'}</math>, falls <math>H \supset H'</math>, wie leicht zu erkennen.

Des Weiteren gilt offensichtlich <math> \operatorname{Fix}_G(X^H) \supset H</math>. Der Übergang von <math>H \mapsto \operatorname{Fix}_G(X^H)</math> wird gelegentlich als „Abschluss der Untergruppe“ <math>H</math> (im Sinne der Gruppenoperation) bezeichnet.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Konjugierte Mengen

In Verallgemeinerung des obigen Begriffs der Konjugation nennt man zwei Teilmengen <math>Y_1, Y_2 \subset X</math> (unter der Gruppenoperation) konjugiert, wenn es ein Element <math>g\in G</math> mit der Eigenschaft <math>g\triangleright Y_1 = Y_2</math> gibt.

Schränkt man die transitive Operation einer Gruppe <math>G</math> auf einen Normalteiler <math>N</math> ein, so sind deren Bahnen <math>N\triangleright x</math> <math>(x \in X)</math> sämtlich unter der Gruppenoperation von <math>G</math> zueinander konjugiert, das heißt: Sind <math>x, y \in X</math>, so gibt es <math>g\in G</math> mit <math>g\triangleright (N\triangleright x) = N\triangleright y</math>. Dazu wähle <math>g\in G</math> mit <math>g\triangleright x = y</math> und beachte <math>g*N = N*g</math> gemäß Voraussetzung.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Auf den Transitivitätsgebieten unter einem Normalteiler operiert die Quotientengruppe <math>G/N</math> wohldefiniert.

Ferner folgt: Ist <math>X</math> endlich, so besitzen die Transitivitätsgebiete unter einem Normalteiler dieselbe Mächtigkeit.

Primitive Gruppenoperationen und Imprimitivitätsgebiete

Für transitive Gruppenoperationen gibt es zwei triviale Partitionierungen <math>X = \biguplus_{i\in I} Y_i</math> der Menge <math>X</math> in Teilmengen <math>Y_i</math>, so dass die Gruppenoperation diese Teilmengen permutiert. Dabei sei <math>I</math> eine nichtleere Indexmenge, die das neutrale Element <math>e\in G</math> enthalte. Das die Teilmengen permutiert werden, bedeutet, dass es zu jedem <math>g\in G</math> ein <math>i\in I</math> gibt mit <math>g\triangleright Y_{e} = Y_i</math>. Daher lässt sich als Indexmenge eine Teilmenge <math>I \subseteq G</math> (oder eine gleichmächtige Menge) wählen, die (ohne Einschränkung) <math>e_G</math> enthalte. Die beiden erwähnten trivialen Partitionierungen sind:

die Partition in einelementige Teilmengen: <math>X = \biguplus_{x\in X} \{x\} </math> (mit <math>I=X</math> und <math>Y_x = \{x\}</math>)<ref group="Anm">Beachte, dass es der Transitivität wegen eine Bijektion zwischen einer Teilmenge <math>I\subseteq G</math> und <math>X</math> gibt: Zu jedem <math>x\in X</math> gibt es ein <math>i\in G</math> mit <math>i\triangleright x_0 = x</math>.</ref> und
die „Partition“ <math>X = Y</math> (mit <math>I = \{ e\} </math> und <math>Y_e = X</math>).

Wenn eine transitiv operierende Gruppe nur diese beiden trivialen Partitionierungen besitzt, so heißt ihre Gruppenoperation primitiv, andernfalls imprimitiv.

Operiert sie imprimitiv, so gibt es demnach Teilmengen <math>Y_i \subsetneqq X\; (i\in I \subseteq G)</math>, die sämtlich mehr als nur ein Element enthalten und eine Partition von <math>X</math> darstellen. Es lässt sich folgern, dass sie zueinander paarweise konjugiert und infolgedessen gleichmächtig sind.

Die Teilmengen <math>Y_i</math> einer nicht-trivialen Partitionierung heißen Imprimitivitätsgebiete.<ref> {{#invoke:Vorlage:Literatur|f}}</ref>

Die Eigenschaft, primitiv zu operieren, liegt allein in der Gruppe beschlossen, denn für transitiv operierende Gruppen gilt folgendes

Kriterium für primitive Gruppenoperation

Bezeichnet <math>G_x</math> die Fixgruppe eines Elementes <math>x\in X</math>, so sind äquivalent:

Es gibt eine echte Zwischengruppe <math>G_x \subsetneqq H \subsetneqq G</math>.
<math>G</math> operiert imprimitiv.

Andernfalls operiert <math>G</math> primitiv, das heißt <math>X</math> ist eine primitive <math>G</math>-Menge.

Zum Beweis:

Ist die Partition gegeben, so liege dabei (ohne Beschränkung der Allgemeinheit) <math>x\in Y_e</math>, und es ist offenbar <math>H</math> gerade die maximale <math>Y_e</math> stabilisierende Untergruppe, das heißt: <math>H = \{h\in G\mid h\triangleright Y_e \subseteq Y_e \} = \operatorname{Inv}_G(Y_e)</math>. Damit gilt notwendig <math>G_x \subsetneqq H \subsetneqq G</math>.
Ist umgekehrt <math>H</math> gegeben so setze man <math>Y_e = H\triangleright x</math> und folgere <math>\{x\} \subsetneqq Y_e \subsetneqq X</math>. Die Partition in Imprimitivitätsgebiete ist gegeben durch

<math>Y_{g} := g \triangleright Y_e = (g*H) \triangleright x</math>, wobei <math>g*H </math> die Linksnebenklassen von <math>H</math> durchläuft, <math>g</math> selbst also nur ein geeignetes Repräsentantensystem <math>I \subseteq G</math> dieser Linksnebenklassen. Insgesamt erhält man die Partition:

<math>X = \biguplus_{g*H \in G/H} g\triangleright Y_e = \biguplus_{g\in I} \underbrace{(g*H) \triangleright x}_{= Y_g}</math>.

Umgekehrt gilt also: <math>G</math> operiert genau dann primitiv, wenn die Fixgruppe <math>G_x</math> eines Elementes <math>x\in X</math> eine maximale Untergruppe in <math>G</math> ist.

Die Eigenschaft der Primitivität lässt sich mit Hilfe des Begriffs der Kongruenzrelation konziser beschreiben: Eine Äquivalenzrelation „<math>\sim</math>“ auf der Menge <math>X</math> heiße Kongruenzrelation auf der <math>G</math>-Menge <math>X</math>, wenn sie mit der <math>G</math>-Operation in folgendem Sinne verträglich ist: <math>x \sim y \Rightarrow g\triangleright x \sim g\triangleright y</math>. Genau dann operiert <math>G</math> auf den Äquivalenzklassen wohldefiniert durch <math> g\triangleright [x]_\sim := [g \triangleright x]_\sim</math> („Quotientenbildung nach der Kongruenzrelation“). Die <math>G</math>-Menge <math>X</math> (bzw. die Operation von <math>G</math> auf <math>X</math>) ist primitiv, wenn sie nur die trivialen Kongruenzrelationen zulässt, nämlich die Identität (<math>[x] = \{x\}</math>) und die Allrelation (Universalrelation) (<math>[x] = X</math>).

Freie und treue Operationen

Die Operation heißt frei oder semiregulär, falls jedes Element der Menge nur vom neutralen Element der Gruppe fixiert wird. Das bedeutet, dass sämtliche Stabilisatoren trivial sind, d. h. <math>G_x = \{e\}</math> für alle <math>x \in X</math>, oder – angesichts des Bahnensatzes äquivalent – dass jede Bahn die Länge <math>(G:1)</math> hat. Die Bahnengleichung für endlicher Menge <math>X</math> lautet dann vereinfacht:

<math>\#X = \sum_{x\in R} (G:1) = \# R \cdot (G:1) </math>, wobei <math>R</math> ein Repräsentantensystem der Äquivalenzklassen von <math>X</math> bezeichne.

Die Operation heißt treu bzw. effektiv, falls nur das neutrale Element der Gruppe alle Elemente der Menge zugleich fixiert. Das bedeutet, dass der zugehörige Homomorphismus <math>\Theta_\triangleright\colon G\to\operatorname{Sym}(X)</math> trivialen Kern hat, also injektiv ist.

Jede freie Gruppenoperation auf einer nichtleeren Menge ist treu.

Operiert eine Gruppe nicht treu, so induziert sie eine treue Operation durch die Faktorgruppe nach dem Kern: <math>\overline{\Theta_\triangleright}\colon G/(\ker\Theta_\triangleright) \to \operatorname{Sym}(X)</math>.

Darstellung der Transformationsgruppe durch Permutationen bzw. als Permutationsgruppe

Bei treuer Operation auf einer endlichen Menge <math>X</math> kann die Transformationsgruppe <math>G</math> demnach als Untergruppe der symmetrischen Gruppe <math>\operatorname{Sym}(X)</math> aufgefasst werden: Man sagt dann, dass „<math>G</math> als Permutationsgruppe auf <math>X</math> operiere“ oder dass <math>\Theta_\triangleright</math> „die Transformationsgruppe als Permutationsgruppe darstelle“, nämlich als die Permutationsgruppe <math>\Theta_\triangleright (G)</math>. Entsprechend heißt <math>\Theta_\triangleright</math> eine Permutationsgruppendarstellung von <math>G</math>.

Umgekehrt induziert eine Einbettung <math>G \hookrightarrow\operatorname{Sym}(X)</math> eine Operation von <math>G</math> auf <math>X</math>.

In der Sprache der Darstellungstheorie, etwa der endlicher oder kompakter Gruppen, ist es üblich, von einer Darstellung nicht a priori die Injektivität zu verlangen: Es genügt, dass sie eine homomorphe Abbildung ist. Wenn sie darüber injektiv ist, so heißt sie eine treue Darstellung. Jede Gruppenoperation (auf einer endlichen Menge) liefert eine Permutationsdarstellung, das heißt eine Darstellung durch Permutationen. Jede treue Permutationsdarstellung ist eine Darstellung als Permutationsgruppe, das heißt eine Permutationsgruppendarstellung, und gibt also eine Interpretation der Transformationsgruppe als eine Gruppe von Permutationen auf einer endlichen Menge. Die Anzahl ihrer Elemente heißt Grad der Darstellung bzw. Operation. Diese Sprechweise befindet sich im Einklang mit den Gepflogenheiten der Darstellungstheorie.<ref>Vgl.

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}</ref>

Äquivalente Permutationsgruppen

Zwei Permutationsgruppen <math>\Pi_1 \subseteq \operatorname{Sym}(X_1), \Pi_2 \subseteq \operatorname{Sym}(X_2)</math> heißen äquivalent, wenn sie sich nur in der Benennung ihrer Permutationselemente aus <math>X_1, X_2</math> unterscheiden, soll heißen, wenn es eine Bijektion <math>\Phi\colon X_1 \to X_2</math> gibt, die folgendermaßen einen Isomorphismus der Permutationsgruppen stiftet:

<math>

\begin{matrix}

\Pi_1 &\longrightarrow & \Pi_2 \\
\pi &\mapsto &   \Phi \circ \pi \circ \Phi^{-1}

\end{matrix} </math> Ist hierbei <math>X_1 = X_2 = X</math>, so ist natürlich <math>\Phi \in \operatorname{Sym}(X)</math>, und die Äquivalenz der Permutationsgruppen bedeutet, dass die beiden Untergruppen <math>\Pi_1, \Pi_2</math> in der Gruppe <math>\operatorname{Sym}(X)</math> (im Sinne der Gruppenkonjugation) zueinander konjugiert sind, nämlich durch eben jenes <math>\Phi\in\operatorname{Sym}(X)</math>: <math>\Pi_2 = \Phi \circ \Pi_1 \circ \Phi^{-1}</math>.

Äquivalente Permutationsdarstellungen

Zwei Permutationsdarstellungen <math>\Theta_i\colon G \rightarrow \operatorname{Sym}(X_i) \;(i=1,2)</math> bzw. die durch sie induzierten Operationen <math>\triangleright_i\colon G\times X_i \to X_i, \; g\triangleright_i x_i := \Theta_i(g) (x_i)</math> heißen äquivalent, wenn es eine Bijektion <math>\Phi\colon X_1 \to X_2</math> gibt, welche zugleich ein Homomorphismus (also ein Isomorphismus) zwischen den <math>G</math>-Mengen <math>X_1</math> und <math>X_2</math> ist, das heißt, welche sich in der folgenden Weise mit den Operationen „<math>\triangleright_1, \triangleright_2</math>“ auf <math>X_1</math> bzw. <math>X_2</math> verträgt: Für jedes <math>g\in G, x_1\in X_1, x_2\in X_2</math> gilt

<math>\Phi\left( g\triangleright_1 x_1 \right) = g \triangleright_2 \Phi(x_1) </math> oder äquivalent
<math>g\triangleright_1 x_1 = \Phi^{-1}\left( g \triangleright_2 \Phi(x_1) \right)</math>.

Ist dabei <math>X_1 = X_2 = X</math>, so bedeutet die Äquivalenz zweier Permutationsdarstellungen <math>\Theta_1, \Theta_2\colon G \to \operatorname{Sym}(X)</math>, dass die beiden Untergruppen <math>\Theta_1 (G)</math> und <math>\Theta_2(G)</math> in der Gruppe <math>\operatorname{Sym}(X)</math> (im Sinne der Gruppenkonjugation) zueinander konjugiert sind, nämlich durch eben jenes <math>\Phi\in\operatorname{Sym}(X)</math>: <math>\forall g\in G\colon \Theta_1 (g) = \Phi^{-1} \circ \Theta_2(g) \circ \Phi</math>.<ref>Siehe {{#invoke:Vorlage:Literatur|f}}</ref>

Beispiel: Bezeichnet <math>\varphi\colon g \mapsto h * g * h^{-1}</math> einen inneren Automorphismus auf einer Gruppe <math>G</math>, die vermöge <math>\triangleright</math> auf <math>X</math> operiert, so erhält man durch <math>g \triangleright^\varphi x := \varphi(g) \triangleright x = (h * g * h^{-1}) \triangleright x = \left( \Theta_\triangleright(h) \circ \Theta_\triangleright(g) \circ \Theta_\triangleright(h)^{-1} \right) (x)</math> eine äquivalente <math>G</math>-Operation.

Eigenschaften

Die Äquivalenzklassen der oben eingeführten Äquivalenzrelation „<math>\sim</math>“ sind genau die Bahnen oder Konjugationsklassen (unter der Gruppenoperation). Daraus folgt die

Bahnengleichung: Die Mächtigkeit von <math>X</math> ist gleich der Summe über die Länge aller Bahnen.

Dabei gilt (mit <math>G_x</math> als der Fixgruppe von <math>x</math>) für jede Bahn (das heißt für jede Äquivalenzklasse) der

Bahnensatz: Für jedes <math>x \in X </math> ist die (wohldefinierte!) Abbildung <math>i\colon G/G_x \to G \triangleright x; \quad g * G_x \mapsto g \triangleright x,</math> eine Bijektion von der Menge der Linksnebenklassen nach der Fixgruppe von <math>x</math> in dessen Konjugationsklasse (Bahn).

Für Rechtsoperationen sind stattdessen die Rechtsnebenklassen zu betrachten.

Wenn <math>X</math> endlich ist und <math>R\subset X</math> ein Repräsentantensystem der Äquivalenzklassen in <math>X</math> bezeichne, dann lässt sich die obige Bahnengleichung folgendermaßen schreiben:

<math>\#X = \sum_{x\in R} G\triangleright x = \sum_{x\in R} (G:G_x) </math>

Aus der Bijektion des Bahnensatzes folgt für eine endliche Gruppe <math>G</math> die Bahnformel

<math>|G \triangleright x| \cdot |G_x| = |G|.</math>

Insbesondere ist die Länge jeder Bahn ein Teiler der Ordnung von <math>G.</math>

Beispiele

Permutationsgruppen

Die beiden oben bereits beispielhaft genannten Gruppen

<math>V_1:=\{e,(12)(34),(13)(24),(14)(23)\}</math> und
<math>V_2:=\{e,(12),(34),(12)(34)\}</math>

sind als Gruppen isomorph zu (Kleinschen) Vierergruppe.

Ihre Operation auf der Menge <math>X := \{1,2,3,4\}</math> sind nicht äquivalent:

<math>V_1</math> operiert (scharf einfach) transitiv, da die Ziffer 1 in jede andere (von genau einem Gruppenelement) überführt werden kann. Darüber hinaus operiert sie imprimitiv, wie die möglichen Partitionen in Imprimitivitätsgebiete (nichttriviale Kongruenzklassen) zeigen:
- Entweder <math>X := \{1,2\} \uplus \{3,4\}</math>
- oder <math>X := \{1,3\} \uplus \{2,4\}</math>
- oder <math>X := \{1,4\} \uplus \{2,3\}</math>.
<math>V_2</math> hingegen operiert nicht transitiv. Die Menge <math>X</math> zerfällt in die Bahnen <math>\{1,2\}</math> und <math>\{3,4\}</math>.

Beachte hierbei, dass die ursprünglich treue Operation der Kleinschen Vierergruppe <math>V_1</math> bei der Reduktion auf die beiden Imprimitivitätsgebiete aus <math>X/\!\!\sim</math> ihre Treue verliert.

Äquivalente Permutationsgruppendarstellungen setzen gleiche Transformationsgruppen voraus. Isomorphe Permutationsgruppen können jedoch inäquivalent sein. Im vorliegenden Falle gibt es keine bijektive Selbstabbildung auf <math>X</math>, die zwischen beiden Operationen vermittelt.

Beispielsweise verfügt die alternierende Gruppe <math>A_5</math> fünften Grades über transitive primitive Darstellungen fünften, sechsten und zehnten Grades, die natürlich nicht äquivalent sind. Weitere transitive primitive Darstellungen anderer Grade gibt es allerdings nicht.<ref>Siehe {{#invoke:Vorlage:Literatur|f}}</ref>

Darstellung durch Permutationsmatrizen

Operiert die Gruppe <math>G</math> auf einer Basis <math>X</math> eines endlichdimensionalen Vektorraumes <math>V</math> über dem Körper <math>K</math> und setzt man die Permutationen von <math>\operatorname{Sym}(X)</math> linear auf den Vektorraum <math>V</math> fort, so erhält man eine lineare Darstellung der Gruppe <math>G</math> durch Automorphismen auf <math>V</math>, die (bezüglich <math>X</math>) durch Permutationsmatrizen dargestellt werden und natürlich bijektiv sind: Vgl. auch lineare Permutationsdarstellung.

Operation einer Gruppe auf sich selbst

Operation durch Multiplikation

Das einfachste Beispiel einer Operation ist die Operation einer Gruppe <math>(G, *)</math> auf sich selbst: <math>*</math> ist stets eine Operation auf <math>G</math>, denn <math>(g * h) * x = g * (h * x)</math> und <math>e * g = g.</math>

Die Abbildung <math>\Theta\colon G \to \operatorname{Sym}(G)</math> ordnet jedem Gruppenelement <math>g</math> die Linkstranslation <math>\vartheta_{g*}</math> mit diesem zu. Weil die Operation treu ist, ist <math>{\Theta}</math> ein injektiver Gruppenhomomorphismus, man erhält hieraus den

Satz von Cayley: Jede endliche Gruppe der Ordnung <math>n</math> ist isomorph zu einer Untergruppe der symmetrischen Gruppe <math>\operatorname{Sym}_{n\!}.</math>

Mit dieser Untergruppe der symmetrischen Gruppe ist also Darstellung der Gruppe als Permutationsgruppe (als Gruppe von Permutationen auf einer symmetrischen Gruppe) gefunden. Im obigen Falle hat die symmetrische Gruppe den Grad <math>(G:1)</math>. Der nächste Abschnitt zeigt, dass sich diese Anzahl unter günstigen Umständen verringern lässt.

Analoges gilt auch für die Rechtstranslation <math>\vartheta_{*g}.</math>

Betrachtet man eine Untergruppe <math>H</math> von <math>G,</math> dann operiert auch <math>H</math> auf <math>G.</math> Die Bahn <math>H * g</math> eines Elements <math>g \in G</math> heißt dann auch Rechtsnebenklasse und <math>g * H</math> Linksnebenklasse von <math>g.</math> Man beachte, dass im Allgemeinen nicht <math>g * H = H * g</math> sein muss. Die Mächtigkeit der Menge aller Rechtsnebenklassen bezeichnet man mit

<math>G : H := |H\backslash G|.</math>

Da in einer Gruppe jede Rechtstranslation eine Bijektion ist, gilt <math>|H * g| = |H|</math> für jedes <math>g \in G.</math> Daraus folgt mit der Bahnengleichung der

Satz von Euler-Lagrange: Für jede Untergruppe <math>H</math> einer endlichen Gruppe <math>G</math> gilt:

Insbesondere ist die Ordnung von <math>H</math> ein Teiler der Ordnung von <math>G.</math>

Man kann zeigen, dass es genauso viele Linksnebenklassen wie Rechtsnebenklassen gibt, dass also

<math>G : H = |H\backslash G| = |G/H|.</math>

Eine Untergruppe <math>H</math> von <math>G</math> heißt Normalteiler, wenn <math>g * H = H * g</math> für alle <math>g \in G</math> gilt. Ist <math>H</math> ein Normalteiler von <math>G,</math> dann wird durch

<math>(g_1 * H) \circledast (g_2 * H) := (g_1 * g_2) * H</math>

eine Verknüpfung auf <math>G/H</math> definiert, mit der <math>(G/H, \circledast)</math> eine Gruppe ist, man nennt sie die Faktorgruppe von <math>(G, *)</math> modulo <math>H.</math>

Operation auf den Nebenklassen durch Multiplikation

Es sei <math>H</math> eine Untergruppe von <math>G</math> und <math>G/H</math> bezeichne die Menge der Linksnebenklassen <math>g*H \; (g\in G)</math>. Dann operiert <math>G</math> in naheliegender Weise auf <math>G/H</math> durch <math>\gamma \triangleright (g*H) := (\gamma * g) * H</math>. Diese Operation ist transitiv. Sie liefert also (gemäß obiger Feststellung, dass jede Gruppenoperation als Operation einer Permutationsgruppe auffassen lässt) einen Gruppenhomomorphismus <math>\Theta_H\colon G \to \operatorname{Sym}(G/H),\; \gamma \mapsto [g*H \mapsto (\gamma * g) * H)]</math>. Für den Kern des Homomorphismus gilt:

<math>\ker \Theta_H = \{ \gamma \in G \mid \forall g\in G: \gamma * g \in g*H \} = \bigcap_{g\in G} g*H*g^{-1}</math>.

Im Falle von <math>\ker \Theta_H = \{e_G\}</math> liefert die Operation auf den Linksnebenklassen von <math>H</math> bereits eine Darstellung von <math>G</math> als Permutationsgruppe, nämlich als <math>\Theta_H(G)</math>.<ref>Siehe {{#invoke:Vorlage:Literatur|f}}</ref>

Im Trivialfall <math>H=\{e_G\}</math>, der oben im Abschnitt „Operation durch Multiplikation“ betrachtet wurde, besitzt <math>\Theta_e = \Theta_\triangleright</math> trivialen Kern: Die treue Operation liefert eine Darstellung von <math>G</math> als Permutationsgruppe vom Grad <math>(G:1)</math>, wie oben im Satz von Cayley erkannt wurde.

Doch eine „größere“ Untergruppe <math>H</math> könnte günstigenfalls (nämlich bei <math>\Theta_H = \{e\}</math>) den Grad der Permutationsgruppe <math>\Theta_H(G)</math> – das ist die Anzahl der zu permutierenden Objekte – von <math>(G:1)</math> auf <math>(G:H)</math> reduzieren und trotzdem noch eine Darstellung der Gruppe <math>G</math> als Permutationsgruppe liefern.

Tatsächlich empfiehlt sich hierfür die Fixgruppe <math>H=G_x</math> eines Elements <math>x\in G</math>: Der Transitivität wegen sind alle Gruppenelemente zueinander konjugiert, mithin sind ihre Fixgruppen die zu <math>H</math> konjugierten Untergruppen; der Treue wegen ist der Durchschnitt all dieser Fixgruppen trivial, so dass <math>\Theta_H</math> eine Permutationsgruppendarstellung vom Grade <math>(G:H)</math> ist.

Für konjugierte Untergruppen <math>H</math> und <math>H' = h^{-1}*H*h</math> (mit einem <math>h\in G</math>) erhält man freilich zwei verschiedene Permutationsgruppendarstellungen, da die Mengen der Linksnebenklassen <math>G/H</math> und <math>G/H'</math> unterschiedlich sein können. Doch dürfen sie in jedem Falle als äquivalent gelten, denn der innere Automorphismus <math>\iota_h\colon g \mapsto h^{-1}* g * h</math> auf <math>G</math> (mit <math>\iota_h(H) = H'</math>) induziert die folgende Bijektion zwischen den beiden Mengen:

<math>\overline{\iota_h}\colon G/H \to G/H', \; g*H \longmapsto h^{-1}* g * H * h = \underbrace{(h^{-1}* g * h)}_{\iota_h(g)} * \underbrace{(h^{-1} * H * h)}_{=\iota_h(H) = H'} \in G/H' </math>

Diese Bijektion vermittelt zwischen beiden Permutationsdarstellungen <math>\Theta_H</math> und <math>\Theta_{H'}</math> und zeigt, dass sie äquivalent sind, also im Wesentlichen gleich, bis auf das Aussehen der zu permutierenden Objekte und einen inneren Automorphismus der Gruppe <math>G</math>.

Für Rechtsnebenklassen bei Rechtsoperation gelten selbstverständlich analoge Überlegungen.<ref>Siehe {{#invoke:Vorlage:Literatur|f}}</ref>

Operation durch Konjugation

Eine Gruppe <math>(G, *)</math> operiert auf sich selbst durch die inneren Automorphismen

<math>\varphi_g\colon G\to G,\; h \mapsto g * h * g^{-1}</math>, wobei <math>g\in G</math>.

Man erhält den Gruppenhomomorphismus

<math>\varphi\colon G \to \operatorname{Aut} (G), \quad g \mapsto \varphi_g</math>.

Die Menge aller inneren Automorphismen wird mit <math>\operatorname{Inn}(G) := \varphi(G)</math> bezeichnet.

Die zugrunde liegende Gruppenoperation<ref group="Anm">Man beachte die obige Feststellung, dass eine Gruppenoperation „<math>\triangleright</math>“ von der Gruppe <math>(G,*)</math> auf der Menge <math>X</math> mit einem Gruppenhomomorphismus <math>\varphi_\triangleright</math> von dieser Gruppe in die symmetrische Gruppe (Permutationsgruppe) <math>\operatorname{Sym}(X)</math> von <math>X</math> gleichgesetzt werden kann: <math>\varphi_\triangleright\colon G \to \operatorname{Sym}(X),\; g \mapsto [\varphi_\triangleright(g)\colon x \mapsto g\triangleright x]</math>. Genau dieser Fall liegt hier vor, indem man <math>X=G</math> und <math>\varphi_\triangleright(g) = \varphi_g</math> setzt. Dabei handelt es sich bei den Permutationen von <math>X=G</math> sogar um Automorphismen.</ref> ist also: <math>g \triangleright h := \varphi_g (h) = g * h * g^{-1}.</math>

Tatsächlich wurde diese Operation einer Gruppe auf sich selbst in der klassischen Gruppentheorie als die Konjugation (von Gruppenelementen) bezeichnet. Daher spricht man in der Gruppentheorie üblicherweise von den Konjugationsklassen (anstelle von Bahnen) und des Weiteren vom Zentralisator <math>Z_G(x)</math> anstelle des Stabilisators <math>G_x</math>. Die Bahnformel lautet

<math>\#\,(G\triangleright x) = (G : Z_G(x))</math>, falls beide Seiten endlich sind,

und die Bahnengleichung heißt in diesem Kontext üblicherweise Klassengleichung, setzt eine endliche Operatorgruppe voraus und lautet:

<math>(G:1) = \sum_{x\in R} G\triangleright x = \sum_{x\in R} (G: Z_G(x))</math>, wobei <math>R\subset G</math> ein Repräsentantensysteme der Konjugationsklassen bezeichne.

Eine elegante Anwendung der Klassengleichung lieferte Ernst Witt mit seinem kurzen Beweis (1931) des (kleinen) Satzes von Wedderburn (1905): „Endliche Schiefkörper sind kommutativ.“

Automorphismengruppe eines Körpers und einer Galois-Erweiterung

Die Gruppe der Automorphismen <math>G_0 := \operatorname{Aut}(L)</math> eines Körpers <math>L</math> operiert in offensichtlicher Weise auf <math>L\; (=X)</math>, denn damit ist ja der erforderliche Gruppenhomomorphismus <math>\Theta\colon G_0 \hookrightarrow \operatorname{Sym}(L)</math> unmittelbar gegeben. Die Operation ist durch <math>\sigma \triangleright y = \sigma(y)</math> geben, wobei <math>\sigma\in G_0</math> und <math>y\in L</math>.

Es sei nun <math>G \subset G_0</math> eine Untergruppe (bspw. <math>G = G_0</math>) und <math>K := L^G := \{ y \in L \mid \forall \sigma\in G: \sigma(y) = y \}</math> der Fixkörper in <math>L</math> unter der Operation von <math>G</math>. Wenn die Erweiterung <math>L/K</math> zudem algebraisch ist, dann ist sie eine Galois-Erweiterung mit der Galois-Gruppe <math>G = \operatorname{Aut}(L/K)</math>, und diese Erweiterung ist endlich, sobald <math>[L:K]</math> oder <math>(G:1)</math> endlich sind. In diesem Falle gilt <math>[L:K] = (G:1)</math>.

Die Galois-Gruppe <math>G = \operatorname{Aut}(L/K)</math> einer Galois-Erweiterung <math>L/K</math> operiert, wie oben gezeigt, auf dem Erweiterungskörper <math>L</math>. Dabei sind die Elemente, die unter der Operation der Galoios-Gruppe konjugiert sind, genau diejenigen, die man kurz als über <math>K</math> konjugiert bezeichnet: Sie sind dadurch gekennzeichnet, dass sie dasselbe Minimalpolynom über <math>K</math> besitzen. Dessen Nullstellenmenge ist also eine Bahn unter der Operation der Galois-Gruppe und stellt eine Konjugationsklasse über <math>K</math> bzw. unter der Operation der Galois-Gruppe dar. Gerade weil es eine Galois-Erweiterung ist, liegen nämlich alle seine Nullstellen in <math>L</math> (Eigenschaft der Normalität).<ref group="Anm">Die Separabilität der Erweiterung <math>L/K</math> ergibt sich daraus, dass der Grundkörper als ein Fixkörper gewählt wurde.</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Ist umgekehrt <math>Y=\{y_1, \dots y_n\}</math> eine endliche, unter <math>G</math> stabile Teilmenge von Körperelementen aus <math>L</math>, die also unter der Operation <math>G</math> permutiert werden, so liegen die Koeffizienten <math>a_i</math> des Polynoms <math>f(x) := (X - y_1)\cdots (X - y_n) =: X^n + a_1 X^{n-1} + \dots a_{n-1}X + a_n</math> notwendig in <math>K</math>, und es ist genau dann über <math>K</math> irreduzibel, wenn sämtliche <math>y_i</math> untereinander konjugiert sind, das heißt, wenn <math>G</math> transitiv auf <math>Y</math> operiert. Andernfalls besteht <math>Y</math> aus mehr als nur einer Bahn (Konjugationsklasse), zerfällt also in eine Partition <math>Y = \biguplus_{j=1}^N Y_j</math> disjunkter Bahnen <math>Y_j \; (j=1, \dots, N\geq2)</math> und das Polynom <math> p(X) </math> zerfällt in <math>N</math> irreduziblen Faktoren <math>p_j(X) = \prod_{y\in Y_j} (X - y) </math>.

All dies gilt insbesondere für ein – nach dem Satz vom primitiven Element (Niels Henrik Abel, 1829) existierendes – erzeugendes Element <math>y_1\in L</math> einer endlichen Galois-Erweiterung mit <math>L= K[y_1]</math>: Seine sämtlichen Konjugierten <math>y_1, \dots, y_n</math> (wobei <math> n = [L:K]</math>) sind genau die Nullstellen desselben Minimalpolynoms über <math>K</math>, welches den Grad <math>n</math> besitzt (und das in historischer Sprechweise eine Galois-Resolvente ist), und bilden die Bahn unter der Operation der Galois-Gruppe: <math>G\triangleright y_i = \{y_1, \dots, y_n\}</math>. Ein Automorphismus <math>\sigma\in G</math> ist daher bereits durch sein Bild <math>\sigma(y_1)</math> festgelegt. Dies heißt wiederum, dass die Gruppe <math>G</math> auf <math>\{y_1, \dots, y_n\}</math> (also auf der Nullstellenmenge der Galois-Resolvente) scharf einfach transitiv operiert. Die Operation ist also frei, mithin erst recht treu.<ref group="Anm">Diese Formulierung kommt der historischen Perspektive auf die Theorie höherer Gleichungen – auf die ursprüngliche historische Fragstellung der Algebra – nahe, welche schließlich im Satz von Abel-Ruffini (1799, 1824) und in der Galois-Theorie gipfelte: Man betrachtete die Permutationsgruppe der Nullstellenmenge eines Polynoms und nutzte Symmetrien (Stichworte: Lagrange-Resolvente und Hauptsatz über elementarsymmetrische Funktionen). Der moderne Ansatz hingegen stellt die Automorphismengruppe <math>G</math> als Transformationsgruppe auf dem Erweiterungskörper <math>L</math> in den Mittelpunkt der Betrachtungen.</ref>

Für einen Zwischenkörper <math>Z \; (L \supset Z \supset K)</math> definiert man (analog zu obiger Definition):

<math>G(L/Z) := \operatorname{Aut}(L/Z) = \{\sigma \in G\mid Z \text{ ist Fixpunktmenge unter }\sigma\} = \bigcap_{z\in Z} G_z</math>.

Für die Galoiserweiterung <math>L/K</math> und den Verband <math>\mathfrak{Z}(L/K)</math> ihrer Zwischenkörper einerseits sowie für die Galoisgruppe <math>G =: G(L/K)</math> und den Verband <math>\mathfrak{U}(G)</math> ihrer Untergruppen andererseits lässt sich unter Verwendung der oben genannten Begrifflichkeiten der Hauptsatz der Galoistheorie formulieren:

Die Abbildungen <math>Z \mapsto G(L/Z)</math> und <math>U \mapsto L^U</math> sind zueinander inverse Anti-Isomorphismen der beiden Verbände <math>\mathfrak{Z}(L/K)</math> und <math>\mathfrak{U}(G)</math>, das heißt, sie sind zueinander inverse Bijektionen, welche die jeweiligen Inklusionen umkehren:

<math>

\begin{matrix}

          \mathfrak{U}(G)      & \longleftrightarrow & \mathfrak{Z}(L/K) \\
               U               & \longmapsto     & L^U \\
               G(L/Z)          & \leftarrowtail  & Z

\end{matrix} </math> Dass hierbei konjugierte Untergruppen auf konjugierte Fixpunktmengen (konjugierte Zwischenkörper) abgebildet werden, folgt mühelos aus den obigen allgemeinen Überlegungen. Also korrespondieren die in <math>G</math> normalen (das heißt „unter der Konjugation invarianten“) Untergruppen (sprich: die Normalteiler) mit den über <math>K</math> normalen Zwischenkörpern.

Moduln und Vektorräume

Ein <math>G</math>-(Links-)Modul ist eine abelsche Gruppe <math>(M, +),</math> auf der eine Gruppe <math>(G, *)</math> (von links) operiert, derart dass zusätzlich die (Links-)Operation <math>\triangleright\colon G \times M \to M</math> linksverträglich mit <math>+</math> ist, d. h., es gelten

<math>g \triangleright (x + y) = (g \triangleright x) + (g \triangleright y)\quad</math> für alle <math>g \in G</math> und alle <math>x, y \in M</math>

Die Transformationen <math>\vartheta_{g \, \triangleright}</math> mit <math>g \in G</math> bilden dann in der Gruppe <math>(\operatorname{Aut}(M), \circ)</math> der Automorphismen auf <math>(M, +)</math> eine Untergruppe, und diese ist gerade das Bild des Gruppenhomomorphismus <math>\Theta_\triangleright\colon G \to \operatorname{Aut}(M); \; g \mapsto [\vartheta_{g \, \triangleright}: x \mapsto g\triangleright x ]</math>.

Die Eigenschaft der „Verträglichkeit“ einer Gruppenoperation von links fließt beim Nachweis ein, dass es sich um einen Gruppenhomomorphismus handelt.

Im Falle einer Operation von rechts (also einem <math>G</math>-Rechts-Modul) wäre <math>\Theta_\triangleright</math> ein „Gruppenantihomomorphismus“ oder aber – was auf dasselbe hinausläuft – erst dann ein Gruppenhomomorphismus, wenn anstelle der Gruppe <math>G</math> ihre Gegengruppe als Definitionsbereich gewählt wird.

Ist insbesondere <math>\odot</math> die skalare Multiplikation eines Vektorraums <math>(V, \oplus, \odot)</math> über dem Körper <math>(K, +, \cdot),</math> dann operiert die multiplikative Gruppe <math>(K\setminus\{0\}, \cdot)</math> auf <math>V</math>.

Dies gilt auch für einen Schiefkörper. Doch dabei ist auf die Seitigkeit zu achten: Bei Operation von links erhält man einen Links-Vektorraum, bei Operation von rechts einen Rechts-Vektorraum. Die wichtige Rolle der Seitigkeit wird auch beim Übergang zum Dualraum eines Vektorraums deutlich, denn dabei wechselt die Seitigkeit: Der Dualraum eines Links-Vektorraumes ist ein Rechts-Vektorraum und umgekehrt. Erst der Bidualraum hat die ursprüngliche Seitigkeit – und ist im endlichdimensionalen Falle kanonisch isomorph mit dem Ausgangsvektorraum („Dualitätssatz für Vektorrräume“).<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Kategorien

Ist allgemeiner <math>X</math> ein Objekt einer beliebigen Kategorie, so kann eine strukturverträgliche Operation einer (abstrakten) Gruppe <math>G</math> auf <math>X</math> definiert werden als ein Gruppenhomomorphismus

<math>G \to \operatorname{Aut}X,</math>

dabei ist <math>\operatorname{Aut}X</math> die Gruppe der Automorphismen von <math>X</math> im kategorientheoretischen Sinne. Die oben genannten Operationen von Gruppen auf Mengen oder abelschen Gruppen sind Spezialfälle.

Siehe auch

G-Raum für stetige Gruppenwirkungen
Lemma von Burnside
Permutationsdarstellung, Permutationsgruppe
Permutationsmatrix
Darstellungstheorie
Darstellungstheorie endlicher Gruppen
Darstellungstheorie kompakter Gruppen

Weblinks

[{{canonicalurl:Commons:Category:{{#if:Group actions|Group actions|Gruppenoperation}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:Group actions|Group actions|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if: Group actions

   | {{#ifeq: {{#invoke:Str|left|group actions|9}} 
       | category:

| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

Gruppenoperation bei MathWorld (englisch)

Anmerkungen

Einzelnachweise

Literatur

{{#invoke:Vorlage:Literatur|f}}
Nieper-Wißkirchen: Galoissche Theorie. Universität Augsburg (2013), Folgerung 4.11, S. 133 (<templatestyles src="Webarchiv/styles.css" />{{#if:20190715130507

      | {{#ifeq: 20190715130507 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20190715130507}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20190715130507}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20190715130507|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: online
    | {{#if: {{#invoke:WLink|isBracketedLink|online}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }})

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}