Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-324/1/b/ii/solution

Put in the definition of and use
One obtains
Thus every -dimensional subspace is invariant; the left regular representation acts as on the first matrix index and as the identity on the second.
Let project onto . Since the subspace is invariant under every , commutes with those unitaries. Also . Therefore
which is independent of the coset representative and depends only on .

New to topics? Read the docs here!