**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Publication# Le foncteur de bi-ensembles des modules de p-permutation

Abstract

Let k be an algebraically closed field of characteristic p, where p is a prime number or 0. Let G be a finite group and ppk(G) be the Grothendieck group of p-permutation kG-modules. If we tensor it with C, then Cppk becomes a C-linear biset functor. Recall that the simple biset functor SH,V are parametrized by pairs (H,V), where H is a finite group and V a simple COut(H)-module. If we only consider p'-groups, then Cppk = CRk is the usual representation functor and we know the simple functors which are its composition factors. If we consider only p-groups, then Cppk = CB is the Burnside functor and we also know the simple functors which are its composition factors. We want to find the composition factors of Cppk in general. In order to achieve this, we first show that the composition factors from the special cases above are also composition factors for Cppk. Then, we consider groups of little order and try to find new composition factors. This leads us to find the following new composition factors : The simple factors SCm,Cξ and SCp×Cp× Cm,Cξ, where (m,ξ) runs over the set of all pairs formed by a positive integer m prime to p and a primitive character ξ : (Z/mZ)* → C*. Their multiplicity as composition factors is 1. The simple factors SCp⋊Cl, C, where l is a number prime to p, the action of Cl on Cp is faithful and C is the trivial COut(Cp ⋊ Cl)-module. Their multiplicity as composition factors is φ(l). The simple functors SG,C, where G is a finite p-hypo-elementary B-group (for which an explicit classification is done) and C the trivial COut(G)-module. We also show that some specific simple functors appear, indexed by the groups C3 ⋊ C4, C5 ⋊ C4 and A4. On the way, we find all the composition factors of the subfunctor of permutation modules.

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts

Loading

Related publications

Loading

Related concepts (14)

Related publications (12)

Finite group

In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just

Composition series

In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a module, into simple pieces. The need for considering composition series in the contex

Grothendieck group

In mathematics, the Grothendieck group, or group of differences, of a commutative monoid M is a certain abelian group. This abelian group is constructed from M in the most universal way, in the sense

Loading

Loading

Loading

This dissertation is concerned with the study of a new family of representations of finite groups, the endo-p-permutation modules. Given a prime number p, a finite group G of order divisible by p and an algebraically closed field k of characteristic p, we say that a kG-module M is an endo-p-permutation module if its endomorphism algebra Endk(M) is a p-permutation kG-module, that is a direct summand of a permutation kG-module. This generalizes the notion, first introduced by E. Dade in 1978, of endo-permutation modules for p-groups . For P a p-group, E. Dade defined an abelian group structure on the set of isomorphism classes of indecomposable endo-permutation kP-modules with vertex P and he proved that the complete description of the structure of this group is equivalent to the classification of endo-permutation kP-modules. This group of isomorphism classes is now called the Dade group of the p-group P. The problem of describing the Dade group for an arbitrary p-group was recently solved by S. Bouc. This opens the question of studying endo-p-permutation modules, which are the natural generalization to arbitrary finite groups of endo-permutation modules. In the following text, we present the basic properties of endo-p-permutation modules and give a characterization of indecomposable endo-p-permutation modules with vertex P via properties of their sources modules. In particular, when the normalizer of P controls p-fusion, we are able to give a complete classification of sources of indecomposable endo-p-permutation modules with vertex P, using Bouc's description of the Dade group. When p is odd, we also give an alternative proof of a theorem of Dade concerned with extensions of endo-permutation modules, using our previous results. We present a consequence of this theorem of Dade on the structure of the multiplicity module associated to an indecomposable endo-p-permutation module. Finally we study some concrete examples of endo-p-permutation modules such as relative syzygies and relative Heller translates. We prove also that the Green correspondent of an indecomposable kNG(P)- endo-p-permutation module with vertex P is not in general an endo-p-permutation kG-module. The study of such representations is motivated by the important role they play in certain areas of representations theory. For instance, endo-permutation modules, and more generally endo-p-permutation modules (as is proved here), appear in the study of simple modules for p-solvable groups.

Let k be a field of characteristic p, where p is a prime number, let pp_k(G) be the Grothendieck group of p-permutation kG-modules, where G is a finite group, and let Cpp_k(G) be pp_k(G) tensored with the field of complex numbers C. In this article, we find all the composition factors of the biset functor Cpp_k restricted to the category of abelian groups.

The Grothendieck group of permutation modules for a finite group G becomes a biset functor when G is allowed to vary. All the composition factors of this biset functor are determined.