Conjugation module of a group ring
= Conjugation module of a group ring
The <group ring> $\mathbb ZG$ becomes a $\mathbb ZG$-module under the <conjugation action> $g\cdot x=gxg^{-1}$. Its basis splits into <conjugacy classes>, and the span of the class of $x$ is the permutation module on $G/C_G(x)$.