Thread: Normal group problem

Originally Posted by tttcomrader

Let N be normal in G, and let H be a subgroup of G. Prove that NH is a subgroup of G.

I'm a confused about NH, what kind of element belong to this set?

NH means the set of all products of an element of N times an element of H. So an element of NH is of the form nh, where n is in N and h is in H.

Originally Posted by tttcomrader

Let N be normal in G, and let H be a subgroup of G. Prove that NH is a subgroup of G.

I'm a confused about NH, what kind of element belong to this set?

The set . If are subgroups of then not necessarily does it means is a subgroup. If however, is normal, i.e. for any and then is a group.

However, it turns out that need not be normal in . It can have a weaker property but yet .

Theorem: If has the property that for any and then is a group.
(Do you see why this would prove you case? Meaning, if is normal then certainly . So of course it works).

Proof: All I will show is closure of which is the only part which takes a little work. Let and we want to show . But this means and for and . Thus, . But is this product in ? Not necessarily, so we need to use the additional condition in the theorem. Which says , i.e. for some . Thus, which certainly is in . Q.E.D.