Algorithms determining finite simple images of finitely presented groups

Martin R. Bridson, David M. Evans, Martin W. Liebeck +1

We address the question: for which collections of finite simple groups does there exist an algorithm that determines the images of an arbitrary finitely presented group that lie in…