A non-commutative free algebra of rank 0 (Q579290)

Divisible groups may be regarded as the elements of a certain variety \({\mathfrak D}\) of (universal) algebras. An algebra A belongs to \({\mathfrak D}\) if it is a group with additional unary operations \(\rho_ 2,\rho_ 3,..\). satisfying the laws \((x\rho_ n)^ n=x\) for all \(x\in A\). The author investigates the group-theoretic structure of the free algebra F of rank 0 in the variey \({\mathfrak D}\). He shows that the derived series of F is infinite and that F contains non-abelian free subgroups. He also shows that F/F' is periodic, and, for each prime p, the Sylow p-subgroup of F/F' is a divisible p-group of countably infinite rank. He conjectures that F is residually soluble.