Augmentation ideal (source code)

= Augmentation ideal
{title2=$I_G$}
{wiki}

The augmentation homomorphism $\varepsilon:R[G]\to R$ sends $\sum_gr_gg$ to $\sum_gr_g$. Its kernel is the augmentation ideal.