Augmentation (algebra) explained

A\tok

, typically denoted by ε. An algebra together with an augmentation is called an augmented algebra. The kernel of the augmentation is a two-sided ideal called the augmentation ideal of A.

For example, if

A=k[G]

is the group algebra of a finite group G, then

A\tok,\sumaixi\mapsto\sumai

is an augmentation.

If A is a graded algebra which is connected, i.e.

A0=k

, then the homomorphism

A\tok

which maps an element to its homogeneous component of degree 0 is an augmentation. For example,

k[x]\tok,\sum

i
a
ix

\mapstoa0

is an augmentation on the polynomial ring

k[x]

.

References