# Divisible group

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A group in which for any element and for any integer the equation is solvable. The group is usually understood to be Abelian. Important examples of divisible groups are the additive group of all rational numbers and the group of all complex roots of unity of degrees , where is a prime number (the quasi-cyclic group). Any Abelian divisible group splits into a direct sum of groups each of which is isomorphic to one of the groups mentioned in the examples. Much less is known about non-Abelian divisible groups (also called complete groups). Any divisible group, except the identity group, is infinite. Any group is imbeddable in a suitable divisible group. If the equations stated in the definition of a divisible group have a unique solution, the group is called a -group. Examples, in particular, are locally nilpotent divisible torsion-free groups.

#### References

 [1] A.G. Kurosh, "The theory of groups" , 1–2 , Chelsea (1955–1956) (Translated from Russian) [2] M.I. Kargapolov, J.I. [Yu.I. Merzlyakov] Merzljakov, "Fundamentals of the theory of groups" , Springer (1979) (Translated from Russian)