nLab augmentation ideal

Contents

Context

Algebra

Group Theory

Contents

Idea

For RAR \hookrightarrow A an associative algebra over a ring RR equipped with the structure of an augmented algebra ϵ:AR\epsilon \colon A \to R, the augmentation ideal is the kernel of ϵ\epsilon.

Specifically for GG a group, and R[G]R[G] its group algebra over a ring RR, the augmentation ideal is the ideal in R[G]R[G] which consists of those formal linear combinations over RR of elements in GG whose sum of coefficients vanishes in RR.

Examples

For group algebras

Let GG be a discrete group and RR a ring. Write R[G]R[G] for the group algebra of GG over RR.

Definition

Write

ϵ:[G] \epsilon \colon \mathbb{Z}[G] \to \mathbb{Z}

for the homomorphism of abelian groups which forms the sum of RR-coefficients of the formal linear combinations that constitute the group ring

ϵ:r gGr g. \epsilon \colon r \mapsto \sum_{g \in G} r_g \,.

This is called the augmentation map. Its kernel

ker(ϵ)[G] ker(\epsilon) \hookrightarrow \mathbb{Z}[G]

is the augmentation ideal of [G]\mathbb{Z}[G]. (It is often denoted by I(G)I(G).

Properties

General

Proposition

The augmentation ideal is indeed a left and right ideal in R[G]R[G].

For group algebras

Proposition

The RR-module underlying the augmentation ideal of a group algebra is a free module, free on the set of elements

{ge|gG,ge} \{ g - e | g \in G,\; g \neq e \}

in R[G]R[G].

Proposition

(For the case R=R= \mathbb{Z})

As a [G]\mathbb{Z}[G]-module, considered with the same generators, the relations are generated by those of the form

g 1(g 2e)=(g 1g 2e)(g 1e).g_1(g_2-e)= (g_1g_2-e)-(g_1-e).

Last revised on May 6, 2018 at 14:57:29. See the history of this page for a list of all contributions to it.