Definitions and labels. A complex group representation on a vector space is a group homomorphism , so and . It is an irreducible representation if and its only invariant subspaces are and .
Read permutation matrices by their action on column basis vectors. The labels in the original PDF are
In particular, the original PDF gives the last row of as ; the provided TeX transcription's is incorrect and would not give an invertible permutation matrix.
Multiplication and conjugacy. Matrix products act on columns with the right factor first. For example , , and . The complete multiplication table, with row factor multiplied by column factor, is
Conjugating a permutation relabels its cycles. Thus the conjugacy classes are
of sizes one, two and three. These are respectively the identity, the three-cycles and the transpositions in the symmetric group on three letters.
Dimensions. The sum of squares of irreducible representation dimensions equals the group order, which here is six. A three-dimensional irreducible representation would already contribute nine, so the displayed representation is reducible. There are three inequivalent complex irreducible representations, one for each conjugacy class, including the trivial representation of dimension one. If their dimensions are , then , whose positive integer solution is . Hence
One can also see reducibility directly: every permutation matrix fixes .
Characters. The character of a representation is the trace of its representing matrix, constant on each conjugacy class. The given permutation representation has character equal to the number of fixed basis vectors:
in class order . A trivial representation has character . For the second one-dimensional character, a transposition has value because its square is the identity. The two three-cycles are conjugate and inverse, so their common value obeys both and , forcing . Character orthogonality with the trivial character then requires , giving . This determines the sign representation without constructing its matrices.
Write the two-dimensional character as . Character orthogonality with the first two rows gives
so , . Its squared norm is , as required. The complete character table is therefore
The last row belongs to the standard representation of the symmetric group.
To decompose the given representation, use the character inner product
Its multiplicities are
Thus
Concretely the invariant line is spanned by and its invariant complement is . Their characters are exactly the first and third rows, agreeing with the decomposition obtained entirely from character orthogonality.

Articles by others on the same topic (0)

There are currently no matching articles.