SlideShare a Scribd company logo
1 of 35
Abstract Algebra, Saracino
Second Edition
Section 8
Symmetric Groups
and Alternating
Groups
Lehman College, Department of Mathematics
Definitions and Examples (1 of 2)
Let 𝑋 be a nonempty set, then a one-to-one and onto
mapping 𝑋 → 𝑋 is called a permutation of 𝑋. The set of
all such mappings 𝑆 𝑋 forms a group (𝑆 𝑋,∘) under
composition of functions.
The group (𝑆 𝑋,∘) is called the symmetric group , or
permutation group on 𝑋.
If the set 𝑋 is finite and has, say 𝑛 elements, we can
represent 𝑋 by the set 1, 2, 3, … , 𝑛 , and we denote
(𝑆 𝑋,∘) by 𝑆 𝑛. In this case, 𝑆 𝑛 is called the symmetric
group of degree 𝑛, or the symmetric group on 𝑛 letters.
Let 𝑓 ∈ 𝑆 𝑛, then 𝑓 simply rearranges the elements of 𝑋.
Lehman College, Department of Mathematics
Definitions and Examples (2 of 2)
We can write 𝑓 explicitly in the form:
Let us consider the group 𝑆3. What are the possible
permutations of the set 1, 2, 3 ?
The first three are obtained by cyclically permuting the
elements of the set 1, 2, 3 , while the second set are
obtained by fixing one element and rearranging the
other two. It follows that 𝑆3 = 6.
1 2
𝑓(1) 𝑓(2)
3
𝑓(3)
… 𝑛
… 𝑓(𝑛)
𝑒 =
1 2
1 2
3
3
1 2
2 3
3
1
1 2
3 1
3
2
1 2
1 3
3
2
1 2
3 2
3
1
1 2
2 1
3
3
Lehman College, Department of Mathematics
Product of Permutations (1 of 5)
How do we determine the product of two permutations?
Recall that the group operation is function composition
and in function composition the rightmost function is
taken first:
It follows that the product of the two permutations is the
identity permutation
1 2
2 3
3
1
∘
1 2
3 1
3
2
1 = (1)
1 2
2 3
3
1
∘
1 2
3 1
3
2
2 = (2)
1 2
2 3
3
1
∘
1 2
3 1
3
2
3 = (3)
1 2
2 3
3
1
∘
1 2
3 1
3
2
=
1 2
1 2
3
3
= 𝑒
Lehman College, Department of Mathematics
Product of Permutations (2 of 5)
Let us look at another product
It follows that the product of the two permutations is the
permutation:
What if we reverse the order of the product?
1 2
1 3
3
2
∘
1 2
3 2
3
1
1 = (2)
1 2
1 3
3
2
∘
1 2
3 2
3
1
2 = (3)
1 2
1 3
3
2
∘
1 2
3 2
3
1
3 = (1)
1 2
1 3
3
2
∘
1 2
3 2
3
1
=
1 2
2 3
3
1
1 2
3 2
3
1
∘
1 2
1 3
3
2
=
1 2
3 1
3
2
Lehman College, Department of Mathematics
Product of Permutations (3 of 5)
From the previous slide, we see that
But
So the operation is not commutative and 𝑆3 is
nonabelian.
Theorem 1. If 𝒏 is a positive integer such that 𝒏 ≥ 𝟑,
then the symmetric group 𝑺 𝒏 is a nonabelian group.
Proof. Let 𝑛 ≥ 3, and let 𝛼, 𝛽 ∈ 𝑆 𝑛be defined by:
1 2
1 3
3
2
∘
1 2
3 2
3
1
=
1 2
2 3
3
1
1 2
3 2
3
1
∘
1 2
1 3
3
2
=
1 2
3 1
3
2
𝛼 1 = 2, 𝛼 2 = 1 and 𝛼 𝑥 = 𝑥 for all 𝑥 ≠ 1, 2
𝛽 1 = 3, 𝛽 3 = 1 and 𝛽 𝑥 = 𝑥 for all 𝑥 ≠ 1, 3
Lehman College, Department of Mathematics
Product of Permutations (4 of 5)
Proof (cont’d). 𝑛 ≥ 3, and let 𝛼, 𝛽 ∈ 𝑆 𝑛be defined by:
It follows that:
Now, we have
𝛼 1 = 2, 𝛼 2 = 1 and 𝛼 𝑥 = 𝑥 for all 𝑥 ≠ 1, 2
𝛽 1 = 3, 𝛽 3 = 1 and 𝛽 𝑥 = 𝑥 for all 𝑥 ≠ 1, 3
𝛼 =
1 2
2 1
3
3
4
4
… 𝑛
… 𝑛
𝛽 =
1 2
3 2
3
1
4
4
… 𝑛
… 𝑛
𝛼 ∘ 𝛽 =
1 2
2 1
3
3
4
4
… 𝑛
… 𝑛
∘
1 2
3 2
3
1
4
4
… 𝑛
… 𝑛
=
1 2
3 1
3
2
4
4
… 𝑛
… 𝑛
Lehman College, Department of Mathematics
Product of Permutations (3 of 5)
Proof (cont’d). Similarly
We note above that 𝛼 ∘ 𝛽 1 = 3, but 𝛽 ∘ 𝛼 1 = 2,
so 𝛼 ∘ 𝛽 ≠ 𝛽 ∘ 𝛼 and 𝑆 𝑛 for 𝑛 ≥ 3 is a nonabelian group.
We will introduce the following notation, suppose 𝛼 ∈ 𝑆4
is given by:
We will write 𝛼 as:
𝛽 ∘ 𝛼 =
1 2
3 2
3
1
4
4
… 𝑛
… 𝑛
∘
1 2
2 1
3
3
4
4
… 𝑛
… 𝑛
=
1 2
2 3
3
1
4
4
… 𝑛
… 𝑛
𝛼 =
1 2
1 4
3
3
4
2
𝛼 =
2 4
4 2
Lehman College, Department of Mathematics
Cycle Notation (1 of 2)
If 𝛽 ∈ 𝑆5 is given as
then we mean the permutation:
𝛼 is an example of a 2-cycle and 𝛽 and example of a 3-
cycle. A 2-cycle is also called a transposition. Consider
the permutation 𝜎 ∈ 𝑆6:
Then 𝜎 is a 4-cycle. We will represent it by 1 3 2 5
𝛽 =
1 3
4 1
4
3
∈ 𝑆5
𝛽 =
1 2
4 2
3
1
4
3
5
5
𝜎 =
1 2
3 5
3
2
4
4
5
1
6
6
Lehman College, Department of Mathematics
Cycle Notation (2 of 2)
Let us rewrite the elements of 𝑆3 using cycle notation:
Hence, 𝑆3 = 𝑒, 1 2 , 1 3 , 2 3 , 1 2 3 , (1 3 2)
consists of one 1-cycle, three 2-cycles and two 3-
cycles.
Non-cycles. Consider the permutation 𝛼 ∈ 𝑆4
Then 𝛼 is not a cycle.
𝑒 =
1 2
1 2
3
3
1 2
2 3
3
1
1 2
3 1
3
2
1 2
1 3
3
2
1 2
3 2
3
1
1 2
2 1
3
3
𝛼 =
1 2
3 4
3
1
4
2
Lehman College, Department of Mathematics
Disjoint Cycles (1 of 1)
Non-cycles (cont’d). In general, the product of two
cycles may not be a cycle. Consider the permutations
𝜎, 𝛿 ∈ 𝑆6 where 𝜎 = (5 6) and 𝛿 = (3 2 4)
Then 𝜎𝛿 = 𝜎 ∘ 𝛿 is not a cycle.
Two cycles in 𝑆 𝑛 are called disjoint if no element of
1, 2, 3, … , 𝑛 is moved by both cycles. In 𝑆8, the cycles
𝛼 = 2 4 3 5 and 𝛽 = (1 6 8) are disjoint cycles. But the
cycles 𝜎 = (4 5 3 2) and 𝛿 = (1 3 8) are not disjoint.
𝜎 ∘ 𝛿 =
1 2
1 2
3
3
4
4
5
6
6
5
∘
1 2
1 4
3
2
4
3
5
5
6
6
=
1 2
1 4
3
2
4
3
5
6
6
5
Lehman College, Department of Mathematics
Product of Cycles (1 of 3)
Let us look at the composition of the two disjoint cycles
𝛼 = 2 4 3 5 and 𝛽 = 1 6 8
Hence 𝛼𝛽 = 𝛽𝛼
Theorem 2. Let 𝜶 and 𝜷 be two disjoint cycles in 𝑺 𝒏,
then 𝜶𝜷 = 𝜷𝜶.
Conclusion: Disjoint cycles commute
𝛼𝛽 = 2 4 3 5 1 6 8
𝛽𝛼 = 1 6 8 2 4 3 5 =
1 2
6 4
3
5
4
3
5
2
6
8
7
7
8
1
=
1 2
6 4
3
5
4
3
5
2
6
8
7
7
8
1
Lehman College, Department of Mathematics
Product of Cycles (2 of 3)
Consider the element 𝜎 ∈ 𝑆8
Theorem 3. Any nonidentity permutation 𝝈 ∈ 𝑺 𝒏 (𝒏 ≥
𝟐) can be written as a product of disjoint cycles,
where each cycle is of length ≥ 𝟐.
= 1 3 7 ∘
1 2
1 5
3
3
4
4
5
2
6
8
7
7
8
6
𝜎 =
1 2
3 5
3
7
4
4
5
2
6
8
7
1
8
6
= 1 3 7 ∘ 2 5 ∘
1 2
1 2
3
3
4
4
5
5
6
8
7
7
8
6
= 1 3 7 ∘ 2 5 ∘ (6 8)
Lehman College, Department of Mathematics
Product of Cycles (3 of 3)
Now (1 3 7) ∈ 𝑆8 can be written in the form
Hence
Theorem 4. Any cycle of length ≥ 𝟐 is either a
transposition (a 2-cycle) or can be written as a
product of transpositions (not necessarily disjoint).
Theorem 5. Any nonidentity permutation 𝝈 ∈ 𝑺 𝒏 is
either a transposition or can be written as a product
of transpositions (not necessarily disjoint).
1 3 7 = 1 7 ∘ (1 3)
𝜎 =
1 2
3 5
3
7
4
4
5
2
6
8
7
1
8
6
= 1 3 7 ∘ 2 5 ∘ 6 8 = 1 7 ∘ (1 3) ∘ 2 5 ∘ 6 8
Lehman College, Department of Mathematics
Inverse of a Permutation (1 of 2)
Let 𝜎 ∈ 𝑆3 be given by:
Then 𝜎−1
is obtained by simply reversing the orders of
the pairs in 𝜎. That is
Let 𝛼 ∈ 𝑆3 be given by:
Then
𝜎 =
1 2
3 1
3
2
= (1 3 2)
𝜎−1
=
3 1
1 2
2
3
=
1 2
2 3
3
1
= (1 2 3)
𝛼 =
1 2
3 2
3
1
= (1 3)
𝛼−1
=
3 2
1 2
1
3
=
1 2
3 2
3
1
= (1 3)
Lehman College, Department of Mathematics
Inverse of a Permutation (2 of 2)
Let 𝛽 ∈ 𝑆4 be given by:
For 𝛽−1
we obtain
𝛽−1
=
2 3
1 2
4
3
1
4
=
1 2
4 1
3
2
4
3
= (1 4 3 2)
𝛽 =
1 2
2 3
3
4
4
1
= (1 2 3 4)
Lehman College, Department of Mathematics
Odd and Even Permutations (1 of 1)
A permutation is called even if it can be written as the
product of an even number of transpositions.
A permutation is called odd if it can be written as the
product of an odd number of transpositions.
Theorem 6. Any permutation of 𝑺 𝒏 is either an even
permutation or an odd permutation, but never both.
Consider the element 𝛼 ∈ 𝑆8
𝛼 =
1 2
8 5
3
6
4
3
5
7
6
4
7
2
8
1
= 1 8 (2 5 7)(3 6 4)
= 1 8 (2 7)(2 5)(3 4)(3 6)
Lehman College, Department of Mathematics
Cycles to Transpositions (1 of 1)
Consider the following 4-cycle from 𝑆4
How do we decompose it into a product of 2-cycles
(transpositions)?
Similarly for the 5-cycle (1 2 3 4 5) from from 𝑆5, we
have
Notice that cycles of odd length decompose into an
even number of 2-cycles and that cycles of even length
decompose into an odd number of 2-cycles
1 2
2 3
3
4
4
1
= (1 2 3 4)
1 2 3 4 = (1 4)(1 3)(1 2)
1 2 3 4 5 = (1 5)(1 4)(1 3)(1 2)
Lehman College, Department of Mathematics
Alternating Group (1 of 2)
Consider the element 𝛼 ∈ 𝑆8
Hence 𝛼 is an odd permutation.
Theorem 8.5 (textbook). Let 𝑛 ≥ 2 and let 𝐴 𝑛 denote
the subset of 𝑆 𝑛 consisting of all even permutations.
Then 𝐴 𝑛 is a subgroup of 𝑆 𝑛 called the alternating group
on 𝑛 letters. In addition, 𝑆 𝑛 = 𝑛! and 𝐴 𝑛 = 𝑛!/2.
Theorem 5.3 (textbook). Let 𝐺 be a group and let 𝐻 be
a finite nonempty subset of 𝐺. Then 𝐻 is a subgroup of
𝐺 if it is closed under the group operation.
Proof. Let ℎ ∈ 𝐻. Since 𝐻 is closed under multiplication,
then ℎ, ℎ2, ℎ3, … ∈ 𝐻. But 𝐻 is finite, so all powers of ℎ
𝛼 = 1 8 (2 7)(2 5)(3 4)(3 6)
Lehman College, Department of Mathematics
Alternating Groups (2 of 2)
Theorem 5.3 (Proof). Let ℎ ∈ 𝐻. Since 𝐻 is closed
under multiplication, then ℎ, ℎ2
, ℎ3
, … ∈ 𝐻. But 𝐻 is finite,
so all powers of ℎ cannot be distinct. Therefore ℎ has
finite order 𝑛 ≥ 1, and the distinct elements are
ℎ, ℎ2
, ℎ3
, … , ℎ 𝑛−1
, ℎ 𝑛
= 𝑒 so every power of ℎ is an
element of that set including ℎ−1
.
Proof of Theorem 8.5. 𝐴 𝑛 is a nonempty subset of a
finite set (𝑆 𝑛) and is therefore finite. Since the product of
two even permutations is even. (why?) then 𝐴 𝑛 is
closed under the group operation. By theorem 5.3, 𝐴 𝑛 is
a subgroup of 𝑆 𝑛.
Lehman College, Department of Mathematics
Elements of 𝑺 𝟑 (1 of 4)
Consider the elements of 𝑆3
Let us denote
Then
1 2
1 2
3
3
= 𝑒 1 2
2 3
3
1
= (1 2 3)
1 2
3 1
3
2
= (1 3 2)
1 2
1 3
3
2
= (2 3)
1 2
3 2
3
1
= (1 3)
1 2
2 1
3
3
= (1 2)
𝑓 =
1 2
2 3
3
1
= (1 2 3)
𝑓2
= 1 2 3 1 2 3 =
1 2
3 1
3
2
= (1 3 2)
Lehman College, Department of Mathematics
Elements of 𝑺 𝟑 (3 of 4)
For 𝑓3
we have
So o 𝑓 = 3, and 𝑓 generates the cyclic subgroup
Let us denote
Then
So o 𝑔 = 2, and 𝑔 = 𝑒, 𝑔
𝑓3
= 𝑓2
𝑓 = 1 3 2 1 2 3 =
1 2
1 2
3
3
= 𝑒
𝑓 = 𝑒, 𝑓, 𝑓2
𝑔 =
1 2
1 3
3
2
= (2 3)
𝑔2
= 2 3 2 3 =
1 2
1 2
3
3
= 𝑒
Lehman College, Department of Mathematics
Elements of 𝑺 𝟑 (4 of 4)
Now
and
It follows that
How about the element 𝑔𝑓? Well
Similarly, 𝑔𝑓2
= 𝑓𝑔
𝑓𝑔 = 1 2 3 2 3 =
1 2
2 1
3
3
= (1 2)
𝑆3 = 𝑒, 𝑓, 𝑓2, 𝑔, 𝑓𝑔, 𝑓2 𝑔
𝑓2
𝑔 = 1 3 2 2 3 =
1 2
3 2
3
1
= (1 3)
𝑔𝑓 = 2 3 1 2 3 =
1 2
3 2
3
1
= 1 3 = 𝑓2
𝑔
𝑔𝑓2
= 2 3 1 3 2 =
1 2
2 1
3
3
= 1 2 = 𝑓𝑔
Lehman College, Department of Mathematics
Elements of 𝑺 𝟑 (2 of 2)
We can use the identities 𝑔𝑓 = 𝑓2
𝑔 and 𝑔𝑓2
= 𝑓𝑔
to do group multiplication without writing down the
permutations. For example
So both 𝑓𝑔 and 𝑓2
𝑔 have order 2.
Now to find the order of 𝑓2
= 1 3 2 . We have
So o 𝑓2 = 3.
𝑓𝑔 2
= 𝑓𝑔 𝑓𝑔 = 𝑓 𝑔𝑓 𝑔 = 𝑓 𝑓2
𝑔 𝑔 = 𝑓3
𝑔2
= 𝑒
𝑓2 𝑔 2 = 𝑓2 𝑔 𝑓2 𝑔 = 𝑓2 𝑔𝑓2 𝑔 = 𝑓2 𝑓𝑔 𝑔 = 𝑓3 𝑔2 = 𝑒
𝑓2 2
= 𝑓4
= 𝑓3
𝑓 = 𝑓
𝑓2 3
= 𝑓6
= 𝑓3
𝑓3
= 𝑒
Lehman College, Department of Mathematics
Order of Permutations (1 of 2)
We may notice above that the order of the two 3-cycles
in 𝑆3 is three and the order of the 2-cycles is two.
Theorem 7. Let 𝒏 ≥ 𝟐 and let 𝝈 ∈ 𝑺 𝒏 be a cycle. Then
𝝈 is a k-cycle if and only if 𝐨 𝝈 = 𝒌.
Therefore, the order of a k-cycle is k.
How do we find the order of a permutation that is not a
cycle? Let 𝛼 ∈ 𝑆 𝑛 be a permutation. By Theorem 3, 𝛼
can be decomposed into disjoint cycles.
Theorem 8. Let 𝒏 ≥ 𝟐 and let 𝝈 ∈ 𝑺 𝒏 be a
permutation, with 𝝈 = 𝝈 𝟏 ∘ 𝝈 𝟐 ∘ 𝝈 𝟑 ∘ ⋯ ∘ 𝝈 𝒎 a product
of disjoint cycles.
Lehman College, Department of Mathematics
Order of Permutations (2 of 2)
Theorem 8. Let 𝒏 ≥ 𝟐 and let 𝝈 ∈ 𝑺 𝒏 be a
permutation, with 𝝈 = 𝝈 𝟏 ∘ 𝝈 𝟐 ∘ 𝝈 𝟑 ∘ ⋯ ∘ 𝝈 𝒎 a product
of disjoint cycles.
Example 1. In the permutation group S8, consider the
elements 𝛼 = 1 4 7 6 and 𝛽 = 2 5 6 7 . Determine
the order of 𝛼𝛽.
Answer: Since 𝛼𝛽 is not a product of disjoint cycles, we
cannot use Theorem 8.
𝐨 𝝈 = 𝐥𝐜𝐦(𝐨 𝝈 𝟏 , 𝐨 𝝈 𝟐 , … 𝐨 𝝈 𝒎 )
𝛼𝛽 = 1 4 7 6 2 5 6 7 =
1 2
4 5
3
3
4
7
5
1
6
6
7
2
8
8
= 1 4 7 2 5
Lehman College, Department of Mathematics
Examples (1 of 6)
Example 1 (cont’d). Since 𝛼𝛽 = 1 4 7 2 5 , then 𝛼𝛽 is
a 5-cycle. Therefore, by Theorem 7, o 𝛼𝛽 = 5.
Example 2. List all even permutations of 𝑆3. We know
that 2-cycles are odd permutations. A k-cycle with k odd
is an even permutation. Say 𝑓 = 1 2 3 = 1 3 (1 2)
and 𝑓2
= 1 3 2 = (1 2)(1 3). The remaining even
permutation is the identity 𝑒. So the alternating group
Example 3. Inverses in 𝑆3. Let 𝑆3 = 𝑒, 𝑓, 𝑓2
, 𝑔, 𝑓𝑔, 𝑓2
𝑔 .
We know that 𝑔, 𝑓𝑔 and 𝑓2
𝑔 have order 2, so they are
their own inverses. Since 𝑓3
= 𝑒, then 𝑓𝑓2
= 𝑒 and
𝑓−1 = 𝑓2. Also 𝑓2 −1 = 𝑓 by uniqueness of inverses
𝐴3 = 𝑒, 𝑓, 𝑓2
Lehman College, Department of Mathematics
Examples (2 of 6)
Let us further examine inverses of elements in 𝑆3 in
cycle notation.
Since the 2-cycles are their own inverses, then
For the 3-cycles:
Example 4. The group 𝑆4. This group contains 4! = 24
elements. Let us list these elements starting from the
identity:
𝑆3 = 𝑒, 1 2 , 1 3 , 2 3 , 1 2 3 , (1 3 2)
1 2 −1 = (1 2) 1 3 −1 = (1 3) 2 3 −1 = (2 3)
1 2 3 −1 = (1 3 2) 1 3 2 −1
= (1 2 3)
1 2
1 2
3
3
4
4
= 𝑒
Lehman College, Department of Mathematics
Examples (3 of 6)
Next, we list the six 4-cycles.
Now for the eight 3-cycles
1 2
2 3
3
4
4
1
= (1 2 3 4)
1 2
2 4
3
1
4
3
= (1 2 4 3)
1 2
4 3
3
1
4
2
= (1 4 2 3)
1 2
4 1
3
2
4
3
= (1 4 3 2)
1 2
3 1
3
4
4
2
= (1 3 4 2)1 2
3 4
3
2
4
1
= (1 3 2 4)
1 2
2 3
3
1
4
4
= (1 2 3 )
1 2
3 1
3
2
4
4
= (1 3 2 )
1 2
2 4
3
3
4
1
= (1 2 4 )
1 2
4 1
3
3
4
2
= (1 4 2 )
Lehman College, Department of Mathematics
Examples (4 of 6)
More 3-cycles
Now for the six 2-cycles
1 2
3 2
3
4
4
1
= (1 3 4 )
1 2
4 2
3
1
4
3
= (1 4 3 )
1 2
1 3
3
4
4
2
= (2 3 4) 1 2
1 4
3
2
4
3
= (2 4 3)
1 2
2 1
3
3
4
4
= (1 2 )
1 2
3 2
3
1
4
4
= (1 3 )
1 2
1 3
3
2
4
4
= (2 3 ) 1 2
4 2
3
3
4
1
= (1 4 )
1 2
1 4
3
3
4
2
= (2 4 )
1 2
1 2
3
4
4
3
= (3 4 )
Lehman College, Department of Mathematics
Examples (5 of 6)
Now for the three elements that are not cycles:
For inverses:
1 2
3 4
3
1
4
2
= (1 3)(2 4)
1 2
2 1
3
4
4
3
= (1 2)(3 4)
1 2
4 3
3
2
4
1
= (1 4)(2 3)
1 2 4 −1 = (1 4 2)
1 2 3 4 −1 = (1 4 3 2)
1 4 −1
= (1 4 )
1 2 (3 4)
−1
= 1 2 (3 4)
Lehman College, Department of Mathematics
Examples (6 of 6)
Proof of inverses:
and vice versa.
For the element 1 2 (3 4) , this is a product of disjoint
2-cycles, so by Theorem 8:
It follows that 1 2 (3 4) is its own inverse.
1 2 3 4 1 4 3 2 =
1 2
1 2
3
3
4
4
= 𝑒
1 2 3 1 3 2 =
1 2
1 2
3
3
4
4
= 𝑒
= lcm 2 , 2 = 2
o 1 2 (3 4) = lcm(o (1 2) , o (3, 4) )
Lehman College, Department of Mathematics
Examples (6 of 6)
Alternate (shorter) proof of Theorem 1: for 𝑛 ≥ 3, (1 2)
and (2 3) are elements of 𝑆 𝑛. But (1 2)(2 3) sends 1 to
2, while (2 3)(1 2) sends 1 to 3. It follows that the group
𝑆 𝑛 for 𝑛 ≥ 3 is nonabelian.
Example 5. Determine the center of 𝑆3.
Clearly, 𝑒 ∈ 𝑍(𝑆3). 1 2 1 3 sends 1 to 3, but 1 3 1 2
sends 1 to 2. Similarly, 1 3 2 3 sends 3 to 2, but
2 3 1 3 sends 3 to 1. So these elements do not
commute. Finally, for the two 3-cycles, 1 2 3 (1 2)
sends 1 to 3, but (1 2) 1 2 3 sends 1 to 1, Similarly,
1 3 2 (1 2) sends 1 to 1. But (1 2) 1 3 2 sends 1 to 3
𝑆3 = 𝑒, 1 2 , 1 3 , 2 3 , 1 2 3 , (1 3 2)
Lehman College, Department of Mathematics
Examples (6 of 6)
It follows that
is trivial.
Theorem 9. For 𝑛 ≥ 3, 𝑆 𝑛 has trivial center.
Proof. Clearly
Assume that 𝑍(𝑆 𝑛) has a nonidentity element 𝜎. Then
there exists numbers 𝑖 and 𝑗 (𝑖 ≠ 𝑗), such that 𝜎 𝑖 = 𝑗.
Now, by assumption 𝑛 ≥ 3, so there exists another
number 𝑘. Consider the transposition
𝑍(𝑆3) = 𝑒
𝑒 ∈ 𝑍(𝑆 𝑛)
𝜏 = (𝑖 𝑘) ∈ 𝑆 𝑛
Lehman College, Department of Mathematics
Examples (6 of 6)
Then we have 𝜎 𝑖 = 𝑗, and 𝜏 = (𝑖 𝑘) ∈ 𝑆 𝑛. It follows
that
Since 𝜎 𝑖 = 𝑗 and 𝜎 is one-to-one and onto. Thus
But this contradicts the assumption that 𝜎 ∈ 𝑍(𝑆 𝑛).
Therefore 𝑍(𝑆 𝑛) for 𝑛 ≥ 3 is trivial.
𝜏𝜎 𝑖 = 𝜏 𝑗 = 𝑗
𝜎𝜏 𝑖 = 𝜎 𝑘 ≠ 𝑗
𝜎𝜏 ≠ 𝜏𝜎

