Cyclic automorphism group not implies cyclic

This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., group whose automorphism group is cyclic) need not satisfy the second group property (i.e., cyclic group)
View a complete list of group property non-implications | View a complete list of group property implications
Get more facts about group whose automorphism group is cyclic|Get more facts about cyclic group

Statement

It is possible to have a group that is an [group whose automorphism group is cyclic]] (i.e., the automorphism group is a cyclic group) but the group itself is not a cyclic group.

Proof

Further information: group of rational numbers with square-free denominators

Let  be the group of rational numbers with square-free denominators, i.e.,  is the subgroup of the additive group of rational numbers comprising those rational numbers that, when written in reduced form, have denominators that are square-free numbers, i.e., there is no prime number  for which  divides the denominator. Then:

• The only non-identity automorphism of  is the negation map, so the automorphism group is cyclic group:Z2, and is hence cyclic.
•  is not a cyclic group. In fact, it is not even a finitely generated group because any finite subset of  can only cover finitely many primes in their denominators. It is, however, a locally cyclic group: any finitely generated subgroup is cyclic.