1: \begin{abstract}

2: \noindent

3: \textbf{Abstract.}

4: We generalize the Plesken-Fabia{\'n}ska $\Ln_2$-quotient algorithm for finitely 

5: presented groups on two or three generators to allow an arbitrary number of 

6: generators.

7: The main difficulty lies in a constructive description of the invariant ring 

8: of $\GL(2, K)$ on $m$ copies of $\SL(2, K)$ by simultaneous conjugation.

9: By giving this description, we generalize and simplify some of the known 

10: results in invariant theory.  An implementation of the algorithm is available 

11: in the computer algebra system \textsc{Magma}.

12: 

13: \medskip

14: \noindent

15: \textbf{Keywords.} 

16: Finitely presented groups; quotient algorithm; varieties of representations; 

17: invariant theory

18: 

19: \medskip

20: \noindent

21: \textbf{2010 Mathematics Subject Classification.} 

22: 20F05; % Generators, relations, and presentations

23: 13A50 % Actions of groups on commutative rings; invariant theory

24: \end{abstract}

25: