Tensor product with a 1-dimensional representation
Let
Proof
For any
where π£ β π β π is a subspace, π , Hence the invariant subspaces of π ( π ) π£ β π are the same as those of Ξ , and thus if π β Ξ is irreducible so is Ξ . π β Ξ
As a result, 1-dimensional irreps form a group.