More Related Content

What's hot

Analytical geometry Grade 10
Analytical geometry Grade 10Analytical geometry Grade 10
Analytical geometry Grade 10Lajae' Plaatjies
 
Determining the Inverse, Converse, and Contrapositive of an If-then Statement...
Determining the Inverse, Converse, and Contrapositive of an If-then Statement...Determining the Inverse, Converse, and Contrapositive of an If-then Statement...
Determining the Inverse, Converse, and Contrapositive of an If-then Statement...Ma. Loiel Salome Nabelon
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebraNaliniSPatil
 
Functions and Relations
Functions and RelationsFunctions and Relations
Functions and Relationssheisirenebkm
 
logic and set theory
logic and set theorylogic and set theory
logic and set theoryNathan Trillo
 
Trigonometric Identities.
Trigonometric Identities. Trigonometric Identities.
Trigonometric Identities. jhey2
 
Abstract algebra & its applications (1)
Abstract algebra & its applications (1)Abstract algebra & its applications (1)
Abstract algebra & its applications (1)drselvarani
 
Introduction to Groups and Permutation Groups
Introduction to Groups and Permutation GroupsIntroduction to Groups and Permutation Groups
Introduction to Groups and Permutation GroupsAmit Amola
 
Lesson 8 conic sections - parabola
Lesson 8    conic sections - parabolaLesson 8    conic sections - parabola
Lesson 8 conic sections - parabolaJean Leano
 
