Advanced Group Theory

Introduction Our objectives are topological versions of the Nielsen-Schreier Theorem on subgroups of free groups, and the Kurosh Theorem on subgroups of free products of groups. It is known that subgroups of free topological groups need not be free topological [2, 6, and 9]. However we might expect a subgroup theorem when a continuous Schreier transversal exists, and we give such a result in the category of Hausdorff /<Vgroups (Theorem 8). In the same category, we give an open subgroup version of the Kurosh Theorem (Theorem 13). The method of proof in both cases is a topological version of the groupoid method given by Higgins in [8]—that is, we use topological groupoids. The key steps are first of all to construct universal morphisms of topological groupoids, and secondly to prove that the pull-back by a covering morphism of a universal morphism is again universal. For the second step it is essential to know that the pullback of quotient maps of topological groupoids is again a quotient, and to obtain this we work in the category of Hausdorff /^-spaces. The chief technical work is then in constructing universal morphisms in this category—the results on /r^-spaces needed are Propositions A1-A3 which are given in the Appendix. This restriction to ^-spaces means that our theorems specialise only to countable versions of the abstract theorems. More general results can be given by using kgroupoids, but the proofs involve extra technicalities, and so we refer the interested reader to [7]. The authors wish to thank P. J. Higgins and P. Nickolas for helpful comments.

A consequence of Schreier's formula is that if G is a subgroup of the free group F of rank n &lt; 1 and rank G ≦ n, then G = F or G is of infinite index in F. However, if S is a free sovlvable group of derived length I &lt; 1 and H is a subgroup of S which is free solvable of the same length, then the rank of H does not exceed the rank of S. These observations led G. Baumslag to conjecture that if H is of finite index in S then H = S. In fact, we have sharper results in two directions. If H and S are free solvable of the same length, not only is H of infinite index in S, but δ1−1(S)/δ1−1(H) is torsion-free. In another direction we need not assume that S is free solvable, only that s is torsion-free and of derived length l (l &gt; 1) and that H is not cyclic. Thus Stallings' theorem [11] that a finitely generated torsionfree group with a free subgroup of finite index is itself free has an even stronger counterpart in the variety of groups solvable of length at most l (l &gt; 1): a torsionfree group in that variety with a non-cyclic free subgroup of finite index coincides with this subgroup. The proof relies on the following theorem: If S is a free solvable group, J is the group of automorphisms of S which induce the identity on S/S', and I is the group of inner automorphisms of S, then J/I is torsion-free. The proofs of these theorems form the bulk of the first four sections.

Methods and results from the representation theory of finite di- mensional algebras have led to many interactions with other areas of mathe- matics. Such areas include the theory of Lie algebras and quantum groups, commutative algebra, algebraic geometry and topology, and in particular the new theory of cluster algebras. The aim of this workshop was to further de- velop such interactions and to stimulate progress in the representation theory of algebras.

Weights for symmetric and general linear groups

This study investigates the representation theory of the multiplicative group of a finite nearfield, with a specific focus on the group <img src=image/13440431_01.gif>, arising from Dickson nearfields. Nearfields, generalizations of fields lacking one of the two distributive laws, pose interesting challenges in algebraic structures due to their noncommutativity and asymmetry. Their multiplicative groups, particularly those derived from Dickson nearfields, have a metacyclic structure that allows for intricate analysis using representation theory. The purpose of this research is to construct and analyze the character tables of these multiplicative groups. We explore foundational concepts such as Schur's lemma, Maschke's theorem, and orthogonality relations, and apply them within the context of finite nearfields. A combination of theoretical and computational methodologies is employed. Specifically, we make use of the Magma algebra system to build and verify character tables for <img src=image/13440431_01.gif> for small values of <img src=image/13440431_02.gif> and <img src=image/13440431_03.gif>, including detailed derivations for <img src=image/13440431_04.gif> and <img src=image/13440431_05.gif>. The principal results include explicit character tables, classifications of conjugacy classes, degrees of irreducible representations, and a generalization framework for any pair (<img src=image/13440431_06.gif>). The research demonstrates that the multiplicative groups <img src=image/13440431_01.gif> are not only metacyclic but also nilpotent and solvable under specific conditions. It further establishes structural conditions that determine the conjugacy class partitioning and representation degrees. Our conclusions highlight the deep connection between nearfield algebraic properties and finite group representation theory. This work contributes to the theoretical development of group representations in non-classical algebraic settings and opens doors to applications in geometry, coding theory, and cryptography. Practically, the use of Magma facilitates automated representation analysis, and socially, this research promotes a broader understanding of non-traditional algebraic systems. While the current study is computationally verified for small instances, future work will aim to optimize algorithms for handling larger <img src=image/13440431_01.gif> structures, enhancing scalability and applicability.

Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time

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 representation theory of finite groups began with the pioneering research of Frobenius, Burnside, and Schur at the turn of the century. Their work was inspired in part by two largely unrelated developments which occurred earlier in the nineteenth century. The first was the awareness of characters of finite abelian groups and their application by some of the great nineteenth-century number theorists. The second was the emergence of the structure theory of finite groups, beginning with Galois’ brief outline of the main ideas in the famous letter written on the eve of his death and continuing with the work of Sylow and others, including Frobenius himself.

