Symetrická grupa - skupina všech permutací dané množiny (tj. bijekcí ) s ohledem na operaci skládání .
Symetrická skupina množiny se obvykle označuje . If , then se také značí . Protože pro množiny o stejné síle ( ) jsou jejich permutační grupy ( ) také izomorfní , pak pro grupu konečného řádu je její permutační grupa identifikována s .
Neutrálním prvkem v symetrické skupině je permutace identity .
Ačkoli obvykle skupina permutací (nebo permutace) odkazuje na symetrickou skupinu samotnou, někdy, zejména v anglicky psané literatuře, se podskupiny symetrické skupiny [1] nazývají permutační skupiny množiny . V tomto případě se stupeň skupiny nazývá mohutnost .
Každá konečná grupa je izomorfní k nějaké podgrupě grupy ( Cayleyova věta ).
Počet prvků symetrické grupy pro konečnou množinu se rovná počtu permutací prvků, tedy účiníku : . Pro , symetrická skupina je nekomutativní.
Symetrická grupa připouští následující zadání :
.Můžeme předpokládat, že permutuje a . Maximální pořadí skupinových prvků je Landauova funkce .
Skupiny jsou řešitelné , zatímco symetrická grupa je neřešitelná .
Symetrická grupa je dokonalá (to znamená, že zobrazení konjugace je izomorfismus) právě tehdy, když je její pořadí odlišné od 2 a 6 ( Hölderova věta ). V případě, že skupina má ještě jeden vnější automorfismus . Na základě této a předchozí vlastnosti for jsou všechny automorfismy interní, to znamená, že každý automorfismus má tvar pro některé .
Počet tříd konjugovaných prvků symetrické grupy je roven počtu oddílů čísla [2] . Množina transpozic je generující množina . Na druhou stranu jsou všechny tyto transpozice generovány pouze dvěma permutacemi , takže minimální počet generátorů symetrické grupy jsou dva.
Střed symetrické grupy je triviální pro . Komutátor je střídající se skupina ; navíc at je jedinou netriviální normální podskupinou a má ještě jednu normální podskupinu - Kleinovu čtyřčlennou skupinu .
Jakákoli podskupina permutační skupiny může být reprezentována skupinou matic od , a každá permutace odpovídá permutační matici (matici, ve které jsou všechny prvky v buňkách rovny 1 a ostatní prvky jsou rovny nule); například permutace je reprezentována následující maticí :
Podgrupa takové skupiny, složená z matic s determinantem rovným 1, je izomorfní ke střídavé grupě .
Existují i jiné reprezentace symetrických grup, například grupa symetrie (sestávající z rotací a odrazů) dvanáctistěnu je izomorfní , zatímco rotační grupa krychle je izomorfní .