Program: Bs Math 5A Roll Call: Math18111048 Subject: Algebra - I Instructor: Sir Shahbaz Ali
Program: Bs Math 5A Roll Call: Math18111048 Subject: Algebra - I Instructor: Sir Shahbaz Ali
Wania Iqbal
Exercise 2 Ch 2
Subgroups
Q#1
Solution:
Hence Proved.
______***______
Q#2
Let G be the Quaternion Group. Find the center of G. Find also the normalizer of 𝑖 in G.
Solution:
WANIA IQBAL 1
• −𝑗 (−1) = (−1) − 𝑗
• 𝑘 (−1) = (−1) 𝑘
• −𝑘 (−1) = (−1) − 𝑘
✓ 𝑍(𝑄8 ) = {1, −1}
𝑁𝑜𝑟𝑚𝑎𝑙𝑖𝑧𝑒𝑟 𝑜𝑓 𝑖 𝑖𝑛 𝑄8 ∶
𝑁(𝑖) = {1, −1, 𝑖, −𝑖}
______***______
Q#3
Solution:
______***______
WANIA IQBAL 2
Q#4
Solution:
𝐿𝑒𝑡 𝑎, 𝑏 ∈ 𝑔−1 𝐻𝑔
⇒ 𝑎 = 𝑔−1 ℎ1 𝑔, 𝑏 = 𝑔−1 ℎ2 𝑔 ∵ ℎ1 , ℎ2 ∈ 𝐻
𝑎𝑏 −1 = 𝑔−1 ℎ3 𝑔 ∵ ℎ1 ℎ−1
2 = ℎ3
𝑎𝑏 −1 ∈ 𝑔−1 𝐻𝑔 ∵ ℎ3 ∈ 𝐻
Hence Proved.
𝒈−𝟏 𝑯𝒈 is abelian if H is abelian.
Consider G and H is abelian. Then 𝑔𝐻 = 𝐻𝑔 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑔 ∈ 𝐺
𝑔−1 𝑔𝐻 = 𝑔−1 𝐻𝑔
𝐻 = 𝑔−1 𝐻𝑔 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑔 ∈ 𝐺
If H is abelian than by 𝐻 = 𝑔−1 𝐻𝑔 is also abelian.
______***______
Q#5
Solution:
𝑈𝑛 = {𝑥 ∈ 𝑍 |1 ≤ 𝑥 < 𝑛, (𝑥, 𝑛) = 1}
𝑈𝑛(𝑚) = {𝑥 ∈ 𝑈𝑛 |𝑥 = 1 (𝑚𝑜𝑑 𝑚)}
WANIA IQBAL 3
Let 𝑎 ∈ 𝑈𝑛(𝑚) 𝑡ℎ𝑒𝑛 gcd(𝑎, 𝑛) = 1 ∵ 𝐵𝑦 𝑑𝑒𝑓𝑖𝑛𝑖𝑡𝑖𝑜𝑛
𝐴𝑙𝑠𝑜 𝑏 −1 = 1(𝑚𝑜𝑑 𝑚)
𝑎 = 1(𝑚𝑜𝑑 𝑚) , 𝑏 −1 = 1(𝑚𝑜𝑑 𝑚)
−1
⇒ 𝑎. 𝑏 ≡ 1(𝑚𝑜𝑑 𝑚)
𝐻𝑒𝑛𝑐𝑒 𝑃𝑟𝑜𝑣𝑒𝑑.
______***______
Q#6
Let G be a finite abelian group under addition and let 𝑛 ∈ 𝑍 be a fixed positive integer.
Show that 𝑛𝐺 = {𝑛𝑥|𝑥 ∈ 𝐺}𝑎𝑛𝑑 𝐺[𝑛] = {𝑥 ∈ 𝐺|𝑛𝑥 = 0} are subgroups of G where 0 is the
identity of G.
Solution:
______***______
WANIA IQBAL 4
Q#7
If G is a group of order 91, then show that it cannot have two subgroups of order 13.
Solution:
𝒕𝒉𝒆𝒏 𝒕𝒉𝒆𝒓𝒆 𝒂𝒓𝒆 𝒕𝒘𝒐 𝒈𝒓𝒐𝒖𝒑𝒔 𝒐𝒇 𝒐𝒓𝒅𝒆𝒓 𝒏 , 𝒊. 𝒆 𝑪𝒏 𝒂𝒏𝒅 𝒐𝒏𝒆 𝒏𝒐𝒏 − 𝒂𝒃𝒍𝒆𝒊𝒂𝒏 𝒈𝒓𝒐𝒖𝒑.
𝑆𝑖𝑛𝑐𝑒, 𝑡ℎ𝑒 𝑔𝑟𝑜𝑢𝑝 𝑜𝑓 𝑜𝑟𝑑𝑒𝑟 91 𝑖𝑠 𝑐𝑦𝑐𝑙𝑖𝑐 𝑎𝑛𝑑 𝑐𝑦𝑐𝑙𝑖𝑐 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝𝑠 𝑎𝑟𝑒 𝑢𝑛𝑖𝑞𝑢𝑒.
______***______
Q#8
If 𝐻 𝐾 are two subgroups of a finite group G then show that 𝑖𝐺 (𝐻) = 𝑖𝐺 (𝐾)𝑖𝐾 (𝐻).
Solution:
𝑊𝑒 ℎ𝑎𝑣𝑒 𝑡𝑜 𝑠ℎ𝑜𝑤 𝑡ℎ𝑎𝑡 [𝐺: 𝐻] = [𝐺: 𝐾][𝐾: 𝐻]. 𝑈𝑠𝑖𝑛𝑔 𝑑𝑒𝑓𝑖𝑛𝑖𝑡𝑖𝑜𝑛 𝑜𝑓 𝑖𝑛𝑑𝑒𝑥.
|𝐺| |𝐺| |𝐾|
[𝐺: 𝐻] = (𝑖), [𝐺: 𝐾] = (𝑖𝑖), [𝐾: 𝐻] = (𝑖𝑖𝑖)
|𝐻| |𝐾| |𝐻|
|𝐺| [𝐺: 𝐾]|𝐾|
[𝐺: 𝐻] = = 𝑓𝑟𝑜𝑚 (𝑖𝑖)
|𝐻| |𝐻|
[𝐺: 𝐾]([𝐾: 𝐻]|𝐻|)
[𝐺: 𝐻] = 𝑓𝑟𝑜𝑚 (𝑖𝑖𝑖)
|𝐻|
[𝐺: 𝐻] = [𝐺: 𝐾][𝐾: 𝐻].
𝐻𝑒𝑛𝑐𝑒 𝑝𝑟𝑜𝑣𝑒𝑑.
______***______
WANIA IQBAL 5
Q#9
Solution:
⇒𝑐−1 𝑎 = 𝑎𝑐−1
𝐻𝑒𝑛𝑐𝑒 𝑐 −1 ∈ 𝑁(𝑎) .
______***______
Q#10
Solution:
Using “Let (𝐺, ∗) be a group. Then a nonempty subset 𝐻 of 𝐺 is a subgroup if and only if, for 𝑎, 𝑏 ∈
2 ∗ 4−1 ∈ 𝐻 ⇒ 2 ∗ 2 = 2 ∈ 𝐻
0 ∗ 4−1 ∈ 𝐻 ⇒ 0 ∗ 2 = 2 ∈ 𝐻
0 ∗ 2−1 ∈ 𝐻 ⇒ 0 ∗ 4 = 4 ∈ 𝐻
4 ∗ 2−1 ∈ 𝐻 ⇒ 4 ∗ 4 = 2 ∈ 𝐻
𝐻𝑒𝑛𝑐𝑒 𝐻 𝑖𝑠 𝑎𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝 𝑜𝑓 𝑍6 .
WANIA IQBAL 6
______***______
Q#11
Let G be the group of all 3 × 3 invertible matrices over reals. Show that
1 𝑎 𝑏
𝐻 = {|0 1 𝑐 | 𝑎, 𝑏, 𝑐 ∈ ℝ} is a subgroup of G.
0 0 1
Solution:
⇒𝑎∗𝑏∈ 𝐺
𝑎 ∗ 𝑏 −1 ∈ 𝐺 ∵ 𝐺 𝑖𝑠 𝑔𝑟𝑜𝑢𝑝
𝑎 ∗ 𝑏 −1 ∈ 𝐴𝑙𝑙 3 × 3 invertible matrices.
−1
⇒𝑎∗𝑏 ∈ 𝐻
Hence proved.
Another Method:
WANIA IQBAL 7
______***______
Q#12
If H and K are subgroups whose orders are relatively prime then show that 𝐻 ∩ 𝐾 = {𝑒}.
Solution:
______***______
Q#13
If H and K are two subgroups of finite indices in G then show that 𝐻 ∩ 𝐾 is also of finite
index in G.
Solution:
WANIA IQBAL 8
______***______
Q#14
If 𝑁(𝐻)be the normalizer of 𝐻 in a group G then show that 𝑍(𝐺) 𝑁(𝐻) , 𝑤ℎ𝑒𝑟𝑒𝐻 ≤ 𝐺.
Solution:
⇒ 𝑥𝑔 = 𝑔𝑥 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑥 ∈ 𝐺
⇒ 𝑔𝐻 = 𝑔𝐻 ∵ 𝐻 ≤ 𝐺.
⇒𝑔 ∈ 𝑁 ( 𝐻)
⇒ 𝑍(𝐺) 𝑁(𝐻)
Hence Proved.
______***______
Q#15
Solution:
𝑆𝑢𝑝𝑝𝑜𝑠𝑒 𝑥 ∈ 𝑍(𝐺). 𝑇ℎ𝑒𝑛, 𝑥𝑎 = 𝑎𝑥𝑓𝑜𝑟 𝑎𝑙𝑙 𝑎 ∈ 𝐺, 𝑎𝑛𝑑 ℎ𝑒𝑛𝑐𝑒, 𝑥 ∈ 𝑁(𝑎) 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑎 ∈ 𝐺
𝑇ℎ𝑢𝑠, 𝑥 ∈ ⋂𝑎 ∈ 𝐺 𝑁(𝑎)
Q#16
Solution:
WANIA IQBAL 9
𝐶 (𝐻 ) = {𝑥 ∈ 𝐺|𝑥ℎ = ℎ𝑥 𝑓𝑜𝑟 𝑎𝑙𝑙 ℎ ∈ 𝐻 }
𝑊𝑒 ℎ𝑎𝑣𝑒 𝑡𝑜 𝑠ℎ𝑜𝑤 𝑡ℎ𝑎𝑡 𝐶 (𝐻 )𝑖𝑠 𝑎 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝.
𝑇ℎ𝑖𝑠 𝑠𝑢𝑏𝑠𝑒𝑡 𝑖𝑠 𝑛𝑜𝑛𝑒𝑚𝑝𝑡𝑦, 𝑠𝑖𝑛𝑐𝑒 𝑒𝑎 = 𝑎𝑒.
𝐹𝑜𝑟 𝑎𝑙𝑙 𝑥, 𝑦 ∈ 𝐶(𝐻) 𝑤𝑒 ℎ𝑎𝑣𝑒 𝑥ℎ = ℎ𝑥 𝑎𝑛𝑑 𝑦ℎ = 𝑎ℎ
ℎ = 𝑐 −1 ℎ 𝑐
ℎ𝑐 −1 = 𝑐 −1 ℎ 𝑐𝑐 −1
⇒ ℎ 𝑐−1 = 𝑐−1 ℎ
______***______
Q#17
Prove that two right cosets are either equal or have no element in common.
Solution:
⇒ 𝑎ℎ = 𝑏ℎ′
′ –1
𝑎 = 𝑏ℎ ℎ ∵ ℎ′ ℎ–1 ∈ 𝐻, 𝐻 𝑖𝑠 𝑎 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝
WANIA IQBAL 10
⇒ 𝑎𝐻 = 𝑏𝐻
𝑇ℎ𝑒𝑟𝑒𝑓𝑜𝑟𝑒 𝑡ℎ𝑒 𝑡𝑤𝑜 𝑙𝑒𝑓𝑡 𝑐𝑜𝑠𝑒𝑡𝑠 𝑎𝑟𝑒 𝑖𝑑𝑒𝑛𝑡𝑖𝑐𝑎𝑙 𝑖𝑓 𝑡ℎ𝑒𝑦 𝑎𝑟𝑒 𝑛𝑜𝑡 𝑑𝑖𝑠𝑗𝑜𝑖𝑛𝑡.
𝑇ℎ𝑢𝑠 𝑒𝑖𝑡ℎ𝑒𝑟 𝑎𝐻 ∩ 𝑏𝐻 = 𝜙 𝑜𝑟 𝐻 = 𝑏𝐻
𝐴 𝑠𝑖𝑚𝑖𝑙𝑎𝑟 𝑟𝑒𝑠𝑢𝑙𝑡 𝑐𝑎𝑛 𝑏𝑒 𝑠ℎ𝑜𝑤𝑛 𝑡𝑜 ℎ𝑜𝑙𝑑 𝑓𝑜𝑟 𝑟𝑖𝑔ℎ𝑡 𝑐𝑜𝑠𝑒𝑡𝑠.
______***______
Q#18
If 𝑜(𝐺 ) = 6 𝑎𝑛𝑑 𝐻 ≠ 𝐾are subgroups of G each of order 2 then show that HK cannot
be a subgroup of G. Show also that G cannot have two subgroups of order 3.
Solution:
|𝐻𝐾| | |𝐺| ⇒ 4 ∤ 6
𝒕𝒉𝒆𝒏 𝒕𝒉𝒆𝒓𝒆 𝒂𝒓𝒆 𝒕𝒘𝒐 𝒈𝒓𝒐𝒖𝒑𝒔 𝒐𝒇 𝒐𝒓𝒅𝒆𝒓 𝒏 , 𝒊. 𝒆 𝑪𝒏 𝒂𝒏𝒅 𝒐𝒏𝒆 𝒏𝒐𝒏 − 𝒂𝒃𝒍𝒆𝒊𝒂𝒏 𝒈𝒓𝒐𝒖𝒑.
𝑆𝑖𝑛𝑐𝑒, 𝑡ℎ𝑒 𝑔𝑟𝑜𝑢𝑝 𝑜𝑓 𝑜𝑟𝑑𝑒𝑟 6𝑖𝑠 𝑐𝑦𝑐𝑙𝑖𝑐 𝑎𝑛𝑑 𝑐𝑦𝑐𝑙𝑖𝑐 𝑠𝑢𝑏𝑔𝑟𝑜𝑢𝑝𝑠 𝑎𝑟𝑒 𝑢𝑛𝑖𝑞𝑢𝑒.
______***______
WANIA IQBAL 11
Q#19
𝐻 = {𝐼, (12)}𝑎𝑛𝑑 𝐾 = {𝐼, (23)} are subgroups of 𝑆3 then show that HK is not a
subgroup of 𝑆3 .
Solution:
Q#20
______***______
WANIA IQBAL 12