generators of Out(F_n) and homology 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...
 A: 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! 
A: 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.
A: $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)$. 
A: 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.) 
