In: Math
If H is a subgroup of N and if N is a normal subgroup. Then we have to prove HN is also a subgroup.
Now
Now consider an element
and
where
and
.
Now if as we know from subgroup testthen
the HN is a subgroup.
Now
Now
as N is a subgroup. Let the element be
Hence
Now
Or,
Now,
as N is normal subgroup. Let the element be
Or,
Now
as H is a subgroup
so
So HN is a subgroup.
(B) Now consider G is any group that contains H and N. Now hence
it must contain every element of the form
As G is closed under multiplication. Hence
. Hence every group that contains H and N must contain HN. Hence HN
is the smallest group that contains both H and N