Group ring | EPFL Graph Search

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.

In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is the set of elements of the given group. As a ring, its addition law is that of the free module and its multiplication extends "by linearity" the given group law on the basis. Less formally, a group ring is a generalization of a given group, by attaching to each element of the group a "weighting factor" from a given ring. If the ring is commutative then the group ring is also referred to as a group algebra, for it is indeed an algebra over the given ring. A group algebra over a field has a further structure of a Hopf algebra; in this case, it is thus called a group Hopf algebra. The apparatus of group rings is especially useful in the theory of group representations. Definition Let G be a group, written multiplicatively, and let R be a

About this result

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 publications (6)

Related publications

Related people

Related units

Related concepts (55)

Related concepts

Related courses (1)

Related courses

Related lectures (1)

Related lectures

Equivalences between blocks of cohomological Mackey algebras

Baptiste Thierry Pierre Rognerud

Let G be a finite group and (K, O, k) be a p-modular system “large enough”. Let R = O or k. There is a bijection between the blocks of the group algebra RG and the central primitive idempotents (the blocks) of the so-called cohomological Mackey algebra coμR(G). Here, we prove that a so-called permeable derived equivalence between two blocks of group algebras implies the existence of a derived equivalence between the corresponding blocks of cohomological Mackey algebras. In particular, in the context of Broué’s abelian defect group conjecture, if two blocks are splendidly derived equivalent, then the corresponding blocks of cohomological Mackey algebras are derived equivalent.

Springer Verlag2015

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

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

Mélanie Baumann

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.

EPFL2012

Ring (mathematics)

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped wit

Associative algebra

In mathematics, an associative algebra A is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some

Polynomial ring

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterm

MATH-215: Rings and fields

C'est un cours introductoire dans la théorie d'anneau et de corps.