= Solution
Write $P\cong kGe$ for a <primitive idempotent> $e$. The coefficient-of-identity form makes $kG$ a <symmetric algebra (Frobenius algebra)>. Associativity of this nondegenerate form identifies the orthogonal complement of $J(kG)e$ in $kGe$ with the elements annihilated by $J(kG)$, namely $\operatorname{Soc}(P)$. It therefore induces a nondegenerate $kG$-invariant pairing between
$$
P/J(P)=kGe/J(kG)e
$$
and $\operatorname{Soc}(P)$. Both are simple by projectivity and part (a), and the symmetric form has identity Nakayama permutation. Consequently the <head and socle of an indecomposable projective group-algebra module> satisfy
$$
\boxed{P/J(P)\cong\operatorname{Soc}(P).}
$$
Back to article page
