1: \begin{abstract}

2: Given a countable group $G$ splitting as a free product $G=G_1\ast\dots\ast G_k\ast F_N$, we establish classification results for subgroups of the group $\text{Out}(G,\calf)$ of all outer automorphisms of $G$ that preserve the conjugacy class of each $G_i$.  

3: We show that every finitely generated subgroup $H\subseteq\text{Out}(G,\calf)$ either contains a relatively fully irreducible automorphism, or else it virtually preserves the conjugacy class of a proper free factor relative to the decomposition (the finite generation hypothesis on $H$ can be dropped for $G=F_N$, or more generally when $G$ is toral relatively hyperbolic).

4: In the first case, either $H$ virtually preserves a nonperipheral conjugacy class in $G$, or else $H$ contains an atoroidal automorphism. The key geometric tool to obtain these classification results is a description of the Gromov boundaries of relative versions of the free factor graph $\FF$ and the $\Z$-factor graph $\ZF$, as spaces of equivalence classes of arational trees (respectively relatively free arational trees). We also identify the loxodromic isometries of $\FF$ with the fully irreducible elements of $\Out(G,\calf)$, and loxodromic isometries of $\ZF$ with the fully irreducible atoroidal outer automorphisms.

5: \end{abstract}

6: