Sylow theorems | EPFL Graph Search

In mathematics, specifically in the field of finite group theory, the Sylow theorems are a collection of theorems named after the Norwegian mathematician Peter Ludwig Sylow that give detailed information about the number of subgroups of fixed order that a given finite group contains. The Sylow theorems form a fundamental part of finite group theory and have very important applications in the classification of finite simple groups. For a prime number p, a Sylow p-subgroup (sometimes p-Sylow subgroup) of a group G is a maximal p-subgroup of G, i.e., a subgroup of G that is a p-group (meaning its cardinality is a power of p, or equivalently, the order of every group element is a power of p) that is not a proper subgroup of any other p-subgroup of G. The set of all Sylow p-subgroups for a given prime p is sometimes written \text{Syl}_p(G)

Actions de relations d'équivalence sur les champs d'espaces métriques CAT(0)

Philippe Paul Antoine Henry

This work is dedicated to the study of Borel equivalence relations acting on Borel fields of CAT(0) metric spaces over a standard probability space. In this new framework we get similar results to some theorems proved recently by S. Adams-W. Ballmann or N. Monod concerning groups of isometries of CAT(0) spaces. In Chapter 1, we build several Borel structures on a variety of fields before dealing in particular with Borel fields of CAT(0) spaces. Chapter 2 discusses the notion of an action for an equivalence relation on a field of metric spaces and gives several examples. We also introduce a definition of amenability for equivalence relations in terms of invariant section following an idea of R.J. Zimmer. Chapter 3 deals with the action of an amenable equivalence relation and shows that such a relation cannot act without fixing a section at infinity or preserving a subfield of Euclidean spaces. In Chapter 4, we show that if an equivalence relation is generated by two commuting groups and acts without fixing a section at infinity, then the field splits equivariantly and isometrically as a product. Using this result we also show that equivalence relations containing two coamenable subrelations cannot act without fixing a section at infinity or preserving a subfield of Euclidean spaces.

EPFL2010

Trace maps for Mackey algebras

Baptiste Thierry Pierre Rognerud

Let G be a finite group and R be a commutative ring. The Mackey algebra μR(G) shares a lot of properties with the group algebra RG however, there are some differences. For example, the group algebra is a symmetric algebra and this is not always the case for the Mackey algebra. In this paper we present a systematic approach to the question of the symmetry of the Mackey algebra, by producing symmetric associative bilinear forms for the Mackey algebra. Using the fact that the category of Mackey functors is a closed symmetric monoidal category, we prove that the Mackey algebra μR(G) is a symmetric algebra if and only if the family of Burnside algebras RB(H) for H≤G is a family of symmetric algebras with a compatibility condition. As a corollary, we recover the well known fact that over a field of characteristic zero, the Mackey algebra is always symmetric. Over the ring of integers the Mackey algebra of G is symmetric if and only if the order of G is square free. Finally, if (K, O, k) is a p-modular system for G, we show that the Mackey algebras μO(G) and μk(G) are symmetric if and only if the Sylow p-subgroups of G are of order 1 or p.

Elsevier2015

Relative Projectivity and Relative Endotrivial Modules

Caroline Lassueur

This dissertation is concerned with modular representation theory of finite groups, and more precisely, with the study of classes of representations, which we shall term relative endotrivial modules. Given a prime number p, a finite group G of order divisible by p, we shall say that a kG-module M is endotrivial relatively to the kG-module V if its endomorphism algebra Endk(M) is isomorphic, as a kG-module, to a direct sum of a trivial module and another module which is projective relatively to V , i.e. in short Endk(M) ≅ k ⊕ (V – projective). More accurately, in the first part of the text projectivity relative to kG-modules is used to define groups of relative endotrivial modules, which are obtained by replacing the notion of projectivity with that of relative projectivity in the definition of ordinary endotrivial modules. However, in order to achieve this goal we first need to develop the theory of projectivity relative to modules, in particular with respect to standard group operations such as induction, restriction and inflation. Then, for finite groups having a cyclic Sylow p-subgroup, using the structure of the group T(G) of endotrivial modules described in [MT07], we give a complete classification of the groups of relative endotrivial modules. We also study the case of groups that have a Sylow p-subgroup isomorphic to a Klein group C2 × C2, as well as the case of p-nilpotent groups. In a second part of the text, it is shown how our new groups of relative endotrivial modules provide a natural context to generalise the Dade group of a p-group P to an arbitrary finite group. The classification of endo-permutation modules and the complete description of the structure of the Dade group D(P) was completed in 2004 by S. Bouc with [Bou06]. This adventure had started about 25 years earlier with the first papers and results by E. Dade in [Dad78a] and [Dad78b] in 1978, and the final classification was in fact achieved through the non-effortless combined work of several (co)-authors between 1998 and 2004, including S. Bouc, J. Carlson, N. Mazza and J. Thévenaz. It is most interesting to note that crucial building pieces for this classification are indeed the endotrivial modules, which are particular cases of endo-permutation modules. Yet, for an arbitrary finite group G, no satisfying equivalent group structure to the Dade group on a class of kG-modules has been defined so far. With the goal to fill this gap, we turn the problem upside down, in some sense, and show how one can regard an endo-permutation module as an endotrivial module, of course not in the ordinary sense, but in the relative sense. This shall enable us to endow a set of isomorphism classes of endo-p-permutation modules with a group structure, similar to that of the Dade group. We shall call this new group, the generalised Dade group of the group G, explicitly compute its structure and show how it is closely related to that of the G-stable points of the Dade group of a Sylow p-subgroup of G.

EPFL2012

Relative Projectivity and Relative Endotrivial Modules

Caroline Lassueur

EPFL2012