Professional Documents
Culture Documents
Shubham
June 25, 2021
1
3 Cosets 4.2.1 H and K are finite subgroups of
Group then
H 6= ∅, H < G , G is a group. |H| |K|
Then the cosets of H in G are : − HK = {hk|h ∈ H k ∈ K} and |HK| = |H∩K|
for any a ∈ G
5 Normal Groups
aH = {ah|h ∈ H}
Ha = {ha|h ∈ H} Def H E G ⇐⇒ aH = Ha ∀a ∈ G , H < G
aHa−1 = {aha−1 |h ∈ H} Test H E G ⇐⇒ xHx−1 ⊆ H ∀x ∈ G
1. Subgroups of abelian group are normal.
3.1 Properties
2. Normal subgroups are not abelian generally.
1. aH = H ⇐⇒ a ∈ H
3. Z(G) normal in G.
2. a ∈ aH
4. An normal in Sn
3. (ab)H = a(bH) same for Right coset.
5. H < G and H is unique in G then H E G
4. aH = bH
• ⇐⇒ a ∈ bH 6 Factor Groups
• ⇐⇒ a −1
b∈H
Killing H as H acting as Identity.
5. |aH| = |bH| = |H|
G
If H E G then factor group is H = {aH|∀a ∈ G}
6. Either aH = bH or aH ∩ bH = ∅ under operation (aH)(bH) = (abH) for a, b ∈ G
7. aH < G ⇐⇒ a ∈ H
8. aH = Ha ⇐⇒ aHa−1 = H
4 Lagrange’s Theorem
{”Bramhastra of Group T heory ”}
4.1 Statement
If G is finite and H < G then |H| divides |G|,
moreover the no of distinct left(or right) cosets of
H in G are |G|
|H|
4.2 Corollary
|G|
1. If G is finite then |G : H| = |H|
2
7 Results
7.0.1 Lagrange’s theorem
1. Total no of Left cosets of Infinite Group eg
nZ in Z is n − 1.
2. If H < G K < G then g(H ∩ K) = gH ∩ gK
3
8 Homomorphism
9 Isomorphism