Die symmetrische Gruppe S_n ist die Permutationsgruppe, die aus allen Bijektionen einer n-elementigen Menge besteht, hat die Ordnung n! und die Operation Komposition; sie ist die vollständige Automorphismengruppe einer diskreten n-Punkte-Menge.

Prinzip

Enthält alle Permutationen n beschrifteter Punkte; S_n wird von Transpositionen erzeugt (benachbarte Transpositionen genügen) und seine algebraische Struktur wird durch Zykluszerlegung und Konjugationsklassen bestimmt, die vom Zyklentyp abhängen.

Demonstration

S_3 hat sechs Elemente, entsprechend den Permutationen von {1,2,3}; es enthält Zyklen wie (1 2), (1 2 3) und realisiert die Symmetrien eines beschrifteten Dreiecks, wenn die Beschriftungen permutiert werden.

Fehlanwendung

Die diedrische Gruppe der geometrischen Symmetrien eines Polygons mit S_n zu verwechseln (sie stimmen nur für n ≤ 3 überein) oder anzunehmen, S_n erhalte zusätzliche Strukturen der Punkte (Ordnung, Metrik) ohne Angabe, ist falsch.

Konsequenz

S_n liefert kanonische Permutationsdarstellungen, Klassifikation von Elementen nach Zyklentyp, ein explizites Untergruppen-Gitter inklusive des alternierenden Untergruppes A_n und dient gemäß Cayleys Satz als Ziel für Einbettungen beliebiger endlicher Gruppen.

Umkehrung

Der Alternierende Untergruppe A_n ist die Index-2-Umkehr, die nur gerade Permutationen enthält; die Einschränkung von S_n auf permutations, die bestimmte Strukturen erhalten (z. B. Ordnung), ergibt echte Untergruppen, nicht die vollständige symmetrische Gruppe.

Abgrenzung

Definiert für endliche Kardinalität n; für unendliche Mengen betrachtet man die vollständige symmetrische Gruppe über einer unendlichen Menge mit anderen Eigenschaften. S_n behandelt Punkte als permutierbar, kodiert jedoch keine zusätzlichen Strukturen wie Topologie oder Geometrie, sofern nicht weiter spezifiziert.

Semantische Spannung

Spannung zwischen S_n als algebraischer vollständiger Permutationsgruppe und geometrischen Symmetriegruppen (diedral, polyedral), die auf derselben Menge wirken, aber Metrik oder Orientierung erhalten — gleiche Grundmenge, verschiedene erhaltene Strukturen.

Synthese

S_n ist die universelle endliche Permutationsgruppe auf n Punkten: sie enthält jede Bijektion einer n-elementigen Menge, wird von Transpositionen erzeugt und ordnet Permutationen nach Zyklentyp, wodurch sie die Umgebungsgruppe der kombinatorischen Punktaktionen bildet.