Maximal Overgroups of Singer Elements in Classical Groups

The spectrum of a finite group is the set of its element orders. An arithmetic criterion determining whether a given natural number belongs to a spectrum of a given group is furnished for all finite special, projective general, and projective special linear and unitary groups.

By the methods used heretofore for the determination of the automorphisms of certain families of linear groups, for example, the (projective) unimodular, orthogonal, symplectic, and unitary groups (7, 8), it has been necessary to consider the various families separately and to give many case-by-case discussions, especially when the underlying vector space has few elements, even though the final results are very much the same for all of the groups. The purpose of this article is to give a completely uniform treatment of this problem for all the known finite simple linear groups (listed in §2 below). Besides the * ‘classical groups” mentioned above, these include the “exceptional groups,” considered over the complex field by Cartan and over an arbitrary field by Dickson, Chevalley, Hertzig, and the author (3, 4, 5, 6, 10, 15). The automorphisms of the latter groups are given here for the first time.

In this paper we deduce a graded version of Quillen–Suslin’s Local-Global Principle for the traditional classical groups, viz. general linear, symplectic and orthogonal groups and establish its equivalence of the normality property of the respective elementary subgroups. This generalizes previous result of Basu–Rao–Khanna. Then, as an application, we establish an analogue Local-Global Principle for the commutator subgroups of the special linear and symplectic groups. Finally, by using Swan–Weibel’s homotopy trick, we establish graded analogue of the Local-Global Principle for the transvection subgroups of the full automorphism groups of the linear, symplectic and orthogonal modules. This generalizes the previous result of Bak–Basu–Rao.

We are concerned with finite-dimensional classical groups over arbitrary commutative fields. In an orthogonal group a Siegel transvection, that is, an element centralizing l⊥ for some totally singular 2-dimensional subspace l, plays the same role as a transvection in the linear, symplectic or unitary groups. The Main Theorem of this paper describes the possible embeddings of classical groups in classical groups such that (Siegel) transvections act as (Siegel) transvections.

Consider a reductive linear algebraic group G acting linearly on a polynomial ring S over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as in Weyl’s book: For the general linear group, consider a direct sum of copies of the standard representation and copies of the dual; in the other cases, take copies of the standard representation. The invariant rings in the respective cases are determinantal rings, rings defined by Pfaffians of alternating matrices, symmetric determinantal rings and the Plücker coordinate rings of Grassmannians; these are the classical invariant rings of the title, with $S^G\subseteq S$ being the natural embedding. Over a field of characteristic zero, a reductive group is linearly reductive, and it follows that the invariant ring $S^G$ is a pure subring of S, equivalently, $S^G$ is a direct summand of S as an $S^G$ -module. Over fields of positive characteristic, reductive groups are typically no longer linearly reductive. We determine, in the positive characteristic case, precisely when the inclusion $S^G\subseteq S$ is pure. It turns out that if $S^G\subseteq S$ is pure, then either the invariant ring $S^G$ is regular or the group G is linearly reductive.

A supercharacter theory for the Sylow p-subgroups of the finite symplectic and orthogonal groups

This chapter presents a theory of unitary groups over rings parallel to that which Chapter 1 develops for the linear groups. We will introduce the concept of a form ring which will allow for the definition of generalized quadratic forms. The unitary groups — i.e. isometry groups—of these generalized quadratic forms contain as special cases all the usual classical groups. They include in fact the linear groups of Chapter 1. However the proofs of the central theorems of this chapter make important use of the linear results already established. Therefore from a practical point of view, this approach will include all the classical groups, with the exception of the linear groups, under a single umbrella.

We consider twisted conjugacy classes and the R ∞-property for classical linear groups. In particular, it is stated that the general linear group GL n (K) and the special linear group SL n (K), where $$ n \geqslant 3 $$ , possess the R ∞-property if either K is an infinite integral domain with trivial automorphism group or K is an integral domain containing a subring of integers, whose automorphism group Aut(K) is finite. By an integral domain we mean a commutative ring with identity which has no zero divisors.

In this paper we prove isomorphisms between 5 Lie groups (of arbitrary dimension and fixed signatures) in Clifford algebra and classical matrix Lie groups - symplectic, orthogonal and linear groups. Also we obtain isomorphisms of corresponding Lie algebras.

