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

It is known that the mapping class group of a closed (orientable) surface is generated by elements of finite order. Is this also known to be true for $Out(F_n)?$ A related question is the following: The mapping class group is known to be a perfect group for $g\geq 3,$ that is, it is equal to its commutator. Is this known for $Out(F_n)?$ I can find references to the effect that the rational homology is trivial in low dimensions, but that's not quite the same...

share|cite|improve this question
The abelianization is almost trivial: it's $\mathbb Z_2$. – Jim Conant Oct 11 '11 at 14:52
@Jim: how do you show this? Is there a reference? – Igor Rivin Oct 11 '11 at 15:10
It follows directly from the Nielsen presentation for $Out(F_n)$. Vogtmann has a survey, "Automorphisms of free groups and outer space," which covers this point. – Jim Conant Oct 11 '11 at 15:22
And I should have mentioned $n>2$. – Jim Conant Oct 11 '11 at 15:23
Cool, will check out KV's paper, tnx! – Igor Rivin Oct 11 '11 at 15:30
up vote 12 down vote accepted

$Aut(F_2)$ is generated by torsion, and $Aut(F_n)$ is normally generated by $Aut(F_2)$, so $Aut(F_n)$ is generated by torsion, hence $Out(F_n)$.

share|cite|improve this answer
That's a nice argument... – Igor Rivin Oct 12 '11 at 7:05

In Bridson's "A condition that prevents groups from acting nontrivially on trees" it is shown that for $n\geq 3$, $Aut (F_n)$ is generated by subgroups $A_1,A_2,A_3$ such that $\langle A_i,A_j \rangle$ is finite for $i,j=1,2,3$. This answers your question and moreover implies (via Helly's theorem) that for $n\geq 3$, any action of $Aut (F_n)$ on a tree fixes a point.

Beautiful stuff!

share|cite|improve this answer
Thanks, that is very nice! – Igor Rivin Oct 13 '11 at 8:38

For your second point, the map $$d : \mathrm{Out}(F_n) \longrightarrow GL_n(\mathbb{Z}) \overset{\mathrm{det}}\longrightarrow \mathbb{Z}^\times$$ (given by the action on $\mathbb{Z}^n = H_1(F_n;\mathbb{Z})$) is surjective, and so $Out(F_n)$ is not perfect. I do not know whether $SOut(F_n) := \mathrm{Ker}(d)$ is perfect, but I would guess so.

share|cite|improve this answer

You can cook up lots of normal subgroups by looking at any characteristic subgroup of the free group. For example, if $F^{(k)}$ is the $k$th term of the lower central series, there is a surjection $$Out(F_n)\twoheadrightarrow Out(F_n/F_n^{(k)}).$$ The kernel of this surjection is an interesting normal subgroup. Oscar's construction is a special case of this.

(Edit: I misread "perfect" as "simple," so this is not an answer to the question.)

share|cite|improve this answer

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.