Finding \(p'\)-elements in finite groups of Lie type (Q2759633)

Let \(G\) be a connected reductive algebraic group over an algebraic closure of a finite prime field \(\mathbb{F}_q\) with \(p\) elements and let \(F\) be a Frobenius endomorphism of \(G\). Then some power of \(F\), say \(F^a\), induces on the character group of an \(F\)-stable maximal torus of \(G\) the map \(k\cdot\text{id}\), where \(k\) is some power of \(p\). Let \(q>0\) be defined by \(q^a=k\) and let \(G(q)\) be the group of \(F\)-fixed points of \(G\). This is finite group of Lie type. Let \(W\) be the Weyl group of \(G\).NEWLINENEWLINENEWLINEIn this paper, the author gives estimates for the proportion \(c_{G,m}(q)=|M_{G,m}(q)|/|G(q)|\) with \(M_{G,m}(q)=\{x \in G(q)\mid m\) divides the order \(|x|\) of \(x\}\), in the case where \(m\) is prime to \(p\). In fact, he proves the following result: Theorem 2.1. (a) Let \(l\in\mathbb{N}\) and \(c<\Phi(m)/m\) where \(\Phi\) is the Euler function. There exist \(q_0\in\mathbb{N}\) with the following property: For all \(G(q)\) with rank of \(G\) at most \(l\) and \(q>q_0\) which contain an element of order \(m\), the proportion of regular semisimple elements of order divisible by \(m\) is at least \(c/(2^l\cdot|W|)\). (b) In (a) we can take \(q_0\) such that for all \(q>q_0\) we have: NEWLINE\[NEWLINE2\cdot l^2\cdot 2^{l-1}\cdot((q+1)/(q-1)^{l-1})/((\Phi(m)/m)-c)+1<q.NEWLINE\]NEWLINENEWLINENEWLINEFor the entire collection see [Zbl 0959.00030].