Symmetrische groep

In de groepentheorie, een onderdeel van de wiskunde, is de symmetrische groep ${\displaystyle S_{n}}$ van een eindige verzameling ${\displaystyle M}$ met ${\displaystyle n}$ elementen de groep van alle permutaties van ${\displaystyle M}$.^[1] De groepsoperatie is de samenstelling van afbeeldingen. In plaats van ${\displaystyle S_{n}}$ wordt de symmetrische groep van ${\displaystyle M}$ ook wel genoteerd als ${\displaystyle \operatorname {Sym} (M)}$. Aangezien er ${\displaystyle n!}$ permutaties zijn van ${\displaystyle n}$ verschillende elementen, is de orde, het aantal elementen van de symmetrische groep ${\displaystyle S_{n}}$ gelijk aan ${\displaystyle n!}$.

Cayley-graaf van de symmetrische groep ${\displaystyle S_{4}}$
voortbrengers

 2314

 2341

Iedere permutatiegroep van een verzameling met ${\displaystyle n}$ elementen is een ondergroep van ${\displaystyle S_{n}}$.

Voorbeeld

De symmetrische groep ${\displaystyle S_{3}}$ van alle permutaties van een verzameling met drie elementen, voor het gemak de verzameling {1,2,3}, bestaat uit de volgende zes permutaties:

123, 132, 213, 231, 312, 321

In cykelnotatie zijn dat:

(1)(2)(3), (1)(23), (12)(3), (123), (132) en (13)(2) (de eerste is de identiteit)

Het product van 213 en 312 verkrijgt men door de beide permutaties achter elkaar uit te voeren: 213 o 312 = 321. In cykelnotatie: (12)(132) = (13).