# Abelian and abelian automorphism group not implies locally cyclic

## Statement

It is possible for a group to be both an abelian group and a group whose automorphism group is abelian (i.e., have an abelian automorphism group) but not be a locally cyclic group (i.e., it has a subgroup generated by two elements that is not cyclic).

## Related facts

### Opposite facts

## Proof

Consider the group where is the (additive) group of rational numbers and is the cyclic group of order two and denotes the external direct product.

Clearly, is abelian. We claim that the automorphism group of is abelian:

- The first direct factor is characteristic in : In fact, it is precisely the set of elements that are divisible by , i.e., that have
*halves*(in additive notation). - The second direct factor is characteristic in : In fact, it is precisely the set of elements whose order is a factor of , i.e., whose double is zero (in additive notation).

Thus, an automorphism of preserves the two direct factors, and we thus get:

We know that is abelian, and is trivial, so the direct product is abelian.

Next, we claim that is not locally cyclic. To see this, note that the generator of the second direct factor has finite order and any element in the first direct factor has infinite order, so they cannot be in a common cyclic group (if the cyclic group is finite, it cannot have an element of infinite order; if it is infinite, it cannot have a nonzero element of finite order).

More generally, we can take as our where is a prime number.