# Finite not implies divisibility-closed in abelian group

From Groupprops

This article gives the statement and possibly, proof, of a non-implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., finite subgroup) neednotsatisfy the second subgroup property (i.e., divisibility-closed subgroup)

View a complete list of subgroup property non-implications | View a complete list of subgroup property implications

Get more facts about finite subgroup|Get more facts about divisibility-closed subgroup

EXPLORE EXAMPLES YOURSELF: View examples of subgroups satisfying property finite subgroup but not divisibility-closed subgroup|View examples of subgroups satisfying property finite subgroup and divisibility-closed subgroup

## Statement

It is possible to have a group (in fact, we can choose to be an abelian group) and a finite subgroup of such that is not a divisibility-closed subgroup of . In other words, there exists a prime number such that is a -divisible group but is not a -divisible group.

In fact, we can construct an example of this sort for each prime number .

## Proof

For any prime number :

- Let be the -quasicyclic group.
- Let be the subgroup comprising the elements of order 1 or .

Clearly:

- is a finite subgroup. In fact, it has order .
- However, is not divisibility-closed: is -divisible, but is not.