Given two representations π:πΊβGL(π) and π:πΊβGL(π),
the tensor productπβπ:πΊβGL(VβW) is defined using the tensor product of linear maps as
(πβπ)(πΊ)=π(πΊ)βπ(πΊ)
We denote the tensor product of irreps as ππβππ=ππβπ