Invariant bilinear form as an intertwiner (source code)

= Invariant bilinear form as an intertwiner

A bilinear form $B$ on $V$ is invariant exactly when $v\mapsto B(v,-)$ is a $G$-homomorphism $V\to V^*$. On an irreducible representation, Schur's lemma makes a nonzero such form <nondegenerate bilinear form>[nondegenerate] and unique up to scale.