Algorithms determining finite simple images of finitely presented groups
From MaRDI portal
Publication:2326469
DOI10.1007/s00222-019-00892-3zbMath1446.20051arXiv1710.07183OpenAlexW2963134988WikidataQ105335391 ScholiaQ105335391MaRDI QIDQ2326469
David M. Evans, Martin R. Bridson, Martin W. Liebeck, Daniel Segal
Publication date: 7 October 2019
Published in: Inventiones Mathematicae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1710.07183
decision problemsfinite simple groupalgorithms in group theoryfinite quotients of finitely generated groups
Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Simple groups: alternating groups and groups of Lie type (20D06)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An \(L_2\)-quotient algorithm for finitely presented groups on arbitrarily many generators.
- An \(L_2\)-quotient algorithm for finitely presented groups.
- A residual property of certain free products
- ACFA and measurability
- The triviality problem for profinite completions
- Solving diophantine problems over all residue class fields of a number field and all finite fields
- Effective counting of the points of definable sets over finite fields
- Subgroups generated by root elements in groups of Lie type
- Residual properties of the modular group and other free products.
- Strong approximation for Zariski dense subgroups over arbitrary global fields
- Direct twisted Galois stratification
- The elementary theory of finite fields
- The Maximal Subgroups of the Low-Dimensional Finite Classical Groups
- On the congruence-subgroup problem for some anisotropic algebraic groups over number fields.
- On the subgroup structure of exceptional groups of Lie type
- Subgroups of exceptional algebraic groups which are irreducible on an adjoint or minimal module
- Normal Subgroup Growth of Linear Groups: the (G2; F4;E8)-Theorem
- Primitive permutation groups of bounded orbital diameter
- On the subgroup structure of classical groups