Coset

For the group S6 with the subgroup consisting of all the even permutations of 6. (The even permutations means the permutations can be written as an even number of transposes.)

So if we left compose the set of even permutations of S6 with an odd permutation we get the set of all odd permutation of S6.

(odd)o{(even1),(even2),(even3), … (even360)}

Since any odd permutation composed with an even permutation gives us an odd permutations we know we will get a set consisting of all odd
permutations of S6 and we know it will have all the odd permutations because the sets of odd and even permutations of a group have the same
number of elements. Also, since our even set includes all the even permutations, we know that is set is forced to contain all the odd permutations.
We know this because the number of cosets are determined by the number of elements in each set and by the total number of elements in the
original group. So S6 has 720 elements. The even coset has 360 elements and the odd coset has 360.

720/360=2
So we know we have a maximum of 2 cosets.

So we now have

{(odd1),(odd2),(odd3), … (odd360)}

For the group S6 with the trivial subgroup

The left cosets of the trivial subgroup are all elements(permutations) of S6

page revision: 8, last edited: 25 Nov 2009 18:07