##  [Gruppenwirkung](/de/node/63283) 

 Definition

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

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

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

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

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

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

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

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

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.