Brauer morphism (source code)

= Brauer morphism
{c}
{title2=$\operatorname{Br}_D$}

For a p-subgroup $D\leq G$, let $D$ act on $kG$ by conjugation. The Brauer morphism is the algebra homomorphism
$$
\operatorname{Br}_D:(kG)^D\longrightarrow kC_G(D),
\qquad
\sum_{g\in G}a_gg\longmapsto
\sum_{g\in C_G(D)}a_gg.
$$