



Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
Lecture notes for groups and symmetry course , it tells about normal subgroups
Typology: Lecture notes
1 / 6
This page cannot be seen from the preview
Don't miss anything!
INTRODUCTION TO GROUPS AND SYMMETRY (MTH 203)
Lecture-13, (30-08-2019)
Product of two subgroups and a counting principal..
In this section we will generalize the notion of coset of a subgroup. Let
G be a group and H, K are subgroups of G. Their product is defined as,
HK = {x โ G : x = hk, h โ H, k โ K}.
Remark 0.1. Similarly we can also define the product of two subsets of
G. The left coset aH of H in G is just a product of {a} with H.
Example-13.1: Let H = 2Z and K = 4Z are two subfrops of (Z, +).
With respect to addition operation we get,
HK = 2Z 4 Z = {x โ Z : x = 2i + 4j = 2(i + 2j)} = 2Z.
Problem-13.1: Let
H = { 8 a + 14b : a, b โ Z}.
Is H a subgroup of (Z, +)? If yes then write it in terms of mZ.
Home Work-13.1: Show that mZnZ = (m, n)Z.
Example-13.2: Let H = {(1, 2 , 3), (2, 1 , 3)} and K = {(1, 2 , 3), (3, 2 , 1)}
are subgroups of S 3
. In this case
Also
1
It is clear that HK 6 = KH and HK, KH both are not subgroups of S 3
(since (3, 2 , 1)(2, 3 , 1) = (1, 3 , 2) โ HK and (2, 1 , 3)(3, 1 , 2) = (1, 3 , 2) 6 =
Problem-13.2: Let
20
be the group with respect to the multiplication operation (i.e. ยฏa
b = ab).
and
are subgroups of U 20
. Compute HK and find out the number of element
HK. Is it a subgroup of U 20
Remark 0.2. From above examples it is clear that the product of two sub-
groups of a group may or may not be a subgroup.
The following Lemma gives a necessary and sufficient condition for prod-
uct to be a subgroup.
Lemma 0.3. HK is a subgroup of G if and only if HK = KH.
Proof. See Hersteinโs Book Lemma 2. 5 .1.
Corollary 0.4. If G is an abelian group then the product of two subgroups
is always a subgroup.
Example-13.3: Let
20
and
Check that ยฏ7 = 11 17 = 19 13 = 11 ยฏ9(ยฏ9)
โ 1
Theorem 0.5. If H and K are finite subgroups of G, then
o(HK) =
o(H)o(K)
o(H โฉ K
(2) gN g
โ 1
= N for every g โ G.
(3) Operation on the set of left cosets of N on G by aN bN = abN is well
defined. (i.e. if a 1
N = a 2
N and b 1
H = b 2
H, then a 1
b 1
N = a 2
b 2
(4) Operation on the set of left cosets of N on G by aN bN = abN gives
group structure on the set of left cosets of N on G.
(5) Operation on the set of right cosets of N on G by N aN b = N ab
is well defined (i.e. if N a 1
= N a 2
and N b 1
= N b 2
, then N a 1
b 1
N a 2
b 2
(6) Operation on the set of right cosets of N on G by N aN b = N ab gives
group structure on the set of right cosets of N on G.
(7) For any a โ G, aN = N a.
Proof..
Let N is normal. Let g โ G, by normality of N we get gng
โ 1
โ N
for every n โ N. So we get gN g
โ 1
โ N. Now we show N โ gN g
โ 1
.
Let n โ N , again the normality of N implies that g
โ 1
n(g
โ 1
)
โ 1
= k โ
N. So we get n = gkg
โ 1
โ gN g
โ 1
which implies that gN g
โ 1
โ N.
Let g โ G and n โ N. Given that gN g
โ 1
= N which directly
implies that gng
โ 1
โ N.
Suppose left coset multiplication is well defined. I want to show N
is normal G. Let g โ G and h โ N. I will show ghg
โ 1
โ N. Since
hN = eN , and surely gN = gN , so (since left coset multiplication
is well-defined)
(gN )(hN ) = (gN )(eN )
(gh)N = gN
and by multiplying g
โ 1
N both side we get,
(gh)N g
โ 1
N = gN g
โ 1
H
(ghg
โ 1
)N = eN = N.
Hence ghg
โ 1
โ N for every g โ G, n โ N and thus N is normal.
Let N be normal in G.
Claim: The operation on the set of left cosets of N in G well
defined and gives a group structure on it.
(1) Well defined: Let a 1
N = a 2
N and b 1
N = b N
this implies
a 2
= a 1
n, b 2
= b 1
k
where n, k โ N. Now
a 2
b 2
= a 1
nb 1
k.
Since N is normal so b
โ 1
1
nb 1
โ N , let b
โ 1
1
nb 1
= l โ N. Now
a 2
b 2
= a 1
b 1
lk,
this implies that
a 2
b 2
N = a 1
b 1
N (why?).
(Remark: a = bN โ aN = bN for a, b โ N )
(2) Associativity:
(aN bN )cN = (ab)N cN = (abc)N
and
aN (bN cN ) = aN (bc)N = (abc)N.
(3) Identity: N = eN is the identity.
aN.eN = a.eN = aN = eN.aN
(4) Inverse: For aN clearly a
โ 1
N is the inverse of aH.
aHa
โ 1
= aa
โ 1
N โ eN = N = a
โ 1
N aN
Remark 0.9. It is abelian if G is abelian.
Let a โ G and an โ aN , since ana
โ 1
โ N implies that an โ N a.
So we get aN โ N a, similarly we can prove N a โ aN. Hence
aN = N a.
Exercise-13.1: Let G be a group and H be a subgroup G and fix g โ G.
(1) Prove that gHg
โ 1
is a subgroup of G of the same order as H.