Trivial representation in a tensor square

ID: trivial-representation-in-a-tensor-square

For a finite-dimensional irreducible complex representation , invariant tensors in correspond to equivariant maps . Schur's lemma makes their dimension one if is self-dual and zero otherwise. In particular a real-character irreducible representation has precisely one trivial copy in its tensor square. For arbitrary complex irreducibles, the unconditional statement is that contains the trivial representation once.

New to topics? Read the docs here!