This stuff drives me bonkers. Anyway, I have been given or have proved the following:

is onto.

is a subgroup

is a subgroup of

---------------------

My last question (for this section) is:

Verify that if is normal in , then is normal in

-------------

Can I say this:

If is normal in then:

for all , so:

for all

Hence, is normal in