MAT 150C, Spring 2017 Solutions to HW1 1.1. (25 points) Show that the image of a representation of dimension 1 of a finite group is a cyclic group. Solution: The image of a representation of dimension 1 is a finite subgroup of GL(1, C) = C∗ . So we need to prove that every finite subgroup H of C∗ is cyclic. Indeed, by Lagrange theorem the order of every element x ∈ H divides H, so x|H| = 1. The equation x|H| = 1 has exactly |H| solutions, so H is a cyclic group with the generator 2πi e |H| . 2.2. (25 points) Consider the standard two-dimensional representation of the dihedral group Dn . For which n this is an irreducible complex representation? Solution: The group Dn is generated by the rotation by angle 2π and a reflection in n a line l passing through the origin. It is easy to see that for n = 1 and n = 2 this line l is invariant under the rotation by π and by 2π, and hence it an invariant subspace for the action of Dn , and the representation is reducible. Let us prove that it is irreducible for n ≥ 3. Indeed, the only invariant subspaces for the reflection in l are l and l⊥ . On the other hand, for n ≥ 3 the matrix of rotation has no real eigenvectors, so neither l nor l⊥ are invariant under rotation. Therefore there are no one-dimensional invariant subspaces, and the representation of Dn is irreducible. 2.3. (25 points) Let V be a representation of S3 . a) Show that V contains a nonzero invariant subspace of dimension at most 2. Solution: Let v ∈ V be a nonzero vector. To save space, we will denote ρ(g)v by gv for g ∈ S3 . Consider the vector s = v + (1 2)v + (1 3)v + (2 3)v + (1 2 3)v + (1 3 2)v. Clearly, gs = s for all g ∈ S3 . We have the following cases: (1) If s 6= 0 then it spans a one-dimensional invariant subspace isomorphic to the trivial representation of S3 . (2) If s 6= 0, consider the vector u = v + (1 2 3)v + (1 3 2)v. We have (1 2 3)u = (1 3 2)u = u, (1 2)u = (1 3)u = (2 3)u = (1 2)v + (1 3)v + (2 3)v = s − u = −u If u 6= 0, then it spans a one-dimensional invariant subspace isomorphic to the sign representation of S3 . (3) If u = 0, consider the vector w = v +(1 2)v. If w 6= 0 then w+(1 2 3)w+(1 3 2)w = s = 0, so w and (1 2 3)w span one- or two-dimensional representation of S3 . (4) Finally, if w = u = s = 0 then (1 2)v = −v, so v and (1 2 3)v span one- or two-dimensional representation of S3 . b) Prove that all two-dimensional representations of S3 are isomorphic, and determine all irreducible representations of S3 . 1 Solution: If V is irreducible then it should coincide with the invariant subspace constructed above. In (1) and (2) we identified is with the trivial and sign representation, respectively. If in (3) we get a one-dimensional subspace, then (1 2)w = w, (1 2 3)w = λw ⇒ λw = (1 2)(1 2 3)w = (2 3w) = (1 3 2)(1 2)w = λ2 w, so λ = λ2 and λ = 1, so we get a trivial representation. If in (4) we get a one-dimensional subspace, then (1 2)v = −v, (1 2 3)v = λv and similarly λ = 1, so we get a sign representation. Finally, we need to prove that two-dimensional representations in cases (3) and (4) are isomorphic. This follows from the fact that both are isomorphic to the standard representation of D3 , where we choose w to be parallel to the axis of one of the reflections in (3), and we choose v to be perpendicular to this axis in (4). A. (25 points) Consider the cyclic group G = hx|xn = 1i. a) Describe all one-dimensional complex representations of G Solution: A one-dimensional representation assigns to x a complex number z, and 2πim to xk the number z k . Since xn = 1, we get z n = 1, so z = e n , m = 0, 1, . . . , n − 1. Therefore G has exactly n different one-dimensional representations: ρm (xk ) = e 2πimk n , m = 0, 1, . . . , n − 1. b) Prove that every complex representation of G has a one-dimensional invariant subspace. Solution: In a complex representation x corresponds to a complex matrix ρ(x). It has an eigenvector v such that ρ(g) · v = λv for some λ. Then ρ(g k )v = ρ(g)k v = λk v, so the one-dimensional subspaces spanned by v is invariant under the action of ρ(G). 2
© Copyright 2026 Paperzz