MA 3416: Group representations Selected answers/solutions to the assignment due March 23, 2015 1. (a) Indeed, scalar matrices do not change under conjugation by anything, in particular by matrices of representation, so if g is in Gρ , then hgh−1 is in Gρ as well. (b) Since trace of an operator is equal to the sum of its eigenvalues, and all eigenvalues are roots of unity, our claim is clear. (c) For complex numbers λ1 , . . . , λn we have |λ1 + . . . + λn | = |λ1 | + . . . + |λn | if and only if the vectors representing these numbers in 2d plane have the same direction. Given that all these numbers are roots of unity in our case, we conclude that they are all equal, and so are eigenvalues of a scalar matrix. 2. We shall use both intertwining numbers and characters to show how they all work. (a) Clearly, this representation is isomorphic to the standard representation on C4 , and hence is isomorphic to the sum of the trivial representation and V, the constant functions and functions that add up to zero. (b) The intertwining number of this representation with itself is equal to three, since there are three different orbits on pairs of edges: two edges can coincide, have a common vertex, or be disjoint. Also, the intertwining number of this representation with the representation arising from the set of vertices is two: in a pair of a vertex and an edge, the vertex can belong to the edge or not. Therefore, this representation contains a copy of the trivial one, a copy of V, and something else. That something else can only be U, as it is the only twodimensional representation. The three invariant subspaces where those representations are realised are constant functions, functions that take opposite values on pairs of disjoint edges, and functions that take the same values on pairs of disjoint edges and add up to zero. (c) Clearly, this representation is isomorphic to the standard representation on C4 , and hence is isomorphic to the sum of the trivial representation and V, the constant functions and functions that add up to zero. (d) Let us augment the character table of S4 with the values of character of the corresponding representations: triv sign V V0 U edges e 1 1 3 3 2 12 (ij) 1 -1 1 -1 0 2 (ijk) 1 1 0 0 -1 0 (ijkl) 1 -1 -1 1 0 0 (ij)(kl) 1 1 -1 -1 2 0 Computing the scalar products with irreducible characters, we see that this representation is isomorphic to triv ⊕ V ⊕ V ⊕ V 0 ⊕ U. Let us note that the space of all even functions on edges has three natural invariant subspaces: constant functions, functions that are constant on each of the three directions and add up to zero, and functions that take opposite values on each two edges of the same face that are not connected with an edge. It remains to find two invariant subspaces in the space of odd functions to guarantee that we found all the irreducible constituents. Those invariant subspaces consist of functions for which the sum of values on edges in each face is zero and of functions for which for each face the sum of values of two opposite edges is equal to the sum of edges on two other opposite edges. 3. In class, we proved that A5 is the group of all rotations of the dodecahedron, and identified the conjugacy classes. Since the only rotations of the dodecahedron preserving some face are rotations about the axis passing through the centre of that face, only cycles of length 5 have fixed points in the set of faces, and we get the following character of CM: # CM 15 1 12 22 1 15 0 312 20 0 51 12 2 52 12 2 Using the character table # triv V W V1 V2 from class (here τ = √ 1+ 5 2 ), 15 1 1 4 5 3 3 22 1 15 1 0 1 -1 -1 312 20 1 1 -1 0 0 51 12 1 -1 0 τ 1−τ 52 12 1 -1 0 1−τ τ and computing scalar products, we see that CM ' triv ⊕ V1 ⊕ V2 ⊕ W. 4. It is clear that W1 ⊗ W2 ' W2 ⊗ W1 and W ⊗ triv ' W, so we just need to decompose 10 pairwise products whose characters are # V1 ⊗ V1 V1 ⊗ V2 V1 ⊗ V V1 ⊗ W V2 ⊗ V2 V2 ⊗ V V2 ⊗ W V ⊗V V ⊗W W⊗W 15 1 9 9 12 15 9 12 15 16 20 25 22 1 15 1 1 0 -1 1 -1 -1 0 0 1 312 20 0 0 0 0 0 0 0 1 -1 1 51 12 τ+1 -1 −τ 0 2−τ −1 + τ 0 1 0 0 52 12 2−τ -1 −1 + τ 0 τ+1 −τ 0 1 0 0 Computing scalar products of characters, we obtain V1 ⊗ V1 ' triv ⊕ V1 ⊕ W V1 ⊗ V2 ' V ⊕ W V1 ⊗ V ' V2 ⊕ V ⊕ W V1 ⊗ W ' V1 ⊕ V2 ⊕ V ⊕ W V2 ⊗ V2 ' triv ⊕ V2 ⊕ W V2 ⊗ V ' V1 ⊕ V ⊕ W V2 ⊗ W ' V1 ⊕ V2 ⊕ V ⊕ W V ⊗ V ' triv ⊕ V1 ⊕ V2 ⊕ V ⊕ W V ⊗ W ' V1 ⊕ V2 ⊕ V ⊕ W ⊕ W W ⊗ W ' triv ⊕ V1 ⊕ V2 ⊕ V ⊕ V ⊕ W ⊕ W Note that since under conjugation by a transposition V1 and V2 get swapped, and other representations remain unchanged, V1 ⊗ V ' V2 ⊕ V ⊕ W implies V2 ⊗ V ' V1 ⊕ V ⊕ W etc. 5. (a) Clearly (g1 , g2 )(h1 , h2 )(g1 , g2 )−1 ) = (g1 h1 g1 −1, g2 h2 g−1 2 ), from which it is obvious that conjugacy classes of G1 × G2 are C1 × C2 , where Ci is a conjugacy class of Gi . (b) Let us compute the scalar product of such a character with itself: (χ, χ) = X 1 |χ((g1 , g2 ))|2 = #G1 #G2 (g1 ,g2 ) = X 1 | tr(ρ1 (g1 ) ⊗ ρ2 (g2 ))|2 = #G1 #G2 (g1 ,g2 ) X 1 = | tr(ρ1 (g1 ))|2 | tr(ρ2 (g2 ))|2 = #G1 #G2 (g1 ,g2 ) 1 X 1 X = | tr(ρ1 (g1 ))|2 | tr(ρ2 (g2 ))|2 = (χ1 , χ1 )(χ2 , χ2 ) = 1, #G1 g #G2 g 1 2 so χ is an irreducible character. A similar computation shows that these characters are pairwise orthogonal. Also, their number is equal to the product of numbers of conjugacy classes in our groups which by (a) is the number of conjugacy classes in the product. Thus, these are all irreducible representations.