Invariant bilinear form as an intertwiner
ID: invariant-bilinear-form-as-an-intertwiner
A bilinear form on is invariant exactly when is a -homomorphism . On an irreducible representation, Schur's lemma makes a nonzero such form nondegenerate and unique up to scale.
New to topics? Read the docs here!