Let be a finite group and a pair of -modules, by which we
mean finite-dimensional -linear representations of or
equivalently modules over the group algebra . We will denote by
all -linear transformations , and by
the space of those that are -module homomorphisms
; i.e. -linear maps that satisfy . We will denote
these spaces and if . If is a
-module let be the space
of -invariants.
(a) Show that is itself a -module with the action
, and that the space of
-invariants is .
(b) Remind us how the dual space of a -module is a -module,
and show that as
-modules.
(c) Prove that
Hint: First show that
.