Subgroup structure of symmetric group:S6

From Groupprops
Revision as of 22:42, 18 April 2012 by Vipul (talk | contribs)

This article gives specific information, namely, subgroup structure, about a particular group, namely: symmetric group:S6.
View subgroup structure of particular groups | View other specific information about symmetric group:S6

This article discusses the subgroup structure of symmetric group:S6, which is the symmetric group on the set {1,2,3,4,5,6}. The group has order 720.

Family contexts

Family name Parameter values General discussion of subgroup structure of family
symmetric group degree n=6, i.e., the group S6 subgroup structure of symmetric groups

Tables for quick information

FACTS TO CHECK AGAINST FOR SUBGROUP STRUCTURE: (finite group)
Lagrange's theorem (order of subgroup times index of subgroup equals order of whole group, so both divide it), |order of quotient group divides order of group (and equals index of corresponding normal subgroup)
Sylow subgroups exist, Sylow implies order-dominating, congruence condition on Sylow numbers|congruence condition on number of subgroups of given prime power order
normal Hall implies permutably complemented, Hall retract implies order-conjugate

Table classifying subgroups up to conjugacy

The below lists subgroups up to conjugacy, i.e., up to automorphisms arising from conjugation in symmetric group:S6. This is not the same as the classification up to automorphisms because of the presence of other automorphisms, a phenomenon unique to degree six (see symmetric groups on finite sets are complete).

Conjugacy class of subgroups Representative subgroup (full list if small, generating set if large) Isomorphism class Order of subgroups Index of subgroups Number of conjugacy classes Size of each conjugacy class Total number of subgroups Note
trivial subgroup () trivial group 1 720 1 1 1 trivial
subgroup generated by transposition in S6 {(),(1,2)} 2 360 1 15 15
subgroup generated by triple transposition in S6 {(),(1,2)(3,4)(5,6)} 2 360 1 15 15
subgroup generated by double transposition in S6 {(),(1,2)(3,4)} cyclic group:Z2 2 360 1 45 45

The table needs to be completed.