Element structure of symmetric group:S6

From Groupprops
Jump to: navigation, search
This article gives specific information, namely, element structure, about a particular group, namely: symmetric group:S6.
View element structure of particular groups | View other specific information about symmetric group:S6

This article describes the element structure of symmetric group:S6.

See also element structure of symmetric groups.

For convenience, we take the underlying set to be \{ 1,2,3,4,5,6\}.

This group is NOT isomorphic to projective general linear group:PGL(2,9). For proof of the non-isomorphism, see PGL(2,9) is not isomorphic to S6. For the element structure of that group, see element structure of projective general linear group:PGL(2,9).

Conjugacy class structure

FACTS TO CHECK AGAINST FOR CONJUGACY CLASS SIZES AND STRUCTURE:
Divisibility facts: size of conjugacy class divides order of group | size of conjugacy class divides index of center | size of conjugacy class equals index of centralizer
Bounding facts: size of conjugacy class is bounded by order of derived subgroup
Counting facts: number of conjugacy classes equals number of irreducible representations | class equation of a group

Interpretation as symmetric group

FACTS TO CHECK AGAINST SPECIFICALLY FOR SYMMETRIC GROUPS AND ALTERNATING GROUPS:
Please read element structure of symmetric groups for a summary description.
Conjugacy class parametrization: cycle type determines conjugacy class (in symmetric group)
Conjugacy class sizes: conjugacy class size formula in symmetric group
Other facts: even permutation (definition) -- the alternating group is the set of even permutations | splitting criterion for conjugacy classes in the alternating group (from symmetric group)| criterion for element of alternating group to be real

For a symmetric group, cycle type determines conjugacy class, so the conjugacy classes are parametrized by the set of unordered integer partitions of the number 6.


Partition Partition in grouped form Verbal description of cycle type Representative element Size of conjugacy class Formula for size Even or odd? If even, splits? If splits, real in alternating group? Element orders Formula calculating element order
1 + 1 + 1 + 1 + 1 + 1 1 (6 times) six fixed points () -- the identity element 1 \! \frac{6!}{(1)^6(6!)} even; no 1 \operatorname{lcm}\{ 1 \}
2 + 1 + 1 + 1 + 1 2 (1 time), 1 (4 times) transposition, four fixed points (1,2) 15 \! \frac{6!}{(2)(1)^4(4!)} odd 2 \operatorname{lcm}\{ 2, 1 \}
3 + 1 + 1 + 1 3 (1 time), 1 (3 times) one 3-cycle, three fixed points (1,2,3) 40 \! \frac{6!}{(3)(1)^3(3!)} even; no 3 \operatorname{lcm}\{ 3,1 \}
4 + 1 + 1 4 (1 time), 1 (2 times) one 4-cycle, two fixed points (1,2,3,4) 90 \! \frac{6!}{(4)(1)^2(2!)} odd 4 \operatorname{lcm}\{4,1 \}
2 + 2 + 1 + 1 2 (2 times), 1 (2 times) double transposition: two 2-cycles, two fixed points (1,2)(3,4) 45 \frac{6!}{(2)^2(2!)(1)^2(2!)} even; no 2 \operatorname{lcm}\{ 2, 1 \}
5 + 1 5 (1 time), 1 (1 time) one 5-cycle, one fixed point (1,2,3,4,5) 144 \! \frac{6!}{(5)(1)} even; yes; yes 5 \operatorname{lcm} \{ 5, 1 \}
3 + 2 + 1 3 (1 time), 2 (1 time), 1 (1 time) one 3-cycle, one 2-cycle, one fixed point (1,2,3)(4,5) 120 \! \frac{6!}{(3)(2)(1)} odd 6 \operatorname{lcm}\{3,2,1 \}
2 + 2 + 2 2 (3 times) triple transposition (1,2)(3,4)(5,6) 15 \! \frac{6!}{(2)^3(3!)} odd 2 \operatorname{lcm} \{ 2 \}
4 + 2 4 (1 time), 2 (1 time) one 4-cycle, one 2-cycle (1,2,3,4)(5,6) 90 \! \frac{6!}{(4)(2)} even; no 4 \operatorname{lcm} \{ 4 , 2 \}
3 + 3 3 (2 times) two 3-cycles (1,2,3)(4,5,6) 40 \! \frac{6!}{(3)^2(2!)} even; no 3 \operatorname{lcm} \{ 3 \}
6 6 (1 time) one 6-cycle (1,2,3,4,5,6) 120 \! \frac{6!}{6} odd 6 \operatorname{lcm} \{ 6 \}
Total (11 rows = 11 conjugacy classes) -- -- -- 720 (equals order of the whole group) -- odd: 360, 5 classes
even;no: 216, 5 classes
even;yes;yes: 144, 1 class
order 1: 1, order 2: 75, order 3: 80, order 4: 180, order 5: 144, order 6: 240 --


Automorphism class structure


Partitions for cycle types in one automorphism class Representative elements for each Size of each conjugacy class Number of classes Total size Element orders
1 + 1 + 1 + 1 + 1 + 1 () 1 1 1 1
2 + 1 + 1 + 1 + 1, 2 + 2 + 2 (1,2), (1,2)(3,4)(5,6) 15 2 30 2
3 + 1 + 1 + 1, 3 + 3 (1,2,3), (1,2,3)(4,5,6) 40 2 80 3
4 + 1 + 1 (1,2,3,4) 90 1 90 4
4 + 2 (1,2,3,4)(5,6) 90 1 90 4
5 + 1 (1,2,3,4,5) 144 1 144 5
3 + 2 + 1, 6 (1,2,3)(4,5), (1,2,3,4,5,6) 120 2 240 6
2 + 2 + 1 + 1 (1,2)(3,4) 45 1 45 2
Total (8 classes) -- -- 11 720 --