Characterizing Finite Quasisimple Groups by Their Complex Group Algebras

A finite group L is said to be quasisimple if L is perfect and L/Z(L) is nonabelian simple, in which case we also say that L is a cover of L/Z(L). It has been proved recently (Nguyen, Israel J Math, 2013) that a quasisimple classical group L is uniquely determined up to isomorphism by the structure of ${{\mathbb C}} L$ , the complex group algebra of L, when L/Z(L) is not isomorphic to PSL₃(4) or PSU₄(3). In this paper, we establish the similar result for these two open cases and also for covers with nontrivial center of simple groups of exceptional Lie type and sporadic groups. Together with the main results of Tong-Viet (Monatsh Math 166(3–4):559–577, 2012, Algebr Represent Theor 15:379–389, 2012), we obtain that every quasisimple group except covers of the alternating groups is uniquely determined up to isomorphism by the structure of its complex group algebra.     

On Huppert’s Conjecture for 3 D 4(q), q ≥ 3

Let G be a finite group and cd(G) be the set of all complex irreducible character degrees of G. Bertram Huppert conjectured that if H is a finite nonabelian simple group such that cd(G) = cd(H), then G???H × A, where A is an abelian group. In this paper, we verify the conjecture for the family of simple exceptional groups of Lie type ³ D ₄(q), when q?≥?3.     

Simple exceptional groups of Lie type are determined by their character degrees

Let G be a finite group. Denote by Irr(G) the set of all irreducible complex characters of G. Let ${{\rm cd}(G)=\{\chi(1)\;|\;\chi\in {\rm Irr}(G)\}}$ be the set of all irreducible complex character degrees of G forgetting multiplicities, and let X₁(G) be the set of all irreducible complex character degrees of G counting multiplicities. Let H be any non-abelian simple exceptional group of Lie type. In this paper, we will show that if S is a non-abelian simple group and ${{\rm cd}(S)\subseteq {\rm cd}(H)}$ then S must be isomorphic to H. As a consequence, we show that if G is a finite group with ${{\rm X}_1(G)\subseteq {\rm X}_1(H)}$ then G is isomorphic to H. In particular, this implies that the simple exceptional groups of Lie type are uniquely determined by the structure of their complex group algebras.     

Simple exceptional groups of Lie type are determined by their character degrees

Let G be a finite group. Denote by Irr(G) the set of all irreducible complex characters of G. Let cd(G)={c(1)  |  c ? Irr(G)}{{\rm cd}(G)=\{\chi(1)\;|\;\chi\in {\rm Irr}(G)\}} be the set of all irreducible complex character degrees of G forgetting multiplicities, and let X₁(G) be the set of all irreducible complex character degrees of G counting multiplicities. Let H be any non-abelian simple exceptional group of Lie type. In this paper, we will show that if S is a non-abelian simple group and cd(S) í cd(H){{\rm cd}(S)\subseteq {\rm cd}(H)} then S must be isomorphic to H. As a consequence, we show that if G is a finite group with X₁(G) í X₁(H){{\rm X}_1(G)\subseteq {\rm X}_1(H)} then G is isomorphic to H. In particular, this implies that the simple exceptional groups of Lie type are uniquely determined by the structure of their complex group algebras.     

On permutation characters of wreath products

It is known that the character rings of symmetric groups S_n and the character rings of hyperoctahedral groups S₂?S_n are generated by (transitive) permutation characters. These results of Young are generalized to wreath products G?H (G a finite group, H a permutation group acting on a finite set). It is shown that the character ring of G?H is generated by permutation characters if this holds for G, H and certain subgroups of H. This result can be sharpened for wreath products G?S_n;if the character ring of G has a basis of transitive permutation characters, then the same holds for the character ring of G?S_n.     

Verifying Huppert’s Conjecture for PSp<Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>) when <Emphasis Type="Italic">q</Emphasis> > 7

Let G denote a finite group and cd (G) the set of irreducible character degrees of G. Bertram Huppert conjectured that if H is a finite nonabelian simple group such that cd (G) = cd (H), then G ≅ H × A, where A is an abelian group. Huppert verified the conjecture for PSp₄(q) when q = 3, 4, 5, or 7. In this paper, we extend Huppert’s results and verify the conjecture for PSp₄(q) for all q. This demonstrates progress toward the goal of verifying the conjecture for all nonabelian simple groups of Lie type of rank two.     

OD-characterization of all finite nonabelian simple groups with orders having prime divisors at most 13

