On finite groups isospectral to simple classical groups.

DOI10.1016/J.JALGEBRA.2014.10.013MaRDI QIDQ479747zbMATH OpenOpenAlexFDO

Authors Andrey Vasil'ev

Publication date 5 December 2014

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

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

zbMATH Keywords

constructive recognitionfinite classical groupsfinite groups of Lie typefinite simple groupsisospectral groupsrecognizable groupssets of element ordersspectra of groups

Mathematics Subject Classification ID

Simple groups: alternating groups and groups of Lie type (20D06) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Arithmetic and combinatorial problems involving abstract finite groups (20D60) Linear algebraic groups over finite fields (20G40)

Abstract: The spectrum $omega(G)$ of a finite group $G$ is the set of element orders of $G$. Finite groups $G$ and $H$ are isospectral if their spectra coincide. Suppose that $L$ is a simple classical group of sufficiently large dimension (the lower bound varies for different types of groups but is at most 62) defined over a finite field of characteristic $p$. It is proved that a finite group $G$ isospectral to $L$ cannot have a nonabelian composition factor which is a group of Lie type defined over a field of characteristic distinct from $p$. Together with a series of previous results this implies that every finite group $G$ isospectral to $L$ is `close' to $L$. Namely, if $L$ is a linear or unitary group, then $LleqslantGleqslantoperatornameAut(L)$, in particular, there are only finitely many such groups $G$ for given $L$. If $L$ is a symplectic or orthogonal group, then $G$ has a unique nonabelian composition factor $S$ and, for given $L$, there are at most 3 variants for $S$ (including $SsimeqL$).

Review text

The spectrum \(\omega(G)\) of a finite group \(G\) is the set of element orders of \(G\). Finite groups \(G\) and \(H\) are isospectral if their spectra coincide. Suppose that \(L\) is a simple classical group of sufficiently large dimension (the lower bound varies for different types of groups but is at most 62) defined over a finite field of characteristic \(p\). It is proved that a finite group \(G\) isospectral to \(L\) cannot have a nonabelian composition factor which is a group of Lie type defined over a field of characteristic distinct from \(p\). Together with a series of previous results this implies that every finite group \(G\) isospectral to \(L\) is `close' to \(L\). Namely, if \(L\) is a linear or unitary group, then \(L\leq G\leq\Aut(L)\), in particular, there are only finitely many such groups \(G\) for given \(L\). If \(L\) is a symplectic or orthogonal group, then \(G\) has a unique nonabelian composition factor \(S\) and, for given \(L\), there are at most 3 variants for \(S\) (including \(S\cong L\)).

Recommendations

• On finite groups isospectral to simple symplectic and orthogonal groups.
• On the structure of finite groups isospectral to finite simple groups.
• On almost recognizability by spectrum of simple classical groups
• Recognition by spectrum for finite simple linear groups of small dimensions over fields of characteristic 2
• Isospectral finite simple groups.

Cites work

