1: \begin{abstract}

2: A triangle group is denoted by $\Delta(p,q,r)$ and has finite presentation

3: $$ \Delta(p,q,r)=\langle x,y | x^p=y^q=(xy)^r=1 \rangle .$$

4: We examine a method for composition of permutation representations of 

5: a triangle group $\Delta(p,q,r)$ that was used in Everitt's proof of Higman's

6: 1968 conjecture that every Fuchsian group has amongst its homomorphic images all

7: but finitely many alternating groups.

8: We see that some of these compositions must give imprimitive representations,

9: and in particular situations, where the representations being composed are

10: all equivalent copies of an alternating group in the same degree, we can give a 

11: complete description of the structure of the composition of the representations.

12: This article contains the main results of the author's PhD thesis.

13: \end{abstract}

14: