In algebra, an augmentation of an associative algebra A over a commutative ring k is a k-algebra homomorphism
, typically denoted by ε.
The kernel of the augmentation is a two-sided ideal called the augmentation ideal of A.
If A is a graded algebra which is connected, i.e.
which maps an element to its homogeneous component of degree 0 is an augmentation.