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!