$G$ is a reduced Group Here is the problem:

Let $G=\langle x_0,x_1,x_2,\ldots\ |px_0=0,x_0=p^nx_n, \text{all } n\geq1\rangle$. Prove that  $G/\langle x_0\rangle$ is a direct sum of cyclic groups and is reduced.

The first part is easy because if we put the relation $x_0=0$ to other relations in $G$; $G$ would be a direct sum of cyclic groups. For another part, I feel that the first part is usefull, but I don't know how to link these together. The following ideas just came to me:


*

*if I assume it is not reduced; $dG$ would be a proper subgroup and so $G/dG$ is reduced.


or


*

*To show that $\{0\}$ is the only divisible subgroup of $G$.


Thanks for your time.

Suppose $\,A\leq G/\langle\,x_0\,\rangle\,$ is a divisible subgroup and let $\,a\in A\,$ . Then
$$\forall\,n\in\Bbb N\,\,\exists\,a_n\in A\,\,s.t.\, a= na_n$$
Now, we can write $\,a=w(x_i)+\langle\,x_0\,\rangle\,$ ,where $\,w(x_i)\,$ is a word in a finite number of generators $\,x_i\,$ of $\,G\,$.
Well, let now $\,m:=\max\,\{i\;;\;x_i\,\,\text{appears in the word}\,\,w\}$ , and take now $\,n:=p^m\,$ above...can you take it from here?