The main purpose of this article is to determine h _OD (M) for every finite nonabelian simple group M with order having prime divisors at most 13. This result is an analog of the result by A. V. Vasil’ev [1] about the recognizability of these simple groups by spectrum (the set of element orders). By the available results, we need only consider the groups L ₆(3), U ₄(5), G ₂(4), L ₅(3), S ₄(8), U ₆(2), and O ₈ ⁺ (3).     

On control of the prime spectrum of a finite simple group

The set π(G) of all prime divisors of the order of a finite group G is often called its prime spectrum. It is proved that every finite simple nonabelian group G has sections H ₁, …, H _m of some special form such that π(H ₁)∪…∪π(H _m ) = π(G) and m ≤ 5. Moreover, m ≤ 2 if G is an alternating or classical simple group. In all cases, it is possible to choose the sections H _i so that each of them is a simple nonabelian group, a Frobenius group, or (in one case) a dihedral group. If the above equality holds for a finite group G, then we say that the set {H ₁,…,H _m } controls the prime spectrum of G. We also study some parameter c(G) of finite groups G related to the notion of control.     

On Finite Simple Groups with the Set of Element Orders as in a Frobenius Group or a Double Frobenius Group

It is proved that a finite simple group with the set of element orders as in a Frobenius group (a double Frobenius group, respectively) is isomorphic to L₃(3) or U₃(3) (to U₃(3) or S₄(3), respectively).     

Finite classical groups and flag-transitive triplanes

Let D be a finite nontrivial triplane, i.e. a 2-(v,k,3) symmetric design, with a flag-transitive, point-primitive automorphism group G. If G is almost simple, with the simple socle X of G being a classical group, then D is either the unique (11, 6, 3)-triplane, with G=PSL₂(11) and G_α=A₅, or the unique (45, 12, 3)-triplane, with G=X:2=PSp₄(3):2≅PSU₄(2):2 and , where α is a point of D.     

Conjugacy Classes,Class Sums and Character Tables for Hopf Algebras

We extend the notion of conjugacy classes and class sums from finite groups to semisimple Hopf algebras and show that the conjugacy classes are obtained from the factorization of H as irreducible left D(H)-modules. For quasitriangular semisimple Hopf algebras H, we prove that the product of two class sums is an integral combination of the class sums up to d ^?2 where d = dim H. We show also that in this case the character table is obtained from the S-matrix associated to D(H). Finally, we calculate explicitly the generalized character table of D(kS ₃), which is not a character table for any group. It moreover provides an example of a product of two class sums which is not an integral combination of class sums.     

Characterization of simple symplectic groups of degree 4 over locally finite fields of characteristic 2 in the class of periodic groups

Suppose that each finite subgroup of even order of a periodic group containing an element of order 2 lies in a subgroup isomorphic to a simple symplectic group of degree 4 over some finite field of characteristic 2. We prove that in that case the group is isomorphic to a simple symplectic group S ₄(Q) over some locally finite field Q of characteristic 2.     

Finite groups whose irreducible Brauer characters have prime power degrees

Let G be a finite group and let p be a prime. In this paper, we classify all finite quasisimple groups in which the degrees of all irreducible p-Brauer characters are prime powers. As an application, for a fixed odd prime p, we classify all finite nonsolvable groups with the above-mentioned property and having no nontrivial normal p-subgroups. Furthermore, for an arbitrary prime p, a complete classification of finite groups in which the degrees of all nonlinear irreducible p-Brauer characters are primes is also obtained.     

On the local case in the Aschbacher theorem for linear and unitary groups

We consider the subgroups H in a linear or a unitary group G over a finite field such that O _r (H) ? Z(G) for some odd prime r. We obtain a refinement of the well-known Aschbacher theorem on subgroups of classical groups for this case.     

Maximal subgroups of the Coxeter group W(H4) and quaternions

The largest finite subgroup of O(4) is the non-crystallographic Coxeter group W(H₄) of order 14,400. Its derived subgroup is the largest finite subgroup W(H₄)/Z₂ of SO(4) of order 7200. Moreover, up to conjugacy, it has five non-normal maximal subgroups of orders 144, two 240, 400 and 576. Two groups [W(H₂) × W(H₂)] ⋊ Z₄ and W(H₃) × Z₂ possess non-crystallographic structures with orders 400 and 240 respectively. The groups of orders 144, 240 and 576 are the extensions of the Weyl groups of the root systems of SU(3) × SU(3), SU(5) and SO(8) respectively. We represent the maximal subgroups of W(H₄) with sets of quaternion pairs acting on the quaternionic root systems.     

