Clearly e ∈ N. If a, b ∈ N, say ##a^k = b^l = e##, for some k,l ∈ N, then ##(ab)^{kl} = (a^k )^l (b^l )^k = e^l e^k = e##; thus, ab ∈ N. Also, ##|a|=|a^{−1}|##, so ##a^{−1}## ∈ N. Thus, N is a subgroup. As G is abelian, it is normal. Take any c ∈ G. If, for some n ∈ N, we have ##(cN)^n = eN##...