A group homomorphism satisfies for all . Its group kernel is
For the matrices, put , and . Since , and , direct matrix multiplication gives
These verify the listed matrices and the defining relations, with . To check every product explicitly through a single calculation, write elements in the unique form , with and . The relations give
The displayed matrices obey , so their product has exactly the same form:
All exponents are reduced modulo two or three respectively. Thus this verifies all 36 products, and is a two-dimensional complex group representation. It is given to be an irreducible representation.
For a one-dimensional complex group representation , let and , which are nonzero complex numbers. The relations require
Since scalar multiplication commutes and , the last relation gives , hence . Then . The choice is the trivial representation; the unique nontrivial choice is the sign representation:
Its group kernel is
A faithful representation is injective and has trivial kernel. Here the kernel has three elements, so is not faithful.
Both one-dimensional representations are irreducible representations, and they are inequivalent to each other and to the given two-dimensional one. The sum of squares of irreducible representation dimensions gives
These exhaust all complex irreducible representations. Their number equals the number of conjugacy classes, so there are three conjugacy classes. Explicitly they are
The last two sets consist of the 3-cycles and transpositions respectively.

Articles by others on the same topic (0)

There are currently no matching articles.