= Solution
Apply part (b) with $P=P_i$ and $U=S_j$. A homomorphism $P_i\to S_j$ kills $J(P_i)$ and therefore factors through the head $P_i/J(P_i)\cong S_i$. By <Schur lemma> over the splitting field,
$$
\dim\operatorname{Hom}_{kG}(P_i,S_j)=\delta_{ij}.
$$
Consequently the two stated bases satisfy the <Duality of simple and projective Brauer characters>:
$$
\boxed{\langle\chi_{P_i},\chi_{S_j}\rangle=\delta_{ij}.}
$$
The form is nondegenerate directly: if $\phi\ne0$, then
$$
\langle\phi,\phi\rangle
=\frac1{|G|}\sum_{g\ p\text{-regular}}|\phi(g)|^2>0.
$$
Equivalently, in coordinates indexed by the p-regular conjugacy classes it is a positive diagonal <Hermitian form> with weights $1/|C_G(x)|$.
Back to article page