Group Theory
Group Theory
GROUP THEORY
Prof. Dr. Badar Nawaz (PHD.)
Mr. Muhammad Usman (M.Phil.)
MUHAMMAD USMAN
PH. +923217197143
∗: 𝑨 × 𝑨 ⟶ 𝑨 By a, b ∈ 𝑨 ⇒ 𝒂 ∗ 𝒃 ∈ 𝑨
𝑵 = {𝟏, 𝟐, 𝟑, … . } ∗: = +
For all 𝑎, 𝑏 ∈ 𝑁 ⇒ 𝑎 + 𝑏 ∈ 𝑁
PROPERTIES
Commutative Law
𝐹𝑜𝑟 𝑎𝑙𝑙 𝑎, 𝑏 ∈ 𝐺
⟹ 𝑎∗𝑏 =𝑏∗𝑎
(𝐺 ∗) 𝑖𝑠 𝑐𝑜𝑚𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑒
𝑺𝒆𝒎𝒊 𝑮𝒓𝒐𝒖𝒑
𝑖 − 𝑐𝑙𝑜𝑠𝑒𝑑 𝑤. 𝑟. 𝑡 ∗
𝑖𝑖 − 𝑎𝑠𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑒 𝑤. 𝑟. 𝑡 ∗
𝑴𝒐𝒏𝒐𝒊𝒐𝒅
𝑖 − 𝑐𝑙𝑜𝑠𝑒𝑑 𝑤. 𝑟. 𝑡 ∗
𝑖𝑖 − 𝑎𝑠𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑒 𝑤. 𝑟. 𝑡 ∗
𝑮𝒓𝒐𝒖𝒑
𝑖 − 𝑐𝑙𝑜𝑠𝑒𝑑 𝑤. 𝑟. 𝑡 ∗
𝑖𝑖 − 𝑎𝑠𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑒 𝑤. 𝑟. 𝑡 ∗
𝑖𝑣 − 𝑖𝑛𝑣𝑒𝑟𝑠𝑒 𝑒𝑙𝑒𝑚𝑒𝑛𝑡 𝑤. 𝑟. 𝑡 ∗
𝑨𝒃𝒆𝒍𝒊𝒂𝒏 𝑮𝒓𝒐𝒖𝒑
𝑖 − 𝑐𝑙𝑜𝑠𝑒𝑑 𝑤. 𝑟. 𝑡 ∗
𝑖𝑖 − 𝑎𝑠𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑒 𝑤. 𝑟. 𝑡 ∗
𝑖𝑣 − 𝑖𝑛𝑣𝑒𝑟𝑠𝑒 𝑒𝑙𝑒𝑚𝑒𝑛𝑡 𝑤. 𝑟. 𝑡 ∗
𝑣 − 𝑐𝑜𝑚𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑒 𝐿𝑎𝑤 𝑤. 𝑟. 𝑡 ∗
Note
When we discuss a set with respect to multiplication we consider it without zero
element.
x 1 -1 𝒊 −𝒊
1 1 -1 𝒊 −𝒊
-1 -1 1 −𝒊 𝒊
𝒊 𝒊 −𝒊 -1 1
-𝒊 −𝒊 𝒊 1 -1
Inverse of 1 is 1
Inverse of -1 is -1
Inverse of 𝑖 𝑖𝑠 − 𝑖
Inverse of –𝑖 𝑖𝑠 𝑖
(G x) is Abelian group
SOLUTION.
Closure Law
Let 𝐴, 𝐵 ∈ 𝐺𝐿( 2 ℝ)
𝑎 𝑏 ]And𝐵 𝑒 𝑓
𝐴=[ =[ ] where ad − bc ≠ 0 and eh − gf ≠ 0
𝑐 𝑑 𝑔 ℎ
𝑎 𝑏] 𝑒 𝑓 𝑎𝑒 + 𝑏𝑔 𝑎𝑓 + 𝑏ℎ
𝐴𝐵 = [ [ ] = [ ]
𝑐 𝑑 𝑔 ℎ 𝑐𝑒 + 𝑑𝑔 𝑐𝑓 + 𝑑ℎ
Now
⟹𝐴𝐵 ∈ 𝐺𝐿( 2 ℝ)
So 𝐺𝐿( 2 ℝ) is closed
Associative Law
For 𝐴, 𝐵, 𝐶 ∈ 𝐺𝐿( 2 ℝ)
𝐺𝐿( 2 ℝ) is Associative
Identity element
𝑎 𝑏] 1 0
For all 𝐴 = [ ∈ 𝐺𝐿( 2 ℝ)∃ 𝐼2 = [ ] ∈ 𝐺𝐿( 2 ℝ) such that
𝑐 𝑑 0 1
A I2= I2 A= A
𝑎 𝑏 1 0 1 0 𝑎 𝑏 𝑎 𝑏
[ ][ ]=[ ][ ]=[ ]
𝑐 𝑑 0 1 0 1 𝑐 𝑑 𝑐 𝑑
1 0
⟹ I2=[ ] is identity element of 𝐺𝐿( 2 ℝ)
0 1
Inverse element
𝑑 −𝑏
𝑎 𝑏] 𝐴𝑇 [ ]
∀𝐴 = [ ∈ 𝐺𝐿( 2 ℝ)Where𝑎𝑑 − 𝑏𝑐 ≠ 0∃ 𝐴−1 = |𝐴| = −𝑐|𝐴| 𝑎 ∈ 𝐺𝐿( 2 ℝ) such
𝑐 𝑑
that
A A-1= A-1A= I2
Inverseelement exist
Particular n=6
ℤ6 = {0̅, 1̅, 2,
̅ 3, ̅ 5̅ }Set of class modulo6.
̅ 4,
𝟏 𝟏 𝟏 𝟏 𝟏 𝟏
𝟔 𝟕 𝟖 𝟗 𝟏𝟎 𝟏𝟏
𝟔√ 𝟔√ 𝟔√ , 𝟔√ , 𝟔√ 𝟔√
𝟔 , 𝟔 , 𝟔 𝟔 𝟔 , 𝟔
−−−−− −−−−− −−−− −−−− −−−− −−−−
𝟎 𝟏 𝟐 𝟑 𝟒 𝟓
0̅ = 6̅ = 12̅̅̅̅ = 18
̅̅̅̅ = 24
̅̅̅̅ = 30
̅̅̅̅=36
̅̅̅̅ = 42
̅̅̅̅=48 ̅̅̅̅ = − − −−= 6𝑛
̅̅̅̅ = 54 ̅̅̅̅𝒏 ∈ 𝒁 ̅1 = 7̅ = 13
̅̅̅̅ =
19 ̅̅̅̅ = 31
̅̅̅̅ = 25 ̅̅̅̅=37
̅̅̅̅ = 43
̅̅̅̅=49 ̅̅̅̅ = − − −−= ̅̅̅̅̅̅̅̅̅
̅̅̅̅ = 55 6𝑛 + 1𝒏 ∈ 𝒁
2̅ = 8̅ = 14̅̅̅̅ = 20
̅̅̅̅ = 26
̅̅̅̅ = 32
̅̅̅̅=38
̅̅̅̅ = 44 ̅̅̅̅ = 56
̅̅̅̅=50 ̅̅̅̅ = − − −−= ̅̅̅̅̅̅̅̅̅ ̅̅̅̅ =
6𝑛 + 2𝒏 ∈ 𝒁3̅ = 9̅ = 15
̅̅̅̅ = 27
21 ̅̅̅̅ = 33̅̅̅̅=39 ̅̅̅̅=51
̅̅̅̅ = 45 ̅̅̅̅ = 57
̅̅̅̅ = − − −−= ̅̅̅̅̅̅̅̅̅
6𝑛 + 3𝒏 ∈ 𝒁
4̅ = 10
̅̅̅̅ = 16
̅̅̅̅ = 22
̅̅̅̅ = 28
̅̅̅̅ = 34
̅̅̅̅=40
̅̅̅̅ = 46 ̅̅̅̅ = ̅58
̅̅̅̅=52 ̅̅̅ = − − −−= ̅̅̅̅̅̅̅̅̅
6𝑛 + 4𝒏 ∈ 𝒁5̅ = 11
̅̅̅̅ =
̅̅̅̅ = 23
17 ̅̅̅̅ = 29 ̅̅̅̅=41
̅̅̅̅ = 35 ̅̅̅̅ = 47 ̅̅̅̅ = 59
̅̅̅̅=53 ̅̅̅̅ = − − −−= ̅̅̅̅̅̅̅̅̅
6𝑛 + 5𝒏 ∈ 𝒁
× ̅
𝟏 ̅
𝟐 ̅
𝟑 ̅
𝟒 ̅
𝟓
̅
𝟏 1̅ 2̅ 3̅ 4̅ 5̅
̅
𝟐 2̅ 4̅ 0̅ 2̅ 4̅
̅
𝟑 3̅ 0̅ 3̅ 0̅ 3̅
̅
𝟒 4̅ 2̅ 0̅ 4̅ 2̅
̅
𝟓 5̅ 4̅ 3̅ 2̅ 1̅
ℤ6 \{0̅} = {1̅, 2,
̅ 3, ̅ 5̅ } is not group because
̅ 4,
+ 0̅ 1̅ 2̅ 3̅ 4̅ 5̅
0̅ 0̅ 1̅ 2̅ 3̅ 4̅ 5̅
1̅ 1̅ 2̅ 3̅ 4̅ 5̅ 0̅
2̅ 2̅ 3̅ 4̅ 5̅ 0̅ 1̅
3̅ 3̅ 4̅ 5̅ 0̅ 1̅ 2̅
4̅ 4̅ 5̅ 0̅ 1̅ 2̅ 3̅
5̅ 5̅ 0̅ 1̅ 2̅ 3̅ 4̅
1- Closed
It is closed as clear from table
For n=5
̅, 𝟏
ℤ𝟓 ={𝟎 ̅, 𝟐,
̅ 𝟑,
̅ 𝟒̅ }
1 1 1 1 1
5 6 7 8 9
5√ , 5√ , 5√ , 5√ , 5√
5 5 5 5 5
−−−−− −−−−− −−−−− −−−−− −−−−−
0 1 2 3 4
2 2 2 2 2
10 11 12 13 14
5√ , 5√ , 5√ , 5√ , 5√
10 10 10 10 10
−−−−− −−−−− −−−−− −−−−− −−−−−
0 1 2 3 4
3 3 3 3 3
15 16 17 18 19
5√ , 5√ , 5√ , 5√ , 5√
15 15 15 15 15
−−−−− −−−−− −−−−− −−−−− −−−−−
0 1 2 3 4
0̅ = 5̅ = ̅10
̅̅̅ = ̅15
̅̅̅ = ̅20
̅̅̅ = ̅25
̅̅̅ = ̅30
̅̅̅ = ̅35
̅̅̅ = ̅40
̅̅̅ = ̅45
̅̅̅ = − − −−= ̅̅
5𝑛̅̅ 𝒏∈𝒁
̅1 = 6̅ = ̅11
̅̅̅ = ̅16
̅̅̅ = ̅21
̅̅̅ = ̅26
̅̅̅ = ̅31
̅̅̅ = ̅36
̅̅̅ = ̅41 ̅̅̅ = − − −−= ̅̅̅̅̅̅̅̅̅
̅̅̅ = ̅46 5𝑛 + 1 𝒏 ∈ 𝒁
2̅ = 7̅ = 12
̅̅̅̅ = 20
̅̅̅̅ = 22
̅̅̅̅ = 27
̅̅̅̅ = 32
̅̅̅̅ = 37
̅̅̅̅ = 42 ̅̅̅̅ = − − −−= ̅̅̅̅̅̅̅̅̅
̅̅̅̅ = 47 5𝑛 + 2 𝒏 ∈ 𝒁
3̅ = 8̅ = 13
̅̅̅̅ = 21
̅̅̅̅ = 23
̅̅̅̅ = 28
̅̅̅̅ = 33
̅̅̅̅ = 38
̅̅̅̅ = 43 ̅̅̅̅ = − − −−= ̅̅̅̅̅̅̅̅̅
̅̅̅̅ = 48 5𝑛 + 3 𝒏 ∈ 𝒁
× 1̅ 2̅ 3̅ 4̅
1̅ 1̅ 2̅ 3̅ 4̅
2̅ 2̅ 4̅ 1̅ 3̅
3̅ 3̅ 1̅ 4̅ 2̅
4̅ 4̅ 3̅ 2̅ 1̅
1- Closed
It is closed as clear from table
̅ ∈ ℤ5 ⇒a̅ × b
∀a̅, b ̅ ∈ ℤ5
2- Associative
̅ , c̅ ∈ ℤ5
From the table it is clear that ∀a̅, b
̅ ) ×c=a̅ × (b
(a̅ × b ̅ × c̅)
3- Identity element
1̅ 𝑖𝑠 𝑀𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑡𝑖𝑣𝑒 𝑖𝑑𝑒𝑛𝑡𝑖𝑡𝑦 𝑜𝑓 ℤ5 𝑎𝑠 𝑐𝑙𝑒𝑎𝑟 𝑓𝑟𝑜𝑚 𝑡𝑎𝑏𝑙𝑒 ∀𝑎̅ ∈ ℤ5 ⇒1̅ × 𝑎̅ =𝑎̅
4- Inverse Element
𝑖𝑛𝑣𝑒𝑟𝑠𝑒 1̅ 𝑖𝑠 1̅
𝑖𝑛𝑣𝑒𝑟𝑠𝑒 2̅ 𝑖𝑠 3̅
𝑖𝑛𝑣𝑒𝑟𝑠𝑒 3̅ 𝑖𝑠 2̅
𝑖𝑛𝑣𝑒𝑟𝑠𝑒 4̅ 𝑖𝑠 4̅
5- Commutative Law
As clear from table
̅ ∈ ℤ5 ⇒ a̅ × b
∀ a̅, b ̅=b
̅ × a̅
̅} ,×) 𝒊𝒔 𝒂𝒃𝒆𝒍𝒊𝒂𝒏 𝑮𝒓𝒐𝒖𝒑
⟹(ℤ𝟓 \{𝟎
+ 0̅ 1̅ 2̅ 3̅ 4̅
0̅ 0̅ 1̅ 2̅ 3̅ 4̅
1̅ 1̅ 2̅ 3̅ 4̅ 0̅
2̅ 2̅ 3̅ 4̅ 0̅ 1̅
3̅ 3̅ 4̅ 0̅ 1̅ 2̅
4̅ 4̅ 0̅ 1̅ 2̅ 3̅
1- Closed
It is closed as clear from table
̅ ∈ ℤ5 ⇒ a̅ + b
∀ a̅, b ̅ ∈ ℤ5
1) 2̅ 2) 5̅ 3)4̅ 4) none
𝑯𝑶𝑴𝑬 𝑾𝑶𝑹𝑲.
Let G be a group then the element which has multiplicative inverse in G is called unit
element.
ℤ5 = {0̅, 1̅, 2̅, 3̅, 4̅} ⇒ 𝑈(5) = {1̅, 2̅, 3̅, 4̅}
ℤ7 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅} ⇒ 𝑈(7) = {1̅, 2̅, 3̅, 4̅, 5̅, 6̅}
ℤ8 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅} ⇒ 𝑈(8) = {1̅, 3̅, 5̅, 7̅}
ℤ9 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅, 8̅} ⇒ 𝑈 (9) = {1̅, 2̅, 4̅, 5̅, 7̅, 8̅}
ℤ11 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅, 8̅, , 9̅, 10
̅̅̅̅} ⇒ 𝑈 (11) = {1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅, 8̅, , 9̅, 10
̅̅̅̅}
EULER PHI-FUNCTION
𝑛Be any integer the prime factorization of n are
𝑛 𝑛 𝑛
𝑛 = 𝑝1 1 𝑝2 2 . . 𝑝𝑟 𝑟
𝑛 𝑛 𝑛
𝜑(𝑛) = 𝜑(𝑝1 1 𝑝2 2 . . 𝑝𝑟 𝑟 )
𝑛 𝑛 𝑛
𝜑(𝑛) = 𝜑(𝑝1 1 )𝜑(𝑝2 2 ) … 𝜑(𝑝𝑟 𝑟 )
𝑛 𝑛 −1 𝑛 𝑛 −1 𝑛 𝑛 −1
𝜑(𝑛) = (𝑝1 1 − 𝑝1 1 )(𝑝2 2 − 𝑝2 2 ) … (𝑝𝑟 𝑟 − 𝑝𝑟 𝑟 )
𝑛 = 12 = 22 3
𝜑(12) = 𝜑(22 3) = 𝜑(22 )𝜑(3 ) = (22 − 22−1 )(31 − 30 ) = (2)(2) = 4
|𝑈 (12)| = 𝜑(12) = 4
108 = 22 33
|𝑈(108)| = 36
MCQ: how many numbers of elements in 𝒁𝟓𝟐 which have multiplicative inverse
MCQ: how many element in 𝒁𝟑𝟐 which are not unit element
MCQ: how many element in 𝒁𝒑 where p is prime which not unit element are
.(a) addition (b) multiplication (c) (a) & (b) (d) none
𝑶𝒓𝒅𝒆𝒓 𝒐𝒇 𝑮𝒓𝒐𝒖𝒑
The number of element in group G is called order of group denoted by |𝐺| or 𝑂(𝐺)
EXAMPLE
| ℤ15|=15
𝑖 1 = 𝑖, 𝑖 2 = −1 , 𝑖 3 = −𝑖, 𝑖 4 = 1 |𝒊| = 𝟒
(−1)2 = 1 |−1| = 2
𝑖 1 = 𝑖, 𝑖 2 = −1 , 𝑖 3 = −𝑖 , 𝑖 4 = 1, 𝑖 16 = 1
𝑖 5 = 𝑖, 𝑖 6 = −1 , 𝑖 7 = −𝑖, 𝑖 8 = 1, 𝑖0 = 1 0 < 𝑛
𝑖 9 = 𝑖, 𝑖 10 = −1 , 𝑖 11 = −𝑖, 𝑖 12 = 1
𝑎22 = 𝑎20 𝑎2 = 𝑎2
𝑻𝑯𝑬𝑶𝑹𝑬𝑴:
PROOF: 𝑞
Given that |a|=n ⟹ an = e where n is least positive integer. 𝑘
𝑛√
𝑘𝑞
Also ak = e and k be any positive integer.
𝑟
Since n is least positive integer and k be any integer then k ≥ n by using division
algorithm
Now
𝑎𝑘 = 𝑒
by using (i)
anq+r = e
⟹ 𝑎𝑛𝑞 𝑎𝑟 = 𝑒
⟹ (𝑎𝑛 )𝑞 𝑎𝑟 = 𝑒
𝑎𝑛 = 𝑒
⟹ (𝑒)𝑞 𝑎𝑟 = 𝑒
⟹ 𝑎𝑟 = 𝑒
𝑘 = 𝑛𝑞
Hence Proved.
Concersely,
Suppose that 𝑘 = 𝑛𝑞
ℤ5 ={0̅, 1̅, 2,
̅ 3,
̅ 4̅ }
SOLUTION an=1̅
(4̅)2=16
̅̅̅̅ = 1̅, ⟹|4̅| = 2.
𝟐𝟐 = 𝟐. 𝟐
Remark.
ℤ5 = {0̅, 1̅, 2,
̅ 3,
̅ 4̅ }
2. 2̅ = 4̅, 3.2̅=1,
̅ 4.2̅=3,
̅ 5.2̅=10 ̅ =5
̅̅̅̅ = 0̅ |2|
4(2̅) = 0̅
MCQ: how many element in ℤ13 which have order w.r.t. multiplication are
MCQ: how many element in ℤ which have order w.r.t. multiplication are
MCQ: how many element in ℤ which have inverse w.r.t. multiplication are
SUBGROUP
ℤis subgroup of ℚ
NOTE: Let G be any group and the subgroup {𝑒} 𝑎𝑛𝑑 𝐺 𝑖𝑡𝑠𝑒𝑙𝑓 𝑎𝑟𝑒 𝑖𝑚𝑝𝑟𝑜𝑝𝑒𝑟
subgroups / trivial subgroup. Any other subgroups are proper/ non-trivial subgroup
MCQ: if a group has total n subgroups then the number of proper subgroups of G are
MCQ: if a group has total n subgroups then the number of improper subgroups of G are
SUBGROUP CRITERIA
Proof
So H is itself a group
⟹ 𝑎, 𝑏−1 ∈ 𝐻
Since H is closed
𝑎𝑏 −1 ∈ 𝐻
Required.
1) Identity Element
For 𝑎, 𝑎 ∈ 𝐻 by using (i)
⟹𝑎𝑎−1 ∈ 𝐻
⟹𝑒 ∈ 𝐻
⟹ Identity element exist
2) Inverse Element
𝑒, 𝑎 ∈ 𝐻By using (i)
𝑒𝑎−1 ∈ 𝐻
⟹𝑎−1 ∈ 𝐻
⟹ Inverse element exist
3) Associative Law ( inherited Property)
H is associative because 𝐻 is subset of G and G is associative
4) Closure Law
For all 𝑎, 𝑏 ∈ 𝐻 so
𝑎(𝑏−1 )−1 ∈ 𝐻
𝑎𝑏 ∈ 𝐻
𝐻 is group itself
So H is Subgroup of G.
i- ∀𝑎, 𝑏 ∈ 𝐺 𝑎 − 𝑏 ∈ 𝐺
ii- ∀𝑎, 𝑏 ∈ 𝐻 𝑎 − 𝑏 ∈ 𝐻
iii- ∀𝑎, 𝑏 ∈ 𝐺 𝑎𝑏−1 ∈ 𝐻
iv- ∀ 𝑎, 𝑏 ∈ 𝐻 𝑎 − 𝑏 ∈ 𝐺
𝑄𝑢𝑒𝑠𝑡𝑖𝑜𝑛:
𝐻 = {𝑎 + 𝑖𝑏 ∶ 𝑎, 𝑏 ∈ 𝑅 ∧ 𝑎2 + 𝑏2 = 1}
𝑥, 𝑦 ∈ 𝐻 Where
𝑥 = 𝑎 + 𝑖𝑏 ∧ 𝑎2 + 𝑏2 = 1 … … … … … … … … … (𝑖)
𝑦 = 𝑐 + 𝑖𝑑 ∧ 𝑐 2 + 𝑑 2 = 1
Now
𝑥𝑦 −1 = (𝑎 + 𝑖𝑏)(𝑐 + 𝑖𝑑)−1
𝑎 + 𝑖𝑏
=
𝑐 + 𝑖𝑑
𝑎 + 𝑖𝑏 𝑐 − 𝑖𝑑
= ×
𝑐 + 𝑖𝑑 𝑐 − 𝑖𝑑
⇒𝑥𝑦 −1 ∈ 𝐻
HOMEWORK
Klien 4-Group
𝟏 𝟐 𝟑 𝟒
𝒆 𝒂
𝟑 𝟒 𝟏 𝟐
𝑅𝑜𝑡𝑎𝑡𝑖𝑜𝑛 𝑎𝑏𝑜𝑢𝑡 𝑥 − 𝑎𝑥𝑖𝑠 𝑎
𝟒 𝟑 𝟐 𝟏
𝑽𝟒 = {𝒆, 𝒂, 𝒃, 𝒂𝒃}
. 𝒂𝟐 = 𝒆, 𝒃𝟐 = 𝒆, 𝒂𝒃 = 𝒃𝒂, (𝒂𝒃)𝟐 = 𝒆
× 𝒆 𝒂 𝒃 𝒂𝒃 × e a b ab
𝒆 e.e e.a e.b e.ab e e a b ab
𝒂 a.e a.a a.b a.ab a a e ab b
𝒃 b.e b.a b.b b.ab b b ab e a
𝒂𝒃 ab.e ab.a ab.b ab.ab ab ab b a e
(𝑽𝟒 ,×) 𝒊𝒔 𝒂𝒃𝒆𝒍𝒊𝒂𝒏 𝑮𝒓𝒐𝒖𝒑
MCQ: the smallest non-cyclic group of order____
MCQ: the order of every non-identity element of smallest non-cyclic group are
.(a) 𝒔𝒂𝒎𝒆 (b) 𝒅𝒊𝒇𝒇𝒆𝒓𝒆𝒏𝒕 (c) 𝒎𝒂𝒚 𝒃𝒆 𝒔𝒂𝒎𝒆 𝒐𝒓 𝒅𝒊𝒇𝒇𝒆𝒓𝒆𝒏𝒕 (d) none
𝒂𝟐
𝒆 𝒂 𝟐
𝟏 𝟏 𝒂
𝟐 𝟑 𝟑
𝒃
𝟑
𝟏 𝟐
𝒂𝟐 𝒃
𝒃 𝒂𝒃 𝟐
1
𝟐 3
𝟑 𝟏
𝒃. 𝒂𝟐 𝒃 = (𝒃. 𝒂𝟐 )𝒃 = (𝒂𝒃)𝒃 = 𝒂,
𝒂𝒃. 𝒂𝟐 = (𝐛)𝒂 = 𝒂𝟐 𝒃
𝒂𝒃. 𝒂𝟐 𝒃 = 𝒂𝟐 𝒃. 𝒃 = 𝒂𝟐 𝒂𝟐
𝑏𝑎 ≠ 𝑎𝑏
𝟏 𝟐 𝟒 𝟏 𝟑 𝟒 𝟐 𝟑
𝒆 𝒂 𝒂 𝟐
𝒂𝟑
𝟒 𝟑
𝟑 2 𝟐 1
𝟏 4
𝟑 𝟐 𝟐 𝟏 𝟏 𝟒
𝟒 𝟑
𝑏 𝒂𝒃 𝟐
𝒂 𝒃 𝒂𝟑 𝒃
𝟒 1 𝟑
MUHAMMAD USMAN +92-311-6545143
4 𝟐
b 3
𝟏
20 | P a g e
2
𝐺𝑅𝑂𝑈𝑃 𝑇𝐻𝐸𝑂𝑅𝑌
𝑫𝟒 = {𝒆, 𝒂, 𝒂𝟐 , 𝒂𝟑 , 𝒃, 𝒂𝒃, 𝒂𝟐 𝒃, 𝒂𝟑 𝒃} 𝒂𝟒 = 𝒆, 𝒃𝟐 = 𝒆, (𝒂𝒃)𝟐 = 𝒆
× 𝒆 𝒂 𝒂𝟐 𝒂𝟑 𝒃 𝒂𝒃 𝒂𝟐 𝒃 𝒂𝟑 𝒃
𝒆 𝒆 𝒂 𝒂𝟐 𝒂𝟑 𝒃 𝒂𝒃 𝒂𝟐 𝒃 𝒂𝟑 𝒃
𝒂 𝒂 𝒂𝟐 𝒂𝟑 e 𝒂𝒃 𝒂𝟐 𝒃 𝒂𝟑 𝒃 𝒃
𝒂𝟐 𝒂𝟐 𝒂𝟑 E 𝒂 𝒂𝟐 𝒃 𝒂𝟑 𝒃 b 𝒂𝒃
𝒂𝟑 𝒂𝟑 e 𝒂 𝒂𝟐 𝒂𝟑 𝒃 𝒃 𝒂𝒃 𝒂𝟐 𝒃
𝒃 b 𝒂𝟑 𝒃 𝒂𝟐 𝒃 𝒂𝒃 𝒆 𝒂𝟑 𝒂𝟐 𝒂
𝒂𝒃 𝒂𝒃 b 𝒂𝟑 𝒃 𝒂𝟐 𝒃 𝒂
𝒂𝟐 𝒃
𝒂𝟑 𝒃
𝒃𝒂𝒊 = 𝒂𝒏−𝒊 𝒃
𝒂𝟔 = 𝒂𝟒 𝒂𝟐 = 𝒆𝒂𝟐 | 𝒂𝟑 (𝒂𝟐 𝒃) = 𝒂𝟓 𝒃 = 𝒂𝟒 𝒂𝒃
𝒂𝟒 𝒃 = 𝒆. 𝒃 = 𝒃 | 𝒃𝒂 = 𝒂𝟒−𝟏 𝒃=𝒂𝟑 𝒃
𝒂𝟓 𝒃 = 𝒂𝟒 𝒂𝒃=eab,|𝒃𝒂𝟐 = 𝒂𝟒−𝟐 𝒃 = 𝒂𝟐 𝒃
𝒃𝒂𝟑 𝒃 = 𝒂𝟒−𝟑 𝒃𝒃 = 𝒂
𝑎𝑏𝒂𝟐 = (𝒂𝒃𝒂)𝒂 = 𝒃𝒂 = 𝒂𝟑 𝒃
(𝒂𝒃)𝒃 = 𝒂
× e 𝑎 𝑎2 𝑎3 𝑎4 𝑏 𝑎𝑏 𝑎2 𝑏 𝑎3 𝑏 𝑎4 𝑏
𝑒 𝑒 𝑎 𝑎2 𝑎3 𝑎 4 𝑏 𝑎𝑏 𝑎2 𝑏 𝑎3 𝑏 𝑎4 𝑏
𝑎 𝑎 𝑎2 𝑎3 𝑎4 𝑒 𝑎𝑏 𝑎2 𝑏 𝑎3 𝑏 𝑎4 𝑏 𝑏
𝑎2 𝑎2 𝑎3 𝑎4 𝑒 𝑎 𝑎2 𝑏 𝑎3 𝑏 𝑎4 𝑏 𝑏 𝑎𝑏
𝑎3 𝑎3 𝑎 4 𝑒 𝑎 𝑎2 𝑎3 𝑏 𝑎4 𝑏 𝑏 𝑎𝑏 𝑎2 𝑏
𝑎4 𝑎4 𝑒 𝑎 𝑎2 𝑎3 𝑎4 𝑏 𝑏 𝑎𝑏 𝑎2 𝑏 𝑎3 𝑏
𝑏 𝑏 𝑎4 𝑏 𝑎3 𝑏 𝑎2 𝑏 𝑎𝑏 𝑒 𝑎4 𝑎3 𝑎2 𝑎
𝑎𝑏 𝑎𝑏
Inverse of 𝑎𝑖 = 𝑎𝑛−𝑖
Inverse of 𝑎𝑖 𝑏 = 𝑎𝑖 𝑏
𝒏 𝒏 𝒊𝒔 𝒐𝒅𝒅
No of element of order 2 in 𝑫𝒏 = {
𝒏+𝟏 𝒏 𝒊𝒔 𝒆𝒗𝒆𝒏
MCQ: the number element of order 2 in 𝐷10 are_____
MCQ: the number element which order not equal to 2 in 𝐷15 are_____
MCQ: in 𝐷10 dihedral group of order 20. If 𝑎 ∈ 𝐷10 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 |𝑎| = 10 𝑡ℎ𝑒𝑛 |𝑎2 | =__
MCQ: in 𝐷10 dihedral group of order 20. If 𝑎 ∈ 𝐷10 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 |𝑎| = 10 𝑡ℎ𝑒𝑛 |𝑎3 | =__
𝟏𝟎
|𝒂𝟑 | = = 𝟏𝟎
𝒈𝒄𝒅(𝟏𝟎, 𝟑)
|𝒂| 𝒏
FORMULA |𝒂| = 𝒏 𝒂𝒏𝒅 𝒌 < 𝑛 𝑡ℎ𝑒𝑛 |𝒂𝒌 | = 𝒈𝒄𝒅(|𝒂|,𝒌) = 𝒈𝒄𝒅(𝒏,𝒌)
MCQ: in 𝐷10 dihedral group of order 20. If 𝑎 ∈ 𝐷10 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 |𝑎| = 10 𝑡ℎ𝑒𝑛 |𝑎4 | =__
NUMBER OF +VE DIVISOR AND SUM OF +VE DIVISOR OF ANY +VE NUMBER
𝒏=𝟖
𝝉(𝟖) = 𝟒
𝝈(𝟖) = 𝟏 + 𝟐 + 𝟒 + 𝟖 = 𝟏𝟓
𝝉 ( 𝟖) = 𝝉 ( 𝟐𝟑 ) = ( 𝟑 + 𝟏) = 𝟒
𝝈(𝟖) = 𝝈(𝟐𝟑 ) = 𝟐𝟑 + 𝟐𝟐 + 𝟐𝟏 + 𝟐𝟎 = 𝟏𝟓
𝒏 = 𝟕𝟐
𝝈(𝟕𝟐) = 𝟏 + 𝟐 + 𝟑 + 𝟒 + 𝟔 + 𝟖 + 𝟗 + 𝟏𝟐 + 𝟏𝟖 + 𝟐𝟒 + 𝟑𝟔 + 𝟕𝟐 = 𝟏𝟗𝟓
𝑛 = 108 = 22 33
MCQ: The numbers of non-cyclic proper subgroup of dihedral group of order 10 𝑖. 𝑒. 𝐷5 are
SOL:
So the subgroups are H1={𝑒}, H2= {𝑒, 𝑎, 𝑎2 }, H3= {𝑒, 𝑏}, H4= {𝑒, 𝑎𝑏}, H5= {𝑒, 𝑎2 𝑏}
And D3 itself.
HOME WORK
× 1 −1 𝑖 −𝑖 𝑗 −𝑗 𝑘 −𝑘
1 1 −1 𝑖 −𝑖 𝑗 −𝑗 𝑘 −𝑘
−1 −1 1 −𝑖 𝑖 −𝑗 𝑗 −𝑘 𝑘
𝑖 𝑖 −𝑖 −1 1 𝑘 −𝑘 −𝑗 𝑗
−𝑖 −𝑖 𝑖 1 −1 −𝑘 𝑘 𝑗 −𝑗
𝑗 𝑗 −𝑗 −𝑘 𝑘 −1 1 𝑖 −𝑖
−𝑗 −𝑗 𝑗 𝑘 −𝑘 1 −1 −𝑖 𝑖
𝑘 𝑘 −𝑘 𝑗 −𝑗 −𝑖 𝑖 −1 1
−𝑘 −𝑘 𝑘 -𝑗 𝑗 𝑖 −𝑖 1 −1
𝐼𝑛𝑣𝑒𝑟𝑠𝑒 𝑜𝑓 1 𝑖𝑠 1
𝐼𝑛𝑣𝑒𝑟𝑠𝑒 𝑜𝑓 1 𝑖𝑠 − 1
𝐼𝑛𝑣𝑒𝑟𝑠𝑒 𝑜𝑓 𝑖 𝑖𝑠 – 𝑖
𝐼𝑛𝑣𝑒𝑟𝑠𝑒 𝑜𝑓 𝑗 𝑖𝑠 − 𝑗
𝐼𝑛𝑣𝑒𝑟𝑠𝑒 𝑜𝑓 𝑘 𝑖𝑠 – 𝑘
𝐼𝑛𝑣𝑒𝑟𝑠𝑒 𝑜𝑓 1 𝑖𝑠 1
SOL.
𝑖𝑗 = 𝑘, 𝑗𝑘 = 𝑖, 𝑘𝑖 = 𝑗
𝑗𝑖 = −𝑘, 𝑘𝑗 = −𝑖, 𝑖𝑘 = −𝑗
(−1)2 = 1 |-1|=2
𝑗 2 = −1 so 𝑗 4 = 1|𝑗| = 4
𝑘 = −1 so 𝑘 4 = 1|𝑘| = 4
(iii) H1={1}
𝐻1 = {1}
𝐻2 = {1, −1}, 𝐻3 = {1. −1, 𝑖, −𝑖}, 𝐻4 = {1. −1, 𝑗, −𝑗}, 𝐻5 = {1. −1, 𝑘, −𝑘}
𝐴𝑛𝑑 𝑄8 𝑖𝑡𝑠𝑒𝑙𝑓.
THEOREM
Hence 𝐻 is subgroup of G.
THEOREM
Let
𝑎, 𝑏 ∈ 𝐻 = ⋂ 𝐻𝛼
𝛼∈𝐼
⇒ 𝑎, 𝑏 ∈ 𝐻𝛼 𝑓𝑜𝑟 𝑒𝑎𝑐ℎ 𝛼 ∈ 𝐼
⇒ 𝑎𝑏 −1 ∈ 𝐻𝛼 𝑓𝑜𝑟 𝑒𝑎𝑐ℎ 𝛼 ∈ 𝐼
⇒ 𝑎𝑏 −1 ∈ 𝐻 = ⋂ 𝐻𝛼
𝛼∈𝐼
⇒ 𝐻 = ⋂ 𝐻𝛼 𝑖𝑠 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝
𝛼∈𝐼
H1={𝑒}, H2= {𝑒, 𝑎, 𝑎2 }, H3= {𝑒, 𝑏}, H4= {𝑒, 𝑎𝑏}, H5= {𝑒, 𝑎2 𝑏}
Now
H1 is also subgroup.
THEOREM
𝑎∈𝐺
⇒ 𝑎2 ∈ 𝐺
⇒ 𝑎3 ∈ 𝐺.
……………
……………..
⇒ 𝑎𝑚 ∈ 𝐺
Since H is finite then there exist some positive integer 𝑠 ≠ 𝑟 such that
𝑎𝑟 = 𝑎 𝑠
⇒ 𝑎𝑟−𝑠 = 𝑒
Assume
⇒ 𝑎𝑟−𝑠 𝑎−1 ∈ 𝐻
⇒ 𝑒𝑎−1 ∈ 𝐻
THEOREM
Let H1 and H2 are subgroups of a group G.H1⋃H2 subgroup of G iff H1⊆H2 or H2⊆H1 .
Suppose on Contrary
𝐻1 ≰ 𝐻2 𝑜𝑟 𝐻2 ≰ 𝐻1 .
𝑎, 𝑏 ∈ 𝐻1⋃𝐻2 𝑎𝑛𝑑
𝑎𝑏 ∈ 𝐻1⋃𝐻2
⇒ 𝑎𝑏 ∈ 𝐻1 𝑜𝑟 𝑎𝑏 ∈ 𝐻2
𝐼𝑓 𝑎𝑏 ∈ 𝐻1 𝑎𝑛𝑑 𝑎 ∈ 𝐻1
⇒ 𝑏 ∈ 𝐻1 𝑤ℎ𝑖𝑐ℎ 𝑖𝑠 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑡𝑖𝑜𝑛
𝐵𝑒𝑐𝑎𝑢𝑠𝑒 𝑏 ∉ 𝐻1
𝐼𝑓 𝑎𝑏 ∈ 𝐻2 𝑎𝑛𝑑 𝑏 ∈ 𝐻2
𝑠𝑖𝑛𝑐𝑒 𝐻2 𝑖𝑠 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝 𝑜𝑓 𝐺 ⇒ 𝑏 −1 ∈ 𝐻1
ℎ𝑒𝑟𝑒 𝑎𝑏 , 𝑏 −1 ∈ 𝐻2 ⇒ 𝑎𝑏𝑏−1 ∈ 𝐻2 ⇒ 𝑎𝑒 ∈ 𝐻2
⇒ 𝑎 ∈ 𝐻2 𝑤ℎ𝑖𝑐ℎ 𝑖𝑠 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑡𝑖𝑜𝑛
𝐵𝑒𝑐𝑎𝑢𝑠𝑒 𝑎 ∉ 𝐻2
𝐻𝑒𝑛𝑐𝑒
𝐻1 ⊆ 𝐻2 𝑜𝑟 𝐻2 ⊆ 𝐻1 .
𝑰𝒇 𝑯𝟏 ⊆ 𝑯𝟐 𝒕𝒉𝒆𝒏
𝐻1⋃𝐻2 = 𝐻2 𝑎𝑛𝑑
𝐻2 𝑖𝑠 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝 𝑠𝑜
𝐻1⋃𝐻2 𝑖𝑠 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝
𝑰𝒇 𝑯𝟐 ⊆ 𝑯𝟏 𝒕𝒉𝒆𝒏
𝐻1⋃𝐻2 = 𝐻1 𝑎𝑛𝑑
𝐻1 𝑖𝑠 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝 𝑠𝑜
𝐻1⋃𝐻2 𝑖𝑠 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝
MCQ: let H and K are subgroup of a group G then which one is also subgroup
.(a) H∪K (b) H∩K (c) (a) & (b) (d) none
CARTESIAN PRODUCT
Let A and B two sets then the Cartesian product of A and B denoted and defined as
(1,2) ≠ (2,1)
EXAMPLE:
𝐴 × 𝐵 = {(1, 𝑎), (1, 𝑏), (1, 𝑐 ), (2, 𝑎), (2, 𝑏), (2, 𝑐 ), (3, 𝑎), (3, 𝑏), (3, 𝑐 )}
|𝐴 × 𝐵| = 9 = |𝐴||𝐵|
RELATION
𝑹𝟑
𝑹𝟐 𝑨 𝑩
𝑨 𝑩
𝟏 𝒂
𝟏 𝒂
𝟐 𝒃
𝟐 𝒃
𝟑 𝒄
𝟑 𝒄
DOMAIN OF RELATION
Let R be any relation from set A to B then domain of R denoted by 𝐷𝑜𝑚𝑅 and
defined as set of 1st element of all ordered pair of R
𝐷𝑜𝑚𝑅 = {𝑎 ∶ (𝑎, 𝑏) ∈ 𝑅}
RANGE OF RELATION
Let R be any relation from set A to B then Range of R denoted by Ran𝑅 and defined
as set of 2ND element of all ordered pair of R
𝑅𝑎𝑛𝑅 = {𝑏 ∶ (𝑎, 𝑏) ∈ 𝑅}
3 𝒄
𝑹𝟐
𝑨 𝑩
R2 is not a function
𝟏 𝒂
𝑅2 = {(2, 𝑐), (2, 𝑎), (3, 𝑐)}
𝟐 𝒃
𝐷𝑜𝑚𝑅1 = {2,3}≠A
𝟑 𝒄
𝑅𝑎𝑛𝑅 = {𝑎, 𝑐}
𝑹𝟑
𝑨 B
𝟏 𝒂
R3 is not a function. 𝑅3 = {(1, 𝑐 ), (3, 𝑐 )}
𝟐 𝒃
𝐷𝑜𝑚𝑅3 = {1,3}≠A
𝟑 𝒄
𝑅𝑎𝑛𝑅3 = {𝑐}
FUNCTION
EXAMPLE
R5 is a function. 1 𝒂
TYPES OF FUNCTIONS
𝑹𝑬𝑴𝑨𝑹𝑲
INTO FUNCTION
1- 𝐸𝑙𝑒𝑚𝑒𝑛𝑡 𝑜𝑓 𝑟𝑎𝑛𝑔𝑒 𝑖𝑠 𝑐𝑎𝑙𝑙𝑒𝑑 𝑖𝑚𝑎𝑔𝑒 𝑎𝑛𝑑 𝑒𝑙𝑒𝑚𝑒𝑛𝑡 𝑜𝑓
Let 𝑓: 𝐴 → 𝐵 be a function. 𝑓 is into 𝑑𝑜𝑚𝑎𝑖𝑛 𝑎𝑟𝑒 𝑐𝑎𝑙𝑙𝑒𝑑 𝑝𝑟𝑒 − 𝑖𝑚𝑎𝑔𝑒
If 𝑟𝑎𝑛𝑓 = 𝑅𝑓 = 𝐵 (co-domain)
𝑴𝒂𝒕𝒉𝒆𝒎𝒂𝒕𝒊𝒄𝒂𝒍𝒍𝒚
ONE-ONE FUNCTION
𝑴𝒂𝒕𝒉𝒆𝒎𝒂𝒕𝒊𝒄𝒂𝒍𝒍𝒚
𝒇(𝒙) = 𝒇(𝒚) ⟹ 𝒙 = 𝒚
1- Onto
2- One-one
𝒇 𝐹𝑢𝑛𝑐𝑡𝑖𝑜𝑛:
𝑨 𝑩
𝐷𝑜𝑚𝑓 = {1,2,3,4} = 𝐴
𝑓 𝑖𝑠 𝑛𝑜𝑡 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣𝑒
𝒇𝟏 𝐷𝑜𝑚𝑓 = {1,2,3} = 𝐴
𝑓1 𝑖𝑠 𝑎 𝑓𝑢𝑛𝑐𝑡𝑖𝑜𝑛
𝟏 𝒂
𝑟𝑎𝑛 𝑓 = 𝑓1 (𝐴) = 𝐼𝑚𝑓1 = {𝑎, 𝑐, 𝑑} ≠ 𝐵
𝒃
𝟐
𝑓1 𝑖𝑠 𝑖𝑛𝑡𝑜 𝑓𝑢𝑛𝑐𝑡𝑖𝑜𝑛
𝒄
𝟑
𝑇ℎ𝑒𝑟𝑒 𝑖𝑠 𝑛𝑜 𝑟𝑒𝑝𝑒𝑡𝑖𝑡𝑖𝑜𝑛 𝑖𝑛 𝑟𝑎𝑛𝑔𝑒 𝑒𝑙𝑒𝑚𝑒𝑛𝑡 𝑠𝑜 𝑓1 𝑖𝑠 𝑜𝑛𝑒 𝑜𝑛𝑒 𝑓𝑢𝑛𝑐𝑡𝑖𝑜𝑛.
𝒅
𝑓1 𝑖𝑠 𝑛𝑜𝑡 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣𝑒.
𝐷𝑜𝑚𝑓3 = {1,2,3} = 𝐴
𝒇𝟑
𝑨 𝑩 𝑇ℎ𝑒𝑟𝑒 𝑖𝑠 𝑛𝑜 𝑟𝑒𝑝𝑒𝑡𝑖𝑡𝑖𝑜𝑛 𝑖𝑛 𝑑𝑜𝑚𝑎𝑖𝑛 𝑒𝑙𝑒𝑚𝑒𝑛𝑡
𝑓3 𝑖𝑠 𝑎 𝑓𝑢𝑛𝑐𝑡𝑖𝑜𝑛
𝒇𝟏
𝟏 𝒂 𝑟𝑎𝑛𝑓3 = {𝑎}
𝟐 𝒃 𝑓3 𝑖𝑠 𝑖𝑛𝑡𝑜 𝑓𝑢𝑛𝑐𝑡𝑖𝑜𝑛.
Its mean that if we need to prove that two set have same number of elements we
will prove there is bijection between these two sets.
MCQ:if |𝐴| = 3 𝑎𝑛𝑑 |𝐵| = 4 then number of one one from A to B are
.(a) one one function (b) onto function (c) into function (d) none
COUNTING FUNCTION
IF |𝑩| = |𝑨|
COSETS
Left coset
𝑎 + 𝐻 = {𝑎 + ℎ ∶ ℎ ∈ 𝐻}𝑖𝑓 (𝐺 +) 𝑔𝑟𝑜𝑢𝑝
Right cosets
𝐻 + 𝑎 = {ℎ + 𝑎 ∶ ℎ ∈ 𝐻}𝑖𝑓 (𝐺 +) 𝑔𝑟𝑜𝑢𝑝
Example:
→𝑎𝐻 = 𝐻 ⇔ 𝑎 ∈ 𝐻 or 𝑎𝐻 ≠ 𝐻 ⇔ 𝑎 ∉ 𝐻
Index of H in G =|G:H|=2
PARTITION OF A SET
𝐴1 , 𝐴2 , 𝐴3 , 𝐴4 , 𝐴5 … 𝐴𝑛 make partition of A if A1 A2 A3 A4
1. H = {1, −1} A
𝑖. 𝐻 = {𝑖, −𝑖}
1. H⋃𝑖. 𝐻 = {1, −1, 𝑖, −𝑖} =G 𝑨 = 𝑨𝟏 ⋃𝑨𝟐 ⋃𝑨𝟑 ⋃𝑨𝟒 ⋃𝑨𝟓 ⋃𝑨𝟔 ⋃𝑨𝟕
1. H⋂𝑖. 𝐻 = { } 𝑨𝒊⋂𝑨𝒋 = {} 𝒊 ≠ 𝒋
⟶the product of order of subgroup H and its index is equal to the order of group
(2)(2)=4
MCQ: Let G be a finite group and H be a subgroup of order half of order of G then index
of H is equal to order of ______
3̅ + 𝐻
4̅ + 𝐻 =
5̅ + 𝐻
𝐻 = {𝑒, 𝑎𝑏}
Index ?
𝑖𝑗 = 𝑘, 𝑗𝑘 = 𝑖, 𝑘𝑖 = 𝑗,
𝑗𝑖 = −𝑘, 𝑘𝑗 = −𝑖, 𝑖𝑘 = −𝑗
1. 𝐻 = {1,−1,𝑖,−𝑖}
1. 𝐻 = {1,−1,𝑖,−𝑖}
𝑗. 𝐻 =={𝑗,−𝑗,𝑘,−𝑘}
1. 𝐻⋂ 𝑗. 𝐻 = ∅
QUESTION:
OR
OR
Prove that two 𝑙𝑒𝑓𝑡 (𝑟𝑖𝑔ℎ𝑡) cosets of subgroup H of a group G have same number of
element.
PROOF
Define a mapping
𝛷: 𝑎𝐻 → 𝑏𝐻 𝑏𝑦 𝛷(𝑎ℎ) = 𝑏ℎ
1) 𝜱 𝒊𝒔 𝒘𝒆𝒍𝒅𝒆𝒇𝒊𝒏𝒆
𝑎ℎ1 = 𝑎ℎ2
ℎ1 = ℎ2 (Left cancelation Law)
𝑃𝑟𝑒 − 𝑀𝑢𝑙𝑡𝑖𝑝𝑙𝑦 𝑏𝑦 𝑏 𝑜𝑛 𝑏𝑜𝑡ℎ 𝑠𝑖𝑑𝑒
𝑏ℎ1 = 𝑏ℎ2
Φ(𝑎ℎ1 ) = Φ(𝑎ℎ2 )
3) 𝜱 𝒊𝒔 𝒐𝒏𝒕𝒐
For each 𝑏ℎ ∈ 𝑏𝐻 ∃ 𝑎ℎ ∈ 𝑎𝐻
QUESTION:
There is one-one correspondence between any left (right) coset of a subgroup H and
subgroup of a group G.
OR
There is bijection between any left (right) coset of a subgroup H and subgroup of a
group G
OR
Prove that 𝑙𝑒𝑓𝑡 (𝑟𝑖𝑔ℎ𝑡) coset of subgroup H and subgroup of a group G have same
number of element. i.d |H|=|aH|
PROOF
Define a mapping
𝜱: 𝒂𝑯 → 𝑯 𝒃𝒚 𝜱(𝒂𝒉) = 𝒉
1) 𝜱 𝒊𝒔 𝒘𝒆𝒍𝒍 − 𝒅𝒆𝒇𝒊𝒏𝒆
𝑎ℎ1 = 𝑎ℎ2
ℎ1 = ℎ2 (left cancelation Law)
Φ(𝑎ℎ1 ) = Φ(𝑎ℎ2 )
2) 𝜱 𝒊𝒔 𝒐𝒏𝒆 𝒐𝒏𝒆
Φ(𝑎ℎ1 ) = Φ(𝑎ℎ2 )
ℎ1 = ℎ2 (left cancelation Law)
𝑃𝑟𝑒 − 𝑀𝑢𝑙𝑡𝑖𝑝𝑙𝑦 𝑏𝑦 𝑎 𝑜𝑛 𝑏𝑜𝑡ℎ 𝑠𝑖𝑑𝑒
𝑎ℎ1 = 𝑎ℎ2
For each ℎ ∈ 𝐻 ∃ 𝑎ℎ ∈ 𝑎𝐻
THEOREM:
𝑖) ⋃ 𝑎𝐻 = 𝐺
𝑎∈𝐺
⋃ 𝑎𝐻 ⊆ 𝐺 − − − − − −(𝑎)
𝑎∈𝐺
𝑎𝑒 ∈ 𝑎𝐻
⇒ 𝑎 ∈ 𝑎𝐻
⇒ 𝑎 ∈ ⋃ 𝑎𝐻
𝑎∈𝐺
⇒ 𝐺 ⊆ ⋃ 𝑎𝐻 − − − − − −(𝑏)
𝑎∈𝐺
𝑡ℎ𝑒𝑛 𝑥 ∈ 𝑎𝐻⋂𝑏𝐻
⇒ 𝑥 ∈ 𝑎𝐻 &𝑥 ∈ 𝑏𝐻
⇒ 𝑎ℎ1 = 𝑏ℎ2
⇒ 𝑎 = 𝑏ℎ2 ℎ1−1
Suppose 𝑦 ∈ 𝑎𝐻
𝑦 = 𝑎ℎ
𝑦 = 𝑏ℎ2 ℎ1−1 ℎℎ2 ℎ1−1 ℎ = ℎ′
𝑦 = 𝑏ℎ′ ∈ 𝑏𝐻
⇒ 𝑎𝐻 ⊆ 𝑏𝐻 − − − − − −(𝑐)
Now from
𝑎ℎ1 = 𝑏ℎ2
𝑎ℎ1 ℎ2−1 = 𝑏
𝑙𝑒𝑒𝑡 𝑧 ∈ 𝑏𝐻
𝑧 = 𝑏ℎ3
𝑧 = 𝑎ℎ′′ ∈ 𝑎𝐻
𝑏𝐻 ⊆ 𝑎𝐻 − − − − − − − (𝑑)
𝑎𝐻 = 𝑏𝐻
𝑎𝐻⋂𝑏𝐻 = ∅
.(a) finite (b) infinite (c) (a) & (b) (d) none
Lagrange Theorem
1- 𝑎1 𝐻 ∪ 𝑎2 𝐻 ∪ 𝑎3 𝐻 ∪ … ∪ 𝑎𝑘 𝐻 = 𝐺 A={1,2,3,4} B+={4,5,6,7,8,9}
2- 𝑎𝑖 𝐻 ∩ 𝑎𝑗 𝐻 = ∅∀𝑖 ≠ 𝑗
𝐴 ∪ 𝐵={1,2,3,4,5,6,7,8,9}
From 1- |𝑎1 𝐻 ∪ 𝑎2 𝐻 ∪ 𝑎3 𝐻 ∪ … ∪ 𝑎𝑘 𝐻| = |𝐺|
|𝐴 ∪ 𝐵| =9=4+5≠|A|+|B|
⇒ |𝐺 | = |𝑎1 𝐻| + |𝑎2 𝐻| + |𝑎3 𝐻| + ⋯ + |𝑎𝑘 𝐻| Using (2)
2+2+2+2=4(2) 6=2x3
𝑠𝑖𝑛𝑐𝑒 |𝑎𝑖 𝐻| = |𝐻| = 𝑚 ∀𝑖 = 1,2, … , 𝑛
⇒ 𝑛 = 𝑚 + 𝑚 + 𝑚 + ⋯ + 𝑚(𝑘 𝑡𝑖𝑚𝑒)
⇒ 𝑛 = 𝑚𝑘
Proof is complete.
COROLLARY
With |𝐻| = 𝑘
⇒ 𝑘 𝑑𝑖𝑣𝑖𝑑𝑒 𝑛
⇒ |𝑎| 𝑑𝑖𝑣𝑖𝑑𝑒 |𝐺 |
INVOLUTION
Example.
Note:
Theorem:
A group of even order contains at least one involution.
PROOF: Let G be a group of even order. Then non-identity element will be odd in
numbers. If we separate all the element with pair which are not inverse of itself say 𝑦∈𝐺
𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 𝑦 ≠ 𝑦 −1 Then we left at least one element say 𝑥 ∈ 𝐺 which is inverse of itself.
This mean𝑥 = 𝑥 −1
⟹ 𝑥𝑥 = 𝑥𝑥 −1
⟹ 𝑥2 = 𝑒
⟹ |𝑥| = 2
𝑠𝑜𝑥𝑖𝑠𝑖𝑛𝑣𝑜𝑙𝑢𝑡𝑖𝑜𝑛.
Relation on a set A
𝐴 = {1,2,3,4}
𝐴 × 𝐴 = {(1,1), (1,2), (1,3), (1,4), (2,1), (2,2), (2,3), (2,4), (3,1), (3,2), (3,3), (3,4), (4,1), (4,2), (4,3), (4,4)}
𝑅4 = {(𝑎, 𝑏): 𝑎, 𝑏 ∈ 𝐴 ∧ 𝑎 ≤ 𝑏} = {(1,1), (1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,3)(3,4), (4,4)}
𝑅5 = {(𝑎, 𝑏): 𝑎, 𝑏 ∈ 𝐴 ∧ 𝑎 ≥ 𝑏}
𝑅6 = {(𝑎, 𝑏): 𝑎, 𝑏 ∈ 𝐴 ∧ 𝑎𝑑𝑖𝑣𝑖𝑑𝑒𝑏} = {(1,1) , (1,2), (1,3), (1,4), (2,2), (2,4), (3,3), (4,4)}
Def(congruence Relation)
Mathematically denoted by
QUESTION
1- Reflexive
Since n|o ⟹ n|a-a ⟹ 𝑎 ≡ 𝑎 (𝑚𝑜𝑑 𝑛) ⟹ aRa ∀ a ∈ ℤ
2- Symmetric
Let 𝑎𝑅𝑏 ⟹ 𝑎 ≡ 𝑏 (𝑚𝑜𝑑 𝑛)
⟹n|b-a 2|20 ∃ 10 such that 20=2(10)
⟹n|-(a-b)
⟹n|a-b 5|15 ∃ 3 s.t 15=5(3)
⟹ 𝑏 ≡ 𝑎 (𝑚𝑜𝑑 𝑛)
⟹bRa 𝐼𝑓 𝑎|𝑏 ∃ 𝑘 ∈ 𝑍 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 𝑏 = 𝑎𝑘
3- Transitive
Remark:
1) 𝑮𝒓𝒐𝒖𝒑 𝑯𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
Let (G ∗) and (G′ ∗ ′) are two groups then a mapping φ:G⟶G’ is said to be group
homomorphism if
2) 𝑬𝒑𝒊𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
3) 𝑴𝒐𝒏𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
𝑚𝑜𝑛𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
4) 𝑰𝒔𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
𝑠𝑎𝑖𝑑 𝑡𝑜 𝑏𝑒 𝑖𝑠𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚 OR
𝟏
𝟎 < 𝐞𝐚 <1
𝛙 (n)=n̅
ℤ𝟔
ℤ
𝝍 is Homomorphism
̅
𝟎
𝜓(𝑛 + 𝑚) = ̅̅̅̅̅̅̅̅
𝑛+𝑚 -ve
̅
𝟏
(𝑛 + 𝑚) = 𝑛̅ + 𝑚
̅ 0
1 ̅
𝟐
𝜓 (𝑛 + 𝑚) = 𝜓 (𝑛) + 𝜓(𝑚)
2 ̅
𝟑
𝜓 𝑖𝑠 𝑜𝑛𝑡𝑜
3 ̅
𝟒
∀ 𝑛̅ ∈ ℤ6 ∃ 𝑛 ∈ ℤ 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 (𝑛) = 𝑛̅
4 ̅
𝟓
𝝍 𝒊𝒔 𝒐𝒏𝒆 − 𝒐𝒏𝒆
5
(𝑛) = (𝑚)
6
𝑛̅ = 𝑚
̅
7
⇏𝑛=𝑚
8
𝝍 𝒊𝒔 𝒏𝒐𝒕 𝒐𝒏𝒆 𝒐𝒏𝒆
9
Kernel of homomorphism
0
𝐺𝑅𝑂𝑈𝑃 𝑇𝐻𝐸𝑂𝑅𝑌
Let 𝜑: 𝐺 ⟶ 𝐺’ be a group homomorphism. Then
Example
𝜓: ℤ ⟶ ℤ6 by
𝜓(𝑛) = 𝑛̅
kerψ = {𝑛 ∈ ℤ : n̅=0̅}
= {0, ±6 ± 12, … }
Image of Homomorphism
𝜓(0) = 30̅ = 0̅
𝜓(1) = 31̅ = 3̅
𝜓(2) = 32̅ = 0̅
𝜓(3) = 33̅ = 3̅
Theorem:
i) Kernel of φ is subgroup of G
ii) Image of φ is subgroup of G’
PROOF
Let 𝑥, 𝑦 ∈ Kerφ
⇒ φ(x) = e′ &φ(y) = e′
= φ(x)φ(y)−1
= e′(e′)−1
= e′
CYCLIC GROUP
ℤ6=< 1̅ ∶ 6(1̅) = 0̅ >= {1(1̅), 2(1̅), 3(1̅), 4(1̅), 5(1̅), 6(1̅) = 0̅}
ℤ6=< 5̅ ∶ 6(5̅) = 0̅ >= {1(5 ), 2(5̅), 3(5̅), 4(5̅), 5(5̅), 6(5̅) = 0̅}
𝜙(17) = 16
Note:
Theorem:
Let 𝑥, 𝑦 ∈ 𝐺
𝑥 = 𝑎𝑟 & 𝑦 = 𝑎 𝑠
⇒ 𝑥𝑦 = 𝑦𝑥
Hence G is abelian
𝑹𝑬𝑴𝑨𝑹𝑲
Theorem.
PROOF:
Let G be a cyclic group generated by 𝑎 ∈ 𝐺
𝑘 = 𝑚𝑞 + 𝑟 − − − (1) 𝑤ℎ𝑒𝑟𝑒 0 ≤ 𝑟 ≤ 𝑚 q
𝑘 − 𝑚𝑞 = 𝑟 m k
√
Now 𝑎𝑟 = 𝑎𝑘−𝑚𝑞
mq
r
MUHAMMAD USMAN +92-311-6545143 53 | P a g e
𝐺𝑅𝑂𝑈𝑃 𝑇𝐻𝐸𝑂𝑅𝑌
= 𝑎𝑘 𝑎−𝑚𝑞 ∴𝑎𝑘 ∈ 𝐻 &𝑎𝑚 ∈ 𝐻 𝑠𝑜 𝑎−𝑚𝑞 ∈ 𝐻
𝐵𝑒𝑐𝑎𝑢𝑠𝑒 𝐻 𝑖𝑠 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝 𝑜𝑓 𝐺
So 𝑎𝑘 𝑎−𝑚𝑞 ∈ 𝐻
So (1) ⇒ 𝑘 = 𝑚𝑞
Hence H is cyclic.
ax + by = 1
|𝑖|=4 𝑖 4 = 1
𝐺 = {𝑖, 𝑖 2 , 𝑖 3 , 𝑖 4 }
𝑖 3 𝑎𝑙𝑠𝑜 𝑔𝑒𝑛𝑒𝑟𝑎𝑡𝑜𝑟 𝑜𝑓 𝐺
(𝑖 2 ) = −1, (𝑖 2 )2 = 1
𝑖 8 = 1,𝑖 12 = 𝑖 16 = 1
(16,9)=1
16x+9y=1
𝐺 = {𝑎, 𝑎2 , 𝑎3 , … 𝑎16 = 𝑒}
THEOREM:
OR
PROOF:
(𝑎 𝑘 )𝑝 = 𝑎
⇒𝑎𝑘𝑝 𝑎−1 = 𝑒
5|50 there exist 10 suct that
⇒𝑎𝑘𝑝−1 = 𝑒∴|a|=n 5x10=50
⇒ 𝑛𝑟 = 𝑘𝑝 − 1
⇒ 𝑘𝑝 − 𝑛𝑟 = 1
⇒ 𝑘(𝑝) + (−𝑟)𝑛 = 1
⇒ (k,n)=1
(k,n)=1
For 𝑎 ∈ 𝐺
⇒ 𝑎1 = 𝑎𝑘𝑝−𝑛𝑟
⇒ 𝑎1 = 𝑎𝑘𝑝 𝑎−𝑛𝑟
⇒ 𝑎1 = (𝑎𝑘 )𝑝 (𝑒 )−𝑟
⇒ 𝑎 = (𝑎 𝑘 )𝑝
⇒ 𝑎𝑘 𝑖𝑠 𝑔𝑒𝑛𝑒𝑟𝑎𝑡𝑜𝑟 𝑜𝑓 𝐺 .
𝑻𝑯𝑬𝑶𝑹𝑬𝑴:
Clearly |H|=n
⇒|H|divides |G|
⇒n divides p
Since p is prime
So n=1 or n=p
Since 𝑎 ≠ 𝑒 𝑠𝑜 𝑛 ≠ 1
⇒ n=p
⇒|H|= |G|
So G is abelian.
THEOREM
Let G and G’ are two groups and φ:G→G’ be a group homomorphism .if G is
cyclic then show that φ(G) is cyclic
OR
The homomorphic image of cyclic group is cyclic.
𝑘
⇒ 𝑏′ = ( 𝜑(𝑎))
⇒ 𝑏′ = ( 𝑎′)𝑘
𝑥𝑒 = 2𝑛 20 = 2𝑛+0 = 2𝑛 = 𝑥 and
𝑒𝑥 = 20 2𝑛 = 20+𝑛 = 2𝑛 = 𝑥
⇒𝑒𝑥 = 𝑥𝑒 = 𝑥
⇒𝑒 = 20 is identity element of G
iv) Inverse element
For all 𝑥 = 2𝑛 ∈ 𝐺 there exist 𝑥 −1 = 2−𝑛 ∈ 𝐺 ∀ 𝑛 ∈ ℤ 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡
𝑥𝑥 −1 = 2𝑛 2−𝑛 = 2𝑛−𝑛 = 20 = 𝑒 and
𝑥 −1 𝑥 = 2−𝑛 2𝑛 = 2−𝑛+𝑛 = 20 = 𝑒
⇒ 𝑥𝑥 −1 = 𝑥 −1 𝑥 = 𝑒
⇒ 𝑥 −1 = 2−𝑛 𝑖𝑠 𝑖𝑛𝑣𝑒𝑟𝑠𝑒 𝑒𝑙𝑒𝑚𝑒𝑛𝑡 𝑜𝑓 𝑥 = 2𝑛 ∀ 𝑛 ∈ ℤ
(G, . ) is group .
v) Commutative Law
𝑥, 𝑦 ∈ 𝐺𝑥 = 2𝑛1 𝑦 = 2𝑛2 ∀ 𝑛1 , 𝑛2 ∈ ℤ
𝑥𝑦 = 2𝑛1 2𝑛2
𝑥𝑦 = 2𝑛1+𝑛2
𝑥𝑦 = 2𝑛2+𝑛1
𝑥𝑦 = 2𝑛2 2𝑛1
𝑥𝑦 = 𝑦𝑥
⇒ (G, . ) is abelian group.
Note:
THEOREM
OR
⇒𝑎𝑎 = 𝑎𝑎 −1
⇒ 𝑎2 = 𝑒
⇒ |a|=2<∞
So 𝑎 ≠ 𝑎−1
(𝑎 𝑚 )𝑙 = 𝑎
⇒𝑎𝑚𝑙−1 = 𝑒
⇒ |a|<∞ contradiction
THEOREM
Let G be a group and ∈ 𝐺 . Show that order of 𝑎 and 𝑎−1 are equal.
⇒𝑎𝑚 = (𝑎−1 )−1 . (𝑎−1 )−1 . (𝑎−1 )−1 … . (𝑎−1 )−1 (𝑚 − 𝑡𝑖𝑚𝑒)(𝑎𝑏)−1 = 𝑏 −1 𝑎−1
⇒𝑎𝑚 = (e)−1
⇒𝑎𝑚 = 𝑒
𝑖4 = 1
𝑖8 = 1
Since order of 𝑎 is n
So 𝑛 ≤ 𝑚 --------- (a)
Now consider
(𝑎−1 )𝑛 = 𝑒
𝑚 ≤ 𝑛 − − − −(𝑏)
ℤ𝑛 ≅ 𝐶𝑛
THEOREM
PROOF:
Case I: finite cyclic Group
2𝜋𝑖 𝑘 2𝑘𝜋𝑖
𝐶𝑛 = {𝑧 ∈ ℂ ∶ 𝑧 = (𝑒 𝑛 ) =𝑒 𝑛 ∧ 𝑘 = 1,2,3, … , 𝑛} group of 𝑛𝑡ℎ root of unity
2𝜋𝑖 𝑘
𝐷𝑒𝑓𝑖𝑛𝑒 𝜑:𝐺 → 𝐶𝑛 by 𝜑(𝑎𝑘 ) = (𝑒 𝑛 )
𝑓 (𝑥) = 𝑥 2
𝝋 𝒊𝒔 𝒘𝒆𝒍𝒍 − 𝒅𝒆𝒇𝒊𝒏𝒆.
4
𝑘1 𝑘2 𝑖2 = 𝑖6𝑖 =1
𝑎 = 𝑎 |𝑘1 − 𝑘2 | ≤ 𝑛
⇒𝑎𝑘1 𝑎−𝑘2 = 𝑒
⇒𝑎𝑘1 −𝑘2 = 𝑒
⇒|𝑘1 − 𝑘2 | ≤ 𝑛
⇒𝑘1 − 𝑘2 = 0
⇒𝑘1 = 𝑘2
2𝜋𝑖 𝑘1 2𝜋𝑖 𝑘2
⇒ (𝑒 𝑛 ) = (𝑒 𝑛 )
⇒ 𝜑(𝑎𝒌𝟏 ) = 𝜑(𝑎𝒌𝟐 )
𝝋 𝒊𝒔 𝒐𝒏𝒆 − 𝒐𝒏𝒆
𝜑(𝑎𝒌𝟏 ) = 𝜑(𝑎𝒌𝟐 )
2𝜋𝑖 𝒌𝟏 2𝜋𝑖 𝒌𝟐
⇒ (𝑒 𝑛 ) = (𝑒 𝑛 )
𝑎𝑘1 = 𝑎𝑘2
𝝋 𝒊𝒔 𝒐𝒏𝒕𝒐
2𝜋𝑖 𝑘 2𝜋𝑖 𝑘
∀ (𝑒 𝑛 ) ∈ 𝐶𝑛 ∃ 𝑎𝑘 ∈ 𝐺 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 𝜑(𝑎𝑘 ) = (𝑒 𝑛 )
𝝋 𝒊𝒔 𝑯𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
2𝜋𝑖 𝒌𝟏 +𝒌𝟐
=(𝑒 𝑛 )
2𝜋𝑖 𝒌𝟏 2𝜋𝑖 𝒌𝟐
=(𝑒 𝑛 ) (𝑒 𝑛 )
= 𝜑(𝑎𝒌𝟏 )𝜑(𝑎𝒌𝟐 )
⟹ 𝜑 𝑖𝑠 𝑖𝑠𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
⟹ 𝐺 ≅ 𝐶𝑛
Define 𝜓: ℤ → 𝐺 By 𝜓(𝑛) = 𝑎𝑛
𝝍 𝒊𝒔 𝒘𝒆𝒍𝒍 − 𝒅𝒆𝒇𝒊𝒏𝒆
n1 = n2
𝑎 n1 = 𝑎 n2
𝜓(n1 ) = 𝜓(n2 )
𝝍 𝒊𝒔 𝒐𝒏𝒆 𝒐𝒏𝒆
𝜓(n1 ) = 𝜓(n2 )
𝑎 n1 = 𝑎 n2
⇒n1 = n2
𝝍 𝒊𝒔 𝒐𝒏𝒕𝒐
∀ 𝑎𝑛 ∈ 𝐺 ∃ 𝑛 ∈ ℤ 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡
𝝍 𝒊𝒔 𝑯𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
𝜓(n1 + n2 ) = 𝑎 n1 +n2
= 𝑎 n1 𝑎 n2
= 𝜓(n1 )𝜓(n2 )
⟹ 𝝍 𝒊𝒔 𝒊𝒔𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
⟹ G≅ ℤ
QUESTION
𝑆𝑂𝐿𝑈𝑇𝐼𝑂𝑁
Since 𝑥𝑦 = 1
𝑥𝑦𝑦 −1 = 1𝑦 −1 ∴𝑦𝑦 −1 = 1
⇒ 𝑥 = 𝑦 −1 − − − − − − − − − − − − − − − − − − − − − − − (𝑖)
Now 𝑦 2 = 𝑥𝑦
𝑦. 𝑦 = 𝑥𝑦
𝑦 = 𝑥 − − − − − − − − − − − − − − − − − − − − (𝑖𝑖)
Now we take
𝑥 3 = 𝑦 2 𝑢𝑠𝑖𝑛𝑔 (𝑖𝑖)
𝑥3 = 𝑥2
⇒𝑥 2 𝑥 = 𝑥 2 1
⇒𝑥 = 1 then by (ii) 𝑦 = 1
𝑸𝑼𝑬𝑺𝑻𝑰𝑶𝑵
COMPLEX IN GROUP
XY=YX
EXAMPLE 1 − 𝐷3 = {𝑒, 𝑎, 𝑎2 , 𝑏, 𝑎𝑏, 𝑎2 𝑏} E a3=e, b2=e, (ab)2=e
1) 𝑋 = {𝑎, 𝑏} 𝑌 = {𝑎2 , 𝑎2 𝑏}
1) 𝑋 = {𝑒, 𝑎} 𝑌 = {𝑎2 , 𝑎3 }
2) 𝑋 = {𝑎, 𝑏} 𝑌 = {𝑎𝑏, 𝑎2 𝑏}
THEOREM
Let 𝑎𝑏−1 ∈ 𝐻𝐻 −1
So 𝐻𝐻 −1 ⊆ 𝐻
𝑎, 𝑏 ∈ 𝐻
𝑎𝑏−1 ∈ 𝐻𝐻−1
And 𝐻𝐻−1 ⊆ 𝐻
⇒ 𝑎𝑏 −1 ∈ 𝐻
Hence H is subgroup of G.
THEOREM
𝑥 ∈ 𝐻𝐾 ⇒ 𝑥 = ℎ𝑘 𝑤ℎ𝑒𝑟𝑒 ℎ ∈ 𝐻 & 𝑘 ∈ 𝐾
Since HK is Subgroup of G so 𝑥 −1 ∈ 𝐻𝐾
⇒ 𝐻𝐾 ⊆ 𝐾𝐻 ----(i)
⇒ 𝑦 ∈ 𝐻𝐾
⇒ 𝐾𝐻 ⊆ 𝐻𝐾 ----(ii)
⇒ 𝐻𝐾 = 𝐾𝐻
HK=KH
𝑙𝑒𝑡 𝑥, 𝑦 ∈ 𝐻𝐾
Now
𝑥𝑦 −1 = ℎ1 𝑘3 ℎ2−1 = ℎ1 h” k”∈HK
⇒ 𝑥𝑦 −1 ∈HK
Hence HK is subgroup of G.
NORMALIZER
(i) 𝑿 = {𝒂, 𝒃}
𝑒 ∈ 𝐷3
𝑒𝑋 = {𝑎, 𝑏} 𝑋𝑒 = {𝑎, 𝑏} 𝑒𝑋 = 𝑋𝑒
𝑎 ∈ 𝐷3
𝑎𝑏𝑋 = 𝑎𝑏{𝑎, 𝑏} = {𝑎𝑏𝑎, 𝑎𝑏2 } 𝑋𝑎𝑏 = {𝑎, 𝑏}𝑎𝑏 = {𝑎2 𝑏, 𝑏𝑎𝑏} = {𝑎2 𝑏, 𝑎2 } 𝑎𝑏𝑋
= {𝑏, 𝑎} ≠ 𝑋𝑎𝑏
𝑎2 𝑏 ∈ 𝐷3
𝑎2 𝑏𝑋 = 𝑋𝑎2 𝑏 =
N𝐷3 (X) = {𝑒}
(ii) 𝑯 = {𝒆, 𝒂, 𝒂𝟐 }
𝑒 ∈ 𝐷3
𝑒𝐻 = {𝒆, 𝒂, 𝒂𝟐 } 𝐻𝑒 = {𝒆, 𝒂, 𝒂𝟐 } 𝑒𝐻 = 𝐻𝑒
𝑎 ∈ 𝐷3
𝑎2 𝐻 = 𝑎 𝐻𝑎2 = 𝑎2 𝐻 = 𝐻𝑎2
𝑏 ∈ 𝐷3
𝑎2 𝑏𝐻 = 𝐻𝑎2 𝑏 = 𝑎2 𝑏𝐻 = 𝐻𝑎2 𝑏
MCQ: the subset H={𝒆, 𝒂, 𝒂𝟐 } of dihedral group of order 6 𝑫𝟑 . Then 𝑵𝑫𝟑 (𝑯) =___
MCQ: the subset H={𝒆, 𝒃} of dihedral group of order 6 𝑫𝟑 . Then 𝑵𝑫𝟑 (𝑯) =___
THEOREM
Then 𝑎𝑋 = 𝑋𝑎 𝑎𝑛𝑑 𝑏𝑋 = 𝑋𝑏
Then 𝑋𝑏 −1 = 𝑏 −1 𝑋
So 𝑎𝑏 −1 ∈ N𝐺 (X)
Home Work
CENTRALIZER
𝑖. 𝑒 CG (X) = {g ∈ G ∶ gx = xg ∀ x ∈ X}
(i) 𝑋 = {𝑎, 𝑏}
(i) 𝑋 = {𝑎, 𝑏}
(i) 𝑯 = {𝒆, 𝒂, 𝒂𝟐 } 𝒊𝒏 𝑫𝟑
Home Work
THEOREM
Then 𝑎𝑥 = 𝑥𝑎 𝑎𝑛𝑑 𝑏𝑥 = 𝑥𝑏 ∀ x ∈ X
Then 𝑥𝑏 −1 = 𝑏 −1 𝑥
So 𝑎𝑏 −1 ∈ C𝐺 (X)
MCQ: Let G be a group and X be any complex of G then which of the following
is true
CENTRE OF GROUP
The set of those element of G which commute all element of G .We can say that
centralizer of G in G is called center of G
𝑎 ∈ 𝐷3 𝑎𝑒 = 𝑒𝑎, 𝑎. 𝑎2 = 𝑎2 . 𝑎, 𝑎𝑏 ≠ 𝑏𝑎 = 𝑎2 𝑏
𝑎2 ∈ 𝐷3 𝑎2 𝑒 = 𝑒𝑎2 , 𝑎. 𝑎2 = 𝑎2 . 𝑎, 𝑎2 𝑏 ≠ 𝑏𝑎2 = 𝑎𝑏
𝑏 ∈ 𝐷3 𝑏𝑎 ≠ 𝑎𝑏
𝑎2 𝑏 ∈ 𝐷3 𝑎2 𝑏. 𝑎 = 𝑎𝑏&𝑎. 𝑎2 𝑏 = 𝑏 so 𝑎2 𝑏. 𝑎 ≠ 𝑎. 𝑎2 𝑏
𝑎 ∈ 𝐷4 𝑎𝑏 ≠ 𝑏𝑎 = 𝑎3 𝑏
𝑎2 ∈ 𝐷4 𝑎2 . 𝑎 = 𝑎. 𝑎2 , 𝑎2 . 𝑎3 = 𝑎3 . 𝑎2 , 𝑎2 𝑏 = 𝑏𝑎2 ,
𝑎2 . 𝑎𝑏 = 𝑎3 𝑏, 𝑎𝑏. 𝑎2 = 𝑎3 𝑏 so 𝑎2 . 𝑎𝑏 = 𝑎𝑏. 𝑎2
Also 𝑎2 . 𝑎2 𝑏 = 𝑎2 𝑏. 𝑎2 and 𝑎2 . 𝑎3 𝑏 = 𝑎3 𝑏. 𝑎2
Z(D4 ) = {e, a2 }
Generally
{𝒆} 𝒏 𝒊𝒔 𝒐𝒅𝒅
𝒁(𝑫𝒏 ) = { 𝒏
{𝒆, 𝒂 }𝟐 𝒏 𝒊𝒔 𝒆𝒗𝒆𝒏
THEOREM
PROOFSince 𝒁(𝑮) = {𝒈 ∈ 𝑮 ∶ 𝒈𝒂 = 𝒂𝒈 ∀𝒂 ∈ 𝑮}
Let 𝒙, 𝒚 ∈ 𝒁(𝑮) then 𝒙𝒂 = 𝒂𝒙 𝒂𝒏𝒅 𝒚𝒂 = 𝒂𝒚 ∀𝒂 ∈ 𝑮
⇒ 𝒁(𝑮)𝒊𝒔 𝒔𝒖𝒃𝒈𝒓𝒐𝒖𝒑 𝒐𝒇 𝑮.
Let G be a group and let 𝑎 ∈ 𝐺 then the element 𝑏 = 𝑔𝑎𝑔−1 for 𝑔 ∈ 𝐺is
called conjugate element of group G
Conjugate element of 𝑖
Conjugate element of e
𝑔e𝑔−1 = 𝑔𝑔−1 = 𝑒 ∀ 𝑔 ∈ 𝐷3
𝐶𝑒 = {𝑒}
Conjugate element of 𝑎 ∈ 𝐷3
𝑔𝑎𝑔−1
𝑒𝑎𝑒 −1 = 𝑒𝑎𝑒 = 𝑎
𝑎𝑎𝑎−1 = 𝑎𝑎𝑎2 = 𝑎𝑎3 = 𝑎. 𝑒 = 𝑎
𝑎2 𝑎(𝑎2 )−1 = 𝑎2 𝑎𝑎 = 𝑎
𝑏𝑎𝑏 −1 = 𝑏𝑎𝑏 = 𝑎2 𝑏𝑏 = 𝑎2
𝐶𝑎 = {𝑎, 𝑎2 }
QUESTION:
OR
SOLUTION
Suppose that |𝑎| = 𝑛 &|𝑔𝑎𝑔−1 | = 𝑚
Consider
𝑎𝑚 = 𝑔−1 𝑒𝑔 = 𝑔−1 𝑔 = 𝑒
S0 𝑛 ≤ 𝑚---(1)
Now Consider
(𝑔𝑎𝑔−1 )𝑛 = 𝑔𝑒𝑔−1 = 𝑒
𝑆𝑖𝑛𝑐𝑒 |𝑔𝑎𝑔−1 | = 𝑚
So 𝑚 ≤ 𝑛------(2)
SELF-CONJUGATE ELEMENT
Remark
1) if 𝑎 ∈ 𝐺 is self-conjugate element then Ca = {a}
2) Identity element of a group G is self-conjugate element 𝑖. 𝑒 Ce = {e}
3) If G is abelian then every element of a group G is self-conjugate element
that is Ca = {a} ∀ 𝑎 ∈ 𝐺
4) 𝑎 ∈ 𝑍(𝐺 ) 𝑖𝑓𝑓 𝑎 𝑖𝑠 𝑠𝑒𝑙𝑓 − 𝑐𝑜𝑛𝑗𝑢𝑔𝑎𝑡𝑒 𝑒𝑙𝑒𝑚𝑒𝑛𝑡
𝑔e𝑔−1 = 𝑔𝑔−1 = 𝑒 ∀ 𝑔 ∈ 𝐷4
Conjugate element of 𝑎 ∈ 𝐷4
𝑔𝑎𝑔−1
𝑒𝑎𝑒 −1 = 𝑎
𝑎𝑎𝑎−1 = 𝑎𝑎𝑎3 = 𝑎
𝑎3 𝑎(𝑎3 )−1 = 𝑎3 𝑎𝑎 = 𝑎
𝑏𝑎𝑏−1 = 𝑏𝑎𝑏 = 𝑎3 𝑏𝑏 = 𝑎3
Conjugate element of 𝑎2 ∈ 𝐷4
𝑔𝑎2 𝑔−1
𝑒𝑎2 𝑒 −1 = 𝑎2
𝑎2 𝑎2 (𝑎2 )−1 = 𝑎2 𝑎2 𝑎2 = 𝑎2
𝑎3 𝑎2 (𝑎3 )−1 = 𝑎3 𝑎2 𝑎 = 𝑎2
𝑏𝑎2 𝑏 −1 = 𝑏𝑎2 𝑏 = 𝑎2 𝑏𝑏 = 𝑎2
Conjugate element of 𝑎3 ∈ 𝐷4
𝐶𝑎3 = {𝑎, 𝑎3 }
Conjugate element of 𝑏 ∈ 𝐷4
Conjugate element of 𝑎𝑏 ∈ 𝐷4
Conjugate element of 𝑎2 𝑏 ∈ 𝐷4
Conjugate element of 𝑎3 𝑏 ∈ 𝐷4
𝐶6 = {𝑒, 𝑎, 𝑎2 , 𝑎3 , 𝑎4 , 𝑎5 }𝑎𝑛𝑑 𝑎6 = 𝑒
THEOREM
i) Reflexive
We know that every element of group is must be conjugate element of
itself
𝑔𝑎𝑔−1 = 𝑎 𝑓𝑜𝑟 𝑎𝑛𝑦 𝑎 ∈ 𝐺 𝑎𝑅𝑎 ∀ 𝑎 ∈ 𝐺
ii) Symmetric
It’s mean
𝐶𝑒 ⋃𝐶𝑎 ⋃𝐶𝑏 = 𝐷3
𝐴 = {1,2,3,4} ⇒ |𝐴| = 4
𝐵 = {5,6,7,8,9} ⇒ |𝐵| = 5
𝐴 = {1,2,3,4,5,6} ⇒ |𝐴| = 6
𝐵 = {5,6,7,8,9} ⇒ |𝐵| = 5
A⋂B={5,6}⇒ |A⋂B| = 2
So
|A⋃B|=|A|+|B|-|A⋂B|=6+5-2=9
𝐶𝑎2 = {𝑎2 }
𝐶𝑏 = {𝑏, 𝑎2 𝑏}
𝐶𝑎𝑏 = {𝑎𝑏, 𝑎3 𝑏}
𝑛 𝑛 𝑛−2
IF n is even |𝐷𝑛 | = 1 + 1 + 2 + 2 + (2 + 2+. . +2) [ 𝑡𝑖𝑚𝑒 ]
2
4 4
|𝐷4 | = 1 + 1 + + + 2 = 1 + 1 + 2 + 2 + 2
2 2
MCQ: the class equation of 𝐷6 𝑖𝑠
MCQ: let G be a group of order “n” and there are 10 self-conjugate element in G then
|𝑍(𝐺 )| =____
MCQ: let the groups G and G’ have same class equation the which one is true
(e) none
(a). 𝑉4 &𝐶4 (b) 𝐷3 &𝐶6 (c) 𝑄8 𝑎𝑛𝑑 𝐷4 (d) (a) & (b) (e) (a) & (c)
MCQ: which of the following group have same class equation but not isomorphic to each
other
(a). 𝑉4 &𝐶4 (b) 𝐷3 &𝐶6 (c) 𝑄8 𝑎𝑛𝑑 𝐷4 (d) (a) & (b) (e) (a) & (c)
MCQ: which of the following group have same class equation but isomorphic to each
other
(a). 𝑍4 & 𝐶4 (b) 𝐷3 & 𝐶6 (c) 𝑄8 𝑎𝑛𝑑 𝐷4 (d) (a) & (b) (e) (a) & (c)
Home work
CONJUGACY CLASS
CLASS EQUATION
For example.
Since all the classes are totally disjoint then by inclusion and exclusion principal
ℤ8 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅} is a abelian group so
𝐂0̅ = {0̅}, 𝐂1̅ = {1̅}, 𝐂2̅ = {2̅}, 𝐂3̅ = {3̅}, 𝐂4̅ = {4̅}, 𝐂5 = {5̅}
Since all the classes are totally disjoint then by inclusion and exclusion principal
THEOREM
→ Conjugacy class
→ Normalizer of an element
In 𝐷4
𝑪𝒂 = {𝒂, 𝒂𝟑 }
𝒏𝒐𝒘 𝒆𝒂 = 𝒂𝒆, 𝒂. 𝒂 = 𝒂. 𝒂, 𝒂𝟐 . 𝒂 = 𝒂. 𝒂𝟐 , 𝒂𝟑 . 𝒂 = 𝒂. 𝒂𝟑 ,
𝒃𝒂 ≠ 𝒂𝒃,
𝒂𝟐 𝒃. 𝒂 = 𝒂𝒃, 𝒂. 𝒂𝟐 𝒃 = 𝒂𝟑 𝒃 ⇒ 𝒂𝟐 𝒃. 𝒂 ≠ 𝒂. 𝒂𝟐 𝒃
𝒂𝟑 𝒃. 𝒂 ≠ 𝒂. 𝒂𝟑 𝒃
Now we denote 𝑵𝐷4 (𝒂) = 𝑵 and we find its distinct left (right) coset
𝒆𝑵 = {𝒆, 𝒂, 𝒂𝟐 , 𝒂𝟑 } = 𝑵
𝒂𝑵 = {𝒂, 𝒂𝟐 , 𝒂𝟑 , 𝒆} = 𝑵
𝒂𝟐 𝑵 = {𝒂, 𝒂𝟐 , 𝒂𝟑 , 𝒆} = 𝑵
𝒂𝟑 𝑵 = {𝒂, 𝒂𝟐 , 𝒂𝟑 , 𝒆} = 𝑵
𝒃𝑵 = {𝒃, 𝒂𝟑 𝒃, 𝒂𝟐 𝒃, 𝒂𝒃}
𝒂𝟐 𝒃𝑵 = {𝒃, 𝒂𝟑 𝒃, 𝒂𝟐 𝒃, 𝒂𝒃}
𝒂𝟑 𝒃𝑵 = {𝒃, 𝒂𝟑 𝒃, 𝒂𝟐 𝒃, 𝒂𝒃}
So index of N in 𝐷4 is equal to 2
|𝑪𝒂 | = |𝑨|
2- In 𝐷4
𝑪𝒃 =
3- In 𝑄8
𝑪𝒊 =
PROOF
Let Ω be the collection of all distinct left cosets of 𝑵𝐺 (𝒂) = 𝑵 for 𝒂 ∈ 𝑮
𝜴 = {𝒈𝑵 ∶ 𝒈 ∈ 𝑮}
And
𝑪𝒂 = {𝒈𝒂𝒈−𝟏 : 𝒈 ∈ 𝑮}
Define a mapping
𝜑: 𝜴 → 𝑪𝒂 𝒃𝒚
𝜑(𝒈𝑵) = 𝒈𝒂𝒈−𝟏
→𝜑 𝑖𝑠 𝑤𝑒𝑙𝑙 − 𝑑𝑒𝑓𝑖𝑛𝑒
Consider
𝒈𝟏 𝑵 = 𝒈𝟐 𝑵 𝒈𝟏 , 𝒈𝟐 ∈ 𝑮
⇒ 𝑵 = 𝒈−𝟏
𝟏 𝒈𝟐 𝑵
⇒ 𝒈−𝟏
𝟏 𝒈𝟐 ∈ 𝑵
⇒ 𝒈−𝟏 −𝟏
𝟏 𝒈𝟐 𝒂 = 𝒂𝒈𝟏 𝒈𝟐
⇒ 𝒈𝟐 𝒂𝒈−𝟏 −𝟏
𝟐 = 𝒈𝟏 𝒂𝒈𝟏
⇒ 𝜑(𝒈𝟐 𝑵) = 𝜑(𝒈𝟏 𝑵)
→𝜑 𝑖𝑠 𝑜𝑛𝑒 𝑜𝑛𝑒
Consider
⇒ 𝒈𝟐 𝒂𝒈−𝟏 −𝟏
𝟐 = 𝒈𝟏 𝒂𝒈𝟏
⇒ 𝒈−𝟏 −𝟏
𝟏 𝒈𝟐 𝒂 = 𝒂𝒈𝟏 𝒈𝟐
⇒ 𝒈−𝟏
𝟏 𝒈𝟐 ∈ 𝑵
⇒ 𝒈−𝟏
𝟏 𝒈𝟐 𝑵 = 𝑵
⇒ 𝒈𝟐 𝑵 = 𝒈𝟏 𝑵
→𝜑 𝑖𝑠 𝑜𝑛𝑡𝑜
𝜑(𝒈𝑵) = 𝒈𝒂𝒈−𝟏
⇒ 𝜑 𝑖𝑠 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣𝑒
Hence
|𝑪𝒂 | = |𝜴 |
⇒ |𝑪𝒂 | = |𝑮: 𝑵|
COROLLARY:
PROOF:
Let G be a group and 𝑎 ∈ 𝐺 then
COROLLARY:
𝑪𝒂 = {𝒈𝒂𝒈−𝟏 : 𝒈 ∈ 𝑮}
And
𝑵𝐺 (𝒂) = {𝒈 ∈ 𝑮 ; 𝒈𝒂 = 𝒂𝒈}
Since
If
⇔ |𝑪𝒂 | 𝒊𝒔 𝒇𝒊𝒏𝒊𝒕𝒆
CONJUGATE SUBGROUPS
A subgroup is
𝑔𝐻𝑔−1
2- 𝐾 = {𝑒, 𝑎, 𝑎2 }
𝑒𝐾𝑒 −1 = 𝐾
𝑎2 𝐾(𝑎2 )−1
𝑏𝐾𝑏 −1
𝑎𝑏𝐾(𝑎𝑏)−1
𝑎2 𝑏𝐾(𝑎2 𝑏)−1
REMARK:
Now
𝑥𝑦 −1 = 𝑔ℎ3 𝑔−1 ∈ 𝐻
⇒ 𝑥𝑦 −1 ∈ 𝐾
𝑔𝐻𝑔−1 = 𝐻 ∀ 𝑔 ∈ 𝐺
⇒ 𝑔𝐻 = 𝐻𝑔 ∀ 𝑔 ∈ 𝐺
SOL: 1) 𝑔𝐻𝑔−1
1𝐻1−1 = 𝐻
(−1)𝐻(−1) −1 = 𝐻
Here 𝑔𝐻𝑔−1 = 𝐻 ∀𝑔 ∈ 𝑄8
1𝐻1−1 = 𝐻
(−1)𝐻(−1) −1 = 𝐻
𝑗𝑖𝑗 = 𝑗𝑘 = 𝑖
(−𝑗)𝐻(−𝑗) −1 = −𝑗{1, −1, 𝑖, −𝑖 }(𝑗) = {−𝑗 2 , 𝑗 2 , 𝑗𝑖𝑗, 𝑗𝑖𝑗} = {1, −1, 𝑖, −𝑖} = 𝐻
(𝑘)𝐻(𝑘) −1 = 𝑘{1, −1, 𝑖, −𝑖 }(−𝑘) = {−𝑘 2 , 𝑘 2 , −𝑘𝑖𝑘, 𝑘𝑖𝑘 } = {1, −1, −𝑖, 𝑖} = 𝐻
𝑘𝑖𝑘 = 𝑗𝑘 = 𝑖
(−𝑘)𝐻(−𝑘) −1 = −𝑘{1, −1, 𝑖, −𝑖 }(𝑘) = {−𝑘 2 , 𝑘 2 , −𝑘𝑖𝑘, 𝑘𝑖𝑘 } = {1, −1, −𝑖, 𝑖} = 𝐻
Here 𝑔𝐻𝑔−1 = 𝐻 ∀𝑔 ∈ 𝑄8
(a). 𝒏𝒐𝒓𝒎𝒂𝒍 (b) 𝒎𝒂𝒚 𝒃𝒆 𝒏𝒐𝒓𝒎𝒂𝒍 (c) 𝒏𝒐𝒏 − 𝒂𝒃𝒆𝒍𝒊𝒂𝒏 (d) none
THEOREM:
Define a mapping
𝜑: 𝐻 → 𝐾 𝑏𝑦 𝜑(ℎ) = 𝑔ℎ𝑔−1
𝜑 𝑖𝑠 𝑤𝑒𝑙𝑙 − 𝑑𝑒𝑓𝑖𝑛𝑒
ℎ1 = ℎ2
⇒ 𝜑(ℎ1 ) = 𝜑(ℎ2 )
𝜑 𝑖𝑠 𝑜𝑛𝑒 − 𝑜𝑛𝑒
𝜑(ℎ1 ) = 𝜑(ℎ2 )
⇒ ℎ1 = ℎ2
𝜑 𝑖𝑠 𝑜𝑛𝑡𝑜
𝜑(ℎ) = 𝑔ℎ𝑔−1
⇒ 𝜑 𝑖𝑠 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣𝑒
THEOREM:
Define a mapping
𝜑: 𝐻 → 𝐾 𝑏𝑦 𝜑(ℎ) = 𝑔ℎ𝑔−1
𝝋 𝒊𝒔 𝒘𝒆𝒍𝒍 − 𝒅𝒆𝒇𝒊𝒏𝒆
ℎ1 = ℎ2
⇒ 𝜑(ℎ1 ) = 𝜑(ℎ2 )
𝝋 𝒊𝒔 𝒐𝒏𝒆 − 𝒐𝒏𝒆
𝜑(ℎ1 ) = 𝜑(ℎ2 )
⇒ ℎ1 = ℎ2
𝜑(ℎ) = 𝑔ℎ𝑔−1
⇒ 𝝋 𝒊𝒔 𝒃𝒊𝒋𝒆𝒄𝒕𝒊𝒗𝒆
𝝋 𝒊𝒔 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
Consider
(a). 𝒏𝒐𝒓𝒎𝒂𝒍 (b) 𝒊𝒔𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒄 (c) 𝒆𝒒𝒖𝒊𝒗𝒂𝒍𝒆𝒏𝒕 (d) (b) & (c)
THEOREM
𝐻 = {𝑒, 𝑏}
𝑁𝐺 (𝐻) = {𝑔 ∈ 𝐷3 ∶ 𝑔𝐻 = 𝐻𝑔}
𝑒𝐻 = 𝐻𝑒
𝑎2 𝐻 ≠ 𝐻𝑎2
𝑏𝐻 = 𝐻𝑏
MUHAMMAD USMAN +92-311-6545143 91 | P a g e
𝐺𝑅𝑂𝑈𝑃 𝑇𝐻𝐸𝑂𝑅𝑌
𝑎𝑏𝐻 ≠ 𝐻𝑎𝑏
𝑎2 𝑏𝐻 ≠ 𝐻𝑎2 𝑏
2- 𝐷4 = {𝑒, 𝑎, 𝑎2 , 𝑎3 , 𝑏, 𝑎𝑏, 𝑎2 𝑏, 𝑎3 𝑏}
𝐻 = {𝑒, 𝑏}
i.e
𝐶𝐻 = {𝑔𝐻𝑔−1 ∶ 𝑔 ∈ 𝐺}
Also suppose that Ω be the collection of all distinct left coset of 𝑁 = 𝑁𝐺 (𝐻) = {𝑔 ∈
𝐺 ; 𝑔𝐻 = 𝐻𝑔} i.e
𝛺 = {𝑔𝑁 ∶ 𝑔 ∈ 𝐺}
Define a mapping
𝜑: 𝛺 → 𝐶𝐻 𝑏𝑦 𝜑(𝑔𝑁) = 𝑔𝐻𝑔−1
𝝋 𝒊𝒔 𝒘𝒆𝒍𝒍 − 𝒅𝒆𝒇𝒊𝒏𝒆
𝑔1 𝑁 = 𝑔2 𝑁
⇒ 𝑔2−1 𝑔1 𝑁 = 𝑁 ∴ 𝑎𝐻 = 𝐻 ⇔ 𝑎 ∈ 𝐻
⇒ 𝑔2−1 𝑔1 ∈ 𝑁
⇒ 𝑔2−1 𝑔1 𝐻 = 𝐻𝑔2−1 𝑔1
⇒ 𝑔1 𝐻𝑔1−1 = 𝑔2 𝐻𝑔2−1
⇒ 𝜑(𝑔1 𝑁) = 𝜑(𝑔2 𝑁)
𝝋 𝒊𝒔 𝒐𝒏𝒆 − 𝒐𝒏𝒆
𝜑(𝑔1 𝑁) = 𝜑(𝑔2 𝑁)
⇒ 𝑔1 𝐻𝑔1−1 = 𝑔2 𝐻𝑔2−1
⇒ 𝑔2−1 𝑔1 𝐻 = 𝐻𝑔2−1 𝑔1
⇒ 𝑔2−1 𝑔1 ∈ 𝑁
⇒ 𝑔1 𝑁 = 𝑔2 𝑁
𝝋 𝒊𝒔 𝒐𝒏𝒕𝒐
𝜑(𝑔𝑁) = 𝑔𝐻𝑔−1
⇒ 𝝋 𝒊𝒔 𝒃𝒊𝒋𝒆𝒄𝒕𝒊𝒗𝒆
Hence
|𝐶𝐻 | = |Ω|
Remark:
→every group must have two normal subgroups which are {e} and G itself. These are
trivial or improper normal subgroups
→ the normal subgroup of G other than {e} and G itself is proper normal subgroup
SIMPLE GROUP
Or
If a group have only two normal subgroup namely {e} and G itself is called
simple group
THEOREM
I) H is a normal subgroup of G
II) The normalizer of H in G is the whole group 𝑁𝐺 (𝐻 ) = 𝐺
III) Any left coset of H is equal to the right coset
𝑔𝐻𝑔−1 = 𝐻 ∀ 𝑔 ∈ 𝐺
⇒ 𝑔𝐻 = 𝐻𝑔 ∀ 𝑔 ∈ 𝐺
⇒ 𝑔 ∈ 𝑁𝐺 (𝐻) ∀ 𝑔 ∈ 𝐺
⇒ 𝐺 ⊆ 𝑁𝐺 (𝐻) − − − (2)
𝑁𝐺 (𝐻) = 𝐺
(ii) →(iii)
We have to show that any two left or wright cosets are equal
So 𝑔𝐻 = 𝐻𝑔 ∀ 𝑔 ∈ 𝐺
Hence right coset equal to left coset
(iii) →(iv) suppose that Any left coset of H is equal to the right coset
𝑔ℎ = ℎ′𝑔
⇒ 𝑔ℎ𝑔−1 = ℎ′ ∈ 𝐻
𝑔𝐻𝑔−1 = {𝑔ℎ𝑔−1 ∶ ℎ ∈ 𝐻}
For any ℎ ∈ 𝐻
⇒ ℎ = 𝑔−1 𝑔ℎ𝑔−1 𝑔
⇒ ℎ ∈ 𝑔𝐻𝑔−1
⇒ 𝐻 ⊆ 𝑔𝐻𝑔−1 − − − −(3)
𝑔ℎ𝑔−1 ∈ 𝐻
⇒𝑎∈𝐻
⇒ 𝑔𝐻𝑔−1 ⊆ 𝐻 − − − (4)
⇒ 𝑔𝐻𝑔−1 = 𝐻 ∀𝑔 ∈ 𝐺
𝑻𝑯𝑬𝑶𝑹𝑬𝑴
⋂ 𝐻𝛼 𝑖𝑠 𝑎𝑙𝑠𝑜 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝
𝛼∈𝐼
𝒍𝒆𝒕 𝒙 ∈ ⋂ 𝐻𝛼
𝛼∈𝐼
⇒ 𝒙 ∈ 𝐻𝛼 ∀ 𝛼 ∈ 𝐼
𝒈𝒙𝒈−𝟏 ∈ 𝐻𝛼 ∀ 𝛼 ∈ 𝐼
⇒ 𝒈𝒙𝒈−𝟏 ∈ ⋂ 𝐻𝛼
𝛼∈𝐼
𝑻𝑯𝑬𝑶𝑹𝑬𝑴
PROOF
Let H be a subgroup of G with index 2
⇒ 𝑔𝐻 = 𝐻𝑔
⇒ 𝑔𝐻𝑔−1 = 𝐻
⇒ H is normal subgroup of G
𝐸𝑋𝐴𝑀𝑃𝐿𝐸
𝐷3 = {𝑒, 𝑎, 𝑎2 , 𝑏, 𝑎𝑏, 𝑎2 𝑏}
MCQ: let G be a group of order n and H is normal subgroup is its order equal to
____
𝒏
(a). 𝟐 (b) (c) 𝒏 − 𝟏 (d) none
𝟐
𝐻 = {1, −1}𝐻1 = {1. −1. 𝑖. −𝑖 } , 𝐻2 = {1. −1. 𝑗. −𝑗}, 𝐻3 = {1. −1. 𝑘. −𝑘}
Which are 𝐻1 = {1. −1. 𝑖. −𝑖 } , 𝐻2 = {1. −1. 𝑗. −𝑗}, 𝐻3 = {1. −1. 𝑘. −𝑘}
All have index 2 so by above theorem these all are normal subgroup of 𝑄8
𝑔𝐻𝑔−1
1𝐻1−1 = 𝐻
(𝑗)𝐻(𝑗)−1 = 𝐻
(𝑘)𝐻(𝑘)−1 = 𝐻
(−𝑘)𝐻 (−𝑘)−1 = 𝐻
QUESTION
6
𝐻𝑒𝑟𝑒 𝐻1 = {𝑒, 𝑎, 𝑎2 } 𝑜𝑓 𝑜𝑟𝑑𝑒𝑟 3 𝑎𝑛𝑑 |𝐷3 | = 6 ⇒ 𝑖𝑛𝑑𝑒𝑥 = =2
3
A subgroup with index 2 is normal so 𝐻1 𝑖𝑠 𝑛𝑜𝑟𝑚𝑎𝑙 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝 𝑜𝑓 𝐺
𝑒𝐻2 𝑒 −1 = 𝐻2
Here
𝐻2 , 𝐻3 𝑎𝑛𝑑 𝐻4 𝑐𝑜𝑛𝑗𝑢𝑔𝑎𝑡𝑒 𝑠𝑢𝑛𝑔𝑟𝑜𝑢𝑝 𝑜𝑓 𝑒𝑎𝑐ℎ 𝑜𝑡ℎ𝑒𝑟 𝑡ℎ𝑒𝑟𝑒 𝑎𝑟𝑒 𝑛𝑜𝑡 𝑛𝑜𝑟𝑎𝑙 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝𝑠
𝑔𝐻𝑔−1 = 𝐻
THEOREM:
𝑘 ∈ 𝐾 𝑎𝑛𝑑 𝑔 ∈ 𝐻 ⇒ 𝑔𝑘𝑔−1 ∈ 𝐾
Let ℎ𝑘 ∈ 𝐻𝐾
So HK is normal subgroup of G
THEOREM:
𝐴𝑛𝑑 ∀ ℎ ∈ 𝐻 ⇒ ℎ𝐻 = 𝐻 = 𝐻ℎ
⇒ ℎ ∈ 𝑁𝐺 (𝐻)
⇒ 𝐻 ⊆ 𝑁𝐺 (𝐻)
⇒ 𝐻 𝑖𝑠 𝑎 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝 𝑜𝑓 𝑁𝐺 (𝐻)
⇒ 𝑎𝐻 = 𝐻𝑎
THEOREM:
Say
𝒈−𝟏 𝒉𝒈 = 𝒉′
Now let
𝑥 ∈ 𝑪𝑮 (𝑯) 𝒂𝒏𝒅 𝒈 ∈ 𝑮
⇒ ℎ(𝑔𝑥𝑔−1 ) = (𝑔𝑥𝑔−1 )ℎ
⇒ 𝑔𝑥𝑔−1 ∈ 𝑪𝑮 (𝑯)
𝒆. 𝒂 = 𝒂. 𝒆
𝑪𝑮 (𝑯) = {𝑒, 𝑎, 𝑎2 }
𝑪𝑮 (𝑯) △ 𝑮
QUESTION:
Find the order of all element of ℤ𝟔 . Also find all normal subgroup.
̅, 𝟏
SOLUTION: we know that ℤ𝟔 = {𝟎 ̅ ,𝟐
̅ ,𝟑 ̅ } is Abelian group w.r.t adition
̅ , ̅𝟒, 𝟓
̅| = 𝟏
Since order of identity element is 1. ⇒ |𝟎
̅) = 𝟔
Here 𝟔(𝟏 ̅=𝟎
̅ ⇒ |𝟏
̅| = 𝟔
3(2̅) = 𝟔
̅=𝟎
̅ ⇒ |𝟐
̅| = 𝟑
2(3̅) = 𝟔
̅=𝟎
̅ ⇒ |𝟑
̅| = 𝟐
3(4̅) = ̅̅̅̅ ̅ ⇒ |𝟒
𝟏𝟐 = 𝟎 ̅| = 𝟑
̅) = 𝟑𝟎
𝟔(𝟓 ̅̅̅̅ = 𝟎 ̅| = 𝟔
̅ ⇒ |𝟓
̅} 𝒂𝒏𝒅 ℤ𝟔
The trivial subgroups are {𝟎
̅| = 𝟔 so subgroup generated by 𝟏
̅| = 𝟔 and |𝟓
Since |𝟏 ̅ 𝒊𝒔 𝒊𝒕𝒔𝒆𝒍𝒇 ℤ𝟔
̅ 𝒂𝒏𝒅 𝟓
̅ ) , 𝟐( 𝟏
{1(𝟏 ̅ ) , 𝟑( 𝟏
̅ ) , 𝟒( 𝟏
̅ ) , 𝟓( 𝟏
̅ ) , 𝟔( 𝟏
̅)} = ℤ𝟔
̅), 𝟐(𝟓
{1(𝟓 ̅), 𝟑(𝟓
̅), 𝟒(𝟓 ̅), 𝟔(𝟓
̅), 𝟓(𝟓 ̅)} = {𝟓
̅, 𝟒
̅, 𝟑
̅, 𝟐
̅, 𝟏
̅, 𝟎
̅} = ℤ𝟔
̅| = 𝟑
Since |𝟐
̅ ) , 𝟐( 𝟐
So 𝑯𝟏 = {1(𝟐 ̅ ) , 𝟑( 𝟐
̅)} = {2̅, ̅4 , 0̅}
̅| = 𝟐 𝒔𝒐
Since |𝟑
̅ ) , 𝟐( 𝟒
So 𝑯𝟏 = {1(𝟒 ̅ ) , 𝟑( 𝟒
̅)} = {2̅, ̅4 , 0̅}
QUESTION 2: Find the order of all element of ℤ𝟖 . Also find all normal subgroup.
QUESTION 3: Find the order of all element of ℤ𝟕 . Also find all normal subgroup.
QUESTION 2: Find the order of all element of ℤ𝟗 . Also find all normal subgroup.
𝐺
= {𝑔𝐻 ∶ 𝑔 ∈ 𝐺 } ( 𝐺 𝑖𝑠 𝑔𝑟𝑜𝑢𝑝 𝑤 . 𝑟. 𝑡 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑡𝑖𝑜𝑛)
𝐻
Its addition and multiplication define as
𝐺
𝑔1 𝐻 , 𝑔2 𝐻 ∈
𝐻
𝑔1 𝐻 + 𝑔2 𝐻 = (𝑔1 + 𝑔2 )𝐻
𝑔1𝐻 𝑔2 𝐻 = 𝑔1 𝑔2 𝐻
𝐺
= {𝑔 + 𝐻 ∶ 𝑔 ∈ 𝐺 } ( 𝐺 𝑖𝑠 𝑔𝑟𝑜𝑢𝑝 𝑤 . 𝑟. 𝑡 𝑎𝑑𝑑𝑡𝑖𝑜𝑛)
𝐻
Its addition and multiplication define as
For example
𝑽𝟒 = {𝒆, 𝒂, 𝒃, 𝒂𝒃}
𝐻 = {𝑒, 𝑏}
𝑒𝐻 = 𝐻
𝑎𝐻 = {𝑎, 𝑎𝑏}
𝑏𝐻 = {𝑒, 𝑏} = 𝐻
𝑎𝑏𝐻 = {𝑎𝑏, 𝑎}
𝑉4
= {𝐻, 𝑎𝐻}
𝐻
THEOREM
𝑇𝑎𝑘𝑒 𝑎, 𝑏 ∈ 𝐾𝑒𝑟𝝋
Now
𝝋(𝒂𝒃−𝟏 ) = 𝝋(𝒂)𝝋(𝒃−𝟏 )
∴ 𝝋 𝒊𝒔 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
⇒ 𝝋(𝒂𝒃−𝟏 ) = 𝝋(𝒂)𝝋(𝒃)−𝟏
⇒ 𝝋(𝒂𝒃−𝟏 ) = 𝒆′ 𝒆′−𝟏 = 𝒆′
⇒ 𝝋(𝒂) = 𝒆′
Now
𝝋(𝒈𝒂𝒈−𝟏 ) = 𝝋(𝒈)𝝋(𝒂)𝝋(𝒈−𝟏 )
∴ 𝝋 𝒊𝒔 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
⇒ 𝝋(𝒈𝒂𝒈−𝟏 ) = 𝝋(𝒈)𝝋(𝒈)−𝟏 = 𝒆′
⇒ 𝝋(𝒈𝒂𝒈−𝟏 ) = 𝒆′
⇒ 𝒈𝒂𝒈−𝟏 ∈ 𝐾𝑒𝑟𝝋
PROOF
𝝋: 𝑮 → 𝑮′ be a onto
1- DO YOUR SELF
2- 1ST we take 𝑲𝒆𝒓𝝋 = 𝑲 ∀ 𝒈’ ∈ 𝑮’ ∃ 𝒈
𝑮 𝑮 ∈ 𝑮 𝒔𝒖𝒄𝒉 𝒕𝒉𝒂𝒕
= = {𝒈𝑲 ∶ 𝒈 ∈ 𝑮}
𝑲𝒆𝒓𝝋 𝑲 𝝋(𝒈) = 𝒈′
Define a mapping
𝑮
𝝍: → 𝑮′ 𝒃𝒚 𝝍(𝒈𝑲) = 𝒈′ = 𝝋(𝒈)
𝑲
Ψ is well-define
𝑔1 𝐾 = 𝑔2 𝐾
⇒ 𝑔2−1 𝑔1 𝐾 = 𝐾
⇒ 𝑔2−1 𝑔1 ∈ 𝐾
⇒ 𝜑(𝑔2−1 𝑔1 ) = 𝑒 ′
𝑤ℎ𝑒𝑟𝑒 𝑒 ′ 𝑖𝑠 𝑖𝑑𝑒𝑛𝑡𝑖𝑡𝑦 𝑜𝑓 𝐺′
⇒ 𝜑(𝑔2−1 )𝜑(𝑔1 ) = 𝑒 ′
⇒ 𝜑(𝑔1 ) = 𝜑(𝑔2 )
⇒ 𝜓(𝑔1 𝐾 ) = 𝜓(𝑔2 𝐾 )
Ψ is one-one
𝜓(𝑔1 𝐾 ) = 𝜓(𝑔2 𝐾 )
⇒ 𝜑(𝑔1 ) = 𝜑(𝑔2 )
⇒ 𝜑(𝑔2−1 )𝜑(𝑔1 ) = 𝑒 ′
∴ 𝜑 𝑖𝑠 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
⇒ 𝜑(𝑔2−1 𝑔1 ) = 𝑒 ′
⇒ 𝑔2−1 𝑔1 ∈ 𝐾
⇒ 𝑔2−1 𝑔1 𝐾 = 𝐾
⇒ 𝑔1 𝐾 = 𝑔2 𝐾
Ψ is onto
𝜓(𝑔𝐾 ) = 𝑔′ = 𝜑(𝑔)
Ψ is homomorphism
𝜓(𝑔1 𝐾𝑔2 𝐾 ) = 𝜓(𝑔1 𝑔2 𝐾 )
∴ 𝜑 𝑖𝑠 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
So 𝜓 𝑖𝑠 𝑖𝑠𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚 𝑚𝑎𝑝𝑝𝑖𝑛𝑔
𝐺
Hence 𝐾 ≅ 𝐺 ′ 𝑤ℎ𝑒𝑟𝑒 𝐾 = 𝐾𝑒𝑟𝜑
Example
𝜑(0) = 0̅ = 𝜑(6),0̅ = 6̅
𝜑(1) = 1̅ = 𝜑(7)
𝜑(2) = 2̅ = 𝜑(8)
𝜑(3) = 3̅ = 𝜑(9)
𝜑(4) = 4̅ = 𝜑(10)
𝜑(5) = 5̅ = 𝜑(611)
𝜑 𝑖𝑠 𝑤𝑒𝑙𝑙 − 𝑑𝑒𝑓𝑖𝑛𝑒
𝑛1 = 𝑛2
⇒ ̅̅̅
𝑛1 = ̅̅̅
𝑛2
⇒ 𝜑(𝑛1 ) = 𝜑(𝑛2 )
𝜑 𝑖𝑠 𝑜𝑛𝑒 − 𝑜𝑛𝑒
𝜑(𝑛1 ) = 𝜑(𝑛2 )
𝑛1 = ̅̅̅
̅̅̅ 𝑛2
⇏ 𝑛1 = 𝑛2
𝜑 𝑖𝑠 𝑜𝑛𝑡𝑜
𝜑 𝑖𝑠 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
𝜑(𝑛1 + 𝑛2 ) = ̅̅̅̅̅̅̅̅̅̅
𝑛1 + 𝑛2
𝜑(𝑛1 + 𝑛2 ) = ̅̅̅
𝑛1 + ̅̅̅
𝑛2
So 𝜑 𝑖𝑠 𝑜𝑛𝑡𝑜 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
ℤ
≅ ℤ6 − − − −(1)
𝐾𝑒𝑟𝜑
Now
ℤ
≅ ℤ6
6ℤ
Example
𝜑: ℤ → ℤ8 𝑏𝑦 𝜑(𝑛) = 𝑛̅
Example
𝜑: ℤ → ℤ11 𝑏𝑦 𝜑(𝑛) = 𝑛̅
𝐺
𝜑: 𝐺 → 𝐺 ′ 𝑜𝑛𝑡𝑜 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚 𝑡ℎ𝑒 ≅ 𝐺′
𝐾𝑒𝑟𝜑
𝑮 𝑮 𝐾
𝜑: → 𝒐𝒏𝒕𝒐 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎 𝐾𝑒𝑟𝜑 =
𝑯 𝑲 𝐻
𝑮 𝑮
𝑯 𝑮 𝑯 𝑮
≅ ⇒ 𝐾 ≅
𝐾𝑒𝑟𝜑 𝑲 𝑲
𝐻
𝜑 is well-define
𝑔1 𝐻 = 𝑔2 𝐻
⇒ 𝑔2−1 𝑔1 ∈ 𝐻
∴𝑯⊆𝑲
⇒ 𝑔2−1 𝑔1 ∈ 𝐾
⇒ 𝑔2−1 𝑔1 𝐾 = 𝐾
⇒ 𝑔1 𝐾 = 𝑔2 𝐾
⇒ 𝜑(𝑔1 𝐻) = 𝜑(𝑔2 𝐻)
𝜑 is onto
𝐺 𝐺
𝑓𝑜𝑟 𝑎𝑙𝑙 𝑔𝐾 ∈ 𝑡ℎ𝑒𝑟𝑒 𝑒𝑥𝑖𝑠𝑡 𝑔𝐻 ∈ 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 𝜑(𝑔𝐻) = 𝑔𝐾
𝐾 𝐻
𝜑 is homomorphism
𝜑(𝑔1 𝐻. 𝑔2 𝐻) = 𝜑(𝑔1 𝑔2 𝐻)
𝜑(𝑔1 𝐻. 𝑔2 𝐻) = 𝑔1 𝑔2 𝐾
𝐺
𝐾𝑒𝑟𝜑 = {𝑔𝐻 ∈ ; 𝜑(𝑔𝐻) = 𝐾}
𝐻
𝐺
𝐾𝑒𝑟𝜑 = {𝑔𝐻 ∈ ; 𝑔𝐾 = 𝐾}
𝐻
𝐾𝑒𝑟𝜑 = {𝑔𝐻 ; 𝑔 ∈ 𝐾 }
𝐾
𝐾𝑒𝑟𝜑 = {𝑔𝐻 ; 𝑔 ∈ 𝐾 } =
𝐻
𝑮
𝑯 𝑮
𝐾 ≅
𝑲
𝐻
𝑮
= {𝒆𝑯 𝒈𝟏 𝑯, 𝒈𝟐 𝑯, 𝒈𝟑 𝑯, , , . . , 𝒈𝒏 𝑯} = {𝒈𝑯 ∶ 𝒈 ∈ 𝑮}
𝑯
𝑮
= {𝒆𝑲 𝒈𝟏 𝑲, 𝒈𝟐 𝑲, 𝒈𝟑 𝑲, , , . . , 𝒈𝒏 𝑲}
𝑲
𝑲
= {𝒈𝑲 ∶ 𝒈 ∈ 𝑲}
𝑯
𝑥𝑦 −1 = ℎ1 𝑘3 ℎ2 −1 ∴ H is normal subgroup of G
For any ℎ3 ∈ 𝐻 𝑘3 ℎ2 −1 = ℎ3 𝑘3
𝑥𝑦 −1 = ℎ1 ℎ3 𝑘3 ℎ1 ℎ3 = ℎ3 ′
⇒ 𝐻𝐾 𝑖𝑠 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝 𝑜𝑓 𝐺
Here 𝑎 ∈ 𝐻 𝑘 ∈ 𝐾 ⊆ 𝐺 𝑠𝑜 𝑘 ∈ 𝐺
⇒ 𝑘𝑎𝑘 −1 ∈ 𝐻
𝑘𝑎𝑘 −1 ∈ 𝐾
⇒ 𝑘𝑎𝑘 −1 ∈ 𝐻⋂𝐾
𝐾 𝐻𝐾
≅
𝐻⋂𝐾 𝐻
𝐻𝐾
= {ℎ𝑘𝐻 ∶ ℎ𝑘 ∈ 𝐻𝐾}
𝐻
𝐻𝐾
= {𝑘ℎ′𝐻 ∶ ℎ ∈ 𝐻 𝑘 ∈ 𝐾}
𝐻
∴ ℎ′𝐻 = 𝐻
𝐻𝐾
= {𝑘𝐻 ∶ 𝑘 ∈ 𝐾}
𝐻
Define a mapping
𝐻𝐾
𝜑: 𝐾 → 𝑏𝑦 𝜑(𝑘) = 𝑘𝐻
𝐻
𝝋 is well-define
𝑘1 = 𝑘2
𝑘1 𝐻 = 𝑘2 𝐻
𝝋 is onto
𝐻𝐾
∀ 𝑘𝐻 ∈ ∃ 𝑘 ∈ 𝐾 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡
𝐻
𝜑(𝑘) = 𝑘𝐻
𝝋 is homomorphism
𝜑(𝑘1 𝑘2 ) = 𝑘1 𝑘2 𝐻
𝐾 𝐻𝐾
≅ (1 )
𝐾𝑒𝑟𝜑 𝐻
Now
𝐾𝑒𝑟𝜑 = {𝑘 ∈ 𝐾 ∶ 𝑘𝐻 = 𝐻}
𝐾𝑒𝑟𝜑 = {𝑘 ∈ 𝐾 ∶ 𝑘 ∈ 𝐻}
𝐾𝑒𝑟𝜑 = 𝐻 ∩ 𝐾
𝐾 𝐻𝐾
≅
𝐻∩𝐾 𝐻
𝐺
𝜑: 𝐺 → 𝐺 ′ 𝑜𝑛𝑡𝑜 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚 𝑡ℎ𝑒 ≅ 𝐺′
𝐾𝑒𝑟𝜑
𝑯𝑲
𝝋: 𝑲 → 𝒐𝒏𝒕𝒐 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎 𝐾𝑒𝑟𝜑 = 𝑯 ∩ 𝑲
𝑯
𝑲 𝑯𝑲 𝑲 𝑯𝑲
≅ ⇒ ≅
𝐾𝑒𝑟𝜑 𝑯 𝑯∩𝑲 𝑯
THEOREM
𝐺
Let G is Abelian group iff the factor group is cyclic. Where 𝑍(𝐺) is
𝑍(𝐺)
center of G.
PROOF:𝑍(𝐺 ) = {𝑔 ∈ 𝐺 ; 𝑔𝑎 = 𝑎𝑔 ∀ 𝑎 ∈ 𝐺}
Suppose that G is abelian then 𝑍(𝐺 ) = 𝐺 so
𝐺 𝐺
= = {𝑒𝐺 } 𝑤ℎ𝑖𝑐ℎ 𝑖𝑠 𝑡𝑟𝑖𝑣𝑖𝑎𝑙𝑦 𝑐𝑦𝑐𝑙𝑖𝑐.
𝑍 (𝐺 ) 𝐺
𝐺 = 𝑉4 = {𝑒, 𝑎, 𝑏, 𝑎𝑏}
𝐺
= {𝑔𝐺 ∶ 𝑔 ∈ 𝐺} = {𝑒𝐺 = 𝐺}
𝐺
Conversely,
𝐺
Suppose that 𝑍(𝐺) = {𝑔𝑍(𝐺 ): 𝑔 ∈ 𝐺 } is cyclic group
𝐺
Let 𝑎𝑍(𝐺) ∈ 𝑍(𝐺) is generator and 𝑎 ∈ 𝐺
𝐺
Now let 𝑥, 𝑦 ∈ 𝐺 then 𝑥𝑍(𝐺 )𝑎𝑛𝑑 𝑦𝑍(𝐺 ) ∈ 𝑍(𝐺) the
𝑛1 𝑛2
𝑥𝑍(𝐺 ) = (𝑎𝑍(𝐺)) & 𝑦𝑍(𝐺 ) = (𝑎𝑍(𝐺))
Then
Now
𝑥𝑦 = 𝑎𝑛1 𝑧 𝑎𝑛2 𝑧 ′
⇒ 𝑥𝑦 = 𝑎𝑛1 +𝑛2 𝑧𝑧 ′
⇒ 𝑥𝑦 = 𝑎𝑛2 +𝑛1 𝑧𝑧 ′
⇒ 𝑥𝑦 = 𝑎𝑛2 𝑧′𝑎𝑛1 𝑧
⇒ 𝑥𝑦 = 𝑦𝑥
Hence G is abelian
ENDOMORPHISM
AUTOMORPHISM
1̅ 1̅
̅, 𝟏
ℤ𝟔 = {𝟎 ̅, 𝟐
̅, 𝟑
̅, 𝟒 ̅} is group w.r.t +
̅, 𝟓
2̅ 2̅
Define 𝜶: ℤ𝟔 → ℤ𝟔 𝒃𝒚 𝜶(𝒏 ̅𝒏
̅) = 𝟓 ̅
3̅ 3̅
5̅ 5̅
𝛼(4̅) = 5̅4̅ = 2̅𝛼(5̅) = 5̅5̅ = 1̅
Clearly 𝛼 is bijective
𝛼 𝑖𝑠 𝑎𝑢𝑡𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
Define 𝛽: ℤ6 → ℤ6 𝑏𝑦 𝛽(𝑛̅) = 𝑛̅
𝛽 𝑖𝑠 𝑎𝑢𝑡𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚 .
Define a mapping 𝜶𝟏 : ℤ𝟔 → ℤ𝟔 𝒃𝒚 𝜶𝟏 (𝒏 ̅𝒏
̅) = 𝟒 ̅ is automorphism?
Example
̅
Define a mapping 𝝋: (ℂ, +) → (ℂ, +) 𝒃𝒚 𝝋(𝒁) = 𝒁
𝝋 is one-one
𝜑(𝑍1 ) = 𝜑(𝑍2 )
̅̅̅
𝑍1 = ̅̅̅
𝑍2
̅̅̅̅̅̅̅̅̅̅̅
𝑎1 + 𝑖𝑏1 = ̅̅̅̅̅̅̅̅̅̅̅
𝑎2 + 𝑖𝑏2
𝑎1 − 𝑖𝑏1 = 𝑎2 − 𝑖𝑏2
⇒ 𝑎1 + 𝑖𝑏1 = 𝑎2 + 𝑖𝑏2
⇒ 𝑍1 = 𝑍2
𝝋 is onto
𝜑 is homomorphism
𝜑(𝑍1 + 𝑍2 ) = ̅̅̅̅̅̅̅̅̅̅
𝑍1 + 𝑍2
⇒𝝋 is automorphism.
QUESTION:
i- Closure law
Let 𝛼1 , 𝛼2 ∈ 𝐴𝑢𝑡(𝐺 ) then
𝛼1 : 𝐺 → 𝐺 𝑎𝑢𝑡𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚 and 𝛼2 : 𝐺 → 𝐺 𝑎𝑢𝑡𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
Since
𝛼1 , 𝛼2 𝑎𝑟𝑒 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣𝑒 𝑚𝑎𝑝𝑝𝑖𝑛𝑔 . 𝑎𝑛𝑑 𝑝𝑟𝑜𝑑𝑢𝑐𝑡 𝑜𝑓 𝑡𝑤𝑜 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣𝑒 𝑚𝑎𝑝𝑝𝑖𝑛𝑔
Is always bijective
𝛼1 𝛼2 𝑖𝑠 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣𝑒
For 𝑔1 , 𝑔2 ∈ 𝐺
𝛼1 𝛼2 (𝑔1 𝑔2 ) = 𝛼1 (𝛼2 (𝑔1 )𝛼2 (𝑔2 ))∴𝛼2 𝑖𝑠 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
𝛼1 𝛼2 (𝑔1 𝑔2 ) = 𝛼1 (𝛼2 (𝑔1 ))𝛼1 (𝛼2 (𝑔2 ))∴𝛼1 𝑖𝑠 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
𝛼1 𝛼2 (𝑔1 𝑔2 ) = (𝛼1 𝛼2 (𝑔1 ))(𝛼1 𝛼2 (𝑔2 ))
𝛼1 𝛼2 𝑖𝑠 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚 .
⇒𝛼1 𝛼2 ∈ 𝐴𝑢𝑡(𝐺)
ii- ASSOCIATIVE LAW
For 𝛼1 , 𝛼2 , 𝛼3 ∈ 𝐴(𝐺)
We can easily check
𝛼1 ( 𝛼2 𝛼3 ) = (𝛼1 𝛼2 )𝛼3
(𝛼1 (𝛼2 𝛼3 ))(𝑔) = 𝛼1 (𝛼2 𝛼3 )(𝑔)
(𝛼1 (𝛼2 𝛼3 ))(𝑔) = 𝛼1 (𝛼2 (𝛼3 (𝑔)))
(𝛼1 (𝛼2 𝛼3 ))(𝑔) = 𝛼1 (𝛼2 𝛼3 (𝑔))
(𝛼1 (𝛼2 𝛼3 ))(𝑔) = 𝛼1 𝛼2 𝛼3 (𝑔 )
QUESTION:
Solution
1- 𝒇 is one-one
𝑓 (𝑥1 ) = 𝑓 (𝑥2 )
⇒ 𝑎𝑥1 𝑎−1 = 𝑎𝑥2 𝑎−1
𝑏𝑦 𝑢𝑠𝑖𝑛𝑔 𝑟𝑖𝑔ℎ𝑡 𝑎𝑛𝑑 𝑙𝑒𝑓𝑡 𝑐𝑎𝑛𝑐𝑒𝑙𝑎𝑡𝑖𝑜𝑛 𝑙𝑎𝑤
2- 𝒇 is onto
𝑓𝑜𝑟 𝑎𝑙𝑙 𝑎𝑥𝑎−1 ∈ 𝐺 𝑡ℎ𝑒𝑟𝑒 𝑒𝑥𝑖𝑠𝑡 𝑥 ∈ 𝐺 𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 𝑓 (𝑥) = 𝑎𝑥𝑎−1
3- 𝒇 is homomorphism
Hence 𝑓 is automorphism
𝑥 = 𝑎𝑛 𝑓𝑜𝑟 𝑎𝑛𝑦 𝑛 ∈ 𝑍
𝑓 (𝑎 𝑛 ) = 𝑎
∴ 𝑓 𝑖𝑠 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
[𝑓(𝑎)]𝑛 = 𝑎
[𝑎 𝑚 ]𝑛 = 𝑎
⇒ 𝑚𝑛 − 1 = 0
⇒ 𝑚𝑛 = 1
⇒ 𝑚 = 1 𝑎𝑛𝑑 𝑛 = 1 𝑜𝑟 𝑚 = −1 𝑎𝑛𝑑 𝑛 = −1
So
𝑓(𝑎) = 𝑎𝑚 = 𝑎±1
⇒ |𝐴𝑢𝑡(𝐺 )| = 2
We can say that 𝐴𝑢𝑡(𝐺 ) is cyclic and any two cyclic group of same order are isomorphic
. And ℤ2 = {0̅, 1̅} is cyclic
So
𝐴𝑢𝑡(𝐺 ) ≅ ℤ2
𝐴𝑢𝑡(𝐺 ) ≅ 𝐶2
𝐺≅ℤ
ℤ5 = {0̅, 1̅, 2̅, 3̅, 4̅} ⇒ 𝑈(5) = {1̅, 2̅, 3̅, 4̅}
ℤ8 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅} ⇒ 𝑈(8) = {1̅, 3̅, 5̅, 7̅}
ℤ9 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅, 8̅} ⇒ 𝑈 (9) = {1̅, 2̅, 4̅, 5̅, 7̅, 8̅}
ℤ11 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅, 8̅, , 9̅, ̅10
̅̅̅} ⇒ 𝑈 (11) = {1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅, 8̅, , 9̅, ̅10
̅̅̅}
Example Find automorphism of ℤ12 = {0̅, 1̅, 2̅, 3̅, 4̅, 5̅, 6̅, 7̅, 8̅, 9̅, ̅10
̅̅̅, ̅11
̅̅̅}
𝛼 is one one
𝛼 (𝑛̅1 ) = 𝛼 (𝑛̅2 )
𝑚
̅ 𝑛̅1 = 𝑚
̅ 𝑛̅2
2̅5̅ = 2̅̅65
̅̅̅
S0 𝑚 = 1,5,7,11
𝛼(𝑛̅) = 2̅𝑛̅
𝛼(5̅) = 2̅5̅ = 10
̅̅̅̅, 𝛼(6̅) = 2̅6̅ = 12
̅̅̅̅ 𝛼(7̅) = 2̅7̅ = 14
̅̅̅̅ = 2̅
𝛼 (0̅) ∈ ℤ12
2
̅̅̅ = 1̅, (5̅)3 = ̅̅̅̅̅
(5̅) = ̅25
4
125 = 5̅, (5̅) = ̅̅̅̅̅
625 = 1̅
(7̅)2 = ̅49
̅̅̅ = 1̅, (7̅)3 = 7̅, (7)4 = 1̅
THEOREM
Then for 𝑎 ∈ 𝐺 ⇒ 𝑓 (𝑎) ∈ 𝐺 then there exist an positive integer 𝑖 such that
0<𝑖<𝑛
𝑓 (𝑎 ) = 𝑎 𝑖
Since 𝑓 is automorpphism
𝑂(𝑓(𝑎)) = 𝑂 (𝑎) = 𝑛
⇒ 𝑂(𝑎𝑖 ) = 𝑛
𝑛
⇒ (𝑎𝑖 ) = 𝑒
(𝑛, 𝑖 ) = 𝑘
⇒ (𝑛, 𝑖 ) = 1
So
𝝋 is well-define
⇒ 𝑎𝑖1 = 𝑎 𝑖2
⇒ 𝑓𝑖1 = 𝑓𝑖2
⇒ 𝜑(𝑖1 ) = 𝜑(𝑖2 )
𝝋 is one-one
𝜑(𝑖1 ) = 𝜑(𝑖2 )
⇒ 𝑓𝑖1 = 𝑓𝑖2
𝑓𝑜𝑟 𝑎 ∈ 𝐺
⇒ 𝑎𝑖1 = 𝑎 𝑖2
⇒ 𝑖1 = 𝑖2
𝝋 is onto
𝜑(𝑖 ) = 𝑓𝑖
𝝋 is homomorphism
𝑓𝑖𝑗 = 𝑓𝑗 𝑓𝑖
𝜑(𝑖𝑗) = 𝑓𝑖𝑗 = 𝑓𝑗 𝑓𝑖
So 𝜑 is isomorphism mapping
Hence
𝐴𝑢𝑡(𝐺 ) ≅ 𝑈(𝑛)
𝐴𝑢𝑡(ℤ𝑛 ) ≅ 𝑈(𝑛)
Note
𝐺 ≅ ℤ𝑛 ≅ 𝐶𝑛
𝐴𝑢𝑡(𝐶𝑛 ) ≅ 𝑈 (𝑛)
Put n=6
𝐴𝑢𝑡(𝐶6 ) ≅ 𝐶2
𝐴𝑢𝑡(𝐷3 ) ≅ 𝐷3
𝐴𝑢𝑡(𝐷4 ) ≅ 𝐷4
INNER AUTOMORPHISM
𝜑𝑎 : 𝐺 → 𝐺 𝑏𝑦 𝜑𝑎 (𝑔) = 𝑎𝑔𝑎−1 ∀ 𝑔 ∈ 𝐺
For 𝑎 ∈ 𝐷3
𝜑𝑎 : 𝐺 → 𝐺 𝑏𝑦 𝜑𝑎 (𝑔) = 𝑎𝑔𝑎−1 ∀ 𝑔 ∈ 𝐺
Is an automorphism of G
SOLUTION:
𝝋𝒂 is one-one
𝜑𝑎 (𝑔1 ) = 𝜑𝑎 (𝑔2 )
⇒ 𝑔1 = 𝑔2
𝝋𝒂 is onto
𝝋𝒂 is homomorphism
THEOREM
Now
⇒ 𝜑𝑎𝑏−1 ∈ 𝐼 (𝐺 )\
So 𝐼 (𝐺 ) is a subgroup of A(G)
∴ 𝛼 𝑖𝑠 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑝𝑖𝑠𝑚
−1
(𝛼𝜑𝑎 𝛼 −1 )(𝑔) = (𝛼(𝑎)𝑔(𝛼 (𝑎)) )
⇒ 𝛼𝜑𝑎 𝛼 −1 ∈ 𝐼 (𝐺 )
(a). subgroup (b) proper subgroup (c) normal subgroup (d) none of these
𝐺
= {𝑔𝐻 ∶ 𝑔 ∈ 𝐺 }
𝐻
𝐺 𝐺
→ if G is a cyclic group then 𝑍(𝐺 ) = 𝐺 then = = {𝐺 }
𝑍(𝐺) 𝐺
THEOREM
Let G be a group with 𝒁(𝑮)is its center and 𝑰𝒏𝒏(𝑮)is set of all inner
automorphism of a group G. Then
𝑮
≅ 𝑰𝒏𝒏(𝑮)
𝒁(𝑮 )
𝝍 is well-defined
𝑎1 = 𝑎2
⇒ 𝑎1 𝑔𝑎1−1 = 𝑎2 𝑔𝑎2−1
⇒ 𝜑𝑎1 = 𝜑𝑎2
⇒ 𝜓(𝑎1 ) = 𝜓(𝑎1 )
𝝍 is one one
𝑫𝒏 𝒏 𝒊𝒔 𝒐𝒅𝒅
NOTE: 𝑰𝒏𝒏(𝑫𝒏 ) ≅ { 𝑫𝒏 𝒏 𝒆𝒗𝒆𝒏
𝟐
𝑰𝒏𝒏(𝑫𝟒 ) ≅ 𝑫𝟐 ≅ 𝑽𝟒
THEOREM
PROOF:
𝝋 𝒊𝒔 𝒐𝒏𝒆 − 𝒐𝒏𝒆
𝜑(𝑔1 ) = 𝜑(𝑔2 )
⇒ 𝑔1−1 = 𝑔2−1
⇒ 𝑔1 = 𝑔2
𝝋 𝒊𝒔 𝒐𝒏𝒕𝒐
𝝋 𝒊𝒔 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
Since G is abelian
Hence 𝜑 is automorphism
Consider
But
⇒ 𝒈𝟏 𝒈𝟐 = 𝒈𝟐 𝒈𝟏
Hence G is abelian.
THEOREM:
PROOF:
If G is abelian then a mapping 𝜑: 𝐺 → 𝐺 define by 𝜑(𝑔) = 𝑔 −1 is an automorphism
different from identity automorphism.
And 𝑎𝑔 ≠ 𝑔𝑎
Define a mapping
𝜑𝑎 : 𝐺 → 𝐺 Define by 𝜑𝑎 (𝑔 ) = 𝑎𝑔𝑎−1 ≠ 𝑔
CHARACTRISTIC SUBGROUP
𝐶6 = {𝑒, 𝑎, 𝑎2 , 𝑎3 , 𝑎4 , 𝑎5 }
𝐻 = {𝑎2 , 𝑎4 , 𝑎6 = 𝑒} = {𝑒, 𝑎2 , 𝑎4 }
𝐴𝑢𝑡 (𝐶6) = {𝐼 (𝑥 ) = 𝑥, 𝑓 (𝑥 ) = 𝑥 5 }
𝐼 (𝐻 ) = 𝐻 Clearly
Now
𝑓 (𝑒 ) = 𝑒 5 = 𝑒
So
𝑓 (𝐻 ) = 𝐻
Hence
𝐻 𝑐ℎ𝑎𝑟 𝐺
Solution:
Since 𝜑: 𝐺 → 𝐺 is automorphism of G
H is subgroup of G
So 𝐻 𝑐ℎ𝑎𝑟 𝐺
Proof.
𝑍(𝐺 ) = {𝑔 ∈ 𝐺 ∶ 𝑔𝑥 = 𝑥𝑔 ∀𝑥 ∈ 𝐺 }
𝜑(𝑍(𝐺 )) = 𝑍(𝐺 )
We have to show
𝑥𝜑(𝑔) = 𝜑(𝑔)𝑥 ∀ 𝑥 ∈ 𝐺
𝑥𝜑(𝑔) = 𝜑(𝑦)𝜑(𝑔)
𝑥𝜑(𝑔) = 𝜑(𝑦𝑔)
𝑥𝜑(𝑔) = 𝜑(𝑔𝑦)
𝑥𝜑(𝑔) = 𝜑(𝑔)𝜑(𝑦)
𝑥𝜑(𝑔) = 𝜑(𝑔)𝑥 ∀ 𝑥 ∈ 𝐺
⇒ 𝜑(𝑔) ∈ 𝑍(𝐺)
⇒ 𝜑(𝑍 (𝐺 )) ⊆ 𝑍(𝐺 )
⇒ 𝜑(𝑍 (𝐺 )) = 𝑍(𝐺 )
COMMUTATAR
1- 𝑽𝟒 = {𝒆, 𝒂, 𝒃. 𝒂𝒃}
[𝑒, 𝑒] = 𝑒𝑒𝑒 −1 𝑒 −1 = 𝑒
[𝑒, 𝑎] = 𝑒𝑎𝑒𝑎 = 𝑒
[𝑒, 𝑏] = 𝑒
[𝑒, 𝑎𝑏] = 𝑒
[𝑎, 𝑎] == 𝑒
2- 𝑫𝟑 = {𝒆, 𝒂, 𝒂𝟐 , 𝒃, 𝒂𝒃, 𝒂𝟐 𝒃}
[𝑒, 𝑒] = 𝑒
[𝑒, 𝑎] = 𝑒𝑎𝑒 −1 𝑎−1 = 𝑒
[𝑒, 𝑎2 ] = 𝑒
[𝑒, 𝑏] = 𝑒
[𝑒, 𝑎𝑏] = 𝑒
[𝑒, 𝑎2 𝑏] = 𝑒
[𝑎, 𝑒] = 𝑒
[𝑎, 𝑎] = 𝑎𝑎𝑎−1 𝑎−1 = 𝑒
−1
[𝑎, 𝑎2 ] = 𝑎𝑎2 𝑎−1 𝑎2 = 𝑒
[𝑎, 𝑏] = 𝑎𝑏𝑎−1 𝑏−1 = 𝑎𝑏𝑎2 𝑏 = 𝑎𝑎𝑏𝑏 = 𝑎2
[𝑎, 𝑎𝑏] = 𝑎2
[𝑎, 𝑎2 𝑏] = 𝑎2
[𝑎 2 , 𝑒 ] = 𝑒
[𝑎 2 , 𝑎 ] = 𝑒
[𝑎 2 , 𝑎 2 ] = 𝑒
[𝑎2 , 𝑏] = 𝑎2 𝑏𝑎𝑏 = 𝑎
−1
[𝑎2 , 𝑎𝑏] = 𝑎2 𝑎𝑏𝑎2 (𝑎𝑏)−1 = 𝑎3 𝑏𝑎𝑎𝑏 = 𝑎
[𝑎2 , 𝑎2 𝑏] = 𝑎2 𝑎2 𝑏𝑎𝑎2 𝑏 = 𝑎
[𝑎𝑏, 𝑒] = 𝑒
[𝑎𝑏, 𝑎] = 𝑎𝑏𝑎𝑎𝑏𝑎2 = 𝑎𝑏𝑎2 𝑏𝑎2 = 𝑎𝑎𝑏𝑏𝑎2 = 𝑎
[𝑎𝑏, 𝑎2 ] = 𝑎𝑏𝑎2 𝑎𝑏𝑎 = 𝑎2
[𝑎𝑏, 𝑏] = 𝑎𝑏𝑏𝑎𝑏𝑏 = 𝑎2
[𝑎𝑏, 𝑎𝑏] = 𝑒
[𝑎𝑏, 𝑎 𝑏] = 𝑎𝑏𝑎2 𝑏𝑎𝑏𝑎2 𝑏 = 𝑎𝑎𝑏𝑏𝑎𝑏𝑎2 𝑏 = 𝑎
2
[𝑎2 𝑏, 𝑒] = 𝑒
[𝑏, 𝑎] =
[𝑏, 𝑎2 ] = 𝑒
[𝑏, 𝑏] = 𝑒
[𝑏, 𝑎𝑏] = 𝑒
[𝑏, 𝑎2 𝑏] = 𝑒
(𝟏)
The 1st derived subgroup of 𝑫𝟑 = {𝒆, 𝒂, 𝒂𝟐 }
3- 𝑫𝟒 = {𝒆, 𝒂, 𝒂𝟐 , 𝒂𝟑 , 𝒃, 𝒂𝒃 , 𝒂𝟐 𝒃, 𝒂𝟑 𝒃}
DERIVED SUBGROUP OF G
𝐺
= {𝑔𝐻 ∶ 𝑔 ∈ 𝐺 }
𝐻
𝑎𝐻 = 𝐻 𝑖𝑓𝑓 𝑎 ∈ 𝐻
(1)
The 1st derived subgroup of 𝐷3 = {𝑒, 𝑎, 𝑎2 }
𝐷3 (1) (1) (1)
Find quotient group (1) = {𝑔𝐷3 ∶ 𝑔 ∈ 𝐷3 } = {𝐷3 , 𝑏𝐷3 }
𝐷3
MCQ: let G be a abelian group and its 1st derived subgroup 𝐺 (1) is equal to
THEOREM
𝑥 = [𝑎, 𝑏] , 𝑎, 𝑏 ∈ 𝐺 𝑎𝑛𝑑𝑑 𝑔 ∈ 𝐺
𝑔𝑥𝑔−1 ∈ 𝐺 (1)
𝐺
. ii) now we will show that 𝐺 (1) is abelian
𝐺
= {𝑔𝐺 (1) ∶ 𝑔 ∈ 𝐺}
𝐺 (1)
𝐺
Let 𝑔1 𝐺 (1) , 𝑔2 𝐺 (1) ∈
𝐺 (1)
Now
−1 −1
[𝑔1 𝐺 (1) , 𝑔2 𝐺 (1) ] = 𝑔1 𝐺 (1) 𝑔2 𝐺 (1) (𝑔1 𝐺 (1) ) (𝑔2 𝐺 (1) )
Hence
𝐺
(1)
= {𝑔𝐺 (1) ∶ 𝑔 ∈ 𝐺}
𝐺
Is a abelian group.
𝐺
= {𝑔𝐾 ∶ 𝑔 ∈ 𝐺 } 𝑖𝑠 𝑎𝑏𝑒𝑙𝑖𝑎𝑛
𝐾
𝐺 𝐺
Then every commutator is identity of 𝐾 𝑖. 𝑒. 𝐾
𝐾
𝐺
𝑔1 𝐾, 𝑔2 𝐾 ∈
𝐾
𝑔1 𝑔2 𝑔1−1 𝑔2−1 𝐾 = 𝐾
[𝑔1 , 𝑔2 ]𝐾 = 𝐾
[𝑔1 , 𝑔2 ] ∈ 𝐾
Hence
𝐺(1) ⊆ 𝐾
DOUBLE COSETS
𝐻𝑎𝐾 = {ℎ𝑎𝑘 ∶ ℎ ∈ 𝐻 , 𝑘 ∈ 𝐾 }
𝐻 = {1, −1, 𝑖, −𝑖 }
𝐻1𝐾 = {1, −1, 𝑖, −𝑖 }1{1, −1, 𝑗, −𝑗} = {1, −1, 𝑖, −𝑖, 𝑗, −𝑗, 𝑘, −𝑘}
𝐻(−1)𝐾 = {1, −1, 𝑖, −𝑖 }(−1){1, −1, 𝑗, −𝑗} = {1, −1, 𝑖, −𝑖, 𝑗, −𝑗, 𝑘, −𝑘}
𝐻(𝑖)𝐾 = {1, −1, 𝑖, −𝑖 }(𝑖){1, −1, 𝑗, −𝑗} = {1, −1, 𝑖, −𝑖, 𝑗, −𝑗, 𝑘, −𝑘}
𝐻(𝑖)𝐾 = {1, −1, 𝑖, −𝑖 }(𝑖){1, −1, 𝑗, −𝑗} = {1, −1, 𝑖, −𝑖, 𝑗, −𝑗, 𝑘, −𝑘}
An other example
𝐷3 = {𝑒, 𝑎, 𝑎2 , 𝑏, 𝑎𝑏, 𝑎2 𝑏}
𝐻𝑒𝐾 =
𝐻𝑎𝐾 =
𝐻𝑎2 𝐾 =
𝐻𝑏𝐾 =
𝐻𝑎𝑏𝐾 =
𝐻𝑎2 𝑏𝐾 =
THEOREM:
Let H and K are two subgroups of a group G. Then the collection of distinct
double cossets of H and K define partition of G
1𝑠𝑡 ⋃ 𝐻𝑎𝐾 = 𝐺
𝑎∈𝐺
⇒ ⋃ 𝐻𝑎𝐾 ⊆ 𝐺 (𝑖 )
𝑎∈𝐺
𝑎 = 𝑒𝑎𝑒 ∈ 𝐻𝑎𝐾
⇒ 𝑎 ∈ ⋃ 𝐻𝑎𝐾
𝑎∈𝐺
⇒ 𝐺 ⊆ ⋃ 𝐻𝑎𝐾 (𝑖𝑖)
𝑎∈𝐺
⋃ 𝐻𝑎𝐾 = 𝐺
𝑎∈𝐺
𝑥 ∈ 𝐻𝑎𝐾 ∩ 𝐻𝑏𝐾
From (iii)
𝑙𝑒𝑡 𝑦 ∈ 𝐻𝑎𝐾
⇒ 𝑦 = ℎ4 𝑏𝑘4 ∈ 𝐻𝑏𝐾
From (iii)
Now
𝑙𝑒𝑡 𝑧 ∈ 𝐻𝑏𝐾
𝑧 = ℎ6 𝑎𝑘6 ∈ 𝐻𝑎𝐾
𝐻𝑏𝐾 = 𝐻𝑎𝐾
EMBADDING:
0 1 2
𝐴 = { ,± ,± ,…}
1 1 1
𝑍≅𝐴
ℤ↪ℚ
𝑉4 = {𝑒, 𝑎, 𝑏, 𝑎𝑏}
𝜑𝑏 : 𝑉4 → 𝑉4
𝜑𝑎𝑏 : 𝑉4 → 𝑉4
CAYLEY’S THEOREM
OR
OR
OR
𝜑𝑔 (𝑎) = 𝑔𝑎 ∀ 𝑎 ∈ 𝐺 𝑎𝑛𝑑 𝑔 ∈ 𝐺
𝝋𝒈 is well-define
𝑎1 = 𝑎2
⇒ 𝑔𝑎1 = 𝑔𝑎2
⇒ 𝜑𝑔 (𝑎1 ) = 𝜑𝑔 (𝑎2 )
𝝋𝒈 is one-one
𝜑𝑔 (𝑎1 ) = 𝜑𝑔 (𝑎2 )
⇒ 𝑔𝑎1 = 𝑔𝑎2
𝑎1 = 𝑎2
𝝋𝒈 is onto
⇒ 𝜑𝑔 𝑖𝑠 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣𝑒 𝑚𝑎𝑝𝑝𝑖𝑛𝑔 .
Now let
𝜱𝑮 = {𝝋𝒈 ∶ 𝒈 ∈ 𝑮}
𝜱𝑮 is closed
Now
Identity element
So 𝜑𝑒 ∈ 𝛷𝐺 is identity element
And
𝜑𝑒 𝜑𝑔 = 𝜑𝑔 𝜑𝑒 = 𝜑𝑔
Identity element
So 𝜑𝑔 ∈ 𝛷𝐺 𝑡ℎ𝑒𝑛 𝜑𝑔−1 ∈ 𝛷𝐺
𝜑𝑔 𝜑𝑔−1 = 𝜑𝑔−1 𝜑𝑔 = 𝜑𝑒
Hence
𝜱𝑮 = {𝝋𝒈 ∶ 𝒈 ∈ 𝑮} 𝒊𝒔 𝒈𝒓𝒐𝒖𝒑 .
𝜓: 𝐺 → 𝛷𝐺 𝑏𝑦 𝜓(𝑔) = 𝜑𝑔
𝝍 is well-define
𝑔1 = 𝑔2
𝑝𝑜𝑠𝑡 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑦 𝑏𝑦 𝑎 ∈ 𝐺 𝑜𝑛 𝑏 − 𝑠
𝑔1 𝑎 = 𝑔2 𝑎
⇒ 𝜓(𝑔1 ) = 𝜓(𝑔2 )
𝝍 is one-one
𝜓(𝑔1 ) = 𝜓(𝑔2 )
⇒ 𝜑𝑔1 = 𝜑𝑔2
For any 𝑎 ∈ 𝐺
𝑔1 𝑎 = 𝑔2 𝑎
𝑔1 = 𝑔2
𝝍 is onto
𝝍 is homomorphism
So 𝜓 𝑖𝑠 𝑖𝑠𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚
𝑮 ≅ 𝜱𝑮
𝑷 − 𝑮𝒓𝒐𝒖𝒑
𝑽𝟒 = {𝒆, 𝒂, 𝒃, 𝒂𝒃}
𝐷3 = {𝑒, 𝑎, 𝑎2 , 𝑏, 𝑎𝑏, 𝑎2 𝑏}
𝑍(𝐷3 ) = {𝑒}
𝐷4 = {𝑒, 𝑎, 𝑎2 , 𝑎3 , 𝑏, 𝑎𝑏, 𝑎2 𝑏, 𝑎3 𝑏}
⇒ 𝐷4 is 2-group |𝐷4 | = 23
𝑍(𝐷4 ) = {𝑒, 𝑎2 }
Recall
𝑍(𝐺 ) = 𝜉 (𝐺 ) = {𝑔 ∈ 𝐺 ∶ 𝑔𝑎 = 𝑎𝑔 ∀ 𝑎 ∈ 𝐺 }
If 𝑔 ∈ 𝑍(𝐺 )
THEOREM:
𝑝𝑚 = 𝑚1 + 𝑚2 + 𝑚3 + ⋯ + 𝑚𝑟 (1)
be a class equation of G
then each 𝑚𝑖 𝑑𝑖𝑣𝑖𝑑𝑒 𝑝𝑚 = |𝐺| 𝑓𝑜𝑟 𝑖 − 1,2,3, … , 𝑟 then 𝑚𝑖 𝑜𝑓 𝑡ℎ𝑒 𝑓𝑜𝑟𝑚 𝑝𝛼𝑖 so equation
(1) become
Here p divides right hand side of above equation but does not divide left hand side
Therefor there are more than one element say k element which are self-conjugate
Then (2)⇒
The above equation is must be a balanced equation so p divides R-H-S and L-H-S
𝑝 𝑑𝑖𝑣𝑖𝑑𝑒𝑠 𝑘
THEOREM
∴ |𝐺 | = 𝑝2 so |𝑍(𝐺 )| = 𝑝 𝑜𝑟 𝑝2
If |𝑍(𝐺 )| = 𝑝
𝐺
Then 𝑍(𝐺) ℎ𝑎𝑠 𝑜𝑟𝑑𝑒𝑟 𝑝.
𝐺
Since every group of prime order is cyclic so 𝑍(𝐺) must be cyclic
So G is abelian
If |𝑍(𝐺 )| = 𝑝2
𝐺
Then 𝑍(𝐺) has order 1 which shows that 𝐺 = 𝑍(𝐺)
Hence G is abelian.
THEOREM
Let H and K are two finite subgroup of a group G then the complex HK
𝑚𝑛 |𝐻 ||𝐾|
contain exactly =| elements where m,n & q are orders of H , K and
𝑞 H⋂K |
Q=H⋂K respectively.
|𝐻||𝐾|
|𝐻𝐾| =
|H⋂K |
PROOF: Since H and K are finite subgroup of G such that |𝐻| = 𝑚, |𝐾 | = 𝑛 𝑎𝑛𝑑 |𝑄| =
|H⋂K | = q
So by lagrange theorem
𝑛
|𝐾: 𝑄||𝑄| = |𝐾 | ⇒ 𝑟𝑞 = 𝑛 ⇒ 𝑟 =
𝑞
𝑠𝑜 𝑡ℎ𝑎𝑡 𝑘1 = 𝑒 𝑡ℎ𝑒𝑛 𝑄𝑘1 = 𝑄 𝑎𝑛𝑑 𝑄𝑘𝑖 ≠ 𝑄 𝑓𝑜𝑟 𝑖 > 1 𝑖𝑡𝑠 𝑚𝑒𝑎𝑛 𝑘𝑖 ∉ 𝑄 𝑓𝑜𝑟 𝑖 > 1
Then
𝑟
𝐾 = ⋃ 𝑄𝑘𝑖
𝑖=1
⇒ 𝐻𝐾 = 𝐻 ⋃ 𝑄𝑘𝑖
𝑖=1
⇒ 𝐻𝐾 = ⋃ 𝐻𝑄𝑘𝑖
𝑖=1
∴ 𝑄 ⊆ H ⇒ 𝐻𝑄 = 𝐻
𝑟
⇒ 𝐻𝐾 = ⋃ 𝐻𝑘𝑖
𝑖=1
𝑡ℎ𝑒 𝑐𝑜𝑠𝑒𝑡𝑠 𝐻𝑘𝑖 𝑖 = 1,2,3, … , 𝑟 𝑎𝑟𝑒 𝑑𝑖𝑠𝑡𝑖𝑛𝑐𝑡 𝑎𝑛𝑑 |𝐻| = |𝐻𝑘𝑖 | = 𝑚 𝑎𝑛𝑑 𝑟 𝑐𝑜𝑠𝑠𝑒𝑡𝑠
|𝐻||𝐾|
⇒ |𝐻𝐾 | =
|H⋂K |
THEOREM
Let H & K are finite subgroups of a group G then each double cosset
𝑚𝑛
𝐻𝑎𝐾 contain exactly element where |𝐻| = 𝑚, |𝐾| = 𝑛 𝑎𝑛𝑑 |𝑄| =
𝑞
|𝐻⋂𝑎𝐾𝑎−1| =𝑞
|𝐻||𝐾|
|𝐻𝑎𝐾| =
|𝐻⋂𝑎𝐾𝑎−1|
Now we will show |𝐻𝑎𝐾 | = |𝐻𝑎𝐾𝑎 −1 | for this we will have to show 𝑥𝑖 𝑎−1 are distinct
Let
𝑥𝑖 𝑎−1 = 𝑥𝑗 𝑎−1 𝑖 ≠ 𝑗
⇒ 𝑥𝑖 = 𝑥𝑗 𝑎−1 𝑎
⇒ 𝑥𝑖 = 𝑥𝑗 𝑒
⇒ 𝑥𝑖 = 𝑥𝑗
S0 |𝐻𝑎𝐾 | = |𝐻𝑎𝐾𝑎 −1 |
𝑙𝑒𝑡 |𝐾 ′ | = |𝑎𝐾𝑎−1 | = |𝐾 | = 𝑛
Then
|𝐻||𝐾 ′ |
|𝐻𝐾 ′ | =
|𝐻⋂𝐾 ′ |
|𝐻||𝑎𝐾𝑎−1 | 𝑚𝑛
|𝐻𝑎𝐾𝑎−1 | = =
|𝐻⋂𝑎𝐾𝑎−1 | 𝑞
Hence
𝑚𝑛 |𝐻||𝑎𝐾𝑎−1 |
|𝐻𝑎𝐾 | = =
𝑞 |𝐻⋂𝑎𝐾𝑎−1 |
THEOREM
PROOF: Let Ω be the collection of all left cossets of K that contained in 𝐻𝑎𝐾
Define 𝐻𝑎𝐾 = {ℎ𝑎𝑘 ∶ ℎ ∈ 𝐻 ∧ 𝑘 ∈ 𝐾 }
Ω = {haK ∶ h ∈ H}
Ω′ = {ℎ𝑄 ∶ ℎ ∈ 𝐻}
Define a mapping
𝜑: Ω → Ω′ 𝑏𝑦 𝜑(ℎ𝑎𝐾) = ℎ𝑄
𝝋 is well-defined
Let
ℎ1 𝑎𝐾 = ℎ2 𝑎𝐾
ℎ1 𝑎𝑘1 = ℎ2 𝑎𝑘2
⇒ ℎ2−1 ℎ1 = 𝑎𝑘3 𝑎 −1
ℎ2−1 ℎ1 𝑄 = 𝑄
⇒ ℎ1 𝑄 = ℎ2 𝑄
⇒ 𝜑(ℎ1 𝑎𝐾 ) = 𝜑(ℎ2 𝑎𝐾 )
𝝋 is one-one
𝜑(ℎ1 𝑎𝐾 ) = 𝜑(ℎ2 𝑎𝐾 )
⇒ ℎ1 𝑄 = ℎ2 𝑄
ℎ2−1 ℎ1 𝑄 = 𝑄
⇒ ℎ2−1 ℎ1 ∈ 𝑄 = 𝐻⋂𝑎𝐾𝑎−1
ℎ2−1 ℎ1 = 𝑎𝑘𝑎−1
⇒ ℎ1 𝑎 = ℎ2 𝑎𝑘
MUHAMMAD USMAN +92-311-6545143 147 | P a g e
𝐺𝑅𝑂𝑈𝑃 𝑇𝐻𝐸𝑂𝑅𝑌
⇒ ℎ1 𝑎𝐾 = ℎ2 𝑎𝑘𝐾
⇒ ℎ1 𝑎𝐾 = ℎ2 𝑎𝐾
𝝋 is onto
Hence 𝜑 𝑖𝑠 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣𝑒 .
𝐻 = 𝑥𝐻𝑥 −1 = 𝐻 𝑥
THEOREM
𝑥𝐻 = 𝐻𝑥𝐻 (𝑖)
⇒ 𝑥𝐻𝑥 −1 = 𝐻𝑥𝐻𝑥 −1
⇒ 𝐻 𝑥 = 𝐻𝐻 𝑥 (𝑖𝑖)
From (𝑖 ) replacing 𝑥 𝑏𝑦 𝑥 −1
𝑥 −1 𝐻 = 𝐻𝑥 −1 𝐻
Pre- multiply by x
𝑥𝑥 −1 𝐻 = 𝑥𝐻𝑥 −1 𝐻
𝑒𝐻 = 𝐻 𝑥 𝐻
𝐻 = 𝐻𝑥 𝐻 (𝑖𝑖𝑖)
for 𝑦, 𝑧 ∈ 𝐻 𝑎𝑛𝑑 𝑥 ∈ 𝐺
so
𝑧𝑦 𝑥 = 𝑧𝑥𝑦𝑥 −1
𝑧𝑦 𝑥 = 𝑧𝑥𝑦𝑥 −1 𝑒
𝑧𝑦 𝑥 = 𝑦 𝑧𝑥 𝑧 ∈ 𝐻 𝑥 𝐻 = 𝐻
⇒ 𝐻𝑥 ⊆ 𝐻 (𝑖𝑣)
⇒ 𝑥𝐻𝑥 −1 ⊆ 𝐻
By replacing 𝑥 𝑏𝑦 𝑥 −1
⇒ 𝑥 −1 𝐻𝑥 ⊆ 𝐻
⇒ 𝑥𝑥 −1 𝐻𝑥𝑥 −1 ⊆ 𝑥𝐻𝑥 −1
⇒ 𝑒𝐻𝑒 ⊆ 𝑥𝐻𝑥 −1
⇒ 𝐻 ⊆ 𝐻 𝑥 (𝑣)
⇒ 𝐻 = 𝐻𝑥
⇒ 𝐻 = 𝑥𝐻𝑥 −1
THEOREM
|𝐻||𝑎𝐾𝑎−1|
|𝐻𝑎𝐾| =
|𝐻⋂𝑎𝐾𝑎−1|
PROOF: since collection of all distinct double cossets 𝐻𝑎𝐾 𝑓𝑜𝑟 𝑎 ∈ 𝐺 define partition of
G
𝐺 = ⋃𝐻𝑎𝑖 𝐾 , 𝑎𝑖 ∈ 𝐺
⇒ |𝐺 | = ∑|𝐻𝑎𝑖 𝐾 | (1)
1
𝑙𝑚
|𝐻𝑎𝑖 𝐾 | = 𝑓𝑜𝑟 𝑖 = 1,2,3, . . , 𝑟 𝑝𝑢𝑡 𝑛 (1)
𝑞𝑖
𝑟
𝑙𝑚 𝑙𝑚 𝑙𝑚 𝑙𝑚
⇒ |𝐺 | = ∑ = + +⋯+
𝑞𝑖 𝑞1 𝑞2 𝑞𝑟
1
Hence
𝑙𝑚 𝑙𝑚 𝑙𝑚
𝑛= + + ⋯+
𝑞1 𝑞2 𝑞𝑟
THEOREM
PROOF:
Given that
𝐻𝑎𝐻𝑏 = 𝐻𝑎𝑏
ℎ1 𝑎ℎ2 𝑏 = ℎ3 𝑎𝑏
𝑎ℎ2 𝑎−1 ∈ 𝐻
Hence 𝐻 ⊵ 𝐺
2 divide a. a=2,4,6,…
If 𝑛 = 𝑝(𝑝𝑟𝑖𝑚𝑒)
Suppose that the theorem is true for all abelian group of order less than n and divisible
by p.
Say |𝑎| = 𝑘
so H is subgroup of G
𝑘 = 𝑝𝑞 𝑞 ≥ 1
⇒ 𝑎𝑘 = 𝑒
⇒ 𝑎𝑝𝑞 = 𝑒
⇒ (𝑎 𝑞 )𝑝 = 𝑒
⇒ 𝑏𝑝 𝐻 = 𝐻
⇒ 𝑏𝑝 ∈ 𝐻
|𝑎 | = |𝑏 𝑝 | = 𝑘
⇒ (𝑏 𝑝 )𝑘 = 𝑒
⇒ (𝑏 𝑘 )𝑝 = 𝑒
if 𝑛 = 𝑝
then G is a cyclic group of order 𝑝 and order of cyclic group equal to its generator
Suppose that the theorem is true for all groups of order less than n and divisible by p.
𝑛 = 𝑛1 + 𝑛2 + ⋯ + 𝑛𝑘 (1)
𝑛 = 1 + 𝑛2 + ⋯ + 𝑛𝑘
1 = 𝑛 − (𝑛2 + ⋯ + 𝑛𝑘 )
Exampla : |𝐺 | = 4
2nd|𝐺 | = 6
3rd|𝐺 | = 52 = 22 13
SYLOW P-SUBGROUP
1- 𝑫𝟑 = {𝒆, 𝒂, 𝒂𝟐 , 𝒃, 𝒂𝒃, 𝒂𝟐 𝒃}
|𝐷3 | = 6 = 2.3
If |𝐺 | = 25 32 57
OR
If n=p
Now suppose that the theorem is true for all group of order less than n and divisible by
p.
CASE (i) : if H has order less than n and divisible by p then by induction hypothesis H
has a sylow p-subgroup.
Now
𝐻
| | = 𝑝𝛼−1
𝐾
|𝐻| = |𝐾 |𝑝𝛼−1
|𝐻| = 𝑝𝑝𝛼−1
|𝐻 | = 𝑝 𝛼
Example:
1- 𝑫𝟑 = {𝒆, 𝒂, 𝒂𝟐 , 𝒃, 𝒂𝒃, 𝒂𝟐 𝒃}
|𝐷3 | = 6 = 2.3
Subgroup of order 2
𝑎𝐻1 𝑎−1 = 𝐻3
𝑛 = 𝑝𝛼 𝑚 (𝑝, 𝑚) = 1
Consider the double coset HaK. Since all double cosets of H and K define partition of G
then
𝑟
𝐺 = ⋃ 𝐻𝑎𝑖 𝐾 𝑎𝑖 ∈ 𝐺
𝑖=1
Then
𝑟
|𝐺 | = ∑|𝐻𝑎𝑖 𝐾 |
𝑖=1
Since
|𝐻||𝑎𝑖 𝐾𝑎𝑖−1 |
|𝐻𝑎𝑖 𝐾 | =
|𝐻⋂𝑎𝑖 𝐾𝑎𝑖−1 |
𝑟
𝑝𝛼 𝑝𝛼
|𝐺 | = ∑
𝑞𝑖
𝑖=1
Now𝑞𝑖 , being the order of intersection of two p-groups, is a multiple of p, so each term
of the R-H-S of above equation either multiple of p or equal to 1.
𝑝𝛼
=1 𝑖 = 1,2,3, … , 𝑟
𝑞𝑖
𝑝𝛼
= 1 𝑜𝑟 𝑝𝛼 = 𝑞1
𝑞1
But 𝐻⋂𝑎1 𝐾𝑎1−1 , being the subgroup of H having order same as H and K
so
𝐻 = 𝐻⋂𝑎1 𝐾𝑎1−1 𝑎1 ∈ 𝐺
𝐻 ⊆ 𝑎1 𝐾𝑎1−1 𝑎1 ∈ 𝐺
𝐻 = 𝑎1 𝐾𝑎1−1
THEOREM
And we know that the conjugate subgroup of sylow p-subgroup is also sylow p-
subgroup
Example:
|𝐷3 | = 6 = 2 × 3
𝑘 = 1 + 2𝑡 𝑡 ∈ 𝑊
𝑡 = 0 𝑡ℎ𝑒𝑛 𝑘 = 1
𝑡 = 1 𝑡ℎ𝑒𝑛 𝑘 = 3
𝑘 = 1 + 3𝑡 𝑡 ∈ 𝑊
𝐷3 = {𝑒, 𝑎, 𝑎2 , 𝑏, 𝑎𝑏, 𝑎2 𝑏}
𝐶𝐻 = {𝐻, 𝐻1 , 𝐻2 }
|𝐺 | = 14 = 2.7
𝑡 = 0 𝑡ℎ𝑒𝑛 𝑘 = 1
𝑡 = 2 𝑘 = 5 𝑛𝑜𝑡 𝑝𝑜𝑠𝑠𝑖𝑏𝑙𝑒
𝑡 = 3 𝑡ℎ𝑒𝑛 𝑘 = 7 𝑝𝑜𝑠𝑠𝑖𝑏𝑙𝑒
And we know that number of conjugate subgroup of H equal to index of its normalizer
𝐺 = ⋃ 𝑁𝑎𝑖 𝐻 𝑎𝑖 ∈ 𝐺
𝑖−1
Then
𝑡 𝑡
|𝐺 | = |⋃ 𝑁𝑎𝑖 𝐻 | = ∑|𝑁𝑎𝑖 𝐻|
𝑖−1 𝑖=1
𝑡
𝑚𝑝𝛼
𝑛=∑
𝑞𝑖
𝑖=1
𝑡
𝑛 𝑝𝛼
𝑘= =∑
𝑚 𝑞𝑖
𝑖=1
Suppose on contrary
𝑝𝛼
For some 𝑖 > 1 𝑠𝑢𝑐ℎ 𝑡𝑎ℎ𝑡 =1
𝑞𝑖
⇒ 𝑝𝛼 = 𝑞𝑖
And
So
⇒ 𝑎𝑖 𝐻𝑎𝑖−1 = 𝑁
⇒ 𝒂𝒊 𝑯𝒂−𝟏
𝒊 =𝑵
Which is contradiction
𝑝𝛼
Hence there are no more term = 1 𝑓𝑜𝑟 𝑖 > 1
𝑞𝑖
𝑡
𝑝𝛼 𝑝𝛼 𝑝𝛼 𝑝𝛼
𝑘 =1+∑ = 1+ + +⋯+ = 1 + 𝑝𝑡
𝑞𝑖 𝑞2 𝑞3 𝑞𝑡
𝑖=2
→if |𝐺 | = 𝑝𝑞 and 𝑝 < 𝑞 and 𝑝 𝑑𝑖𝑣𝑖𝑑𝑒 𝑞 − 1 then there are total 2 group
→if |𝐺 | = 𝑝𝑞 and 𝑝 < 𝑞 and 𝑝 𝑑𝑜𝑒𝑠 𝑛𝑜𝑡 𝑑𝑖𝑣𝑖𝑑𝑒 𝑞 − 1 then there are total 1 group
Example
|𝐺 | = 8 = 23
2nd
|𝐺 | = 10 = 2.5
3rd
|𝐺 | = 52 = 22 . 13
𝑃 (2) = 2
𝑃 (1) = 1
4th
|𝐺 | = 27 = 33