1: \begin{abstract}

2: Testing isomorphism of infinite groups is a classical topic, but from the 

3: complexity theory viewpoint, few results are known. 

4:   S{\'e}nizergues and Wei\ss\  (ICALP2018) proved that the isomorphism problem 

5: for virtually free groups is decidable in $\mathsf{PSPACE}$ when the input is 

6: given in terms of so-called {virtually free presentations}. Here we consider the 

7: isomorphism problem for the class of \emph{plain groups}, that is, 

8: groups that are isomorphic to a free product of finitely many finite groups and 

9: finitely many copies of the infinite cyclic group. Every plain group is naturally 

10: and efficiently presented via an \icfclrrs. 

11: We prove  that the  

12: isomorphism problem for plain groups given in this form

13:  lies in the polynomial time hierarchy, more precisely, in $\Sigma_3^\PP$. 

14: This result is achieved by combining  new geometric and algebraic characterisations of 

15: groups presented by \icfclrrs s developed in recent work of Elder and Piggott (2021) with 

16: classical finite group isomorphism results of Babai and Szemer\'edi (1984).

17: \end{abstract}

18: