Subgroups of simple groups are as diverse as possible

DOI10.1112/BLMS.12573MaRDI QIDQ6133235zbMATH OpenFDO

Authors Martin Kassabov, James B. Wilson

Publication date 18 August 2023

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

asymptotic properties of groupsfinite simple groupisomorphism typenumber of subgroups

Mathematics Subject Classification ID

Simple groups: alternating groups and groups of Lie type (20D06) Subgroup theorems; subgroup growth (20E07) Simple groups (20E32)

Abstract: For a finite group $G$, let $sigma(G)$ be the number of subgroups of $G$ and $sigm{a}_{i}ota(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$ and characteristic $p$. If $req1$, $Lotcong{}^2{B}_2(2^{1+2m})$, then there are constants $c,d$, dependent on the Lie type, such that as $re$ grows ${\displaystyle }$p^{(c-o(1))r^4e^2}leqsigma_{iota}(L_r(p^e))leqsigma(L_r(p^e)) leq p^{(d+o(1))r^4e^2}.${\displaystyle }$ For type $A$, $c=d=1/64$. For other classical groups $1/64leqcleqdleq1/4$. For exceptional and twisted groups $1/2^{100}leqcleqdleq1/4$. Furthermore, ${\displaystyle }$2^{(1/36-o(1))k^2)}leqsigma_{iota}(mathrm{Alt}_k)leq sigma(mathrm{Alt}_k)leq 24^{(1/6+o(1))k^2}.${\displaystyle }$ For abelian and sporadic simple groups $G$, $sigm{a}_{iota}(G),sigma(G)inO(1)$. In general these bounds are best possible amongst groups of the same orders. Thus with the exception of finite simple groups with bounded ranks and field degrees, the subgroups of finite simple groups are as diverse as possible.

Recommendations

• scientific article; zbMATH DE number 1004943
• On the number of maximal soluble subgroups of a finite group
• Maximal subgroups of symmetric groups
• Permutation groups, simple groups, and sieve methods
• scientific article; zbMATH DE number 981680

Cites work

• A fast isomorphism test for groups whose Lie algebra has genus 2
• Alternating forms and self-adjoint operators
• Computing isometry groups of Hermitian maps
• Division, adjoints, and dualities of bilinear maps
• Enumerating p -Groups
• Enumerating p -Groups. I: Inequalities
• Enumerating finite groups of given order
• scientific article; zbMATH DE number 46357 (Why is no real title available?)
• scientific article; zbMATH DE number 3577144 (Why is no real title available?)
• scientific article; zbMATH DE number 1111401 (Why is no real title available?)
• scientific article; zbMATH DE number 5272192 (Why is no real title available?)
• scientific article; zbMATH DE number 3074905 (Why is no real title available?)
• Isomorphism in expanding families of indistinguishable groups.
• Metabelian groups and trilinear forms
• Moufang Octagons and the Ree Groups of Type 2 F 4
• On automorphisms of groups, rings, and algebras
• On the maximal subgroups of the finite classical groups
• Principe de Hasse faible pour les systèmes de formes quadratiques.
• Ree geometries
• Some applications of the Eulerian functions of a finite group
• The maximal subgroups of the low-dimensional finite classical groups.
• The threshold for subgroup profiles to agree is \Omega(\log n)

This page was built for publication: Subgroups of simple groups are as diverse as possible

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