Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1322

Preprint Number 1322

Previous Next Preprint server

1322. Martin R. Bridson, David M. Evans, Martin W. Liebeck and Dan Segal
Algorithms determining finite simple images of finitely presented groups

Submission date: 19 October 2017


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 the collection? We prove both positive and negative results. For a collection of finite simple groups that contains infinitely many alternating groups, or contains classical groups of unbounded dimensions, we prove that there is no such algorithm. On the other hand, for families of simple groups of Lie type of bounded rank, we obtain positive results. For example, given any fixed untwisted Lie type X there is an algorithm that determines whether or not an arbitrary finitely presented group has infinitely many simple images isomorphic to X(q) for some q, and if there are finitely many, the algorithm determines them.

Mathematics Subject Classification: 20F10 (Primary), 20D05, 03D35, 03C60, 03C98, 20G25 (Secondary)

Keywords and phrases:

Full text arXiv 1710.07183: pdf, ps.

Last updated: March 23 2021 09:20 Please send your corrections to: