Post on 16-Oct-2021
11/13/2016
1
Ma/CS 6aClass 20: Subgroups, Orbits, and Stabilizers
By Adam Sheffer
A Group
A group consists of a set ๐บ and a binary operation โ, satisfying the following.
โฆ Closure. For every ๐ฅ, ๐ฆ โ ๐บ๐ฅ โ ๐ฆ โ ๐บ.
โฆ Associativity. For every ๐ฅ, ๐ฆ, ๐ง โ ๐บ๐ฅ โ ๐ฆ โ ๐ง = ๐ฅ โ ๐ฆ โ ๐ง .
โฆ Identity. There exists ๐ โ ๐บ, such that for every ๐ฅ โ ๐บ
๐ โ ๐ฅ = ๐ฅ โ ๐ = ๐ฅ.
โฆ Inverse. For every ๐ฅ โ ๐บ there exists ๐ฅโ1 โ ๐บsuch that ๐ฅ โ ๐ฅโ1 = ๐ฅโ1 โ ๐ฅ = ๐.
11/13/2016
2
Subgroups
A subgroup of a group ๐บ is a group with the same operation as ๐บ, and whose set of members is a subset of ๐บ.
Find a subgroup of the group of integers under addition.
โฆ The subset of even integers.
โฆ The subset โฆ ,โ2๐,โ๐, 0, ๐, 2๐, . . for any integer ๐ > 1.
Subgroups of a Symmetry Group
Problem. Find a subgroup of the symmetries of the square.
No action Rotation 90โ Rotation 180โ Rotation 270โ
Vertical flip Horizontal flip Diagonal flip Diagonal flip 2
11/13/2016
3
Subgroups of a Symmetry Group
Problem. Find a subgroup of the subgroup.
No action Rotation 90โ Rotation 180โ Rotation 270โ
Vertical flip Horizontal flip Diagonal flip Diagonal flip 2
Subgroups of a Symmetry Group
No action Rotation 90โ Rotation 180โ Rotation 270โ
Vertical flip Horizontal flip Diagonal flip Diagonal flip 2
11/13/2016
4
Subgroup Conditions
Problem. Let ๐บ be a group, and let ๐ป be a non-empty subset of ๐บ such that
โฆ C1. If ๐ฅ, ๐ฆ โ ๐ป then ๐ฅ๐ฆ โ ๐ป.
โฆ ๐๐. If ๐ฅ โ ๐ป then ๐ฅโ1 โ ๐ป.
Prove that ๐ป is a subgroup.
โฆ Closure. By C1.
โฆ Inverse. By C2.
โฆ Associativity. By the associativity of ๐บ.
โฆ Identity. By C2, ๐ฅ, ๐ฅโ1 โ ๐ป. By C1, we have 1 = ๐ฅ๐ฅโ1 โ ๐ป.
Finite Subgroup Conditions
Problem. Let ๐บ be a finite group, and let ๐ป be a non-empty subset of ๐บ such that
โฆ C1. If ๐ฅ, ๐ฆ โ ๐ป then ๐ฅ๐ฆ โ ๐ป.
โฆ ๐๐. If ๐ฅ โ ๐ป then ๐ฅโ1 โ ๐ป.
Prove that ๐ป is a subgroup.
Proof. Consider ๐ฅ โ ๐ป.
Since ๐บ is finite, the series 1, ๐ฅ, ๐ฅ2, ๐ฅ3, โฆ has two identical elements ๐ฅ๐ = ๐ฅ๐ with ๐ < ๐.
Multiply both sides by ๐ฅโ๐โ1 (in ๐บ) to obtain๐ฅโ1 = ๐ฅ๐โ๐โ1 = ๐ฅ๐ฅ๐ฅโฏ๐ฅ โ ๐ป.
11/13/2016
5
Lagrangeโs Theorem
Theorem. If ๐บ is a group of a finite order ๐ and ๐ป is a subgroup of ๐บ of order ๐, then ๐|๐.
โฆ We will not prove the theorem.
Example. The symmetry group of the square is of order 8.
โฆ The subgroup of rotations is of order 4.
โฆ The subgroup of the identity and rotation by 180โ is of order 2.
Reminder: Parity of a Permutation
Theorem. Consider a permutation ๐ผ โ ๐๐. Then
โฆ Either every decomposition of ๐ผ consists of an even number of transpositions,
โฆ or every decomposition of ๐ผ consists of an odd number of transpositions.
1 2 3 4 5 6 :
โฆ 1 3 1 2 4 6 4 5 .
โฆ 1 4 1 6 1 5 3 4 2 4 1 4 .
11/13/2016
6
Subgroup of ๐๐
Consider the group ๐๐:
โฆ Recall. A composition of two even permutations is even.
โฆ The subset of even permutations is a subgroup called the alternating group ๐ด๐.
โฆ Recall. Exactly half of the permutations of ๐๐are even. That is, the order of ๐ด๐ is ๐!/2.
Application of Lagrangeโs Theorem
Problem. Let ๐บ be a finite group of order ๐ and let ๐ โ ๐บ be of order ๐. Prove that
๐|๐ and ๐๐ = 1.
Proof.
โฆ Notice that 1, ๐, ๐2, โฆ , ๐๐โ1 is a cyclic subgroup of order ๐.
โฆ By Lagrangeโs theorem ๐|๐.
โฆ Write ๐ = ๐๐ for some integer ๐. Then๐๐ = ๐๐๐ = ๐๐ ๐ = 1.
11/13/2016
7
Groups of a Prime Order
Claim. Every group ๐บ of a prime order ๐ is isomorphic to the cyclic group ๐ถ๐.
Proof.
โฆ By the previous slide, every element of ๐บ โ 1 is of order ๐.
โฆ ๐บ is cyclic since any element of ๐บ โ 1generates it.
Equivalence Relations
Recall. A binary relation ๐ on a set ๐ is an equivalence relation if it satisfies the following properties.
โฆ Reflexive. For any ๐ฅ โ ๐, we have ๐ฅ๐ ๐ฅ.
โฆ Symmetric. For any ๐ฅ, ๐ฆ โ ๐,
๐ฅ๐ ๐ฆ if and only if ๐ฆ๐ ๐ฅ.
โฆ Transitive. If ๐ฅ๐ ๐ฆ and ๐ฆ๐ ๐ง then ๐ฅ๐ ๐ง.
11/13/2016
8
Example: Equivalence Relations
Problem. Consider the relation of congruence ๐๐๐ 30, defined over the set of integers โค. Is it an equivalence relation?
Solution.
โฆ Reflexive. For any ๐ฅ โ โค, we have ๐ฅ โก ๐ฅ ๐๐๐ 30.
โฆ Symmetric. For any ๐ฅ, ๐ฆ โ โค, we have ๐ฅ โก ๐ฆ ๐๐๐ 30 iff ๐ฆ โก ๐ฅ ๐๐๐ 30.
โฆ Transitive. If ๐ฅ โก ๐ฆ ๐๐๐ 30 and ๐ฆ โก ๐ง ๐๐๐ 30 then ๐ฅ โก ๐ง ๐๐๐ 30.
Permutations of Objects
We have a set of numbers ๐ = 1,2,3, โฆ , ๐ and a permutation group ๐บ of ๐.
For example, ๐ = 1,2,3,4,5,6
๐บ = id, 1 2 , 3 4 , 1 2 3 4
11/13/2016
9
Equivalence Via Permutation Groups Let ๐บ be a group of permutations of the
set ๐. We define a relation on ๐:๐ฅ~๐ฆ โ ๐ ๐ฅ = ๐ฆ for some ๐ โ ๐บ.
Claim. ~ is an equivalence relation.
โฆ Reflexive. The group ๐บ contains the identity permutation id. For every ๐ฅ โ ๐ we have id ๐ฅ = ๐ฅ and thus ๐ฅ~๐ฅ.
โฆ Symmetric. If ๐ฅ~๐ฆ then ๐ ๐ฅ = ๐ฆ for some ๐ โ ๐บ. This implies that ๐โ1 โ ๐บ and ๐ฅ = ๐โ1 ๐ฆ . So ๐ฆ~๐ฅ.
Equivalence Via Permutation Groups Let ๐บ be a group of permutations of the
set ๐. We define a relation on ๐:๐ฅ~๐ฆ โ ๐ ๐ฅ = ๐ฆ for some ๐ โ ๐บ.
Claim. ~ is an equivalence relation.
โฆ Transitive. If ๐ฅ~๐ฆ and ๐ฆ~๐ง then ๐ ๐ฅ = ๐ฆ and โ ๐ฆ = ๐ง for ๐, โ โ ๐บ. Then โ๐ โ ๐บ and โ๐ ๐ฅ = ๐ง, which in turn implies ๐ฅ~๐ง.
11/13/2016
10
Orbits
Given a permutation group ๐บ of a set ๐, the equivalence relation ~ partitions ๐into equivalence classes or orbits.
โฆ For every ๐ฅ โ ๐ the orbit of ๐ฅ is ๐บ๐ฅ = ๐ฆ โ ๐ | ๐ฅ~๐ฆ= ๐ฆ โ ๐ | ๐ ๐ฅ = ๐ฆ for some ๐ โ ๐บ .
Example: Orbits
Let ๐ = 1,2,3,4,5 and let๐บ = id, 1 2 , 3 4 , 1 2 3 4 .
What are the orbits that ๐บ induces on ๐?
โฆ ๐บ1 = ๐บ2 = 1,2 .
โฆ ๐บ3 = ๐บ4 = 3,4 .
โฆ ๐บ5 = 5 .
11/13/2016
11
Simple Groups
A trivial group is a group that contains only one element โ an identity element.
A simple group is a non-trivial group that does not contain any โwell-behavedโ subgroups in it.
The finite simple groups are, in a certain sense, the โbasic building blocksโ of all finite groups.
โฆ Somewhat similar to the way prime numbers are the basic building blocks of the integers.
Classification of Finite Simple Groups
โOne of the most important mathematical achievements of the 20th century was the collaborative effort, taking up more than 10,000 journal pagesโ (Wikipedia).
Written by about 100 authors!
Theorem. Every finite simple group is isomorphic to one of the following groups:
โฆ A cyclic group.
โฆ An alternating group.
โฆ A simple Lie group.
โฆ One of the 26 sporadic groups.
11/13/2016
12
The Monster Group
One of the 26 sporadic groups is the monster group.
It has an order of 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000.
The 6 sporadic groups that are not โcontainedโ in the monster group are called the happy family.
Stabilizers
Let ๐บ be a permutation group of the set ๐.
Let ๐บ ๐ฅ โ ๐ฆ denote the set of permutations ๐ โ ๐บ such that ๐ ๐ฅ = ๐ฆ.
The stabilizer of ๐ฅ is๐บ๐ฅ = ๐บ ๐ฅ โ ๐ฅ .
11/13/2016
13
Example: Stabilizer
Consider the following permutation group of {1,2,3,4}:
๐บ = {id, 1 2 3 4 , 1 3 2 4 , 1 4 3 2 ,2 4 , 1 3 , 1 2 3 4 , 1 4 2 3 }.
The stabilizers are
โฆ ๐บ1 = id, 2 4 .
โฆ ๐บ2 = id, 1 3 .
โฆ ๐บ3 = id, 2 4 .
โฆ ๐บ4 = id, 1 3 .
Stabilizers are Subgroups
Claim. ๐บ๐ฅ is a subgroup of ๐บ.
โฆ Closure. If ๐, โ โ ๐บ๐ฅ then ๐ ๐ฅ = ๐ฅ and โ ๐ฅ = ๐ฅ. Since ๐โ ๐ฅ = ๐ฅ we have ๐โ โ ๐บ๐ฅ.
โฆ Associativity. Implied by the associativity of ๐บ.
โฆ Identity. Since id ๐ฅ = ๐ฅ, we have id โ ๐บ๐ฅ.
โฆ Inverse. If ๐ โ ๐บ๐ฅ then ๐ ๐ฅ = ๐ฅ. This implies that ๐โ1 ๐ฅ = ๐ฅ so ๐โ1 โ ๐บ๐ฅ.
11/13/2016
14
Cosets
Let ๐ป be a subgroup of the group ๐บ. The left coset of ๐ป with respect to ๐ โ ๐บ is
๐๐ป = ๐ โ ๐บ | ๐ = ๐โ for some โ โ ๐ป .
Example. The coset of the alternating group ๐ด๐ with respect to the transposition 1 2 โ ๐๐ is the subset of odd permutations of ๐๐.
๐บ ๐ฅ โ ๐ฆ are Cosets
Claim. Let ๐บ be a permutation group and let โ โ ๐บ ๐ฅ โ ๐ฆ . Then
๐บ ๐ฅ โ ๐ฆ = โ๐บ๐ฅ .
Proof.
โฆ โ๐บ๐ฅ โ ๐บ ๐ฅ โ ๐ฆ . If ๐ โ โ๐บ๐ฅ, then ๐ = โ๐ for some ๐ โ ๐บ๐ฅ. We have ๐ โ ๐บ ๐ฅ โ ๐ฆ since
๐ ๐ฅ = โ๐ ๐ฅ = โ ๐ฅ = ๐ฆ.
โฆ ๐บ ๐ฅ โ ๐ฆ โ โ๐บ๐ฅ. If ๐ โ ๐บ ๐ฅ โ ๐ฆ then โโ1๐ ๐ฅ = โโ1 ๐ฆ = ๐ฅ.
That is, โโ1๐ โ ๐บ๐ฅ, which implies ๐ โ โ๐บ๐ฅ.
11/13/2016
15
Sizes of Cosets and Stabilizers
Claim. Let ๐บ be a permutation group on ๐and let ๐บ๐ฅ be the stabilizer of ๐ฅ โ ๐. Then
๐บ๐ฅ = โ๐บ๐ฅ for any โ โ ๐บ.
โฆ Proof. By the Latin square property of ๐บ.
Corollary. The size of ๐บ ๐ฅ โ ๐ฆ :
โฆ If ๐ฆ is in the orbit ๐บ๐ฅ then ๐บ ๐ฅ โ ๐ฆ = ๐บ๐ฅ .
โฆ If ๐ฆ is not in the orbit ๐บ๐ฅ then ๐บ ๐ฅ โ ๐ฆ = 0.
The End: A Noahโs Ark JokeThe Flood has receded and the ark is safely aground atop Mount Ararat. Noah tells all the animals to go forth and multiply. Soon the land is teeming with every kind of living creature in abundance, except for snakes. Noah wonders why. One morning two miserable snakes knock on the door of the ark with a complaint. โYou havenโt cut down any trees.โ Noah is puzzled, but does as they wish. Within a month, you canโt walk a step without treading on baby snakes. With difficulty, he tracks down the two parents. โWhat was all that with the trees?โ โAh,โ says one of the snakes, โyou didnโt notice which species we are.โ Noah still looks blank. โWeโre adders, and we can only multiply using logs.โ