A finite group W generated by reflections is called a finite reflection group and have been studied deeply in different important contexts such as geometry and group theory, matrix algebra and Lie Theory. In this paper we study a class of fuzzy subgroups of finite reflection groups which are called parabolic fuzzy subgroups using preferential equality. In the classical case parabolic subgroups are associated with a set of generators, each a simple reflection, indexed by elements of subsets of a fixed root system Δ . We establish a one-to-one correspondence between the class of fuzzy parabolic subgroups of W and the class of fuzzy subsets of S where S is a set of simple reflections associated with Δ .

We survey recent results regarding embeddings of finite simple groups (and their nonsplit central extensions) in complex Lie groups, especially the Lie groups of exceptional type. Introduction Throughout this paper, L will be a finite group. Representation theory for L is usually understood to be the study of group morphisms L → GL(n, k) for distinguished collections of fields k (e.g., all overfields of a fixed field F ) and positive integers n . The topic of this survey is motivated by the question as to what happens if GL ( n ,·) is replaced by another algebraic group G (·). We shall mainly be concerned with the case where L is a finite simple group (that is, a finite nonabelian simple group) or a central extension thereof, and G(k) is a connected simple algebraic group over a field k . A further restriction of our discussion concerns the field k . It will mostly be taken to be the complex numbers, in which case we will mainly study group morphisms from L to the complex Lie group G (ℂ). (See below for some exceptions in §3 and §5.) For G (·) of classical type, the theory for representations L → G (ℂ) differs little from the usual one for GL ( n , ℂ). Indeed, a representation L → GL ( n , ℂ) decomposes into irreducible subrepresentations. The decomposition is well controlled by character theory.

Let G be a finite group. Define a relation ~ on the conjugacy classes of G by setting C ~ D if there are representatives c ∈ C and d ∈ D such that cd = dc. In the case where G has a normal subgroup H such that G/H is cyclic, two theorems are proved concerning the distribution, between cosets of H, of pairs of conjugacy classes of G related by ~. One of the proofs involves an application of the famous marriage theorem of Philip Hall.

We show that a compact group G has finite conjugacy classes, i.e., is an FC-group if and only if its center Z(G) is open if and only if its commutator subgroup G′ is finite. Let d(G) denote the Haar measure of the set of all pairs (x,y) in G×G for which [x,y]=1; this, formally, is the probability that two randomly picked elements commute. We prove that d(G) is always rational and that it is positive if and only if G is an extension of an FC-group by a finite group. This entails that G is abelian by finite. The proofs involve measure theory, transformation groups, Lie theory of arbitrary compact groups, and representation theory of compact groups. Examples and references to the history of the discussion are given at the end of the paper.

Since its inception in the early seventies, the study of Enveloping Algebras has undergone a significant and continuous evolution and moreover has inspired a wide variety of developments in many areas of mathematics including Ring Theory, Differential Operators, Invariant Theory, Quantum Groups and Hecke Algebras. As indicated above, one of the main goals behind this meeting was to bring together a group of participants with a wide range of interests in and around the geometric and the combinatorial side of the representation theory of Lie groups and algebras. We strongly believe that such an approach to representation theory, in particular interaction between geometry and representation theory, will open up new avenues of thought and lead to progress in a number of areas. This diversity was well reflected in the expertize represented by the conference participants, as well as in the wide range of topics covered. They may broadly be summarized under the following three headings: (1) The study of the structure and representation theory through a) Slodowy slices and the Joseph ideal, b) Equivalence of categories of representations and certain geometric counterparts, c) Hall algebras, Quotient schemes and canonical bases, d) Richardson elements and birationality questions, e) free Lie algebras and current algebras, f) Dirac cohomology, h) Gelfand-Zeitlin theory (2) Combinatorial Aspects of Lie Systems particularly through a) Saturation problems and Buildings, b) Affine and double Affine Hecke algebras, Cherednik algebras, c) Solvable lattice models (3) Geometric Structures including a) Representation theoretic methods in enumerative geometry, b) Multiplicity free symplectic reduction, c) Monodromy actions of braid groups, d) Associated varieties for Lie super algebras, e) affine Grassmannians, f) Schubert varieties and Demazure modules The single most important development reported in this conference seems to us to be the generalization of the categorical Satake isomorphism to quantum groups at roots of unity, which allows to bring in a whole lot of new geometry into representation theory. It seems likely that it will lead to the proofs of some open conjectures of Lusztig. We were particularly happy to have quite a few very strong younger participants and some highly promising postdocs. We tried to accomodate young postdocs, as much as feasible, to present their work by devoting one afternoon to their (shorter) talks.

The following remarks appear in the introduction to the first edition of Burnside's group theory book (1897).

The (ordinary) representation theory of the symmetric group is fascinating and has rich connections to combinatorics, including the Frobenius correspondence to the self-dual graded Hopf algebra of symmetric functions. The $0$-Hecke algebra (type $A$) is a deformation of the group algebra of the symmetric group, and its representation theory has an analogous correspondence to the dual graded Hopf algebras of quasisymmetric functions and noncommutative symmetric functions. Macdonald used the hook length formula for the number of standard Young tableaux of a fixed shape to determine how many irreducible representations of the symmetric group have dimensions indivisible by a prime $p$. In this paper, we study the dimensions of the projective indecomposable modules of the $0$-Hecke algebra modulo $p$; such a module is indexed by a composition and its dimension is given by a ribbon number, i.e., the cardinality of a descent class. Applying a result of Dickson on the congruence of multinomial coefficients, we count how many ribbon numbers belong to each congruence class modulo $p$ and extend the result to other finite Coxeter groups.