Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Suppose $G=\mathbb{Z}\ast C_n=\langle a, b; b^n\rangle$ is the free product of the infinite cyclic group with a finite cyclic group. Then $G$ has finite outer automorphism group. However, my proofs (and the proofs I have found in the literature*) of this fact use lots of Nielsen-esq automorphisms-of-free-groups theory (with a touch of Whitehead, if I recall correctly).

I was wondering if anyone knows of any short (two-liner), lower-level proofs?

*(Although I will admit I skipped the classic reference, which is a paper of Fouxe-Rabinovitch written in Russian with a MathSciNet entry in German. I speak neither language.)

share|cite|improve this question
up vote 4 down vote accepted

Are you willing to use the fact that all subgroups of order $n$ in $G$ are conjugate? If so, then we can assume that our automorphism fixes $b$. Then it is enough to prove that it must map $a$ to $b^iab^j$ for some $i,j$, and there are only finitely many such automorphisms. So it is enough to prove that, if $G = \langle g,b \rangle$, then $g = b^iab^j$. If not, then we can assume that the normal form of $g$ has the form $awa$ or $awa^{-1}$ for some nontrivial word $w$ containing $b^{\pm 1}$, and it is not hard to see you cannot generate $a$ from such a $g$ and $b$.

share|cite|improve this answer
Thanks, yes, I hadn't thought to use the normal form theorem (actually, you could translate this proof into Bass-Serre theory, because, as your observation about only having one subgroup points out, all automorphisms fix the graph of groups structure (if you view your group as an HNN-extension with trivial associated subgroups - is that allowed?)). Very nice. Although someone should say that this is only an index $\phi(n)$ subgroup of $\operatorname{Out}(G)$, where $\varphi$ is the Euler totient function. (I am sure you know this, but I am also sure that someone reading this will not.) – user1729 Sep 13 '13 at 17:31
Since $b^iab^j$ is conjugate to $b^ia$ by a power of $b$, representatives of the outer automorphisms seem to be $a \mapsto b^ia^{\pm 1}$, $b \mapsto b^j$ with $(j,n)=1$, which would make $|{\rm Out}(G)|= 2n\varphi(n)$ if I've got that right. – Derek Holt Sep 14 '13 at 8:46
Yeah, it is actually isomorphic to $D_n\rtimes\operatorname{Aut}(C_n)$. – user1729 Sep 14 '13 at 10:13

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.