Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-160/4/d/ii/solution

The nonzero homomorphism cannot kill , because the Specht module is generated by the translates of this polytabloid. Equivariance and part d(i) therefore give
Thus acts nontrivially on , and hence on . Some -tabloid must satisfy . Fact 2 now says that dominates in the dominance order on partitions.

New to topics? Read the docs here!