Presentations of finite simple groups: a computational approach.

DOI10.4171/JEMS/257MaRDI QIDQ621854zbMATHFDO

Authors William M. Kantor, Martin Kassabov, Alexander Lubotzky, Robert Guralnick

Publication date 28 January 2011

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

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

zbMATH Keywords

alternating groupsfinite simple groups of Lie typegenerators and relationsbit-lengthsshort presentations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Simple groups: alternating groups and groups of Lie type (20D06) Generators, relations, and presentations of groups (20F05) Cohomology of groups (20J06) Software, source code, etc. for problems pertaining to group theory (20-04)

Abstract: All nonabelian finite simple groups of rank $n$ over a field of size $q$, with the possible exception of the Ree groups ${}^2{G}_2(3^{2e+1})$, have presentations with at most $80$ relations and bit-length $O(logn+logq)$. Moreover, $A_n$ and $S_n$ have presentations with 3 generators$,$ 7 relations and bit-length $O(logn)$, while $SL(n,q)$ has a presentation with 7 generators, $25$ relations and bit-length $O(logn+logq)$.

Recommendations

• Presentations of finite simple groups: a quantitative approach.
• Short presentations for alternating and symmetric groups
• Short presentations for finite groups
• All simple groups with order from 1 million to 5 million are efficient.
• On presentations and second cohomology of some finite simple groups.

Cites work

• scientific article; zbMATH DE number 3117592 (Why is no real title available?)
• scientific article; zbMATH DE number 3121308 (Why is no real title available?)
• scientific article; zbMATH DE number 4156763 (Why is no real title available?)
• scientific article; zbMATH DE number 3927207 (Why is no real title available?)
• scientific article; zbMATH DE number 3929276 (Why is no real title available?)
• scientific article; zbMATH DE number 3575825 (Why is no real title available?)
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• scientific article; zbMATH DE number 1111401 (Why is no real title available?)
• scientific article; zbMATH DE number 1981746 (Why is no real title available?)
• scientific article; zbMATH DE number 1981751 (Why is no real title available?)
• scientific article; zbMATH DE number 2133330 (Why is no real title available?)
• scientific article; zbMATH DE number 4118591 (Why is no real title available?)
• scientific article; zbMATH DE number 3311772 (Why is no real title available?)
• scientific article; zbMATH DE number 3332147 (Why is no real title available?)
• scientific article; zbMATH DE number 3379174 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• scientific article; zbMATH DE number 3030774 (Why is no real title available?)
• scientific article; zbMATH DE number 3041447 (Why is no real title available?)
• A Deficiency Zero Presentation for SL (2, p )
• A Finitely Presented Metabelian Group with a Free Abelian Derived Group of Infinite Rank
• A Note on the Linear Fractional Group
• A new proof of a theorem of Phan
• A presentation for Aut(Fn )
• A presentation for the special automorphism group of a free group
• All simple groups with order from 1 million to 5 million are efficient.
• Bertrand's postulate for primes in arithmetical progressions
• Buildings of spherical type and finite BN-pairs
• Central extensions of groups of Lie type.
• Classes of groups related to F^a,b,c
• Closing the relation gap by direct product stabilization
• Constructive recognition of classical groups in odd characteristic.
• Deficiency zero presentations for certain perfect groups
• Defining relations for certain integrally parametrized Chevalley groups
• Die Erzeugenden der Hauptkongruenzgruppen für Primzahlstufen
• Even-dimensional orthogonal groups as amalgams of unitary groups.
• Explizite Präsentation von Chevalleygruppen über Z
• FINITE AXIOMATIZATION OF FINITE SOLUBLE GROUPS
• Generation of almost simple groups
• Generators for Simple Groups
• Generators, relations and coverings of algebraic groups. II
• Introduction to Algebraic K-Theory. (AM-72)
• Nice Efficient Presentions for all Small Simple Groups and their Covers
• On a class of doubly transitive groups
• On the Efficiency of the Simple Groups of Order Less Than a Million and Their Covers
• On the Second Cohomology Group of a Finite Group
• On the prime numbers of certain arithmetic series.
• Polynomial and normal bases for finite fields
• Presentations of finite simple groups: a quantitative approach.
• Presentations of finite simple groups: profinite and cohomological approaches.
• Presentations of the Groups SL(2,m) And PSL(2,m)
• Probabilistic generation of finite simple groups
• Remarks on proficient groups.
• Schur Multipliers of Finite Simple Groups of Lie Type
• Short presentations for alternating and symmetric groups
• Short presentations for finite groups
• Short presentations for three-dimensional unitary groups.
• Small-diameter Cayley graphs for finite simple groups
• Subgroups of Classical Groups Generated by Long Root Elements
• The computational matrix group project.
• The efficiency of simple groups of order < 10⁵
• The probability of generating a finite classical group
• The probability of generating a finite simple group
• The probability of generating the symmetric group
• Zur Verallgemeinerung des Bertrandschen Postulates, dass zwischen \(x\) und \(2x\) stets Primzahlen liegen

Cited in

(15)

• Presentations of finite simple groups: profinite and cohomological approaches.
• Remarks on proficient groups.
• Notes on gauging noninvertible symmetries. Part I. Multiplicity-free cases
• PERMUTATION-BASED PRESENTATIONS FOR BRIN’S HIGHER-DIMENSIONAL THOMPSON GROUPS
• scientific article; zbMATH DE number 4083895 (Why is no real title available?)
• Presentations: from Kac-Moody groups to profinite and back
• Presentations on standard generators for classical groups
• Short presentations for alternating and symmetric groups
• On the consistency problem for modular lattices and related structures
• Presentations of generalisations of Thompson's group \(V\)
• Black box exceptional groups of Lie type.
• On presentations and second cohomology of some finite simple groups.
• Presentations of affine Kac-Moody groups
• Presentations of finite simple groups: a quantitative approach.
• Sparse graph limits along balls

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Presentations of finite simple groups: a computational approach.

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