The use of permutation representations in structural computations in large finite matrix groups

Regular orbits of cyclic subgroups in permutation representations of certain simple groups

A permutation representation of a finite group is multiplicity-free if all the irreducible constituents in the permutation character are distinct. There are three main reasons why these representations are interesting: it has been checked that all finite simple groups have such permutation representations, these are often of geometric interest, and the actions on vertices of distance-transitive graphs are multiplicity-free. In this paper we classify the primitive multiplicity-free representations of the sporadic simple groups and their automorphism groups. We determine all the distance-transitive graphs arising from these representations. Moreover, we obtain intersection matrices for most of these actions, which are of further interest and should be useful in future investigations of the sporadic simple groups.

This thesis records an attempt to prove the two conjecture: Conjecture A: Every finite non-regular primitive permutation group of degree n contains permutations fixing one point but fixing at most $n^{1/2}$ points. Conjecture C: Every finite irreducible linear group of degree m > 1 contains an element whose fixed-point space has dimension at most m/2. Variants of these conjectures are formulated, and C is reduced to a special case of A. The main results of the investigation are: Theorem 2: Every finite non-regular primitive permutation group of degree n contains permutations which fix one point but fix fewer than (n+3)/4 points. Theorem 3: Every finite non-regular primitive soluble permutation group of degree n contains permutations which fix one point but fix fewer than $n^{7/18}$ points. Theorem 4: If H is a finite group, F is a field whose characteristic is 0 or does not divide the order of H, and M is a non-trivial irreducible H-module of dimension m over F, then there is an element h in H whose fixed-point space in M has dimension less than m/2. Theorem 5: If H is a finite soluble group, F is any field, and M is a non-trivial irreducible H-module of dimension m over F, then there is an element h in H whose fixed-point space in M has dimension less than 7m/18. Proofs of these assertions are to be found in Chapter II; examples which show the limitations on possible strenghtenings of the conjectures and results are marshalled in Chapter III. A detailed formulation of the problems and results is contained in section 1.

Every finite simple group P can be generated by two of its elements. Pairs of generators for P are available in the Atlas of finite group representations as (not necessarily minimal) permutation representations P . It is unusual, but significant to recognize that a P is a Grothendieck’s “dessin d’enfant” D and that a wealth of standard graphs and finite geometries G —such as near polygons and their generalizations—are stabilized by a D . In our paper, tripods P − D − G of rank larger than two, corresponding to simple groups, are organized into classes, e.g., symplectic, unitary, sporadic, etc. (as in the Atlas). An exhaustive search and characterization of non-trivial point-line configurations defined from small index representations of simple groups is performed, with the goal to recognize their quantum physical significance. All of the defined geometries G ′ s have a contextuality parameter close to its maximal value of one.

Weights for symmetric and general linear groups

The permutation representations in the title are all determined, and no surprises are found to occur.

For a finite group $G$, denote by $\unicode[STIX]{x1D707}(G)$ the degree of a minimal permutation representation of $G$. We call $G$ exceptional if there is a normal subgroup $N\unlhd G$ with $\unicode[STIX]{x1D707}(G/N)>\unicode[STIX]{x1D707}(G)$. To complete the work of Easdown and Praeger [‘On minimal faithful permutation representations of finite groups’, Bull. Aust. Math. Soc.38(2) (1988), 207–220], for all primes $p\geq 3$, we describe an exceptional group of order $p^{5}$ and prove that no exceptional group of order $p^{4}$ exists.

Let K be a commutative noetherian ring. It is proved that a representation of a finite group on a K-module of finite length or on a K-module of finite exponent has a finite basis for its identities. In particular, this implies an earlier result of Nguyen Hung Shon and the author stating that every representation of a finite group over a field is finitely based. The problem whether every representation of a finite group over a commutative noetherian ring is finitely based still remains open.

Prime UV Systems Inc., Booth 1447

1.1. Let G be a connected reductive algebraic group defined over a finite (prime) field Fp of p elements. For a given rational G-module M one can consider the restrictions of M to the restricted Lie algebra Lie(G) and to the finite group G(Fp) of Fp-rational points. Even though there is no direct functorial connection between the categories of restricted Lie(G)-modules and G(Fp)-modules, the ambient algebraic group G can serve as a bridge linking these two important module categories. Early results of Curtis in the 1960s provided a one-to-one correspondence between the simple restricted modules (over k = Fp) of Lie(G) and those of G(Fp). This correspondence is given by simply restricting certain classes of simple G-modules. More importantly, these results, along with work of Steinberg, allow one to easily transfer the questions pertaining to the computation of irreducible characters among these three categories. For over thirty years, this approach has been one of the main ideas used to relate the representation and cohomology theory of algebraic groups, Lie algebras, and finite groups of Lie type (in the defining characteristic) (see, e.g., [CPSvan], [Jan2], [Hum3], and [Jan1]). Given the previous results in this area, a natural course of investigation should be to find relationships between canonical modules, like projective modules, for Lie(G) and G(Fp). More precisely,

