 Solution

If a nonidentity power $x^j$ belongs to $H$, reduce $j$ modulo $p$ so that $1\le j<p$. There is an integer $a$ with $aj\equiv 1(\mathrm{mod}p)$, and therefore $(x^j{)}^a=x\in H$, a contradiction. ThusNow suppose that $G$ is abelian and finite. Start with $H_0=\{1\}$, and whenever $H_k\ne G$, choose $x_{k+1}\notin H_k$. The multiplication mapis a group homomorphism because all elements commute. It is surjective by construction and injective because the intersection of its two factors is trivial: $hx=h^{\prime }{x}^{\prime }$ implies $h^{\prime -1}h=x^{\prime }{x}^{-1}$ lies in that intersection. Hence $H_{k+1}\cong H_k\times C_p$, and its order is $p$ times the previous order. Strict growth and finiteness ensure that the construction ends at $G$. Thereforewhere $n$ is the number of factors, possibly zero. This is an elementary abelian group, obtained by an explicit direct product of groups construction.