Divisible group

In the context of group theory, a **divisible group** is a particular type of abelian group (a group where the group operation is commutative) that satisfies a specific divisibility condition related to its elements.