This book classifies the maximal subgroups of the almost simple finite classical groups in dimension up to 12; it also describes the maximal subgroups of the almost simple finite exceptional groups with socle one of Sz(q), G2(q), 2G2(q) or 3D4(q). Theoretical and computational tools are used throughout, with downloadable Magma code provided. The exposition contains a wealth of information on the structure and action of the geometric subgroups of classical groups, but the reader will also encounter methods for analysing the structure and maximality of almost simple subgroups of almost simple groups. Additionally, this book contains detailed information on using Magma to calculate with representations over number fields and finite fields. Featured within are previously unseen results and over 80 tables describing the maximal subgroups, making this volume an essential reference for researchers. It also functions as a graduate-level textbook on finite simple groups, computational group theory and representation theory.

In this paper we use the O'Nan-Scott Theorem and Aschbacher's theorem to classify the primitive permutation groups of degree less than 2500.  2005 Elsevier Inc. All rights reserved.

The maximal subgroups of the finite classical groups are divided by a theorem of Aschbacher into nine classes. In this paper, the authors show how to construct those maximal subgroups of the finite classical groups of linear, symplectic or unitary type that lie in the first eight of these classes. The ninth class consists roughly of absolutely irreducible groups that are almost simple modulo scalars, other than classical groups over the same field in their natural representation. All of these constructions can be carried out in lowdegree polynomial time.

In this paper we use the Classification of the Finite Simple Groups, the O'Nan-Scott Theorem and Aschbacher's theorem to classify the primitive permutation groups of degree less than 4096. The results will be added to the primitive groups databases of GAP and Magma.

Abstract. We investigate the extent to which the exchange relation holds in finite groups G. We define a new equivalence relation ≡m, where two elements are equivalent if each can be substituted for the other in any generating set for G. We then refine this to a new sequence ≡ m become finer as r increases, and we define a new group invariant ψ(G) to be the value of r at which they stabilise to ≡m.

No abstract

No abstract

No abstract