-divisible group
Let be a positive integer and an abelian group. An element is said to be divisible by if there is such that .
By the unique factorization of , write where each is a prime number (distinct from one another) and a positive integer.
Proposition 1.
If is divisible by , then is divisible by .
Proof.
If is divisible by , write , where . Since divides , write where is a positive integer. Then . Since , is divisible by .∎
Definition. An abelian group such that every element is divisible by is called an -divisible group. Clearly, every group is -divisible.
For example, the subset of all decimal fractions is -divisible. is also and -divisible. In general, we have the following:
Proposition 2.
If is -divisible, it is also -divisible for every non-negative integer .
Proposition 3.
Suppose and are coprime, then is -divisible and -divisible iff it is -divisible.
Proof.
This follows from proposition 1 and the fact that if , and , then . ∎
Proposition 4.
is -divisible iff is -divisible for every prime dividing .
Proof.
Suppose is -divisible. By proposition 1, every element is divisible by , so that is -divisible. Conversely, suppose is -divisible for every . Write . Then if is -divisible for every . Since and are coprime, is -divisible by induction and proposition 3.∎
Remark. is a divisible group iff is -divisible for every prime .