Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In introduction to algebra we got the exercise:

Let $G$ be a group. Show that when $\operatorname{Aut}(G)$ is cyclic $G$ is abelian.

This doesn't make that much trouble. Denote the center (all commuting elements) with $Z$. Then $G/Z$ is isomorphic to $\operatorname{Int}(G)$ where $\operatorname{Int}(G)$ denotes the subgroup of inner automorphisms. As every subgroup of a cyclic group is cyclic we have $G/Z$ is cyclic and hence $G$ is abelian (As a group which is cyclic of the center is abelian).

So the question is:

Is there a non cyclic group with a cyclic automorphism group?

We discussed the question already in chat and I found (thanks to google) a solution there, but I would enjoy other Examples.

share|cite|improve this question
I would like a torsion-free example $G$ that does not embed in $\mathbb{Q}$. – Jack Schmidt May 22 '13 at 21:26

Whenever $G$ is finite and its automorphismus is cyclic we can already conclude that $G$ is cyclic.

Because as we already saw $G$ is abelian and finite, we can use the fundamental theorem of finitely generated abelian groups and say that wlog $G=\mathbb{Z}/p^k\mathbb{Z} \times \mathbb{Z}/p^j \mathbb{Z}$. But the automorphismgroup isn't abelian and hence isn't cyclic.

For non finite groups the implication isn't true.

The following is from this link and only slightly reworded.

Let $G$ be 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 $p$ for which $p^2$ divides the denominator.

Then: The only non-identity automorphism of is the negation map, so the automorphism group is $\mathbb{Z}/2\mathbb{Z}$, and is hence cyclic.

The group $G$ 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.

share|cite|improve this answer
There are uncountably many non-isomorphic but really-very-similar examples: for instance the "cube free numbers" consisting of all rational numbers whose denominator is not divisible by the cube of any prime. Again the endomorphism ring is the largest subring contained in it ($\mathbb{Z}$), and the automorphism group is the group of units ($\pm1$). – Jack Schmidt May 22 '13 at 20:14
...and if $G$ is the Klein $4$-group?... – user1729 May 22 '13 at 20:20
@user1729: automorphism group is GL(2,2) = S3, nonabelian – Jack Schmidt May 22 '13 at 20:22
(@Dominic: It wouldn't hurt to put in a little more of the proof sketch in the finite case, as the automorphism group of a subgroup and/or quotient group can be much larger than the automorphism group of the original.) – Jack Schmidt May 22 '13 at 20:23
@JackSchmidt Oh. Whoopse! – user1729 May 22 '13 at 20:58

$\mathbb{Q}^*$ is non cyclic, but the only automorphism is the identity.

share|cite|improve this answer
I think switching $2$ and $3$ in the prime factorization of $a/b$ is an automorphism. – Jack Schmidt May 22 '13 at 20:29
${\bf Q}^\times\cong {\bf Z}/2{\bf Z}\oplus{\bf Z}\oplus{\bf Z}\oplus{\bf Z}\oplus\cdots$ has uncountably large nonabelian automorphism group (in particular it includes the infinite symmetric group). – anon May 22 '13 at 20:33
Even though this automorphism alone isn't enough but inversion is another automorphism ($x\mapsto x^{-1}$). – Dominic Michaelis May 23 '13 at 7:27
I think, the only groups with identity automorphism group are $1$ and $\mathbb{Z}/2$. – RDK May 31 '13 at 8:40

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.