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.