Symmetric group:S6: Difference between revisions
(New page: {{particular group}} {{group of order|720}} ==Definition== The symmetric group <math>S_6</math>, called the '''symmetric group of degree six''', is defined as the symmetric group on ...) |
|||
| Line 27: | Line 27: | ||
# <math>6 = 3 + 3</math>, i.e., two <math>3</math>-cycles: Permutations such as <math>(1,2,3)(4,5,6)</math>. (40) | # <math>6 = 3 + 3</math>, i.e., two <math>3</math>-cycles: Permutations such as <math>(1,2,3)(4,5,6)</math>. (40) | ||
# <math>6 = 4 + 2</math>: Permutations such as <math>(1,2,3,4)(5,6)</math>. (90) | # <math>6 = 4 + 2</math>: Permutations such as <math>(1,2,3,4)(5,6)</math>. (90) | ||
Of these, types (1), (3), (5), (7), (10), (11) are conjugacy classes of [[even permutation]]s -- together these form the [[alternating group:A6|alternating group of degree six]]. The remaining types: (2), (4), (6), (8), (9), are [[odd permutation]]s. | |||
===Upto automorphism=== | ===Upto automorphism=== | ||
Revision as of 23:23, 6 January 2009
This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this group
View a complete list of particular groups (this is a very huge list!)[SHOW MORE]
This particular group is a finite group of order: 720
Definition
The symmetric group , called the symmetric group of degree six, is defined as the symmetric group on a set of size six. Other equivalent definitions include:
- It is the projective general linear group .
Elements
Upto conjugacy
For convenience, we take the underlying set here as .
There are eleven conjugacy classes, corresponding to the unordered integer partitions of (for more information, refer cycle type determines conjugacy class):
- , i.e., six cycles of size one: The identity element. (1)
- , i.e., one -cycle and four fixed points: The transpositions, such as . (15)
- , i.e., one -cycle and three fixed points: The -cycles, such as . (40)
- : The -cycles, such as . (90)
- : The -cycles, such as . (144)
- : The -cycles, such as . (120)
- , i.e., two -cycles, two fixed points: The double transpositions, such as . (45)
- , i.e., three -cycles: The triple transpositions, such as . (15)
- , i.e., one -cycle, one -cycle: Permutations such as .(120)
- , i.e., two -cycles: Permutations such as . (40)
- : Permutations such as . (90)
Of these, types (1), (3), (5), (7), (10), (11) are conjugacy classes of even permutations -- together these form the alternating group of degree six. The remaining types: (2), (4), (6), (8), (9), are odd permutations.
Upto automorphism
Under automorphisms, the following types get merged:
- Types (2) and (8): The transposition is related by an outer automorphism to the triple transposition .
- Types (3) and (10): The -cycle is related by an outer automorphism to the permutation .
- Types (4) and (11): The -cycle is related by an outer automorphism to the pemrutation .
- Types (6) and (9): The -cycle is related by an outer automorphism to the permutation .
The types (1), (5), and (7) remain unaffected: these conjugacy classes are also automorphism classes.