symmetric monoidal (∞,1)-category of spectra
Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
For an associative algebra over a ring equipped with the structure of an augmented algebra , the augmentation ideal is the kernel of .
Specifically for a group, and its group algebra over a ring , the augmentation ideal is the ideal in which consists of those formal linear combinations over of elements in whose sum of coefficients vanishes in .
Let be a discrete group and a ring. Write for the group algebra of over .
Write
for the homomorphism of abelian groups which forms the sum of -coefficients of the formal linear combinations that constitute the group ring
This is called the augmentation map. Its kernel
is the augmentation ideal of . (It is often denoted by .
The augmentation ideal is indeed a left and right ideal in .
The -module underlying the augmentation ideal of a group algebra is a free module, free on the set of elements
in .
(For the case )
As a -module, considered with the same generators, the relations are generated by those of the form
Last revised on May 6, 2018 at 14:57:29. See the history of this page for a list of all contributions to it.