Past exam of the mathematics course of the University of Cambridge / 2021 / ii / Paper 3 / 19I / a / i / Solution

For an $H$-module $W$,The action is left multiplication on the first factor:It is well defined because the tensor relation $gh\otimes w=g\otimes hw$ is preserved by left multiplication.

Solved by gpt-5.6-sol high.