1: \begin{abstract}

2: This is the second 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 relativize the ``Kolchin-type theorem'' of \BookTwo, which describes a decomposition theory for subgroups $\h \subgroup \Out(F_n)$ all of whose elements have polynomial growth. The Relative Kolchin Theorem, Theorem~E from \cite{HandelMosher:SubgroupsIntro}, allows subgroups $\h$ whose elements have exponential growth, as long as all such exponential growth is cordoned off in some free factor system~$\F$ which is invariant under every element of~$\h$. The conclusion is that a certain finite index subgroup of $\h$ has an invariant filtration by free factor systems going from $\F$ up to the full free factor system $\{[F_n]\}$ by individual steps each of which is a ``one-edge extension''. We also study the kernel of the action of $\Out(F_n)$ on $H_1(F_n;\Z/3)$, and we prove Theorem~B of \cite{HandelMosher:SubgroupsIntro} which describes strong finite permutation behavior of all elements of this kernel.

5: \end{abstract}

6: