Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-2/19j/b/i/solution

An invariant bilinear form defines a linear map
Invariance gives
so is an -homomorphism. Its kernel is a -subrepresentation of irreducible . Hence either , so , or is injective and therefore a linear isomorphism . In the latter case is a nondegenerate.
If and are two nonzero invariant forms, then
By Schur lemma, this endomorphism is scalar, so . Cases involving the zero form are immediate. Thus any two invariant bilinear forms are proportional.

New to topics? Read the docs here!