Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAn improved diameter bound for finite simple groups of Lie type
94
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
For a finite group $G$, let $mathrm{diam}(G)$ denote the maximum diameter of a connected Cayley graph of $G$. A well-known conjecture of Babai states that $mathrm{diam}(G)$ is bounded by ${(log_{2} |G|)}^{O(1)}$ in case $G$ is a non-abelian finite simple group. Let $G$ be a finite simple group of Lie type of Lie rank $n$ over the field $F_{q}$. Babais conjecture has been verified in case $n$ is bounded, but it is wide open in case $n$ is unbounded. Recently, Biswas and Yang proved that $mathrm{diam}(G)$ is bounded by $q^{O( n {(log_{2}n + log_{2}q)}^{3})}$. We show that in fact $mathrm{diam}(G) < q^{O(n {(log_{2}n)}^{2})}$ holds. Note that our bound is significantly smaller than the order of $G$ for $n$ large, even if $q$ is large. As an application, we show that more generally $mathrm{diam}(H) < q^{O( n {(log_{2}n)}^{2})}$ holds for any subgroup $H$ of $mathrm{GL}(V)$, where $V$ is a vector space of dimension $n$ defined over the field $F_q$.
rate research
Read More
The unipotent subgroup of a finite group of Lie type over a prime field Z/pZ comes equipped with a natural set of generators; the properties of the Cayley graph associated to this set of generators have been much studied. In the present paper, we show that the diameter of this Cayley graph is bounded above and below by constant multiples of np + n^2 log p, where n is the rank of the associated Lie group. This generalizes a result of the first author, which treated the case of SL_n(Z/pZ). (Keywords: diameter, Cayley graph, finite groups of Lie type. AMS classification: 20G40, 05C25)
Building on earlier results for regular maps and for orientably regular chiral maps, we classify the non-abelian finite simple groups arising as automorphism groups of maps in each of the 14 Graver-Watkins classes of edge-transitive maps.
Let $q$ be a prime power and let $G$ be an absolutely irreducible subgroup of $GL_d(F)$, where $F$ is a finite field of the same characteristic as $F_q$, the field of $q$ elements. Assume that $G cong G(q)$, a quasisimple group of exceptional Lie type over $F_q$ which is neither a Suzuki nor a Ree group. We present a Las Vegas algorithm that constructs an isomorphism from $G$ to the standard copy of $G(q)$. If $G otcong {}^3 D_4(q)$ with $q$ even, then the algorithm runs in polynomial time, subject to the existence of a discrete log oracle.
In this paper we determine the torsion free rank of the group of endotrivial modules for any finite group of Lie type, in both defining and non-defining characteristic. On our way to proving this, we classify the maximal rank $2$ elementary abelian $ell$-subgroups in any finite group of Lie type, for any prime $ell$, which may be of independent interest.
Let $G$ be a finite simple group of Lie type, and let $pi_G$ be the permutation representation of $G$ associated with the action of $G$ on itself by conjugation. We prove that every irreducible representation of $G$ is a constituent of $pi_G$, unless $G=PSU_n(q)$ and $n$ is coprime to $2(q+1)$, where precisely one irreducible representation fails. Let St be the Steinberg representation of $G$. We prove that a complex irreducible representation of $G$ is a constituent of the tensor square $Stotimes St$, with the same exceptions as in the previous statement.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
