Infinitely divisible element of an abelian group (source code)

= Infinitely divisible element of an abelian group

An element $a$ of an abelian group is infinitely divisible when, for every positive integer $n$, there is an element $b$ with $nb=a$. Compactness can create a nonzero infinitely divisible element in a nonstandard model even when the original group has none.