1: \begin{abstract}

2: This is the fourth and last in a series of four papers, announced in \cite{HandelMosher:SubgroupsIntro}, that develop a decomposition theory for subgroups of $\Out(F_n)$.

3: 

4: In this paper we develop general ping-pong techniques for the action of $\Out(F_n)$ on the space of lines of $F_n$. Using these techniques we prove the main results stated in \cite{HandelMosher:SubgroupsIntro}, Theorem~C and its special case Theorem~I, the latter of which says that for any finitely generated subgroup $\h \subgroup \Out(F_n)$ that acts trivially on homology with $\Z/3$ coefficients, and for any free factor system $\F$ that does not consist of (the conjugacy classes of) a complementary pair of free factors of $F_n$ nor of a rank~$n-1$ free factor, if $\h$ is fully irreducible relative to $\F$ then $\h$ has an element that is fully irreducible relative to~$\F$. We also prove Theorem~J which, under the additional hypothesis that $\h$ is geometric relative to~$\F$, describes a strong relationship between $\h$ and a mapping class group of a surface. 

5: \end{abstract}

6: