Solutions to Example Sheet 1

Similar documents
(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for

Representation Theory

Representation Theory

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

M3/4/5P12 PROBLEM SHEET 1

ALGEBRA QUALIFYING EXAM PROBLEMS

Math 594. Solutions 5

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Spectra of Semidirect Products of Cyclic Groups

Exercises on chapter 1

A PROOF OF BURNSIDE S p a q b THEOREM

Topics in linear algebra

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

REPRESENTATION THEORY WEEK 7

A Little Beyond: Linear Algebra

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Real representations

Algebra Exam Syllabus

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.

Groups and Symmetries

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

120A LECTURE OUTLINES

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

Exercises on chapter 4

Representations. 1 Basic definitions

Quantum Computing Lecture 2. Review of Linear Algebra

CHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS

Algebra SEP Solutions

6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.

Algebra Exam Topics. Updated August 2017

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

QUALIFYING EXAM IN ALGEBRA August 2011

Representations and Linear Actions

Groups. Chapter The symmetric group

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

Supplementary Notes: Simple Groups and Composition Series

1.4 Solvable Lie algebras

January 2016 Qualifying Examination

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

CHARACTERS OF FINITE GROUPS.

B Sc MATHEMATICS ABSTRACT ALGEBRA

Supplementary Notes March 23, The subgroup Ω for orthogonal groups

MATH 583A REVIEW SESSION #1

Character tables for some small groups

Linear Algebra. Min Yan

Linear Algebra: Matrix Eigenvalue Problems

Solutions of exercise sheet 8

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.

GENERATING SETS KEITH CONRAD

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

Subgroups of Linear Algebraic Groups

CSIR - Algebra Problems

Chapter 7. Canonical Forms. 7.1 Eigenvalues and Eigenvectors

1. Group Theory Permutations.

Symmetries, Fields and Particles 2013 Solutions

Eigenvalues and Eigenvectors

Algebraic structures I

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions

Linear Algebra Review

Real, Complex, and Quarternionic Representations

4. Linear transformations as a vector space 17

17 More Groups, Lagrange s Theorem and Direct Products

BASIC GROUP THEORY : G G G,

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

MATH 205 HOMEWORK #5 OFFICIAL SOLUTION

The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)

0.1 Rational Canonical Forms

ISOMORPHISMS KEITH CONRAD

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

Mathematics Department Qualifying Exam: Algebra Fall 2012

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

REPRESENTATIONS AND CHARACTERS OF FINITE GROUPS

Modular representation theory

3 Representations of finite groups: basic results

Physics 129B, Winter 2010 Problem Set 4 Solution

Math 121 Homework 5: Notes on Selected Problems

Physics 251 Solution Set 1 Spring 2017

REPRESENTATION THEORY WEEK 5. B : V V k

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

Problems in Linear Algebra and Representation Theory

Representation Theory. Ricky Roy Math 434 University of Puget Sound

Math 602, Fall 2002, HW 2, due 10/14/2002

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9

5 Quiver Representations

M3/4/5P12 GROUP REPRESENTATION THEORY

1 Fields and vector spaces

Math 250: Higher Algebra Representations of finite groups

A = 3 B = A 1 1 matrix is the same as a number or scalar, 3 = [3].

ALGEBRA 8: Linear algebra: characteristic polynomial

MIT Algebraic techniques and semidefinite optimization May 9, Lecture 21. Lecturer: Pablo A. Parrilo Scribe:???

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

A matrix is a rectangular array of. objects arranged in rows and columns. The objects are called the entries. is called the size of the matrix, and

18.702: Quiz 1 Solutions

A VERY BRIEF LINEAR ALGEBRA REVIEW for MAP 5485 Introduction to Mathematical Biophysics Fall 2010

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Transcription:

