In algebra, an **augmentation ideal** is an ideal that can be defined in any group ring. If *G* is a group and *R* a commutative ring, there is a ring homomorphism, called the **augmentation map**, from the group ring

to *R*, defined by taking a sum

to

Here *r*_{i} is an element of *R* and *g*_{i} an element of *G*. The sums are finite, by definition of the group ring. In less formal terms,

is defined as 1_{R} whatever the element *g* in *G*, and is then extended to a homomorphism of *R*-modules in the obvious way. The **augmentation ideal** is the kernel of, and is therefore a two-sided ideal in *R*. It is generated by the differences

of group elements.

Furthermore it is also generated by

which is a basis for the augmentation ideal as a free *R* module.

For *R* and *G* as above, the group ring *R* is an example of an *augmented* *R*-algebra. Such an algebra comes equipped with a ring homomorphism to *R*. The kernel of this homomorphism is the augmentation ideal of the algebra.

Another class of examples of augmentation ideal can be the kernel of the counit of any Hopf algebra.

The augmentation ideal plays a basic role in group cohomology, amongst other applications.

### Famous quotes containing the words ideal and/or augmentation:

“Cassoulet, that best of bean feasts, is everyday fare for a peasant but ambrosia for a gastronome, though its *ideal* consumer is a 300-pound blocking back who has been splitting firewood nonstop for the last twelve hours on a subzero day in Manitoba.”

—Julia Child (b. 1912)

“He does smile his face into more lines than is in the new map with the *augmentation* of the Indies.”

—William Shakespeare (1564–1616)