OD-Characterization of Some Projective Special Linear Groups Over the Binary Field and Their Automorphism Groups

Abstract

The Gruenberg–Kegel graph GK(G) = (V _G , E _G ) of a finite group G is a simple graph with vertex set V _G  = π(G), the set of all primes dividing the order of G, and such that two distinct vertices p and q are joined by an edge, {p, q} ∈ E _G , if G contains an element of order pq. The degree deg _G (p) of a vertex p ∈ V _G is the number of edges incident to p. In the case when π(G) = {p ₁, p ₂,…, p _h } with p ₁ < p ₂ < … <p _h , we consider the h-tuple D(G) = (deg _G (p ₁), deg _G (p ₂),…, deg _G (p _h )), which is called the degree pattern of G. The group G is called k-fold OD-characterizable if there exist exactly k non-isomorphic groups H satisfying condition (|H|, D(H)) = (|G|, D(G)). Especially, a 1-fold OD-characterizable group is simply called OD-characterizable. In this paper, we prove that the simple groups L ₁₀(2) and L ₁₁(2) are OD-characterizable. It is also shown that automorphism groups Aut(L _p (2)) and Aut(L _p+1(2)), where 2 ^p  − 1 is a Mersenne prime, are OD-characterizable. Finally, a list of finite (simple) groups which are presently known to be k-fold OD-characterizable, for certain values of k, is presented.

Key Words:

• Degree pattern
• Gruenberg–Kegel graph
• OD-characterization of a finite group
• Simple group

2010 Mathematics Subject Classification:

• 20D05
• 20D06
• 20D08

Acknowledgments

Dedicated to Prof. Victor Danilovich Mazurov on his 70th birthday.

Notes

Communicated by A. Olshanskii.