The Brauer-Clifford Group for (S,H)-Azumaya Algebras over a Commutative Ring

The Brauer-Clifford group BrClif(Z,G) corresponding to a finite group G and a finite-dimensional semisimple G-algebra Z was recently introduced by Alexandre Turull in the course of his work on character correspondence conjectures in group representation theory. This Brauer-Clifford group is a group of equivalence classes of Azumaya algebras over Z whose G-algebra structure agrees on restriction to the fixed (and usually nontrivial) G-algebra structure of Z. In this paper we extend the notion of the Brauer-Clifford group to the case of (S,H)-Azumaya algebras, when H is a cocommutative Hopf algebra and S is a commutative H-module algebra. These Brauer-Clifford groups turn out to be an example of the Brauer group of the symmetric monoidal category of S # H-modules, a perspective which allows one to construct a dual Brauer-Clifford group for the category of S-modules with compatible right H-comodule structure.     

Recognition of finite simple groupsL 3(2 m ) ANDU 3(2 m ) by their element orders

It is proved that a finite group isomorphic to a simple non-Abelian group L₃(2^m) or U₃(2^m) is, up to isomorphism, recognizable by a set of its element orders. On the other hand, for every simple group S=S₄(2^m), there exist infinitely many pairwise non-isomorphic groups G with w(G)=w(S). As a consequence, we present a list of all recognizable finite simple groups G, for which 4t ∉ ω(G) with t>1. Supported by RFFR grant No. 99-01-00550, by the National Natural Science Foundation of China (grant No. 19871066), and by the State Education Ministry of China (grant No. 98083). Translated fromAlgebra i Logika, Vol. 39, No. 5, pp. 567–585, September–October, 2000.     

The fundamental Gray 3-groupoid of a smooth manifold and local 3-dimensional holonomy based on a 2-crossed module

We define the thin fundamental Gray 3-groupoid S₃(M) of a smooth manifold M and define (by using differential geometric data) 3-dimensional holonomies, to be smooth strict Gray 3-groupoid maps S₃(M)→C(H), where H is a 2-crossed module of Lie groups and C(H) is the Gray 3-groupoid naturally constructed from H. As an application, we define Wilson 3-sphere observables.     

On recognition by spectrum of the simple groups B 3(q), C 3(q), and D 4(q)

The spectrum of a finite group is the set of its element orders. Two groups are isospectral whenever they have the same spectra. We consider the classes of finite groups isospectral to the simple symplectic and orthogonal groups B ₃(q), C ₃(q), and D ₄(q). We prove that in the case of even characteristic and q > 2 these groups can be reconstructed from their spectra up to isomorphisms. In the case of odd characteristic we obtain a restriction on the composition structure of groups of this class.     

Recognition of finite groups by a set of orders of their elements

For G a finite group, ω(G) denotes the set of orders of elements in G. If ω is a subset of the set of natural numbers, h(ω) stands for the number of nonisomorphic groups G such that ω(G)=ω. We say that G is recognizable (by ω(G)) if h(ω(G))=1. G is almost recognizable (resp., nonrecognizable) if h(ω(G)) is finite (resp., infinite). It is shown that almost simple groups PGL_n(q) are nonrecognizable for infinitely many pairs (n, q). It is also proved that a simple group S₄(7) is recognizable, whereas A₁₀, U₃(5), U₃(7), U₄(2), and U₅(2) are not. From this, the following theorem is derived. Let G be a finite simple group such that every prime divisor of its order is at most 11. Then one of the following holds: (i) G is isomorphic to A₅, A₇, A₈, A₉, A₁₁, A₁₂, L₂(q), q=7, 8, 11, 49, L₃(4), S₄(7), U₄(3), U₆(2), M₁₁, M₁₂, M₂₂, HS, or M^cL, and G is recognizable by the set ω(G); (ii) G is isomorphic to A₆, A₁₀, U₃(3), U₄(2), U₅(2), U₃(5), or J₂, and G is nonrecognizable; (iii) G is isomorphic to S₆(2) or O ₈ ⁺ (2), and h(ω(G))=2. Supported by RFFR grant No. 96-01-01893. Translated fromAlgebra i Logika, Vol. 37, No. 6, pp. 651–666, November–December, 1998.