nLab augmented algebra

Context

Algebra

higher algebra

universal algebra

Contents

Definition

For $R$ a ring, an associative algebra over $R$ is a ring $A$ equipped with a ring inclusion $R \hookrightarrow A$.

Definition

If the $R$-algebra $A$ is equipped with a ring homomorphism the other way round,

$\epsilon \colon A \to R$

then it is called an augmented algebra.

Remark

In Cartan-Eilenberg this is called a supplemented algebra.

Definition

The kernel of $\epsilon$ is called the corresponding augmentation ideal in $A$.

Examples

Example

An augmentation of a bare ring itself, being an associative algebra over the ring of integers $\mathbb{Z}$, is a ring homomorphism to the integers

$\epsilon \colon R \to \mathbb{Z}$
Example

Every group algebra $R[G]$ is canonically augmented, the augmentation map being the operation that forms the sum of coefficients of the canonical basis elements.

References

Revised on June 19, 2013 20:16:34 by Urs Schreiber (82.169.65.155)