Durch eine Gruppenoperation, -aktion oder -wirkung werden in der Mathematik die Elemente einer Gruppe so mit Selbstabbildungen einer Menge identifiziert, dass dabei immer das Produkt zweier Gruppenelemente mit der Hintereinanderausführung der zugehörigen Abbildungen identifiziert wird. Die Gruppenoperation ermöglicht es in der Algebra, der 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, und die operierende Gruppe ist häufig von vornherein als Gruppe von Abbildungen gegeben. Andererseits kann die Operation einer vorgegebenen Gruppe auf geeignet gewählten Mengen in der Gruppentheorie wichtige Informationen über die Struktur der operierenden Gruppe liefern. Dabei steht die Untersuchung der operierenden Gruppe im Vordergrund. Inhaltsverzeichnis 1 Einführendes Beispiel: Operation der Symmetriegruppe eines Würfels auf den Raumdiagonalen 2 Definition 3 Begriffe im Zusammenhang mit Gruppenoperationen 3.1 Bahn 3.2 Stabilisator 4 Operationen auf allgemeineren Objekten 5 Beispiele 5.1 Linkstranslation 5.2 Konjugation 5.3 Automorphismengruppe einer Körpererweiterung 5.4 Andere Beispiele 6 Eigenschaften 7 Weblinks Bearbeiten Einführendes Beispiel: Operation der Symmetriegruppe eines Würfels auf den Raumdiagonalen ABCDEFGH seien die Ecken eines Würfels in der üblichen Bezeichnung, d. h. ABCD und EFGH 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 folgenden Vertauschung der Ecken: Durch die Drehung werden auch die Raumdiagonalen vertauscht, nämlich Es gibt aber auch Symmetrieabbildungen des Würfels, die die Raumdiagonalen nicht untereinander vertauschen, nämlich die Punktspiegelung am Mittelpunkt (drittes Bild): Sie entspricht Dabei wird jede einzelne Raumdiagonale zwar gespiegelt, aber auf sich selbst abgebildet. Man sagt: Die Gruppe der Symmetrieabbildungen des Würfels operiert auf der Menge der Raumdiagonalen. Dieser Umstand erlaubt es, Rückschlüsse auf die Gruppe zu ziehen. Dazu stellt man fest, dass es zu jedem Paar von Raumdiagonalen eine Symmetrieabbildung gibt, die diese beiden vertauscht und die anderen beiden fest lässt, nämlich die Spiegelung an der Ebene, die die beiden anderen Raumdiagonalen enthält. Aus den allgemeinen Eigenschaften der symmetrischen Gruppe folgt damit, dass es zu jeder Permutation der Raumdiagonalen eine entsprechende Symmetrieabbildung gibt. Da es 4! = 24 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.) Bearbeiten Definition Eine (Links-)Operation, (Links)wirkung oder (Links)aktion einer Gruppe auf einer Menge X ist eine zweistellige Verknüpfung mit der Zuordnungsvorschrift die die folgenden Eigenschaften erfüllt: für alle und das neutrale Element e von G. für alle Die Menge X wird G-Menge genannt und G operiert auf X (von links). Aus den beiden Axiomen folgt, dass für jedes die Funktion mit eine bijektive Abbildung ist. (Die Umkehrabbildung ist .) Deswegen ist eine Gruppenoperation von G auf X im Wesentlichen das gleiche wie ein Gruppenhomomorphismus von G in die symmetrische Gruppe S(X). Analog zur Linksoperation lässt sich eine Rechtsoperation durch die beiden Axiome für alle und das neutrale Element e von G für alle definieren. Der Unterschied zwischen Links- und Rechtsoperationen liegt in der Art und Weise, wie Produkte gh auf X operieren. Bei einer Linksoperation operiert zuerst h und dann g, während bei einer Rechtsoperation die Reihenfolge umgekehrt ist. Aus einer Rechtsoperation lässt sich eine Linksoperation konstruieren, indem statt g von links g − 1 von rechts operiert. Ist r eine Rechtsoperation, dann ist mit der Zuordnungsvorschrift eine Linksoperation, da und Auf ähnliche Weise lässt sich eine Links- in eine Rechtsoperation umwandeln. Da sich Links- und Rechtsoperation im Wesentlichen nicht unterscheiden, werden ab hier nur noch Linksoperation betrachtet. Bearbeiten Begriffe im Zusammenhang mit Gruppenoperationen Bearbeiten Bahn Es sei M eine Menge mit einer G-Linksoperation. Für ein nennt man die Bahn oder den Orbit von m. Die Bahnen bilden eine Partition von M. Die Anzahl der Elemente einer Bahn (bzw. ihre Mächtigkeit) wird auch die Länge der Bahn genannt. Die Bahnen sind die Äquivalenzklassen bezüglich der Äquivalenzrelation: , falls es ein gibt, für das gilt. Die Menge der Äquivalenzklassen wird mit bezeichnet und Bahnenraum genannt. (Für eine Rechtsoperation ist die Notation M / G.) Gibt es zu je zwei Elementen ein , so dass gilt, so heißt die Operation transitiv. In diesem Fall gibt es nur eine einzige Bahn. Gibt es sogar zu je vier Elementen mit und ein , so dass sowohl als auch gilt, so heißt die Operation zweifach transitiv. Analog hierzu: dreifach transitiv usw. Bearbeiten Stabilisator Für ein nennt man den Stabilisator oder die Isotropiegruppe oder die Fixgruppe oder die Standuntergruppe von m. Gm ist eine Untergruppe von G. Die Operation definiert eine kanonische Bijektion zwischen den Nebenklassen des Stabilisators und der Bahn: Gm operiert (durch Einschränkung der gegebenen Operation) auf . Ist diese Operation n-fach transitiv () und , so ist die Operation von G auf M sogar (n + 1)-fach transitiv. Ist eine Teilmenge und eine Untergruppe, und gilt mit so sagt man, dass N stabil unter H ist oder dass N von H stabilisiert wird. Es gilt dann stets sogar . Der Stabilisator eines Punktes ist also die maximale Untergruppe von G, die {m} stabilisiert. Folgt aus für ein , dass g = e gilt, so heißt die Operation frei. Dies ist äquivalent dazu, dass sämtliche Stabilisatoren trivial sind, d. h. Gm = {e} für alle . Folgt aus für alle , dass g = e gilt, so heißt die Operation treu bzw. effektiv. Dies ist äquivalent dazu, dass der zugehörige Homomorphismus injektiv ist. Wenn N eine weitere Menge mit einer G-Linksoperation * ist und eine Abbildung, so dass für alle und für alle gilt , dann heißt f G-äquivariante Abbildung oder auch Homomorphismus von G-Mengen. Bearbeiten Operationen auf allgemeineren Objekten Ist M eine abelsche Gruppe und G eine Gruppe, so ist durch einen Gruppenhomomorphismus eine Linksoperation auf M gegeben, die zusätzlich die Gruppenstruktur auf M respektiert. Dabei ist die Gruppe der Automorphismen von M als abelsche Gruppe. Äquivalent dazu kann man eine solche Operation auch beschreiben durch eine Abbildung die eine Linksoperation auf M als Menge definiert und zusätzlich kompatibel zur Struktur von M ist, d. h. für erfüllt. Eine abelsche Gruppe mit einer derartigen G-Operation wird auch G-Modul genannt. Ist allgemeiner M ein Objekt einer beliebigen Kategorie, so kann eine strukturverträgliche Operation einer (abstrakten) Gruppe G auf M definiert werden als ein Gruppenhomomorphismus dabei ist die Gruppe der Automorphismen von M im kategorientheoretischen Sinne. Die oben genannten Operationen von Gruppen auf Mengen oder abelschen Gruppen sind Spezialfälle. Bearbeiten Beispiele Bearbeiten Linkstranslation (Einiges davon könnte z. B. in einen Artikel Faktorgruppe.) Ein Beispiel einer Operation ist die Linkstranslation (Linksmultiplikation) innerhalb einer Gruppe . Definiert man die Wirkung , dann operiert G auf sich selbst, denn es ist und . T ist die Abbildung, die jedem Element s die Linkstranslation mit s, , zuordnet. Diese Zuordnung T ist ein injektiver Gruppenhomomorphismus, man erhält hieraus den Satz von Cayley: Jede endliche Gruppe der Ordnung n ist isomorph zu einer Untergruppe der symmetrischen Gruppe Sn. Analoges gilt auch für die Rechtstranslation . Betrachtet man eine Untergruppe H von G, dann operiert auch H durch die Linkstranslation auf G. Die Bahn eines Elements s von G heißt Rechtsnebenklasse von s. Die Menge aller Rechtsnebenklassen bezeichnet man mit H\G, ihre Mächtigkeit mit . Da die Linkstranslation eine Bijektion ist, gilt | Hs | = | H | für jedes s aus G. Daraus folgt mit der Bahnengleichung (s.u.) der Satz von Euler-Lagrange: Für jede Untergruppe H einer endlichen Gruppe G gilt Insbesondere ist die Ordnung von H ein Teiler der Ordnung von G. Betrachtet man stattdessen die Rechtstranslation von H auf G, dann nennt man die Bahn sH von s seine Linksnebenklasse. Man beachte, dass im allgemeinen nicht sH = Hs sein muss. Die Menge aller Linksnebenklassen bezeichnet man mit G / H. Man kann zeigen, dass es genauso viele Linksnebenklassen wie Rechtsnebenklassen gibt, dass also G:H = | G / H | . Eine Untergruppe H von G heißt Normalteiler, wenn sH = Hs für alle s aus G gilt. Ist H ein Normalteiler von G, dann wird durch eine wohldefinierte Verknüpfung von G/H definiert, mit der G/H eine Gruppe ist, man nennt sie die Faktorgruppe G modulo H. Bearbeiten Konjugation Eine Gruppe G operiert auf sich durch die Konjugation . Die Automorphismen fg(h) = ghg − 1 heißen innere Automorphismen, die Menge aller inneren Automorphismen wird mit Inn(G) bezeichnet. Bearbeiten Automorphismengruppe einer Körpererweiterung Ist L/K eine Körpererweiterung, dann bezeichnet man mit Aut(L/K) die Gruppe aller Automorphismen von L, die K punktweise fest lassen. Diese Gruppe operiert auf L durch f.x := f(x). Jede Bahn besteht aus den in L liegenden Nullstellen eines Polynoms mit Koeffizienten in K, das über K irreduzibel ist. Elemente derselben Bahn nennt man hier konjugiert über K, sie haben dasselbe Minimalpolynom über K. Bearbeiten Andere Beispiele Man kann die skalare Multiplikation eines Vektorraums V mit seinem Grundkörper K als Operation auffassen: x.v := x*v. Dabei ist die multiplikative Gruppe K* die Gruppe G und V die Menge M. Bearbeiten Eigenschaften Operiert die Gruppe auf M, dann bilden die Bahnen eine Zerlegung von M, das heißt: Je zwei Bahnen sind disjunkt oder gleich, und jedes Element von M liegt in einer Bahn. Denn man kann die folgende Äquivalenzrelation "" definieren: Sind x,y aus M, dann ist , falls ein s in G existiert, so dass ist. Die Äquivalenzklassen dieser Relation sind genau die Bahnen. Daraus folgt die Bahnengleichung: Die Mächtigkeit von M ist gleich der Summe über die Länge aller Bahnen. Genauer gilt der Bahnensatz: Ist x aus M, dann ist die Abbildung mit eine Bijektion. Aus dieser Bijektion folgt für eine endliche Gruppe G die Bahnformel . Insbesondere ist die Länge jeder Bahn ein Teiler der Ordnung von G. Bearbeiten Weblinks Gruppenoperation bei MathWorld (englisch)