Duality of simple and projective Brauer characters (source code)

= Duality of simple and projective Brauer characters
{c}

If $S_i$ are the simple modules of a split group algebra and $P_i$ are their <projective covers>, then
$$
\langle\chi_{P_i},\chi_{S_j}\rangle_{p'}=\delta_{ij}.
$$