The article is devoted to the classification of the minimal and minimal nontrivial inductive systems of modular representations for naturally embedded algebraic and finite groups of type A and related locally finite groups. It occurs that the minimal systems consist of the trivial representations for the relevant groups and the minimal nontrivial ones are connected with Frobenius twists of the standard representations and their duals. These results are applied to the description of the maximal ideals in group algebras of the locally finite groups SL ∞ and SU ∞ in describing characteristic.

About fifteen years ago I. M. Isaacs and S. D. Smith [9] gave several character-theoretic characterizations of finite p-solvable groups G with p-length one, where p is a prime number. They proved that for a finite group G with a Sylow p-subgroup P, the following four conditions (a)–(d) are equivalent.

In the theory of representations of a finite group by linear transformations the closely related notions of imprimitivity and of play a prominent role. In [18] the author has generalized these notions to the case in which the group is a separable locally compact topological group and the linear transformations are unitary transformations in Hilbert space. It turns out (and this is the principle theorem of [18]) that the classical theorem of Frobenius according to which every imprimitive representation of a finite group is in a certain canonical fashion by a representation of a subgroup may be reformulated so as to remain true under the more general circumstances indicated above. This connection between representations of groups and representations of their subgroups has many interesting and useful properties in the finite case and it naturally occurs to one to study the extent to which these properties persist in general. The present paper is the first of a projected series in which it is planned to investigate this question in a systematic manner. Our principal results, formulated as Theorems 12.1, 12.2 and 13.1, are closely related; each being essentially a corollary of its predecessor. The first asserts that if L is a representation of the closed subgroup G1 of (M and UL is the corresponding induced representation of (M then the restriction of UL to the closed subgroup G2 is a sum over the G1: G2 double cosets of certain induced representations o G 2 . The second gives a similar decomposition of the Kronecker product UL f? UM where L and M are representations of G1 and G2 respectively. The third provides a usable formula for computing the strong intertwining numbers of the induced representations UL and UM of (M. The in question are ordinary discrete sums only when there are at most countably many non trivial double cosets. In general direct integrals as defined by von Neumann in [26] must be used and we must restrict ourselves to the case in which the relevant double coset decomposition of (M is measurable. As we have shown in detail elsewhere [20] these theorems for finite groups imply certain classical results; in particular the Frobenius reciprocity theorem and the Shoda criteria for the irreducibility and unitary equivalence of monomial representations. Our theorems yield generalizations of these results but these generalizations may be regarded as satisfactory only insofar as they deal with representations whose irreducible constituents are discrete and finite dimensional. More far reaching generalizations must be sought in other directions. We

Let G be a finite 2-generated non-cyclic group. The spread of G is the largest integer k such that for any nontrivial elements x1,…,xk, there exists y G ∈ G such that G = 〈xi,y〉 for all i. The more restrictive notion of uniform spread, denoted u(G), requires y to be chosen from a fixed conjugacy class of G, and a theorem of Breuer, Guralnick and Kantor states that u(G) ⩾ 2 for every non-abelian finite simple group G. For any group with u(G) ⩾ 1, we define the uniform domination number γu(G) of G to be the minimal size of a subset S of conjugate elements such that for each nontrivial x ∈ G there exists y ∈ S with G = 〈x, y〉 (in this situation, we say that S is a uniform dominating set for G). We introduced the latter notion in a recent paper, where we used probabilistic methods to determine close to best possible bounds on γu(G) for all simple groups G.In this paper we establish several new results on the spread, uniform spread and uniform domination number of finite groups and finite simple groups. For example, we make substantial progress towards a classification of the simple groups G with γu (G) = 2, and we study the associated probability that two randomly chosen conjugate elements form a uniform dominating set for G. We also establish new results concerning the 2-generation of soluble and symmetric groups, and we present several open problems.

The notion of globally irreducible representations of finite groups was introduced by B.H. Gross, in order to explain new series of Euclidean lattices discovered recently by N. Elkies and T. Shioda using Mordell–Weil lattices of elliptic curves. It has been observed by R. Gow and Gross that irreducible Weil representations of certain finite classical groups lead to globally irreducible representations. In this paper we classify all globally irreducible representations coming from Weil representations of finite classical groups.