Algorithms determining finite simple images of finitely presented groups

DOI10.1007/S00222-019-00892-3MaRDI QIDQ2326469zbMATH OpenOpenAlexWikidataFDO

Authors Martin R. Bridson, David M. Evans, Martin W. Liebeck, Dan Segal

Publication date 7 October 2019

Published in Inventiones Mathematicae (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1710.07183

zbMATH Keywords

decision problemsfinite simple groupalgorithms in group theoryfinite quotients of finitely generated groups

Mathematics Subject Classification ID

Simple groups: alternating groups and groups of Lie type (20D06) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Abstract: 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.

Recommendations

• Simple groups in computational group theory
• Algorithms for the Tits alternative and related problems.
• On the finite simple images of free products of finite groups
• Algorithmically finite groups.
• Towards a soluble quotient algorithm

Cites work

• scientific article; zbMATH DE number 4014840 (Why is no real title available?)
• scientific article; zbMATH DE number 4132443 (Why is no real title available?)
• scientific article; zbMATH DE number 32406 (Why is no real title available?)
• scientific article; zbMATH DE number 52370 (Why is no real title available?)
• scientific article; zbMATH DE number 1111401 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• A residual property of certain free products
• ACFA and measurability
• An \(L_2\)-quotient algorithm for finitely presented groups on arbitrarily many generators.
• An L₂-quotient algorithm for finitely presented groups.
• Direct twisted Galois stratification
• Effective counting of the points of definable sets over finite fields
• Normal Subgroup Growth of Linear Groups: the (G2; F4;E8)-Theorem
• On the congruence-subgroup problem for some anisotropic algebraic groups over number fields.
• On the subgroup structure of classical groups
• On the subgroup structure of exceptional groups of Lie type
• Primitive permutation groups of bounded orbital diameter.
• Residual properties of the modular group and other free products.
• Solving diophantine problems over all residue class fields of a number field and all finite fields
• Strong approximation for Zariski dense subgroups over arbitrary global fields
• Subgroups generated by root elements in groups of Lie type
• Subgroups of exceptional algebraic groups which are irreducible on an adjoint or minimal module
• The elementary theory of finite fields
• The maximal subgroups of the low-dimensional finite classical groups.
• The triviality problem for profinite completions

Cited in

(6)

• Universal covers of finite groups
• An algorithm for determining the simplicity of a modular group representation
• scientific article; zbMATH DE number 59506 (Why is no real title available?)
• Computing stable epimorphisms onto finite groups
• Approximating the Schur multiplier of certain infinitely presented groups via nilpotent quotients
• An L₂-quotient algorithm for finitely presented groups.

This page was built for publication: Algorithms determining finite simple images of finitely presented groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2326469)