Symetrická skupina

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 .

Permutační skupiny

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 ).

Vlastnosti

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 .

Zobrazení

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í .

Poznámky

  1. Aigner M. Kombinatorická teorie. M.: Mir, 1982. - 561 s.
  2. OEIS sekvence A000041 _

Literatura