Eine Permutationsgruppe ist eine Untergruppe der symmetrischen Gruppe Sym(X) einer Menge X; ihre Elemente sind Bijektionen (Permutation) von X und die Gruppenoperation ist die Komposition von Permutationen.

Prinzip

Gruppenstruktur konkret als Permutationen einer Menge darstellen: Abschluss unter Komposition und Existenz von Inversen stellen sicher, dass das Hintereinanderausführen von Permutationen der Gruppenmultiplikation entspricht und algebraische Eigenschaften zu kombinatorischen Aktionen auf X werden.

Demonstration

S_n ist die vollständige Permutationsgruppe auf {1,...,n}; eine zyklische Untergruppe, erzeugt von einem n-Zyklus (1 2 ... n), ist eine Permutationsgruppe isomorph zu Z/nZ und wirkt transitiv auf den n Punkten.

Fehlanwendung

Eine bloße Menge von Bijektionen ohne Prüfung auf Abschluss oder Inverse als Permutationsgruppe zu bezeichnen oder eine Permutationsgruppe mit einer abstrakten Gruppe ohne Angabe der zugrundeliegenden Menge zu verwechseln, ist Fehlgebrauch.

Konsequenz

Ein Gruppe als Permutationsgruppe zu betrachten liefert explizite Aktionen, Orbitzerlegungen und ermöglicht kombinatorische Methoden; nach Cayleys Satz lässt sich jede endliche Gruppe in eine symmetrische Gruppe einbetten, daher bieten Permutationsgruppen universelle konkrete Realisierungen.

Umkehrung

Die Umkehrung ist die Betrachtung einer abstrakten Gruppe ohne treue Permutationsdarstellung; abstrakte Gruppen müssen nicht als Permutationen gegeben sein, es sei denn, sie werden durch einen Homomorphismus in Sym(X) eingebettet.

Abgrenzung

Permutationsgruppen setzen eine bestimmte Menge X und deren Bijektionen voraus; man unterscheidet transitive, primitive, imprimitve oder reguläre Permutationsgruppen sowie endliche und unendliche Fälle. Ausgeschlossen sind Mengen von Bijektionen ohne Abschluss oder Strukturen anderer Kategorien (lineare Abbildungen, Homöomorphismen), sofern nicht ausdrücklich angegeben.

Semantische Spannung

Spannung zwischen der Sicht auf eine Gruppe als abstraktes algebraisches Objekt und als Permutationsgruppe: Letztere legt eine konkrete Wirkung auf Punkte fest, während erstere Präsentationen durch Erzeuger und Relationen unabhängig von einer Menge betont.

Synthese

Eine Permutationsgruppe ist eine konkrete Realisierung von Symmetrie: eine Untergruppe von Sym(X), deren Elemente Permutationen von X sind, wodurch abstrakte Gruppenaxiome mit punktweisen Aktionen und kombinatorischer Struktur verknüpft werden.