The embedded acts on the first three coordinates and fixes the fourth. This immediately gives the branching rulesDistribute the tensor product of group representations over these direct sums and split by taking the trace:One can locate every summand using the block matrixThe traceless part of is , is , is , and are independent trivial representations. Removing the overall trace instead gives . The dimension check is .
Articles by others on the same topic
There are currently no matching articles.