Let $G$ be a group. For the following this is often assumed to be (though is not necessarily) an abelian group. Hence we write here the group operation with a plus-sign
For $\mathbb{N}$ the natural numbers, there is a function
which takes a group element $g$ to
A group $G$ is called divisible if for every natural number $n$ (hence for every integer) we have that for every element $g \in G$ there is an element $h \in G$ such that
In other words, if for every $n$ the ‘multiply by $n$’ map $G \stackrel{n}{\to} G$ is a surjection.
For $p$ a prime number a group is $p$-divisible if the above formula holds for all $n$ of the form $p^k$ for $k \in \mathbb{N}$.
There is also an abstract notion of $p$-divisible group in terms of group schemes.
Let $A$ be an abelian group.
Assuming the axiom of choice, the following are equivalent:
$A$ is divisible
$A$ is injective object in the the category Ab of abelian groups
the hom functor $Hom_{Ab}(-,A) : Ab^{op} \to Ab$ is exact.
This is for instance in (Tsit-YuenMoRi,Proposition 3.19). It follows for instance from using Baer's criterion.
The torsion-free? and divisible abelian groups are precisely the $\mathbb{Q}$-vector spaces, i.e. if $A$ is torsion-free and divisible, then it carries a unique vector space structure.
The direct sum of divisible groups is itself divisible.
Every quotient group of a divisible group is itself divisible.
The additive group of rational number $\mathbb{Q}$ is divisible. Hence also that underlying the real numbers $\mathbb{R}$ and the complex numbers.
Hence:
The underlying abelian group of any $\mathbb{Q}$-vector space is divisible.
The quotient groups $\mathbb{Q}/\mathbb{Z}$ and $\mathbb{R}/\mathbb{Z}$ are divisible (the latter is also written $U(1)$ (for unitary group) or $S^1$ (for circle group)).
What is additionally interesting about example is that it provides an injective cogenerator for the category Ab of abelian groups. Similarly, $\mathbb{R}/\mathbb{Z}$ is an injective cogenerator.
The following groups are not divisible:
the additive group of integers $\mathbb{Z}$.
the cyclic group $\mathbb{Z}_n$ for $n \geq 1 \in \mathbb{N}$.
Last revised on December 25, 2014 at 13:14:28. See the history of this page for a list of all contributions to it.