## Generators of the Augmentation Ideal in a Group Ring

## Problem 302

Let $R$ be a commutative ring with $1$ and let $G$ be a finite group with identity element $e$. Let $RG$ be the group ring. Then the map $\epsilon: RG \to R$ defined by

\[\epsilon(\sum_{i=1}^na_i g_i)=\sum_{i=1}^na_i,\]
where $a_i\in R$ and $G=\{g_i\}_{i=1}^n$, is a ring homomorphism, called the **augmentation map** and the kernel of $\epsilon$ is called the **augmentation ideal**.

**(a)** Prove that the augmentation ideal in the group ring $RG$ is generated by $\{g-e \mid g\in G\}$.

**(b)** Prove that if $G=\langle g\rangle$ is a finite cyclic group generated by $g$, then the augmentation ideal is generated by $g-e$.

Read solution