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
- Finite and cyclic automorphism group implies cyclic
- Cyclic automorphism group implies abelian
- Finite abelian and abelian automorphism group implies cyclic
- Abelian and abelian automorphism group not implies locally cyclic
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.