Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-2/19j/b/i/solution
Past exam of the mathematics course of the University of Cambridge 2025 ii Paper 2 19J b i Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
An invariant bilinear form defines a linear mapInvariance givesso 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, thenBy 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!