Let p 1, p 2, p 3 be primes. This is the first in a series of three articles concerned with the (p 1, p 2, p 3)-generation of the projective special unitary and linear groups PSU3(p n ), PSL3(p n ), where we say a noncyclic group is (p 1, p 2, p 3)-generated if it is a quotient of the triangle group T p 1, p 2, p 3 . We present our results which are probabilistic, asymptotic and also deterministic, and provide the machinery needed to prove them when p 1, p 2, p 3 are distinct or all odd. Complete proofs are given when p 1, p 2, p 3 are odd. The second and final article investigate the cases where p 1 = 2 and p 2 = p 3, and p 1 = 2 and p 2 ≠ p 3, respectively.

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type VII. Semisimple classes in PSLn(q) and PSp2n(q)

We introduce a Lohe group which is a new class of matrix Lie groups and present a continuous dynamical system for the synchronization of group elements in a Lohe group. The Lohe group includes classical Lie groups such as the orthogonal, unitary, and symplectic groups, and since Lohe groups need not be compact, global existence of ODEs may fail. The proposed dynamical system generalizes the Lohe model (Lohe in J Phys A 43:465301, 2010; Lohe in J Phys A 42:395101–395126, 2009) itself a nonabelian generalization of the Kuramoto model, and alongside we also generalize the analytical framework (Ha and Ryoo in J Stat Phys 163:411–439, 2016) of emergent and unique phase-locked states. For the construction of the phase-locked states, we introduce Lyapunov functions measuring the ensemble diameter and the dissimilarity between two Lohe flows, and derive Gronwall-type differential inequalities for them. The global existence of solutions then become a consequence of the boundedness of these Lyapunov functions. Our sufficient framework for the emergent dynamics is formulated in terms of coupling strength and initial states, and it leads to the global existence of solutions and the formation and uniqueness of a phase-locked asymptotic state. As a concrete example, we demonstrate how our theory can show emergent phenomenon on the Heisenberg group, where all initial configurations tend to a unique phase-locked state exponentially fast.

We consider the asymptotic complexity of manipulating matrix groups over finite fields. The question is, given a matrix group G by a list of generators, what can we say in polynomial time about the structure of G? While considerable progress has been made recently in identifying the nonabelian composition factors of a matrix group, the fundamental question of recognizing the simplicity of a non-abelian matrix group remains open. For the purposes of polynomial time computation, we reduce this problem to the following “affine case:” Let A be an elementary abelian p-group which is a non-central minimal normal subgroup of a finite group G. Assume further that the quotient G/A is a finite simple group S of Lie type of characteristic p. The algorithmic goal is to distinguish the simple group S from the nonsimple group G. Both S and G are given as “black-box groups of characteristic p.” The reduction to this basic problem involves a large number of recent techniques and results which we review along the way. We address the affine case for the groups S = PSL(2, q) where q = p , p prime. We show that PSL(2, p) can be recognized in Monte Carlo polynomial time among all black-box groups of known characteristic. The situation for f ≥ 2 seems much harder; we exhibit challenging open cases for every f ≥ 2 when q is large. Along with S = PSL(2, p), the positive result holds for all simple groups S of Lie type of characteristic p with the property that in every nontrivial S-module in characteristic p, every element of S has a fixed point. We call these groups “unisingular.” Very recently, Guralnick, Saxl, and Tiep classified these groups. They found that a large number of classes of simple groups are unisingular, including certain classes of linear and unitary groups, all symplectic groups over an odd prime field, all orthogonal groups of odd degree over an odd prime field, many orthogonal groups of even degree, and a number of classes of exceptional groups. 2 Laszlo Babai and Aner Shalev

if i < n and if k is any field with more than two elements. As discussed at this conference, no such stability theorem for other classical groups is known. In this paper, we give a prime-toresidue-characteristic homological stability theorem for classical groups over finite fields (Theorem 2), a stability theorem for the integral homology of classical groups over the algebraic closure of a finite field (Theorem 3), and a stability theorem for the integral homology of the special linear groups for finite fields with more than two elements (Theorem 6). We begin with the following well known stability results for the classical Lie groups. The proof is readily obtained by using , S 4n+3 ~ BSPn and the fibrations S 2n+l * BU n BUn+ 1 ~ BSPn+l, S n . BO n * BOn+ 1.

Classical groups over finite fields, including symplectic groups, unitary groups and orthogonal groups, are finite simple groups of crucial importance. The structure and order of classical groups are the basic problems in group theory. Geometry of classical groups has been found extremely useful in many fields, such as combinatorial mathematics, coding and cryptographic theory. In this paper, a class of quasi-classical groups are introduced, which partially generalize the concepts of symplectic groups and orthogonal groups. We determine the structure and order of quasi-classical groups. As an application, we discuss the relationship between quasi-classical groups and self-dual normal bases over finite fields.