Write and . Direct matrix multiplication gives
Every product reduces to , with and . These eight matrices are distinct and are precisely the listed elements:
This is the dihedral group of group order eight. Its element commutes with both generators. Conjugation by interchanges and , while conjugation by sends to . It also interchanges and . The resulting conjugacy classes are
These are the stated in order. To see that the last two reflection classes do not merge, conjugation changes the exponent in by an even integer or changes its sign, preserving its parity. The five sets exhaust all eight elements.
Both generators are real orthogonal matrices with determinant . Hence every element obeys and . The normal-form calculation establishes closure and inverses, so
In particular the embedding in the special unitary group uses the given real matrices viewed as complex ones.
In a one-dimensional representation, the relation implies , so . Independently . These give four irreducible representations
A two-dimensional representation is obtained by restricting the given matrices to the plane:
The eigenvalues of are and . Its two eigenlines are interchanged by , so neither is invariant under the whole group. Thus is a complex irreducible representation.
Taking traces gives the character table, with class sizes included for the character inner product:
For example , and its inner product with each one-dimensional row is . The four one-dimensional rows are mutually orthonormal by direct weighted summation. Their squared dimensions sum to , and there are five rows for five conjugacy classes. This proves completeness of the list.
The axis is an invariant subspace on which acts as and as . The plane carries the irreducible representation from b. Thus
The character of a tensor product is the product of the characters, so . Weighted character inner products give
For the trivial character, the multiplicity is . For any other one-dimensional character, the weighted sum over the nonidentity classes is , giving . For , it is .
Equivalently, is the sum of all four one-dimensional representations, and tensoring by gives the same two-dimensional irreducible representation. The dimensions in the boxed decomposition sum to nine, as required.
The defining SU(3) representation restricts to the given matrix representation. All its restricted matrices are real, so the conjugate representation restricts identically. Hence the first two branchings are
For the adjoint representation of SU(3), use . This follows by splitting endomorphisms into scalar and traceless matrices. Subtracting one trivial constituent from c gives
As an independent check, its restricted character is , the regular character of . Thus this is precisely the regular representation, whose representation multiplicities equal the corresponding dimensions.

Articles by others on the same topic (0)

There are currently no matching articles.