Solutions to Example Sheet 1 1 The symmetric group S 3 acts on R 2, by permuting the vertices of an equilateral triangle centered at 0 Choose a basis of R 2, and for each g S 3, write the matrix of g in this basis Solution Let e 1, e 2, e 3 be the three vertices Choose any of the two, say, e 1, e 2 to be our basis vectors Since e 1 + e 2 + e 3 = 0 and S 3 acts by permuting the indices, we have: (12e 1 = 0e 1 + 1e 2 (13e 1 = 1e 1 1e 2 (23e 1 = 1e 1 + 0e 2 (12e 2 = 1e 1 + 0e 2 (13e 2 = 0e 1 + 1e 2 (23e 2 = 1e 1 1e 2 (123e 1 = 0e 1 + 1e 2 (132e 1 = 1e 1 1e 2 (123e 2 = 1e 1 1e 2 (132e 2 = 1e 1 + 0e 2 Let ρ denote the permutation representation associated with this action Then with respect to this basis, ( ( ( 0 1 ρ(id = ρ((12 = ρ((13 = 0 1 1 1 ρ((23 = ( 1 1 0 1 ρ((123 = ( 0 1 1 1 ρ((132 = ( 1 1 2 Let ρ be a representation of G Show det ρ is a one dimensional representation Solution det ρ is a composition of two homomorphisms and has image in C 3 Let ρ : G Aut(V be a representation of G, and χ : G k be a one dimensional representation of G Show (i ρ : G Aut(V, g χ(gρ(g is a representation of G, (ii ρ is irreducible iff ρ is irreducible Solution χ(x is a scalar and so commutes with ρ(y for all x, y G (i ρ(xy = χ(xyρ(xy = (χ(xχ(y(ρ(xρ(y = (χ(xρ(x(χ(yρ(y = ρ(x ρ(y and ρ(id = χ(idρ(id = I (ii Let U V ρ(xu U iff χ(xρ(xu U iff ρ(xu U 4 Let N be a normal subgroup of G Given a representation of G/N, define a representation of G and describe which representations of G arise in this way Solution Let the representation be ρ : G/N Aut(V Let π : G G/N, x xn be the quotient map Then ρ π : G Aut(V is a composition of two homomorphisms, thus a homomorphism and thus a representation of G [left diagram] ρ G G Aut(V ρ π π π ρ ρ G/N Aut(V G/ ker( ρ Let ρ : G Aut(V be a representation Then the map ρ : G/ ker( ρ Aut(V, g ker( ρ ρ(g is a well-defined homomorphism and ρ = ρ π N = ker( ρ G is non-trivial precisely when ρ is not faithful [right diagram] 5 Let G act on a complex vector space V, and let, : V V C be a skew-symmetric form, ie x, y = y, x for all x, y V Show (x, y = 1 gx, gy 1

is a G-invariant skew-symmetric form Does this imply every finite subgroup of GL 2n (C is conjugate to a subgroup of Sp 2n (C? Solution Let h G Then (hx, hy = 1 ghx, ghy = 1 = 1 g h 1 G g x, g y (write g = g h 1 g x, g y = (x, y g G So (, is G-invariant It is straightforward to check that (, is skew-symmetric and bilinear It is not true that every finite subgroup of GL 2n (C is conjugate to a subgroup of Sp 2n (C = {A GL 2n (C A T JA = J} where J = ( 0 I n I n 0 When n = 1, ( ( ( ( ( ( a c 0 1 a b 0 1 ad bc 0 0 1 = = ad bc = 1, b d c d 0 bc ad so Sp 2 (C = SL 2 (C = {A GL 2 (C det A = 1} Since det A is unchanged under conjugation, we just need to pick an A GL 2 (C that has finite order and det A 1 For instance, A = ( 0 i 0 i generates a subgroup G of order 4 and det A = 1, so xgx 1 GL 2 (C for any x GL 2 (C 6 Let G act on a complex vector space V, and let v V (i Show averaging over the orbit of G on V defines a vector v fixed by G (ii If V is irreducible, what can you say about v? Solution Let v G = Orb G (v = {gv g G} and G v = Stab G (v = {g G gv = v} (i Let n = v G = [G : G v ], so G = n g ig v (partition into cosets and v G = {g 1 v,, g n v} For any g G, n gg ig v = gg = G = n g ig v So for each i = 1,, n, there is a unique j such that gg i G v = g j G v Hence gv G = {gg 1 v,, gg n v} = {g 1 v,, g n v} = v G If we define then it follows that for all g G v = 1 v G gv = 1 n u v G gu = 1 n n gg i u = 1 n n g i u, n g i u = v (ii Let U = {λv λ C} V Then gu = U for every g G by (i Since V is irreducible, we must have U = {0} or V Hence either v = 0 or V = U is one dimensional 7 Let J λ,n be the n n Jordan block with eigenvalue λ k (k is a field: λ 0 0 J λ,n = 0, 1 0 0 λ (i compute Jλ,n r, for each r 0, (ii let G = Z/N, and let k be an algebraically closed field of characteristic p 0 Determine all the representations of G on vector spaces over k, up to equivalence Which are irreducible? Which do not split as a direct sum W W, with W 0 and W 0 (such representations are called indecomposable Solution We may write J λ,n = λi n + A n where A n is the n n nilpotent matrix with 1 on the first superdiagonal and 0 everywhere else Note that for i n 1, A i n is the matrix with 1 on the ith superdiagonal and 0 everywhere else A i n = 0 iff i n n n 2

(i Since λi n commutes with A n, we may apply binomial expansion to get J r λ,n = (λi n + A n r = λ r I n + min(r,n 1 ( r λ r i A i i n Note that by our observation above, the ith term in the binomial expansion falls on the ith superdiagonal So if r n 1, we have ( λ r rλ r 1 r 2 λ r 2 λ 0 0 λ r rλ r 1 rλ 2 λ 0 Jλ,n r =, 0 0 λ r rλ r 1 0 0 λ r and if r n, we have ( λ r rλ r 1 r ( 2 λ r 2 r n 1 λ r n+1 ( 0 λ r rλ r 1 r n 2 λ r n+2 Jλ,n r = 0 0 λ r rλ r 1 0 0 λ r (ii Let ρ : Z/N Aut k (V be a representation of dimension d Since k is algebraically closed, all eigenvalues λ 1,, λ s of the linear map ρ(1 lie in k and so we may pick a Jordan basis for ρ(1, ie a basis of V such that ρ(1 is a Jordan matrix J λ1,n 1 0 0 0 J λ2,n 2 0 0 ρ(1 = 0 0 J λs,n s where each n j 0 and n 1 + + n s = d Raising (71 to the exponent N gives: (71 J N λ 1,n 1 0 0 0 Jλ N 2,n 2 0 0 I d = ρ(0 = ρ(1 N = (72 0 0 Jλ N s,n s So comparing blocks on both sides for each j = 1,, s, we get and we must have: I nj = J N λ j,n j = λ N I nj + min(n,n j 1 ( N λ N i A i n i j ➀ λ N = 1, ie λ is an Nth root of unity, ➁ B nj := min(n,n j 1 ( N i λ N i A i n j = 0 Let N = p α1 1 pαt t be the prime factorization of N Then Z/N = Z/p α1 1 Z/pαt t We will first get the result for N = p α and then later use Problem 9 to deduce the result for general N We need to consider two separate cases: 3

Case 1 char(k p In this case B nj 0: this is clear when char(k = 0; if char(k = q prime p, then ( p α 1 = pα 0 (mod q and so the first superdiagonal is non-zero Hence (72 could only hold if n 1 = = n s = 1 (ie the B nj terms cease to exist altogether So (71 becomes λ 0 0 λ 2 0 0 ρ(1 = (73 0 0 λ s In this case the representations are irreducible iff they are indecomposable and clearly this occurs when they are one dimensional, ie when ρ(1 = λ i where λ pα i = 1 Case 2 char(k = p Since p ( p α l for l = 1,, p α 1, B nj = 0 iff n j p α So here the matrix ρ(1 in (71 can be non-diagonal These representations are indecomposable precisely when the matrix in (71 is a Jordan block, ie ρ(1 = J λi,n i where λ pα i = 1 and n i {1,, p α }; the irreducible representations among these are the ones with n i = 1, ie ρ(1 = λ i Now back to the general N = p α1 1 pαt t Note that Case 2 occurs only when char(k = p i for some i = 1,, t By Problem 9, the representations of Z/p α1 1 Z/pαt t are the tensor product representations ρ 1 ρ t : Z/p α1 1 Z/pαt t GL d1 d t (C, 1 ρ 1 (1 ρ t (1 where ρ i : Z/p αi i GL di (C are representations of Z/p αi i of dimension d i, i = 1,, t ρ 1 ρ t is irreducible when each ρ i is and every irreducible representation of Z/p α1 1 Z/pαt t is of this form When char(k N, then the irreducible/indecomposable representations of Z/N are of the form Z/N C, 1 λ 1 λ t where λ pi i = 1 for i = 1,, t When char(k N, may assume wlog that char(k = p t Then the irreducible representations are of the same form as in the case char(k N while the indecomposable representations are of the form Z/N GL dt (C, 1 λ 1 λ t 1 J λt,d t, where λ pi i = 1 for i = 1,, t and J λt,d t is a Jordan block of dimension d t {1,, p αt t } Remark Recall that the tensor product of two matrices A = (a ij M(n, F and B M(m, F is the matrix A B M(nm, F defined by a 11 B a 12 B a 1n B a 12 B a 22 B a 2n B A B = a n1 B a n2 B a nn B where a ij B denotes scalar multiplication, ie multiplying each entry in B by a ij F For tensor product of t > 2 matrices, just apply this t 1 times 8 (i Show that if ρ : G GL n (R is a homomorphism, then there exists a matrix P GL n (R such that P ρ(gp 1 is an orthogonal matrix for each g G (recall: A is orthogonal if AA T = I (ii Determine all finite groups which have a faithful representation on a two dimensional real vector space Solution (i Let, denote the usual inner product on R n, ie u, v = u T v As usual, we define a G-invariant inner product (, on R n by (u, v := 1 ρ(gu, ρ(gv 4

for all u, v R n As in Problem 5, we have (ρ(gu, ρ(gv = (u, v for all g G and it is again straightforward to check that (, is an inner product, ie a symmetric positive definite bilinear form Hence there exists a symmetric positive definite matrix A GL n (R such that (u, v = u T Av for all u, v R n By the spectral theory for such operators, there exists Q O(n such that QAQ T = D = diag(λ 1,, λ n (which are the eigenvalues of A Let S = diag( λ 1,, λ n, so S 2 = D and we have A = Q T S 2 Q Let g G, so (ρ(gu, ρ(gv = (u, v gives for all u, v R n and hence which gives u T ρ(g T Aρ(gv = u T Av ρ(g T Q T S 2 Qρ(g = Q T S 2 Q (S 1 Qρ(g T Q T S(SQρ(gQ T S 1 = I Note that S and S 1 are both diagonal and thus symmetric Hence if we let P = SQ, then the above equation becomes (P ρ(gp 1 T (P ρ(gp 1 = I so P ρ(gp 1 O(n (ii Let G be a finite group and ρ : G GL n (R be a faithful representation By the earlier part, there exists an equivalent representation (which we will denote by the same letter such that ρ(g O(n Since ρ is faithful, we have G = ρ(g O(n, ie G is isomorphic to a (finite subgroup of O(n Hence G is either dihedral or cyclic Remark One of you pointed out that since every A O(n has det A = ±1 and det P ρ(gp T = det ρ(g, the result in (i implies that every real representation of a finite group has determinant ±1 Note that this however does not imply that the original ρ(g is orthogonal since there are lots of non-orthogonal matrices in GL n (R that have determinant ±1 That det ρ(g = ±1 follows also from the fact that a linear character must take elements in G to roots of unity, and if ρ is real, then these can only be ±1 9 Let G = Z/N Z/M Determine all the irreducible complex representations of G Solution Since every complex irreducible representation of an abelian group is one dimensional (see Remark 2 below for a proof, we have ρ : Z/N Z/M GL 1 (C = C We just need to see where the generators (1, 0, (0, 1 Z/N Z/M maps to So suppose ρ((1, 0 = λ C and ρ((0, 1 = µ C Now 1 = ρ((0, 0 = ρ((n, 0 = ρ((1, 0 N = λ N so λ {e 2kπi/N k = 0,, N 1} Likewise, µ {e 2lπi/M l = 0,, M 1} So for (m, n Z/N Z/M, ρ((m, n = ρ(m(1, 0 + n(0, 1 = ρ((1, 0 m ρ((0, 1 n = λ m µ n Since λ can be any Nth root of unity and µ can be any Mth root of unity, there are altogether NM = Z/N Z/M such irreducible representation Remark 1 This extends easily to Z/N 1 Z/N t and since every finite abelian group has a structure of this form, we may construct all irreducible representations of such groups How about infinite abelian groups? The finitely generated ones would have structure Z r T where the T is a finite abelian group Since we know that an irreducible representation of Z has the form Z C, n α n where α C, the same method allows us to construct all the irreducible representations These are again one dimensional but the number of such representations is now uncountably infinite if r > 0 (since we have uncountably infinite choice for α C; note that α need not be a root of unity anymore Remark 2 Let ρ : G Aut(V be an irreducible representation of G over a complex vector space V Let x G Then the linear map ρ(x : V V, v ρ(xv has eigenvalue λ x C So V x := ker(ρ(x λ x V {0} since it contains eigenvectors For g G and v V x, (ρ(x λ x V ρ(gv = ρ(xgv ρ(gλ x v = ρ(gxv ρ(gλ x v = ρ(g(ρ(g λ x V v = 0 5

so ρ(gv V x Hence V x is G-invariant and by irreducibility must either be {0} (ruled out or V It follows that ρ(x = λ x V Irreducibility again implies that ρ(x = λ x and V is one dimensional 10 Let G = Z/N G acts on R 2 as symmetries of the regular N-gon Choose a basis of R 2, and write the matrix ρ(1 representing the action of 1 Z/N in this basis (i Is this an irreducible representation? (ii Regard ρ(1 as a complex matrix, so that we get a representation of Z/N on C 2 Decompose C 2 into its irreducible summands Solution Let ρ(1 be the anticlockwise rotation through an angle 2π N We choose the standard basis {(1, 0, (0, 1} of R 2 and with respect to this basis, ( cos 2π ρ(1 = N sin 2π N sin 2π N cos 2π N (i One way to see that ρ is irreducible (over R is to note that the only proper subspace invariant under the rotation ρ(1 is {0} Alternatively, a non-trivial G-invariant subspace of R 2 must be one dimensional and hence we look for 0 v R 2 such that ρ(1v = λv The characteristic polynomial is λ 2 2 cos 2π N λ + 1 = (λ e2πi/n (λ e 2πi/N and so has no real zeroes (alternatively, 4 cos 2 2π N 4 < 0 Hence such a v does not exist (ii Over C, the eigenvalues e 2πi/N, e 2πi/N have corresponding eigenvectors (1, i, (1, i C 2, so the non-trivial G-invariant subspaces are spanned by these and we have C 2 = C(1, i C(1, i It s a direct sum since (1, i and (1, i are orthogonal with respect to the standard hermitian inner product on C 2 11 A hermitian inner product on C 2 is given by a 2 2 matrix X such that X T = X; the inner product is x, y = x T Xy Explicitly find a hermitian inner product invariant under the group G GL 2 (C generated by the matrix ( 1 1 (Hint: average the standard hermitian inner product Solution It s easy to check that {( ( ( } 1 1 G =,, 0 1 1 1 By the hint, we have (u, v = 1 gu, gv [ (1 = 1 T ( 0 3 ut 0 1 = u T ( 4/3 2/3 2/3 4/3 v + ( 1 1 T ( 1 1 + ( T ( ] 0 1 v 1 1 1 1 Bug report: LHLim@dpmmscamacuk Version 11 (March 16, 2001 6