MathOverflow is a question and answer site for professional mathematicians. 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

As is well known, the conjugacy classes of the free group $F_2$ are parametrised by cyclically reduced words, up to cyclic permutation. In particular, it's easy to tell whether two elements of $F_2$ are conjugate.

What about the automorphism classes of $F_2$? For $u,v\in F_2$ write $u\sim v$ if there is an automorphism of $F_2$ mapping $u$ to $v$. Is there a similarly simple description of a representative from each $\sim$ class?

For example, if $F_2 = \langle x,y\rangle$ then $xyxyxy\sim xxx$ while $xyxyxyx\sim x$.

In particular, is it easy to tell whether $u\sim v$ for general words $u$ and $v$?

share|cite|improve this question
You can do this using the Whitehead Algorithm. More generally, it can be decided whether there is an automorphism mapping one $k$-tuple of elements onto another. – Derek Holt Mar 30 '13 at 16:32
up vote 5 down vote accepted

"Let $w_1$ and $w_2$ be elements of a free group $F$. Then it is decidable whether there is an automorphism of $F$ carrying $w_1$ into $w_2$."

(R.C.Lyndon, P.E.Schupp, Combinatorial Group Theory, Chapter I, Prop.4.19)

Is this an answer on your question? I think it's hard to get something more specific.

share|cite|improve this answer
Thank you. This is probably exactly the answer I'm looking for. I will find the reference. – Sean Eberhard Mar 30 '13 at 16:31
Complexity of the Whitehead algorithm has been intensively studied. See, for example Kapovich, Ilya. Clusters, currents, and Whitehead's algorithm. Experiment. Math. 16 (2007), no. 1, 67–76. – Mark Sapir Mar 30 '13 at 17:18
@Sean Eberhar: I have soft copy of this book. If you need, e-mail me. – Boris Novikov Mar 30 '13 at 17:18
Just to add, that the case of $F_2$ (free group of rank 2) in particular, is special. The automorphisms have been studied more extensively and there are a lot of results. – Alexey Kvashchuk Mar 30 '13 at 17:48
Yes. B. Khan studied extensively automorphic conjugacy classes in $F_2$. To get a better idea of what automorphisms of $F_2$ look like see See also – Alexey Kvashchuk Mar 31 '13 at 2:11

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.