The isomorphism problem for plain groups is in ${\Sigma }_3^{\mathsf{P}}$

Heiko Dietrich, Murray Elder, Adam Piggott +2

Testing isomorphism of infinite groups is a classical topic, but from the complexity theory viewpoint, few results are known. S{é}nizergues and the fifth author (ICALP2018) proved…