Let G be an abelian group. Prove that
$G^{(n)} = \{g \in G | g^n = 1_G \}$
is a subgroup of G.
How do I go about doing this?
I understand that $G^{(n)}$ is basically the set of all elements whose order divides n. So would I simply need to show that the group axioms hold for $G^{(n)}$ and this would show that it is a subgroup for G?
I already have the identity element at n = 0. Also, the inverse would be any $n < 0$. So now I just have to prove associativity right? How do I go about doing this?
Is this when $g^{(n)^{(m)}} = g^{(m)^{(n)}}$? How would I prove that?