Conjugation module of a group ring (source code)

= 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)$.