F homeomorphism, H commutative, N is a subgroup of the kernel containing G, which proves that N is a normal subgroup of G..

So G is an Abel group, G multiplies the subset by the left coset of N to form a group, and N is the normal subgroup of G (Exercise 3 on page 83 of Hu Modern Algebra Application).