Eine Gruppenwirkung ist ein Homomorphismus von einer Gruppe G in die Permutationsgruppe Sym(X) einer Menge X, äquivalent eine Abbildung G × X → X mit e·x = x für das Identitätselement e und (gh)·x = g·(h·x) für alle g,h ∈ G und x ∈ X; sie beschreibt, wie Gruppenelemente die Elemente von X permutieren oder transformieren.

Prinzip

Symmetrie einer Menge durch einen strukturverträglichen Homomorphismus kodieren: die Identität wirkt trivial und die Zusammensetzung von Gruppenlementen entspricht der Zusammensetzung ihrer Wirkungen auf X.

Demonstration

S3 wirkt auf der Menge {1,2,3} durch Permutationen der Koordinaten; Z wirkt auf Z durch Translation n·k = n+k; die Wirkung erzeugt Orbits wie {1,2,3} unter S3 und Stabilisatoren wie Stab(1) = { Permutationen, die 1 fixieren }.

Fehlanwendung

Jede Abbildung G × X → X ohne Prüfung der Identitäts- und Kompatibilitätsaxiome als Wirkung zu behandeln oder Gruppenwirkung mit einer linearen Darstellung (die Lineareigenschaften verlangt) zu verwechseln, führt zu falschen Aussagen über Orbits und Stabilisatoren.

Konsequenz

Richtig definierte Wirkungen liefern Orbits, Stabilisatoren, Zerlegungen von X in Orbitklassen, die Orbit-Stabilisator-Relation, welche die Orbitgröße mit dem Index eines Untergruppes verknüpft, und eine Permutationsdarstellung von G; Faithfulness entspricht Injizität des Homomorphismus in Sym(X).

Umkehrung

Umgekehrt entstehen beim Betrachten von Mengen von Permutationen, die nicht unter Zusammensetzung abgeschlossen sind oder keine Inversen besitzen, keine Gruppenwirkungen. Eine Wirkung mit nichttrivialem Kern ist eine nicht-faithful Einbettung von G in Sym(X).

Abgrenzung

Gilt für Wirkungen auf beliebigen Mengen; trägt X zusätzliche Struktur (Topologie, glatte Struktur, Vektorraumstruktur), muss die Wirkung diese Struktur respektieren, um als stetig/glatt/linear zu gelten. Ausgeschlossen sind Abbildungen, die die Homomorphismusaxiome nicht erfüllen, sowie Wirkungen in anderen Kategorien ohne explizite Verträglichkeit.

Semantische Spannung

Spannung besteht zwischen der gruppentheoretischen 'Wirkung' als permutationentheoretische Aktion auf Mengen und der 'Darstellung' als lineares Handeln auf Vektorräumen; beide sind Homomorphismen in Automorphismengruppen, unterscheiden sich jedoch in der Zielkategorie (Sym(X) vs GL(V)).

Synthese

Eine Gruppenwirkung verpackt die abstrakte Symmetrie von G in konkrete Permutationen von X durch einen Homomorphismus G → Sym(X) und erzeugt Orbits und Stabilisatoren, die die algebraische Struktur von G mit der kombinatorischen oder geometrischen Struktur von X verbinden.