Show that a^2=1 is a subgroup of H Is my inverse right?
For the inverse, . So, and thus .
Since H is an abelian group, we have . Thus K is a subgroup of H.
Anyhow I don't think K is necessarily a subgroup of H if H is a non-abelian group. Take an example of .