• 2-recognizability of the simple groups \(B_n(3)\) and \(C_n(3)\) by prime graph.
• \(A_ 1\)-type overgroups of elements of order \(p\) in semisimple algebraic groups and the associated finite groups
• A note on the adjacency criterion for the prime graph and the characterization of C_p(3).
• A solvable group isospectral to \(S_4(3)\).
• Almost recognizability by spectrum of finite simple linear groups of prime dimension.
• Almost recognizability by spectrum of simple exceptional groups of Lie type.
• An Adjacency Criterion for the Prime Graph of a Finite Simple Group
• Characterization of the finite simple groups by spectrum and order.
• Characterizations of the simple group \(^2D_n(3)\) by prime graph and spectrum.
• Cocliques of maximal size in the prime graph of a finite simple group
• Finite groups whose element orders are consecutive integers
• Finite soluble groups containing an element of prime order whose centralizer is small
• scientific article; zbMATH DE number 5155394 (Why is no real title available?)
• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• scientific article; zbMATH DE number 4073270 (Why is no real title available?)
• scientific article; zbMATH DE number 3749242 (Why is no real title available?)
• scientific article; zbMATH DE number 46357 (Why is no real title available?)
• scientific article; zbMATH DE number 3639832 (Why is no real title available?)
• scientific article; zbMATH DE number 1203660 (Why is no real title available?)
• scientific article; zbMATH DE number 1285626 (Why is no real title available?)
• scientific article; zbMATH DE number 1353931 (Why is no real title available?)
• scientific article; zbMATH DE number 1099518 (Why is no real title available?)
• scientific article; zbMATH DE number 2167510 (Why is no real title available?)
• scientific article; zbMATH DE number 3212127 (Why is no real title available?)
• Irreducible components and isomorphisms of the Burnside ring
• Large element orders and the characteristic of Lie-type simple groups.
• On connection between the structure of a finite group and the properties of its prime graph.
• On element orders in covers of finite simple classical groups.
• On finite groups isospectral to finite simple unitary groups over fields of characteristic 2.
• On finite groups isospectral to simple symplectic and orthogonal groups.
• On finite simple groups with the set of element orders as in a Frobenius group or a double Frobenius group.
• On recognition by spectrum of finite simple linear groups over fields of characteristic 2.
• On recognition of finite simple groups with connected prime graph.
• On recognizability of some finite simple orthogonal groups by spectrum.
• On the p -Length of p -Soluble Groups and Reduction Theorems for Burnside's Problem
• On the interval containing at least one prime number
• On Zsigmondy primes
• Prime graph components of finite groups
• PRIME GRAPH COMPONENTS OF FINITE SIMPLE GROUPS
• Properties of element orders in covers for L(n,q) and U(n,q)
• Quasirecognizability of simple unitary groups over fields of even order.
• Recognition by spectrum for finite linear groups over fields of characteristic 2
• Recognition by spectrum for finite simple linear groups of small dimensions over fields of characteristic 2
• Recognition by spectrum of the groups \(^2D_{2^m+1}(3)\).
• Recognition of simple groups \(B_p(3)\) by the set of element orders.
• Recognition of simple groups U 3(Q) by element orders
• RECOGNITION OF SOME FINITE SIMPLE GROUPS OF TYPE D_n(q) BY SPECTRUM
• Recognizability of alternating groups by spectrum.
• Spectra of finite linear and unitary groups
• The cyclic structure of maximal tori of the finite classical groups
• The local structure of finite groups of characteristic 2 type

Cited in

(39)

• On spectra of almost simple extensions of even-dimensional orthogonal groups
• On orders of elements of finite almost simple groups with linear or unitary socle
• On recognition of alternating groups by prime graph
• Simple groups whose Gruenberg-Kegel graph or solvable graph is split
• Characterization of groups with non-simple socle
• Criterion of unrecognizability of a finite group by its Gruenberg-Kegel graph
• On the nilpotency of the solvable radical of a finite group isospectral to a simple group
• On periodic groups isospectral to A₇
• On recognition of \(L_4(q)\) and \(U_4(q)\) by spectrum
• Finite groups with prime graphs of diameter 5
• On finite groups isospectral to the simple group \(S_4(3)\)
• Almost cyclic elements in cross-characteristic representations of finite groups of Lie type
• The graph of atomic divisors and recognition of finite simple groups
• Recognizability of symmetric groups by spectrum.
• On Thompson's conjecture for alternating groups of large degree
• Recognition by spectrum for simple classical groups in characteristic 2.
• Composition factors of the finite groups isospectral to simple classical groups
• On finite groups isospectral to simple symplectic and orthogonal groups.
• On spectra of almost simple groups with symplectic or orthogonal socle
• Recognizability of groups \(G_2(q)\) by spectrum.
• Recognition by spectrum for finite simple linear groups of small dimensions over fields of characteristic 2
• Thompson's conjecture on conjugacy class sizes for the simple group \(\mathrm{PSU}_n(q)\)
• On groups having the prime graph as alternating and symmetric groups
• The group \(J_4\times J_4\) is recognizable by spectrum
• On the structure of finite groups isospectral to finite simple groups.
• On almost recognizability by spectrum of simple classical groups
• Recognition of symplectic and orthogonal groups of small dimensions by spectrum
• On Thompson's conjecture for finite simple groups
• On finite groups isospectral to simple linear and unitary groups.
• On recognition of direct powers of finite simple linear groups by spectrum
• On the existence of \(G\)-permutable subgroups in alternating groups
• A criterion for nonsolvability of a finite group and recognition of direct squares of simple groups
• Finite groups isospectral to simple groups
• On existence of normal p-complement of finite groups with restrictions on the conjugacy class sizes
• On recognition of low-dimensional linear and unitary groups by spectrum
• On recognition of the direct squares of the simple groups with abelian Sylow 2-subgroups
• On recognizability of linear and unitary groups by spectrum
• Isospectral finite simple groups.
• On finite groups isospectral to finite simple unitary groups over fields of characteristic 2.

This page was built for publication: On finite groups isospectral to simple classical groups.

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