Linear Equations and Inequalities in One Variable
Linear Equations and Inequalities in One VariableLinear Equations and Inequalities in One Variable
Linear Equations and Inequalities in One Variablemisey_margarette
 
Finding Slope Given A Graph And Two Points
Finding Slope Given A Graph And Two PointsFinding Slope Given A Graph And Two Points
Finding Slope Given A Graph And Two PointsGillian Guiang
 
Mathematics 8 cg
Mathematics 8 cgMathematics 8 cg
Mathematics 8 cgRaul Raul
 
8.1 intro to functions
8.1 intro to functions8.1 intro to functions
8.1 intro to functionsBarbara Knab
 
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using InterceptsContextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using InterceptsDepartment of Education - Philippines
 
437056180-Equivalences-of-the-statement-and-its-contrapositive-convers-ppt [R...
437056180-Equivalences-of-the-statement-and-its-contrapositive-convers-ppt [R...437056180-Equivalences-of-the-statement-and-its-contrapositive-convers-ppt [R...
437056180-Equivalences-of-the-statement-and-its-contrapositive-convers-ppt [R...JenilynEspejo1
 

What's hot (20)

Analytical geometry Grade 10
Analytical geometry Grade 10Analytical geometry Grade 10
Analytical geometry Grade 10
 
Determining the Inverse, Converse, and Contrapositive of an If-then Statement...
Determining the Inverse, Converse, and Contrapositive of an If-then Statement...Determining the Inverse, Converse, and Contrapositive of an If-then Statement...
Determining the Inverse, Converse, and Contrapositive of an If-then Statement...
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebra
 
Alternating Group presentation
Alternating Group presentationAlternating Group presentation
Alternating Group presentation
 
Trigonometric identities
Trigonometric identitiesTrigonometric identities
Trigonometric identities
 
Functions and Relations
Functions and RelationsFunctions and Relations
Functions and Relations
 
logic and set theory
logic and set theorylogic and set theory
logic and set theory
 
Trigonometric Identities.
Trigonometric Identities. Trigonometric Identities.
Trigonometric Identities.
 
Group Actions
Group ActionsGroup Actions
Group Actions
 
Abstract algebra & its applications (1)
Abstract algebra & its applications (1)Abstract algebra & its applications (1)
Abstract algebra & its applications (1)
 
Introduction to Groups and Permutation Groups
Introduction to Groups and Permutation GroupsIntroduction to Groups and Permutation Groups
Introduction to Groups and Permutation Groups
 
Lesson 8 conic sections - parabola
Lesson 8    conic sections - parabolaLesson 8    conic sections - parabola
Lesson 8 conic sections - parabola
 
Linear Equations and Inequalities in One Variable
Linear Equations and Inequalities in One VariableLinear Equations and Inequalities in One Variable
Linear Equations and Inequalities in One Variable
 
Finding Slope Given A Graph And Two Points
Finding Slope Given A Graph And Two PointsFinding Slope Given A Graph And Two Points
Finding Slope Given A Graph And Two Points
 
Special angles
Special anglesSpecial angles
Special angles
 
Mathematics 8 cg
Mathematics 8 cgMathematics 8 cg
Mathematics 8 cg
 
Euler's formula
Euler's formulaEuler's formula
Euler's formula
 
8.1 intro to functions
8.1 intro to functions8.1 intro to functions
8.1 intro to functions
 
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using InterceptsContextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
 
437056180-Equivalences-of-the-statement-and-its-contrapositive-convers-ppt [R...
437056180-Equivalences-of-the-statement-and-its-contrapositive-convers-ppt [R...437056180-Equivalences-of-the-statement-and-its-contrapositive-convers-ppt [R...
437056180-Equivalences-of-the-statement-and-its-contrapositive-convers-ppt [R...
 

Similar to Section 8: Symmetric Groups

MAT-314 Midterm Exam 2 Review
MAT-314 Midterm Exam 2 ReviewMAT-314 Midterm Exam 2 Review
MAT-314 Midterm Exam 2 ReviewKevin Johnson
 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and FunctionsKevin Johnson
 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsKevin Johnson
 
Section 10: Lagrange's Theorem
Section 10: Lagrange's TheoremSection 10: Lagrange's Theorem
Section 10: Lagrange's TheoremKevin Johnson
 
Comparative analysis of x^3+y^3=z^3 and x^2+y^2=z^2 in the Interconnected Sets
Comparative analysis of x^3+y^3=z^3 and x^2+y^2=z^2 in the Interconnected Sets Comparative analysis of x^3+y^3=z^3 and x^2+y^2=z^2 in the Interconnected Sets
Comparative analysis of x^3+y^3=z^3 and x^2+y^2=z^2 in the Interconnected Sets Vladimir Godovalov
 
Lesson 3: Problem Set 4
Lesson 3: Problem Set 4Lesson 3: Problem Set 4
Lesson 3: Problem Set 4Kevin Johnson
 
Lesson 18: Rational Exponents
Lesson 18: Rational ExponentsLesson 18: Rational Exponents
Lesson 18: Rational ExponentsKevin Johnson
 
Lesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic FunctionsLesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic FunctionsKevin Johnson
 
4 ESO Academics - UNIT 03 - POLYNOMIALS. ALGEBRAIC FRACTIONS
4 ESO Academics - UNIT 03 - POLYNOMIALS. ALGEBRAIC FRACTIONS4 ESO Academics - UNIT 03 - POLYNOMIALS. ALGEBRAIC FRACTIONS
4 ESO Academics - UNIT 03 - POLYNOMIALS. ALGEBRAIC FRACTIONSGogely The Great
 
Lesson 22: Polynomial Long Division
Lesson 22: Polynomial Long DivisionLesson 22: Polynomial Long Division
Lesson 22: Polynomial Long DivisionKevin Johnson
 
Lesson 1: The Real Number System
Lesson 1: The Real Number SystemLesson 1: The Real Number System
Lesson 1: The Real Number SystemKevin Johnson
 
Lesson 21: More Algebra
Lesson 21: More AlgebraLesson 21: More Algebra
Lesson 21: More AlgebraKevin Johnson
 
BSC_COMPUTER _SCIENCE_UNIT-4_DISCRETE MATHEMATICS
BSC_COMPUTER _SCIENCE_UNIT-4_DISCRETE MATHEMATICSBSC_COMPUTER _SCIENCE_UNIT-4_DISCRETE MATHEMATICS
BSC_COMPUTER _SCIENCE_UNIT-4_DISCRETE MATHEMATICSRai University
 
Division of rational expressions
Division of rational expressionsDivision of rational expressions
Division of rational expressionsMartinGeraldine
 
Lesson 3: Exponential Notation
Lesson 3: Exponential NotationLesson 3: Exponential Notation
Lesson 3: Exponential NotationKevin Johnson
 
Lesson 7: Graphing Inequalities
Lesson 7: Graphing InequalitiesLesson 7: Graphing Inequalities
Lesson 7: Graphing InequalitiesKevin Johnson
 

Similar to Section 8: Symmetric Groups (20)

MAT-314 Midterm Exam 2 Review
MAT-314 Midterm Exam 2 ReviewMAT-314 Midterm Exam 2 Review
MAT-314 Midterm Exam 2 Review
 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and Functions
 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & Cosets
 
Section 10: Lagrange's Theorem
Section 10: Lagrange's TheoremSection 10: Lagrange's Theorem
Section 10: Lagrange's Theorem
 
Comparative analysis of x^3+y^3=z^3 and x^2+y^2=z^2 in the Interconnected Sets
Comparative analysis of x^3+y^3=z^3 and x^2+y^2=z^2 in the Interconnected Sets Comparative analysis of x^3+y^3=z^3 and x^2+y^2=z^2 in the Interconnected Sets
Comparative analysis of x^3+y^3=z^3 and x^2+y^2=z^2 in the Interconnected Sets
 
Lesson 3: Problem Set 4
Lesson 3: Problem Set 4Lesson 3: Problem Set 4
Lesson 3: Problem Set 4
 
Matrix
MatrixMatrix
Matrix
 
Lesson 18: Rational Exponents
Lesson 18: Rational ExponentsLesson 18: Rational Exponents
Lesson 18: Rational Exponents
 
Lesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic FunctionsLesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic Functions
 
4 ESO Academics - UNIT 03 - POLYNOMIALS. ALGEBRAIC FRACTIONS
4 ESO Academics - UNIT 03 - POLYNOMIALS. ALGEBRAIC FRACTIONS4 ESO Academics - UNIT 03 - POLYNOMIALS. ALGEBRAIC FRACTIONS
4 ESO Academics - UNIT 03 - POLYNOMIALS. ALGEBRAIC FRACTIONS
 
Lesson 22: Polynomial Long Division
Lesson 22: Polynomial Long DivisionLesson 22: Polynomial Long Division
Lesson 22: Polynomial Long Division
 
Lesson 1: The Real Number System
Lesson 1: The Real Number SystemLesson 1: The Real Number System
Lesson 1: The Real Number System
 
Lesson 21: More Algebra
Lesson 21: More AlgebraLesson 21: More Algebra
Lesson 21: More Algebra
 
BSC_COMPUTER _SCIENCE_UNIT-4_DISCRETE MATHEMATICS
BSC_COMPUTER _SCIENCE_UNIT-4_DISCRETE MATHEMATICSBSC_COMPUTER _SCIENCE_UNIT-4_DISCRETE MATHEMATICS
BSC_COMPUTER _SCIENCE_UNIT-4_DISCRETE MATHEMATICS
 
Rational Expressions Module
Rational Expressions ModuleRational Expressions Module
Rational Expressions Module
 
Division of rational expressions
Division of rational expressionsDivision of rational expressions
Division of rational expressions
 
Lesson 3: Exponential Notation
Lesson 3: Exponential NotationLesson 3: Exponential Notation
Lesson 3: Exponential Notation
 
Algebra
AlgebraAlgebra
Algebra
 
Lesson 7: Graphing Inequalities
Lesson 7: Graphing InequalitiesLesson 7: Graphing Inequalities
Lesson 7: Graphing Inequalities
 
Z transforms
Z transformsZ transforms
Z transforms
 

More from Kevin Johnson

Lesson 2: Final Exam Review (Part 1)
Lesson 2: Final Exam Review (Part 1)Lesson 2: Final Exam Review (Part 1)
Lesson 2: Final Exam Review (Part 1)Kevin Johnson
 
Lesson 20: Trigonometric Functions of Any Angle Part 1
Lesson 20: Trigonometric Functions of Any Angle Part 1Lesson 20: Trigonometric Functions of Any Angle Part 1
Lesson 20: Trigonometric Functions of Any Angle Part 1Kevin Johnson
 
Lesson 17: Quadratic Functions
Lesson 17: Quadratic FunctionsLesson 17: Quadratic Functions
Lesson 17: Quadratic FunctionsKevin Johnson
 
Lesson 16: More Inequalities
Lesson 16: More InequalitiesLesson 16: More Inequalities
Lesson 16: More InequalitiesKevin Johnson
 
Lesson 14: Equation of a Circle
Lesson 14: Equation of a CircleLesson 14: Equation of a Circle
Lesson 14: Equation of a CircleKevin Johnson
 
Lesson 13: Midpoint and Distance Formulas
Lesson 13: Midpoint and Distance FormulasLesson 13: Midpoint and Distance Formulas
Lesson 13: Midpoint and Distance FormulasKevin Johnson
 
Lesson 12: Right Triangle Trigonometry
Lesson 12: Right Triangle TrigonometryLesson 12: Right Triangle Trigonometry
Lesson 12: Right Triangle TrigonometryKevin Johnson
 
Lesson 11: Functions and Function Notation
Lesson 11: Functions and Function NotationLesson 11: Functions and Function Notation
Lesson 11: Functions and Function NotationKevin Johnson
 
Lesson 10: Solving Quadratic Equations
Lesson 10: Solving Quadratic EquationsLesson 10: Solving Quadratic Equations
Lesson 10: Solving Quadratic EquationsKevin Johnson
 
Lesson 9: Linear Relations and Lines
Lesson 9: Linear Relations and LinesLesson 9: Linear Relations and Lines
Lesson 9: Linear Relations and LinesKevin Johnson
 
Lesson 8: Rational Functions
Lesson 8: Rational FunctionsLesson 8: Rational Functions
Lesson 8: Rational FunctionsKevin Johnson
 
Lesson 6: Factoring Polynomials
Lesson 6: Factoring PolynomialsLesson 6: Factoring Polynomials
Lesson 6: Factoring PolynomialsKevin Johnson
 
Lesson 5: Polynomials
Lesson 5: PolynomialsLesson 5: Polynomials
Lesson 5: PolynomialsKevin Johnson
 
Lesson 4: Decimal to Scientific Notation
Lesson 4: Decimal to Scientific NotationLesson 4: Decimal to Scientific Notation
Lesson 4: Decimal to Scientific NotationKevin Johnson
 
Lesson 2: Inequalities
Lesson 2: InequalitiesLesson 2: Inequalities
Lesson 2: InequalitiesKevin Johnson
 
MAT-108 Trigonometry Midterm Review
MAT-108 Trigonometry Midterm ReviewMAT-108 Trigonometry Midterm Review
MAT-108 Trigonometry Midterm ReviewKevin Johnson
 

More from Kevin Johnson (17)

Lesson 2: Final Exam Review (Part 1)
Lesson 2: Final Exam Review (Part 1)Lesson 2: Final Exam Review (Part 1)
Lesson 2: Final Exam Review (Part 1)
 
Lesson 20: Trigonometric Functions of Any Angle Part 1
Lesson 20: Trigonometric Functions of Any Angle Part 1Lesson 20: Trigonometric Functions of Any Angle Part 1
Lesson 20: Trigonometric Functions of Any Angle Part 1
 
Lesson 17: Quadratic Functions
Lesson 17: Quadratic FunctionsLesson 17: Quadratic Functions
Lesson 17: Quadratic Functions
 
Lesson 16: More Inequalities
Lesson 16: More InequalitiesLesson 16: More Inequalities
Lesson 16: More Inequalities
 
Lesson 15: Geometry
Lesson 15: GeometryLesson 15: Geometry
Lesson 15: Geometry
 
Lesson 14: Equation of a Circle
Lesson 14: Equation of a CircleLesson 14: Equation of a Circle
Lesson 14: Equation of a Circle
 
Lesson 13: Midpoint and Distance Formulas
Lesson 13: Midpoint and Distance FormulasLesson 13: Midpoint and Distance Formulas
Lesson 13: Midpoint and Distance Formulas
 
Lesson 12: Right Triangle Trigonometry
Lesson 12: Right Triangle TrigonometryLesson 12: Right Triangle Trigonometry
Lesson 12: Right Triangle Trigonometry
 
Lesson 11: Functions and Function Notation
Lesson 11: Functions and Function NotationLesson 11: Functions and Function Notation
Lesson 11: Functions and Function Notation
 
Lesson 10: Solving Quadratic Equations
Lesson 10: Solving Quadratic EquationsLesson 10: Solving Quadratic Equations
Lesson 10: Solving Quadratic Equations
 
Lesson 9: Linear Relations and Lines
Lesson 9: Linear Relations and LinesLesson 9: Linear Relations and Lines
Lesson 9: Linear Relations and Lines
 
Lesson 8: Rational Functions
Lesson 8: Rational FunctionsLesson 8: Rational Functions
Lesson 8: Rational Functions
 
Lesson 6: Factoring Polynomials
Lesson 6: Factoring PolynomialsLesson 6: Factoring Polynomials
Lesson 6: Factoring Polynomials
 
Lesson 5: Polynomials
Lesson 5: PolynomialsLesson 5: Polynomials
Lesson 5: Polynomials
 
Lesson 4: Decimal to Scientific Notation
Lesson 4: Decimal to Scientific NotationLesson 4: Decimal to Scientific Notation
Lesson 4: Decimal to Scientific Notation
 
Lesson 2: Inequalities
Lesson 2: InequalitiesLesson 2: Inequalities
Lesson 2: Inequalities
 
MAT-108 Trigonometry Midterm Review
MAT-108 Trigonometry Midterm ReviewMAT-108 Trigonometry Midterm Review
MAT-108 Trigonometry Midterm Review
 

Recently uploaded

Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdfPests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdfPirithiRaju
 
Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...
Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...
Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...Monika Rani
 
Biological Classification BioHack (3).pdf
Biological Classification BioHack (3).pdfBiological Classification BioHack (3).pdf
Biological Classification BioHack (3).pdfmuntazimhurra
 
Pests of mustard_Identification_Management_Dr.UPR.pdf
Pests of mustard_Identification_Management_Dr.UPR.pdfPests of mustard_Identification_Management_Dr.UPR.pdf
Pests of mustard_Identification_Management_Dr.UPR.pdfPirithiRaju
 
Isotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on IoIsotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on IoSérgio Sacani
 
Seismic Method Estimate velocity from seismic data.pptx
Seismic Method Estimate velocity from seismic  data.pptxSeismic Method Estimate velocity from seismic  data.pptx
Seismic Method Estimate velocity from seismic data.pptxAlMamun560346
 
TEST BANK For Radiologic Science for Technologists, 12th Edition by Stewart C...
TEST BANK For Radiologic Science for Technologists, 12th Edition by Stewart C...TEST BANK For Radiologic Science for Technologists, 12th Edition by Stewart C...
TEST BANK For Radiologic Science for Technologists, 12th Edition by Stewart C...ssifa0344
 
Formation of low mass protostars and their circumstellar disks
Formation of low mass protostars and their circumstellar disksFormation of low mass protostars and their circumstellar disks
Formation of low mass protostars and their circumstellar disksSérgio Sacani
 
Labelling Requirements and Label Claims for Dietary Supplements and Recommend...
Labelling Requirements and Label Claims for Dietary Supplements and Recommend...Labelling Requirements and Label Claims for Dietary Supplements and Recommend...
Labelling Requirements and Label Claims for Dietary Supplements and Recommend...Lokesh Kothari
 
❤Jammu Kashmir Call Girls 8617697112 Personal Whatsapp Number 💦✅.
❤Jammu Kashmir Call Girls 8617697112 Personal Whatsapp Number 💦✅.❤Jammu Kashmir Call Girls 8617697112 Personal Whatsapp Number 💦✅.
❤Jammu Kashmir Call Girls 8617697112 Personal Whatsapp Number 💦✅.Nitya salvi
 
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...Sérgio Sacani
 
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsHubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsSérgio Sacani
 
Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)PraveenaKalaiselvan1
 
Green chemistry and Sustainable development.pptx
Green chemistry  and Sustainable development.pptxGreen chemistry  and Sustainable development.pptx
Green chemistry and Sustainable development.pptxRajatChauhan518211
 
COST ESTIMATION FOR A RESEARCH PROJECT.pptx
COST ESTIMATION FOR A RESEARCH PROJECT.pptxCOST ESTIMATION FOR A RESEARCH PROJECT.pptx
COST ESTIMATION FOR A RESEARCH PROJECT.pptxFarihaAbdulRasheed
 
High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...
High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...
High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...chandars293
 
Botany krishna series 2nd semester Only Mcq type questions
Botany krishna series 2nd semester Only Mcq type questionsBotany krishna series 2nd semester Only Mcq type questions
Botany krishna series 2nd semester Only Mcq type questionsSumit Kumar yadav
 
Zoology 4th semester series (krishna).pdf
Zoology 4th semester series (krishna).pdfZoology 4th semester series (krishna).pdf
Zoology 4th semester series (krishna).pdfSumit Kumar yadav
 
Chemical Tests; flame test, positive and negative ions test Edexcel Internati...
Chemical Tests; flame test, positive and negative ions test Edexcel Internati...Chemical Tests; flame test, positive and negative ions test Edexcel Internati...
Chemical Tests; flame test, positive and negative ions test Edexcel Internati...ssuser79fe74
 
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCRStunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCRDelhi Call girls
 

Recently uploaded (20)

Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdfPests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
 
Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...
Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...
Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...
 
Biological Classification BioHack (3).pdf
Biological Classification BioHack (3).pdfBiological Classification BioHack (3).pdf
Biological Classification BioHack (3).pdf
 
Pests of mustard_Identification_Management_Dr.UPR.pdf
Pests of mustard_Identification_Management_Dr.UPR.pdfPests of mustard_Identification_Management_Dr.UPR.pdf
Pests of mustard_Identification_Management_Dr.UPR.pdf
 
Isotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on IoIsotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on Io
 
Seismic Method Estimate velocity from seismic data.pptx
Seismic Method Estimate velocity from seismic  data.pptxSeismic Method Estimate velocity from seismic  data.pptx
Seismic Method Estimate velocity from seismic data.pptx
 
TEST BANK For Radiologic Science for Technologists, 12th Edition by Stewart C...
TEST BANK For Radiologic Science for Technologists, 12th Edition by Stewart C...TEST BANK For Radiologic Science for Technologists, 12th Edition by Stewart C...
TEST BANK For Radiologic Science for Technologists, 12th Edition by Stewart C...
 
Formation of low mass protostars and their circumstellar disks
Formation of low mass protostars and their circumstellar disksFormation of low mass protostars and their circumstellar disks
Formation of low mass protostars and their circumstellar disks
 
Labelling Requirements and Label Claims for Dietary Supplements and Recommend...
Labelling Requirements and Label Claims for Dietary Supplements and Recommend...Labelling Requirements and Label Claims for Dietary Supplements and Recommend...
Labelling Requirements and Label Claims for Dietary Supplements and Recommend...
 
❤Jammu Kashmir Call Girls 8617697112 Personal Whatsapp Number 💦✅.
❤Jammu Kashmir Call Girls 8617697112 Personal Whatsapp Number 💦✅.❤Jammu Kashmir Call Girls 8617697112 Personal Whatsapp Number 💦✅.
❤Jammu Kashmir Call Girls 8617697112 Personal Whatsapp Number 💦✅.
 
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
 
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsHubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
 
Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)
 
Green chemistry and Sustainable development.pptx
Green chemistry  and Sustainable development.pptxGreen chemistry  and Sustainable development.pptx
Green chemistry and Sustainable development.pptx
 
COST ESTIMATION FOR A RESEARCH PROJECT.pptx
COST ESTIMATION FOR A RESEARCH PROJECT.pptxCOST ESTIMATION FOR A RESEARCH PROJECT.pptx
COST ESTIMATION FOR A RESEARCH PROJECT.pptx
 
High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...
High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...
High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...
 
Botany krishna series 2nd semester Only Mcq type questions
Botany krishna series 2nd semester Only Mcq type questionsBotany krishna series 2nd semester Only Mcq type questions
Botany krishna series 2nd semester Only Mcq type questions
 
Zoology 4th semester series (krishna).pdf
Zoology 4th semester series (krishna).pdfZoology 4th semester series (krishna).pdf
Zoology 4th semester series (krishna).pdf
 
Chemical Tests; flame test, positive and negative ions test Edexcel Internati...
Chemical Tests; flame test, positive and negative ions test Edexcel Internati...Chemical Tests; flame test, positive and negative ions test Edexcel Internati...
Chemical Tests; flame test, positive and negative ions test Edexcel Internati...
 
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCRStunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
 

Section 8: Symmetric Groups

  • 1. Abstract Algebra, Saracino Second Edition Section 8 Symmetric Groups and Alternating Groups
  • 2. Lehman College, Department of Mathematics Definitions and Examples (1 of 2) Let 𝑋 be a nonempty set, then a one-to-one and onto mapping 𝑋 → 𝑋 is called a permutation of 𝑋. The set of all such mappings 𝑆 𝑋 forms a group (𝑆 𝑋,∘) under composition of functions. The group (𝑆 𝑋,∘) is called the symmetric group , or permutation group on 𝑋. If the set 𝑋 is finite and has, say 𝑛 elements, we can represent 𝑋 by the set 1, 2, 3, … , 𝑛 , and we denote (𝑆 𝑋,∘) by 𝑆 𝑛. In this case, 𝑆 𝑛 is called the symmetric group of degree 𝑛, or the symmetric group on 𝑛 letters. Let 𝑓 ∈ 𝑆 𝑛, then 𝑓 simply rearranges the elements of 𝑋.
  • 3. Lehman College, Department of Mathematics Definitions and Examples (2 of 2) We can write 𝑓 explicitly in the form: Let us consider the group 𝑆3. What are the possible permutations of the set 1, 2, 3 ? The first three are obtained by cyclically permuting the elements of the set 1, 2, 3 , while the second set are obtained by fixing one element and rearranging the other two. It follows that 𝑆3 = 6. 1 2 𝑓(1) 𝑓(2) 3 𝑓(3) … 𝑛 … 𝑓(𝑛) 𝑒 = 1 2 1 2 3 3 1 2 2 3 3 1 1 2 3 1 3 2 1 2 1 3 3 2 1 2 3 2 3 1 1 2 2 1 3 3
  • 4. Lehman College, Department of Mathematics Product of Permutations (1 of 5) How do we determine the product of two permutations? Recall that the group operation is function composition and in function composition the rightmost function is taken first: It follows that the product of the two permutations is the identity permutation 1 2 2 3 3 1 ∘ 1 2 3 1 3 2 1 = (1) 1 2 2 3 3 1 ∘ 1 2 3 1 3 2 2 = (2) 1 2 2 3 3 1 ∘ 1 2 3 1 3 2 3 = (3) 1 2 2 3 3 1 ∘ 1 2 3 1 3 2 = 1 2 1 2 3 3 = 𝑒
  • 5. Lehman College, Department of Mathematics Product of Permutations (2 of 5) Let us look at another product It follows that the product of the two permutations is the permutation: What if we reverse the order of the product? 1 2 1 3 3 2 ∘ 1 2 3 2 3 1 1 = (2) 1 2 1 3 3 2 ∘ 1 2 3 2 3 1 2 = (3) 1 2 1 3 3 2 ∘ 1 2 3 2 3 1 3 = (1) 1 2 1 3 3 2 ∘ 1 2 3 2 3 1 = 1 2 2 3 3 1 1 2 3 2 3 1 ∘ 1 2 1 3 3 2 = 1 2 3 1 3 2
  • 6. Lehman College, Department of Mathematics Product of Permutations (3 of 5) From the previous slide, we see that But So the operation is not commutative and 𝑆3 is nonabelian. Theorem 1. If 𝒏 is a positive integer such that 𝒏 ≥ 𝟑, then the symmetric group 𝑺 𝒏 is a nonabelian group. Proof. Let 𝑛 ≥ 3, and let 𝛼, 𝛽 ∈ 𝑆 𝑛be defined by: 1 2 1 3 3 2 ∘ 1 2 3 2 3 1 = 1 2 2 3 3 1 1 2 3 2 3 1 ∘ 1 2 1 3 3 2 = 1 2 3 1 3 2 𝛼 1 = 2, 𝛼 2 = 1 and 𝛼 𝑥 = 𝑥 for all 𝑥 ≠ 1, 2 𝛽 1 = 3, 𝛽 3 = 1 and 𝛽 𝑥 = 𝑥 for all 𝑥 ≠ 1, 3
  • 7. Lehman College, Department of Mathematics Product of Permutations (4 of 5) Proof (cont’d). 𝑛 ≥ 3, and let 𝛼, 𝛽 ∈ 𝑆 𝑛be defined by: It follows that: Now, we have 𝛼 1 = 2, 𝛼 2 = 1 and 𝛼 𝑥 = 𝑥 for all 𝑥 ≠ 1, 2 𝛽 1 = 3, 𝛽 3 = 1 and 𝛽 𝑥 = 𝑥 for all 𝑥 ≠ 1, 3 𝛼 = 1 2 2 1 3 3 4 4 … 𝑛 … 𝑛 𝛽 = 1 2 3 2 3 1 4 4 … 𝑛 … 𝑛 𝛼 ∘ 𝛽 = 1 2 2 1 3 3 4 4 … 𝑛 … 𝑛 ∘ 1 2 3 2 3 1 4 4 … 𝑛 … 𝑛 = 1 2 3 1 3 2 4 4 … 𝑛 … 𝑛
  • 8. Lehman College, Department of Mathematics Product of Permutations (3 of 5) Proof (cont’d). Similarly We note above that 𝛼 ∘ 𝛽 1 = 3, but 𝛽 ∘ 𝛼 1 = 2, so 𝛼 ∘ 𝛽 ≠ 𝛽 ∘ 𝛼 and 𝑆 𝑛 for 𝑛 ≥ 3 is a nonabelian group. We will introduce the following notation, suppose 𝛼 ∈ 𝑆4 is given by: We will write 𝛼 as: 𝛽 ∘ 𝛼 = 1 2 3 2 3 1 4 4 … 𝑛 … 𝑛 ∘ 1 2 2 1 3 3 4 4 … 𝑛 … 𝑛 = 1 2 2 3 3 1 4 4 … 𝑛 … 𝑛 𝛼 = 1 2 1 4 3 3 4 2 𝛼 = 2 4 4 2
  • 9. Lehman College, Department of Mathematics Cycle Notation (1 of 2) If 𝛽 ∈ 𝑆5 is given as then we mean the permutation: 𝛼 is an example of a 2-cycle and 𝛽 and example of a 3- cycle. A 2-cycle is also called a transposition. Consider the permutation 𝜎 ∈ 𝑆6: Then 𝜎 is a 4-cycle. We will represent it by 1 3 2 5 𝛽 = 1 3 4 1 4 3 ∈ 𝑆5 𝛽 = 1 2 4 2 3 1 4 3 5 5 𝜎 = 1 2 3 5 3 2 4 4 5 1 6 6
  • 10. Lehman College, Department of Mathematics Cycle Notation (2 of 2) Let us rewrite the elements of 𝑆3 using cycle notation: Hence, 𝑆3 = 𝑒, 1 2 , 1 3 , 2 3 , 1 2 3 , (1 3 2) consists of one 1-cycle, three 2-cycles and two 3- cycles. Non-cycles. Consider the permutation 𝛼 ∈ 𝑆4 Then 𝛼 is not a cycle. 𝑒 = 1 2 1 2 3 3 1 2 2 3 3 1 1 2 3 1 3 2 1 2 1 3 3 2 1 2 3 2 3 1 1 2 2 1 3 3 𝛼 = 1 2 3 4 3 1 4 2
  • 11. Lehman College, Department of Mathematics Disjoint Cycles (1 of 1) Non-cycles (cont’d). In general, the product of two cycles may not be a cycle. Consider the permutations 𝜎, 𝛿 ∈ 𝑆6 where 𝜎 = (5 6) and 𝛿 = (3 2 4) Then 𝜎𝛿 = 𝜎 ∘ 𝛿 is not a cycle. Two cycles in 𝑆 𝑛 are called disjoint if no element of 1, 2, 3, … , 𝑛 is moved by both cycles. In 𝑆8, the cycles 𝛼 = 2 4 3 5 and 𝛽 = (1 6 8) are disjoint cycles. But the cycles 𝜎 = (4 5 3 2) and 𝛿 = (1 3 8) are not disjoint. 𝜎 ∘ 𝛿 = 1 2 1 2 3 3 4 4 5 6 6 5 ∘ 1 2 1 4 3 2 4 3 5 5 6 6 = 1 2 1 4 3 2 4 3 5 6 6 5
  • 12. Lehman College, Department of Mathematics Product of Cycles (1 of 3) Let us look at the composition of the two disjoint cycles 𝛼 = 2 4 3 5 and 𝛽 = 1 6 8 Hence 𝛼𝛽 = 𝛽𝛼 Theorem 2. Let 𝜶 and 𝜷 be two disjoint cycles in 𝑺 𝒏, then 𝜶𝜷 = 𝜷𝜶. Conclusion: Disjoint cycles commute 𝛼𝛽 = 2 4 3 5 1 6 8 𝛽𝛼 = 1 6 8 2 4 3 5 = 1 2 6 4 3 5 4 3 5 2 6 8 7 7 8 1 = 1 2 6 4 3 5 4 3 5 2 6 8 7 7 8 1
  • 13. Lehman College, Department of Mathematics Product of Cycles (2 of 3) Consider the element 𝜎 ∈ 𝑆8 Theorem 3. Any nonidentity permutation 𝝈 ∈ 𝑺 𝒏 (𝒏 ≥ 𝟐) can be written as a product of disjoint cycles, where each cycle is of length ≥ 𝟐. = 1 3 7 ∘ 1 2 1 5 3 3 4 4 5 2 6 8 7 7 8 6 𝜎 = 1 2 3 5 3 7 4 4 5 2 6 8 7 1 8 6 = 1 3 7 ∘ 2 5 ∘ 1 2 1 2 3 3 4 4 5 5 6 8 7 7 8 6 = 1 3 7 ∘ 2 5 ∘ (6 8)
  • 14. Lehman College, Department of Mathematics Product of Cycles (3 of 3) Now (1 3 7) ∈ 𝑆8 can be written in the form Hence Theorem 4. Any cycle of length ≥ 𝟐 is either a transposition (a 2-cycle) or can be written as a product of transpositions (not necessarily disjoint). Theorem 5. Any nonidentity permutation 𝝈 ∈ 𝑺 𝒏 is either a transposition or can be written as a product of transpositions (not necessarily disjoint). 1 3 7 = 1 7 ∘ (1 3) 𝜎 = 1 2 3 5 3 7 4 4 5 2 6 8 7 1 8 6 = 1 3 7 ∘ 2 5 ∘ 6 8 = 1 7 ∘ (1 3) ∘ 2 5 ∘ 6 8
  • 15. Lehman College, Department of Mathematics Inverse of a Permutation (1 of 2) Let 𝜎 ∈ 𝑆3 be given by: Then 𝜎−1 is obtained by simply reversing the orders of the pairs in 𝜎. That is Let 𝛼 ∈ 𝑆3 be given by: Then 𝜎 = 1 2 3 1 3 2 = (1 3 2) 𝜎−1 = 3 1 1 2 2 3 = 1 2 2 3 3 1 = (1 2 3) 𝛼 = 1 2 3 2 3 1 = (1 3) 𝛼−1 = 3 2 1 2 1 3 = 1 2 3 2 3 1 = (1 3)
  • 16. Lehman College, Department of Mathematics Inverse of a Permutation (2 of 2) Let 𝛽 ∈ 𝑆4 be given by: For 𝛽−1 we obtain 𝛽−1 = 2 3 1 2 4 3 1 4 = 1 2 4 1 3 2 4 3 = (1 4 3 2) 𝛽 = 1 2 2 3 3 4 4 1 = (1 2 3 4)
  • 17. Lehman College, Department of Mathematics Odd and Even Permutations (1 of 1) A permutation is called even if it can be written as the product of an even number of transpositions. A permutation is called odd if it can be written as the product of an odd number of transpositions. Theorem 6. Any permutation of 𝑺 𝒏 is either an even permutation or an odd permutation, but never both. Consider the element 𝛼 ∈ 𝑆8 𝛼 = 1 2 8 5 3 6 4 3 5 7 6 4 7 2 8 1 = 1 8 (2 5 7)(3 6 4) = 1 8 (2 7)(2 5)(3 4)(3 6)
  • 18. Lehman College, Department of Mathematics Cycles to Transpositions (1 of 1) Consider the following 4-cycle from 𝑆4 How do we decompose it into a product of 2-cycles (transpositions)? Similarly for the 5-cycle (1 2 3 4 5) from from 𝑆5, we have Notice that cycles of odd length decompose into an even number of 2-cycles and that cycles of even length decompose into an odd number of 2-cycles 1 2 2 3 3 4 4 1 = (1 2 3 4) 1 2 3 4 = (1 4)(1 3)(1 2) 1 2 3 4 5 = (1 5)(1 4)(1 3)(1 2)
  • 19. Lehman College, Department of Mathematics Alternating Group (1 of 2) Consider the element 𝛼 ∈ 𝑆8 Hence 𝛼 is an odd permutation. Theorem 8.5 (textbook). Let 𝑛 ≥ 2 and let 𝐴 𝑛 denote the subset of 𝑆 𝑛 consisting of all even permutations. Then 𝐴 𝑛 is a subgroup of 𝑆 𝑛 called the alternating group on 𝑛 letters. In addition, 𝑆 𝑛 = 𝑛! and 𝐴 𝑛 = 𝑛!/2. Theorem 5.3 (textbook). Let 𝐺 be a group and let 𝐻 be a finite nonempty subset of 𝐺. Then 𝐻 is a subgroup of 𝐺 if it is closed under the group operation. Proof. Let ℎ ∈ 𝐻. Since 𝐻 is closed under multiplication, then ℎ, ℎ2, ℎ3, … ∈ 𝐻. But 𝐻 is finite, so all powers of ℎ 𝛼 = 1 8 (2 7)(2 5)(3 4)(3 6)
  • 20. Lehman College, Department of Mathematics Alternating Groups (2 of 2) Theorem 5.3 (Proof). Let ℎ ∈ 𝐻. Since 𝐻 is closed under multiplication, then ℎ, ℎ2 , ℎ3 , … ∈ 𝐻. But 𝐻 is finite, so all powers of ℎ cannot be distinct. Therefore ℎ has finite order 𝑛 ≥ 1, and the distinct elements are ℎ, ℎ2 , ℎ3 , … , ℎ 𝑛−1 , ℎ 𝑛 = 𝑒 so every power of ℎ is an element of that set including ℎ−1 . Proof of Theorem 8.5. 𝐴 𝑛 is a nonempty subset of a finite set (𝑆 𝑛) and is therefore finite. Since the product of two even permutations is even. (why?) then 𝐴 𝑛 is closed under the group operation. By theorem 5.3, 𝐴 𝑛 is a subgroup of 𝑆 𝑛.
  • 21. Lehman College, Department of Mathematics Elements of 𝑺 𝟑 (1 of 4) Consider the elements of 𝑆3 Let us denote Then 1 2 1 2 3 3 = 𝑒 1 2 2 3 3 1 = (1 2 3) 1 2 3 1 3 2 = (1 3 2) 1 2 1 3 3 2 = (2 3) 1 2 3 2 3 1 = (1 3) 1 2 2 1 3 3 = (1 2) 𝑓 = 1 2 2 3 3 1 = (1 2 3) 𝑓2 = 1 2 3 1 2 3 = 1 2 3 1 3 2 = (1 3 2)
  • 22. Lehman College, Department of Mathematics Elements of 𝑺 𝟑 (3 of 4) For 𝑓3 we have So o 𝑓 = 3, and 𝑓 generates the cyclic subgroup Let us denote Then So o 𝑔 = 2, and 𝑔 = 𝑒, 𝑔 𝑓3 = 𝑓2 𝑓 = 1 3 2 1 2 3 = 1 2 1 2 3 3 = 𝑒 𝑓 = 𝑒, 𝑓, 𝑓2 𝑔 = 1 2 1 3 3 2 = (2 3) 𝑔2 = 2 3 2 3 = 1 2 1 2 3 3 = 𝑒
  • 23. Lehman College, Department of Mathematics Elements of 𝑺 𝟑 (4 of 4) Now and It follows that How about the element 𝑔𝑓? Well Similarly, 𝑔𝑓2 = 𝑓𝑔 𝑓𝑔 = 1 2 3 2 3 = 1 2 2 1 3 3 = (1 2) 𝑆3 = 𝑒, 𝑓, 𝑓2, 𝑔, 𝑓𝑔, 𝑓2 𝑔 𝑓2 𝑔 = 1 3 2 2 3 = 1 2 3 2 3 1 = (1 3) 𝑔𝑓 = 2 3 1 2 3 = 1 2 3 2 3 1 = 1 3 = 𝑓2 𝑔 𝑔𝑓2 = 2 3 1 3 2 = 1 2 2 1 3 3 = 1 2 = 𝑓𝑔
  • 24. Lehman College, Department of Mathematics Elements of 𝑺 𝟑 (2 of 2) We can use the identities 𝑔𝑓 = 𝑓2 𝑔 and 𝑔𝑓2 = 𝑓𝑔 to do group multiplication without writing down the permutations. For example So both 𝑓𝑔 and 𝑓2 𝑔 have order 2. Now to find the order of 𝑓2 = 1 3 2 . We have So o 𝑓2 = 3. 𝑓𝑔 2 = 𝑓𝑔 𝑓𝑔 = 𝑓 𝑔𝑓 𝑔 = 𝑓 𝑓2 𝑔 𝑔 = 𝑓3 𝑔2 = 𝑒 𝑓2 𝑔 2 = 𝑓2 𝑔 𝑓2 𝑔 = 𝑓2 𝑔𝑓2 𝑔 = 𝑓2 𝑓𝑔 𝑔 = 𝑓3 𝑔2 = 𝑒 𝑓2 2 = 𝑓4 = 𝑓3 𝑓 = 𝑓 𝑓2 3 = 𝑓6 = 𝑓3 𝑓3 = 𝑒
  • 25. Lehman College, Department of Mathematics Order of Permutations (1 of 2) We may notice above that the order of the two 3-cycles in 𝑆3 is three and the order of the 2-cycles is two. Theorem 7. Let 𝒏 ≥ 𝟐 and let 𝝈 ∈ 𝑺 𝒏 be a cycle. Then 𝝈 is a k-cycle if and only if 𝐨 𝝈 = 𝒌. Therefore, the order of a k-cycle is k. How do we find the order of a permutation that is not a cycle? Let 𝛼 ∈ 𝑆 𝑛 be a permutation. By Theorem 3, 𝛼 can be decomposed into disjoint cycles. Theorem 8. Let 𝒏 ≥ 𝟐 and let 𝝈 ∈ 𝑺 𝒏 be a permutation, with 𝝈 = 𝝈 𝟏 ∘ 𝝈 𝟐 ∘ 𝝈 𝟑 ∘ ⋯ ∘ 𝝈 𝒎 a product of disjoint cycles.
  • 26. Lehman College, Department of Mathematics Order of Permutations (2 of 2) Theorem 8. Let 𝒏 ≥ 𝟐 and let 𝝈 ∈ 𝑺 𝒏 be a permutation, with 𝝈 = 𝝈 𝟏 ∘ 𝝈 𝟐 ∘ 𝝈 𝟑 ∘ ⋯ ∘ 𝝈 𝒎 a product of disjoint cycles. Example 1. In the permutation group S8, consider the elements 𝛼 = 1 4 7 6 and 𝛽 = 2 5 6 7 . Determine the order of 𝛼𝛽. Answer: Since 𝛼𝛽 is not a product of disjoint cycles, we cannot use Theorem 8. 𝐨 𝝈 = 𝐥𝐜𝐦(𝐨 𝝈 𝟏 , 𝐨 𝝈 𝟐 , … 𝐨 𝝈 𝒎 ) 𝛼𝛽 = 1 4 7 6 2 5 6 7 = 1 2 4 5 3 3 4 7 5 1 6 6 7 2 8 8 = 1 4 7 2 5
  • 27. Lehman College, Department of Mathematics Examples (1 of 6) Example 1 (cont’d). Since 𝛼𝛽 = 1 4 7 2 5 , then 𝛼𝛽 is a 5-cycle. Therefore, by Theorem 7, o 𝛼𝛽 = 5. Example 2. List all even permutations of 𝑆3. We know that 2-cycles are odd permutations. A k-cycle with k odd is an even permutation. Say 𝑓 = 1 2 3 = 1 3 (1 2) and 𝑓2 = 1 3 2 = (1 2)(1 3). The remaining even permutation is the identity 𝑒. So the alternating group Example 3. Inverses in 𝑆3. Let 𝑆3 = 𝑒, 𝑓, 𝑓2 , 𝑔, 𝑓𝑔, 𝑓2 𝑔 . We know that 𝑔, 𝑓𝑔 and 𝑓2 𝑔 have order 2, so they are their own inverses. Since 𝑓3 = 𝑒, then 𝑓𝑓2 = 𝑒 and 𝑓−1 = 𝑓2. Also 𝑓2 −1 = 𝑓 by uniqueness of inverses 𝐴3 = 𝑒, 𝑓, 𝑓2
  • 28. Lehman College, Department of Mathematics Examples (2 of 6) Let us further examine inverses of elements in 𝑆3 in cycle notation. Since the 2-cycles are their own inverses, then For the 3-cycles: Example 4. The group 𝑆4. This group contains 4! = 24 elements. Let us list these elements starting from the identity: 𝑆3 = 𝑒, 1 2 , 1 3 , 2 3 , 1 2 3 , (1 3 2) 1 2 −1 = (1 2) 1 3 −1 = (1 3) 2 3 −1 = (2 3) 1 2 3 −1 = (1 3 2) 1 3 2 −1 = (1 2 3) 1 2 1 2 3 3 4 4 = 𝑒
  • 29. Lehman College, Department of Mathematics Examples (3 of 6) Next, we list the six 4-cycles. Now for the eight 3-cycles 1 2 2 3 3 4 4 1 = (1 2 3 4) 1 2 2 4 3 1 4 3 = (1 2 4 3) 1 2 4 3 3 1 4 2 = (1 4 2 3) 1 2 4 1 3 2 4 3 = (1 4 3 2) 1 2 3 1 3 4 4 2 = (1 3 4 2)1 2 3 4 3 2 4 1 = (1 3 2 4) 1 2 2 3 3 1 4 4 = (1 2 3 ) 1 2 3 1 3 2 4 4 = (1 3 2 ) 1 2 2 4 3 3 4 1 = (1 2 4 ) 1 2 4 1 3 3 4 2 = (1 4 2 )
  • 30. Lehman College, Department of Mathematics Examples (4 of 6) More 3-cycles Now for the six 2-cycles 1 2 3 2 3 4 4 1 = (1 3 4 ) 1 2 4 2 3 1 4 3 = (1 4 3 ) 1 2 1 3 3 4 4 2 = (2 3 4) 1 2 1 4 3 2 4 3 = (2 4 3) 1 2 2 1 3 3 4 4 = (1 2 ) 1 2 3 2 3 1 4 4 = (1 3 ) 1 2 1 3 3 2 4 4 = (2 3 ) 1 2 4 2 3 3 4 1 = (1 4 ) 1 2 1 4 3 3 4 2 = (2 4 ) 1 2 1 2 3 4 4 3 = (3 4 )
  • 31. Lehman College, Department of Mathematics Examples (5 of 6) Now for the three elements that are not cycles: For inverses: 1 2 3 4 3 1 4 2 = (1 3)(2 4) 1 2 2 1 3 4 4 3 = (1 2)(3 4) 1 2 4 3 3 2 4 1 = (1 4)(2 3) 1 2 4 −1 = (1 4 2) 1 2 3 4 −1 = (1 4 3 2) 1 4 −1 = (1 4 ) 1 2 (3 4) −1 = 1 2 (3 4)
  • 32. Lehman College, Department of Mathematics Examples (6 of 6) Proof of inverses: and vice versa. For the element 1 2 (3 4) , this is a product of disjoint 2-cycles, so by Theorem 8: It follows that 1 2 (3 4) is its own inverse. 1 2 3 4 1 4 3 2 = 1 2 1 2 3 3 4 4 = 𝑒 1 2 3 1 3 2 = 1 2 1 2 3 3 4 4 = 𝑒 = lcm 2 , 2 = 2 o 1 2 (3 4) = lcm(o (1 2) , o (3, 4) )
  • 33. Lehman College, Department of Mathematics Examples (6 of 6) Alternate (shorter) proof of Theorem 1: for 𝑛 ≥ 3, (1 2) and (2 3) are elements of 𝑆 𝑛. But (1 2)(2 3) sends 1 to 2, while (2 3)(1 2) sends 1 to 3. It follows that the group 𝑆 𝑛 for 𝑛 ≥ 3 is nonabelian. Example 5. Determine the center of 𝑆3. Clearly, 𝑒 ∈ 𝑍(𝑆3). 1 2 1 3 sends 1 to 3, but 1 3 1 2 sends 1 to 2. Similarly, 1 3 2 3 sends 3 to 2, but 2 3 1 3 sends 3 to 1. So these elements do not commute. Finally, for the two 3-cycles, 1 2 3 (1 2) sends 1 to 3, but (1 2) 1 2 3 sends 1 to 1, Similarly, 1 3 2 (1 2) sends 1 to 1. But (1 2) 1 3 2 sends 1 to 3 𝑆3 = 𝑒, 1 2 , 1 3 , 2 3 , 1 2 3 , (1 3 2)
  • 34. Lehman College, Department of Mathematics Examples (6 of 6) It follows that is trivial. Theorem 9. For 𝑛 ≥ 3, 𝑆 𝑛 has trivial center. Proof. Clearly Assume that 𝑍(𝑆 𝑛) has a nonidentity element 𝜎. Then there exists numbers 𝑖 and 𝑗 (𝑖 ≠ 𝑗), such that 𝜎 𝑖 = 𝑗. Now, by assumption 𝑛 ≥ 3, so there exists another number 𝑘. Consider the transposition 𝑍(𝑆3) = 𝑒 𝑒 ∈ 𝑍(𝑆 𝑛) 𝜏 = (𝑖 𝑘) ∈ 𝑆 𝑛
  • 35. Lehman College, Department of Mathematics Examples (6 of 6) Then we have 𝜎 𝑖 = 𝑗, and 𝜏 = (𝑖 𝑘) ∈ 𝑆 𝑛. It follows that Since 𝜎 𝑖 = 𝑗 and 𝜎 is one-to-one and onto. Thus But this contradicts the assumption that 𝜎 ∈ 𝑍(𝑆 𝑛). Therefore 𝑍(𝑆 𝑛) for 𝑛 ≥ 3 is trivial. 𝜏𝜎 𝑖 = 𝜏 𝑗 = 𝑗 𝜎𝜏 𝑖 = 𝜎 𝑘 ≠ 𝑗 𝜎𝜏 ≠ 𝜏𝜎