Solution

ID: past-exam-of-the-groups-and-representations-course-of-the-university-of-oxford/2024/2/d/solution

The embedded acts on the first three coordinates and fixes the fourth. This immediately gives the branching rules
Distribute the tensor product of group representations over these direct sums and split by taking the trace:
One can locate every summand using the block matrix
The traceless part of is , is , is , and are independent trivial representations. Removing the overall trace instead gives . The dimension check is .

New to topics? Read the docs here!