Let G be a group, and let

(That means H is the normal subgroup of G, right?)

a)Show that is also a subgroup of G.

My proof:

Suppose that x,y is in G, so that

Since H is normal in G, pick

Now,

Is this right?

b) If H is finite of order k, then is also finite of order k.