# Thread: H normal in G

1. ## H normal in G

group G = Z_4 x Z_4

Let H be a subgroup of G of order 4. Explain why H is normal in G and why the quotient group of G by H is Abelian and of order 4.

2. Originally Posted by tiasum2
group G = Z_4 x Z_4

Let H be a subgroup of G of order 4. Explain why H is normal in G and why the quotient group of G by H is Abelian and of order 4.
Hint:
Spoiler:

It's normal because the product of abelian groups is abelian and every subgroup of an abelian group is abelian.

Hint:

Spoiler:

$|G/H|=[G:H]=4=2^2$. Aren't all groups of order $p^2$ abelian? Why?

3. Quotients of abelian groups are always abelian!

4. Originally Posted by Bruno J.
Quotients of abelian groups are always abelian!
We seem to be clashing on what the OP is most likely to know today, huh? haha

Of course this is true since the quotient group will be the image of the canonical homomorphism and the image of an abelian group under a homomorphism is always abelian.

The OP will have to decide which he likes better I guess.