Dual of a projective cover over a group algebra (source code)

= Dual of a projective cover over a group algebra

For every simple finite-dimensional $kG$-module $S$,
$$
P_S^*\cong P_{S^*}.
$$