# 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)