Subgroups
Subgroups
Let (G, ⋆) be a group and H be a non-empty subset of G, such that (H, ⋆) is a group then, “H” is called
a subgroup of G.
That means H also forms a group under a binary operation, i.e., (H, ⋆) is a group.
• A subgroup of a group consisting of only the identity element, i.e., {e} is called the trivial
subgroup.
• A subgroup H of a group G, a proper subset of G, i.e., H ≠ G is called the proper subgroup and
is represented by H < G. This can be read as “H is a proper subgroup of G”.
Properties of Subgroups
We can also prove the following statements using the properties of groups and subgroups.
4. If H and K are two subgroups of a group G, then HK is a subgroup of G if and only if HK = KH.
6. The union of two subgroups of a group is a subgroup, if and only if one is contained in the other. (or)
If H and G are two subgroups of G, then H U K is a subgroup of G, if and only if H ⊆ K or K ⊆ H.
Theorem 1:
H is a subgroup of G. Prove that the identity element of H is equal to the identity element in G.
Proof:
Let us assume that e and e’ be the two identity elements in H and G, respectively.
Thus, a ⋆ e = e ⋆ a = a…..(1)
Therefore, a ⋆ e’ = e’ ⋆ a = a…..(2)
a ⋆ e = a ⋆ e’
⇒ e = e’
Hence proved.
Theorem 2:
H is a subgroup of G. The inverse of any element in H is equal to the inverse of the same element in
G.
Proof:
Consider a ∈ H ⇒ a ∈ G
Let us assume that b and c are two inverse elements of a in H and G respectively.
Then, a ⋆ b = b ⋆ a = e….(1)
Then, a ⋆ c = c ⋆ a = e….(2)
a⋆b=a⋆c
⇒b=c
That means the inverse element of a in H is equal to the inverse element of a in G.
Hence proved.