A new characterization of E 8 ( p ) via its vanishing elements

DOI10.1080/00927872.2024.2414383MaRDI QIDQ7008593zbMATH OpenFDO

Authors Shengmin Zhang

Publication date 21 March 2025

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927872.2024.2414383

Mathematics Subject Classification ID

Ordinary representations and characters (20C15) Finite simple groups and their classification (20D05) Simple groups: alternating groups and groups of Lie type (20D06) Arithmetic and combinatorial problems involving abstract finite groups (20D60) Exceptional groups (20G41)

Review text

Let \(G\) be a finite group and let \(g \in G\). The element \(g\) is said to be a vanishing element of \(G\) if there exists an irreducible character \(\chi \in \mathrm{Irr}(G)\) such that \(\chi(g) = 0\). Denote by \(\operatorname{Vo}(G)\) the set of orders of vanishing elements of \(G\). A group \(G\) is called \(\mathcal{V}\)-recognizable if any finite group \(N\) with \(\operatorname{Vo}(N) = \operatorname{Vo}(G)\) is isomorphic to \(G\).\N\NThis paper studies the \(\mathcal{V}\)-recognizability of finite simple groups of Lie type, focusing on the exceptional family \(E_8(p)\) for primes \(p\) satisfying \(p \equiv 0, 1, 4 \pmod{5}\). Building on previous work on recognizability by vanishing elements and vanishing prime graphs, the author establishes a new criterion to determine when a group of the form \(E_8(p)\) is uniquely characterized by its vanishing set.\N\NThe main result (Theorem 1.3) proves that if \(r\) is a prime congruent to \(0,1,4 \pmod{5}\), if for any \(s^{t} < r\), where \(s\) is a prime, and \(s^t \equiv 0,1,4 \pmod{5}\) one has \(\pi(J_4),\,\pi(E_8(q)) \nsubseteq \pi(E_8(r))\), then \(E_8(r)\) is \(\mathcal{V}\)-recognizable.\N\NThe proof relies on structural properties of the vanishing prime graph \(\mathcal{G}(G)\) and the spectrum \(\pi_e(G)\) of element orders. A key point is that for simple groups of Lie type, including \(E_8(q)\), one has \(\operatorname{Vo}(G) = \pi_e(G) \setminus \{1\}\). The author makes systematic use of known factorizations of \(|E_8(q)|\) and known spectral data to show that no group other than \(E_8(r)\) can share the same vanishing set.\N\NAs an application, the author shows that for all primes \(p < 10000\) congruent to \(0,1,4 \pmod{5}\), the group \(E_8(p)\) is \(\mathcal{V}\)-recognizable, except for seven exceptional primes listed explicitly. The exclusion is verified computationally and a nice implementation (in Python) is included in the appendix.

Cites work

• A new characterization of some families of finite simple groups
• Characterization of some finite simple groups by the set of orders of vanishing elements and order
• scientific article; zbMATH DE number 4130647 (Why is no real title available?)
• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• On the orders of zeros of irreducible characters.
• On the vanishing prime graph of finite groups.
• Prime graph components of finite groups
• Recognition by the set of orders of vanishing elements and order of \(\mathrm{PSL}(3, p)\)
• Recognition of some families of finite simple groups by order and set of orders of vanishing elements.
• Spectra of groups E₈(q)

This page was built for publication: A new characterization of E ₈ ( p ) via its vanishing elements

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