1 g 1,gg 2 xg 1. 2 g 1,...,gg n xg 1. n g 1 } = {gxg 1,gg 1 x(gg 1 ) 1,gg 2 x(gg 2 ) 1,...,gg n x(gg n ) 1 } = {x,g 1 xg 1. 2,...

Size: px
Start display at page:

Download "1 g 1,gg 2 xg 1. 2 g 1,...,gg n xg 1. n g 1 } = {gxg 1,gg 1 x(gg 1 ) 1,gg 2 x(gg 2 ) 1,...,gg n x(gg n ) 1 } = {x,g 1 xg 1. 2,..."

Transcription

1 Physics 5 Solution Set Spring 7. A finite group G can be decomposed into conjugacy classes C k. (a) Construct the set C k gc kg, which is obtained by replacing each element x C k by gxg. Prove that C k = C k. The elements of a finite group G (consisting of n + elements) will be denoted by G = {e,g,g,...,g n } where e is the identity element. If x C k, then the elements of C k are given by: C k = {x,g xg,g xg,...,g n xgn }, () where we keep only distinct elements in the set C k and discard any duplicate elements. The set of elements in C k gc kg, for a fixed element g G, is then given by: C k = {gxg,gg xg g,gg xg g,...,gg n xg n g } = {gxg,gg x(gg ),gg x(gg ),...,gg n x(gg n ) } = {x,g xg,g xg,...,g nxg n } = C k, after using the rearrangement lemma in the penultimate step to reorder the elements of C k. (b) Suppose that D (i) (g) is the ith irreducible (finite-dimensional) matrix representation of the finite group G. For a fixed class C k, prove that D (i) jl (g) = N k χ (i) (C k )δ jl, () n g C i k where n i is the dimension of the ith irreducible representation of G, N k is the number of elements in the kth conjugacy class and χ (i) (C k ) is the irreducible character corresponding to the kth conjugacy class. Define the matrix A (i) k g C k D (i) ( g). () Then, D (i) (g)a (i) k = g C k D (i) (g)d (i) ( g) = g C k D (i) (g g) = g C k D (i) (g gg )D (i) (g), where we have used the fact that the matrix representation D (i) (g) must obey the group multiplication law, D (i) (g g ) = D (i) (g )D (i) (g ). Using the result of part (a), it follows that D (i) (g gg )D (i) (g) = D (i) (g )D (i) (g) = A (i) k D(i) (g), g C k g C k after noting that C k = C k and g is a dummy summation variable.

2 Thus, we have established that for any i and k, D (i) (g)a (i) k = A(i) k D(i) (g), for all g G. Hence, Schur s second lemma applies, and it follows that for some complex constant λ (i) k Using eq. (), we can rewrite eq. (4) as A (i) k = λ(i) k I, (4) (which can depend on i and k), where I is the identity matrix. D (i) jl g C k (g) = λ(i) k δ jl. (5) To determine the constant λ (i) k, we set j = l in eq. (5) and sum over j, which yields: N k χ (i) (C k ) = n i λ (i) k, where N k, n i and χ (i) (C k ) are defined in the statement of the problem. Solving for λ (i) k then completes the derivation of eq. (). (c) Starting from the completeness result that is satisfied by the matrix elements of the irreducible matrix representations of G and using the result of part (b), derive the completeness relation for the irreducible characters, N k O(G) χ (i) (C k )[χ (i) (C l )] = δ kl, (6) i where O(G) is the order of the group G (i.e. the number of elements of G), and the sum is taken over all inequivalent (finite-dimensional) irreducible representations. The completeness relation is given by: O(G) i m,n n i D (i) mn (g)d(i) mn (g ) = δ gg, (7) where O(G) is the order of the group G (i.e., the number of elements of G). The sum over i runs over all inequivalent irreducible representations of G. We now sum eq. (7) over g C k and g C l and make use of eq. (), which yields: O(G) i m,n n i N k n i χ (i) (C k ) N l n i χ (i) (C l ) δ mn δ mn = N k δ kl, (8) since there are N k elements in the class C k. Noting that δ mn δ mn = δ mm = n i, it follows that the factors of n i cancel in eq. (8). Thus, after summing over m and n, we obtain the completeness relation for the irreducible characters given in eq. (6).

3 (d) Using the orthogonality and the completeness relations satisfied by the irreducible characters, prove that the number of inequivalent irreducible representations of G is equal to the number of conjugacy classes. The orthogonality relation satisfied by the irreducible characters was derived in class, O(G) n c k= The completeness relation derived in part (c) is given by N k O(G) N k [χ (i) (C k )] χ (j) (C k ) = δ ij. (9) n irr χ (i) (C k )[χ (i) (C l )] = δ kl. () i= If we set i = j in eq. (9) and sum over i, we obtain n irr n irr = = i= n c k= N k O(G) n irr n c [χ (i) (C k )] χ (i) (C k ) = = n c, i= after interchanging the order of the summation and using eq. (). Hence, the number of inequivalent irreducible representations of G is equal to the number of conjugacy classes. The same conclusion can be obtained by regarding the characters as vectors in class space, whose dimension is given by the number of distinct classes, n c. Different vectors are labeled by i. The orthogonality relation then implies that there are n irr mutually orthogonal vectors living in the n c -dimensional class vector space, where n irr are the number of inequivalent irreducible representations. But, the completeness relation implies that any vector in the class space can be expressed as a linear combination of the n irr class vectors. That is, the n irr class vectors form a complete set of mutually orthogonal vectors, which span the class space. It then immediately follows that n irr = n c, since the number of vectors in a complete set of mutually orthogonal vectors is equal to the dimension of the vector space. k=. Consider the transformations of the triangle that make up the dihedral group D. The elements of this group are D = {e,r,r,d,rd,r d}, with the group multiplication law determined by the relations r = e, d = e and dr = r d, where e is the identity element. In class, the following two-dimensional representation matrices for r,d D n were given, ( ) ( ) cos(π/n) sin(π/n) r =, d =. () sin(π/n) cos(π/n) Setting n =, one can construct a two-dimensional matrix representation of D. (a) Consider the six-dimensional function space W consisting of polynomials of degree in two real variables (x,y): f(x,y) = ax +bxy +cy +dx+ey +h, ()

4 where a,b,...,h are complex constants. We can view (a,b,...,h) as a six-dimensional vector that lives in a vector space which is isomorphic to W. If we perform a transformation of (x,y) under D according to the two-dimensional representation obtained from eq () with n =, then the polynomial f(x,y) given by eq. () transforms into another polynomial. That is, the vector (a,b,...,h) transforms under D according to a six-dimensional representation. Compute the 6 6 matrices that represent the elements of D. Determine which irreducible representations of D are contained in this six-dimensional representation and their corresponding multiplicities. One can rewrite eq. () as f(x,y) = z T Az +z T B +h, where ( ) ( x a z =, A = b ) ( ) d y b c, B =. e Under a D transformation, z D(g)z, where D(g) is the corresponding matrix obtained by using the two dimensional matrix representation given in eq. () with n =. It follows that under a D transformation, f(x,y) z T A z +z T B +h, where In particular, if A = D(g) T AD(g), B = D(g) T B. ( ) d d D(g) =, d d then we find after some algebra, a d d d d a b d d d d +d d d d b c d = d d d d c d d d e d d e f f, under the action of D. Using the specific matrices given in eq. (), we obtain the following six-dimensional representation of D, e = 4 4 4, r =, 4

5 r = , d =, rd = 4 4, r d = We know that D possesses one two-dimensional and two inequivalent one-dimensional irreducible representations. To compute the number of times a given irreducible representation appears in the six-dimensional representation obtained above, we make use of the formula derived in class, n c n i = k= χ (i) (C k )χ(c k ) N k O(G), () where the sum is taken over the n c possible classes of D, N k is the number of elements in the kth class, and O(G) is the number of elements of G (the order of the group). We can read off the irreducible characters, χ (i) (C k ) from the character table of D = S obtained in class: i dimension C = {e} C = {d,rd,r d} C = {r,r } where i labels one of the three possible irreducible representations of D. For the sixdimensional matrix representation obtained above, Applying eq. (), it follows that: χ(c ) = 6, χ(c ) =, χ(c ) =. n =, n =, n =. That is, the six-dimensional representation of D obtained above contains the trivial representation twice and the two-dimensional irreducible representation twice. 5

6 (b) Identify the irreducible invariant subspaces of W under D. Check that your result is consistent with the results of part (b). The irreducible invariant subspaces are easily identified. The space spanned by ( ) clearly corresponds to the trivial representation. By inspection of the six-dimensional representation matrices given above, it follows that the space spanned by ( ) and ( ) corresponds to the irreducible two-dimensional representation given in eq. (). The final task is to decompose the remaining three-dimensional subspace into its irreducible components. Recall that ( a A = D(g) T AD(g), where A = b ) b c. Then, if we choose a = c and b =, it follows that A = A since in this case A = ai, where I is the identity matrix. Thus, it follows that ( ) spans an invariant space, which is thus one-dimensional. We can now construct two linearly independent vectors that are orthogonal to the four vectors already identified. By inspection, these vectors can be chosen to be ( ) and ( ). In light of the result of part (b), these two vectors must also span an invariant subspace under the action of D. This is indeed the case, as one can easily check by applying the six 6 6 matrices that represent the elements of D to an arbitrary linear combination of ( ) and ( ). Thus, we have explicitly identified two one-dimensional and two two-dimensional irreducible subspaces of the vector space C 6 under the action of the six-dimensional representation of D obtained above.. Consider the dihedral group D 4 treated in problem 4 of Problem Set. The elements of this group are D 4 = {e,r,r,r,d,rd,r d,r d} with the group multiplication law determined by the relations r 4 = e, d = e and dr = r d, where e is the identity element. (a) Write out the conjugacy class multiplication table. Using the results of problem 4(b) of Solution Set, the conjugacy classes of D 4 are C = {}, C = {r,r }, C = {r }, C 4 = {d,r d} and C 5 = {rd,r d}. (4) Using the multiplication table of D 4, previously obtained in the solution to part (a) of problem 4 of Solution Set, one immediately obtains the following class multiplication table. C C C C 4 C 5 C C C C C 4 C 5 C C C +C C C 5 C 4 C C C C C 4 C 5 C 4 C 4 C 5 C 4 C +C C C 5 C 5 C 4 C 5 C C +C To savespace, all vectorswill henceforth be specified by rowvectorsratherthan the usual column vectors Since D T = D for the representation given in eq. () and A = ai, we have A = D aid = ai = A. 6

7 (b) Determine explicitly the matrices of the regular representation. We rewrite the group multiplication table, previously obtained in the solution to part (a) of problem 4 of Solution Set, so that the group elements are listed in the first column and the corresponding inverses are listed in the first row. r r r d rd r d r d r r r d rd r d r d r r r r rd r d r d d r r r r r d r d d rd r r r r r d d rd r d d d rd r d r d r r r rd rd r d r d d r r r r d r d r d d rd r r r r d r d d rd r d r r r The matrix of the regular representation corresponding to the element g D 4 is then obtained from the multiplication table above by replacing every appearance of g with, and filling up the rest of the corresponding matrix with zeros. That is, =, r =, r =, r =, d =, rd =, 7

8 r d =, r d =. (c) Using the two dimensional matrix representation given in eq. () with n = 4, verify that the group multiplication table of D 4 is preserved. Prove that this representation is irreducible. For n = 4, eq. () yields: ( ) ( ) ( ) ( ) =, r =, r =, r =, ( ) ( ) ( ) ( ) d =, rd =, r d =, r d =. (5) One easily checks that the representation matrices exhibited in eq. (5) satisfy the D 4 group multiplication table. To show that eq. (5) is an irreducible representation of D 4, we must prove that there is no basis in which the above matrices are reduced to block diagonal form. If such a basis existed, then we could simultaneously diagonalize the matrices that represent r and rd. But these elements do not commute and thus are not simultaneously diagonalizable. For completeness, I now provide two other proofs that the above two-dimensional representation exhibited in eq. (5) is irreducible. (i) In class, we proved that a necessary and sufficient condition for a representation D(g) with characters χ(c k ) TrD(g) [for g C k ] to be irreducible is n irr N k χ(c k ) = O(G), (6) k where N k is the number of elements in conjugacy class C k, n irr is the number of inequivalent irreducible representations of G, and O(G) is the order of the group G. Employing eqs. (4) and(5),wecanimmediatelyenumeraten k andtheχ(c k )forthetwo-dimensionalirreducible representation of D 4, C C C C 4 C 5 N k χ(c k ) and check that eq. (6) is satisfied with O(D 4 ) = 8. 8

9 (ii) One can check explicitly that if AD(g) = D(g)A for all g D 4, then A is a multiple of the identity. For this problem, it is enough to check that for an arbitrary matrix A, if Ar = ra and Ad = da, with r and d given by the matrices listed in eq. (5), then A = c for some complex number c (where is the identity matrix). Hence, by Schur s second lemma, D(g) is an irreducible representation of D 4. (d) Construct the character table for the irreducible representations of D 4. First,weneedtospecifyalltheirreduciblerepresentationsofD 4. Wealreadyhaveidentifieda two-dimensional irreducible representation in part (c). Moreover, the trivial one-dimensional representation in which all elements of the group are represented by the matrix () is always present. We now make use of Part of Burnside s theorem, n irr n i = O(G), (7) i= where n i is the dimension of the ith inequivalent irreducible representation, and Part which states that n irr = n c, where n irr the number of inequivalent irreducible representations and n c is equal to the number of conjugacy classes. Applying Burnside s theorem to D 4, we have O(D 4 ) = 8, and it follows that D 4 must have four inequivalent one-dimensional representations. The possible one-dimensional representations can be determined by inspection. In particular, we know that d = and dr = r d. Since d and r are represented by matrices, it follows that as matrices, d and r commute. Then dr = r d implies that r =. Thus, the four one dimensional representations correspond to: r = (), d = (), r = (), d = ( ), r = ( ), d = (), r = ( ), d = ( ). (8) The character of a representation is equal to the trace of the corresponding representation matrix. Moreover, the character of all elements of a given class are equal. Thus, we can immediately write down the character table: dimension C C C C 4 C 5 The zeros in the last row of the character table are easy to understand. One can obtain equivalent two-dimensional irreducible representations by multiplying the irreducible representation exhibited in eq. (5) by either ± according to the sign of r and d given by the four possible choices given in eq. (8). Since the characters of equivalent representations are equal, the characters of the two-dimensional irreducible representation corresponding to classes C, C 4 and C 5 must be equal to their negatives, and hence must be zero. One can also check this character table by verifying that the class orthogonality relations are satisfied. By definition, all inequivalent one-dimensional representations of a group are irreducible. 9

10 4. Suppose that D is an irreducible n-dimensional representation of a finite group G, and D () is a (nontrivial) one-dimensional representation of G. Prove that the direct product D D () is an irreducible representation of G. I will provide two different proofs. Proof : Suppose that D (i) is an irreducible representation and D (j) is a one-dimensional irreducible representation. Then, no invertible matrix S exists such that ( ) A(g) B(g) SD (i) (g)s =. C(g) Considerthematrixrepresentation, D (i j) D (i) (g)d (j) (g).sinced (j) (g)isone-dimensional, we see that D (j) (g) is simply a (complex) number. Recalling that all matrix representations of a finite group are equivalent to unitary representations, it follows that D (j) (g) must be a complex number of unit modulus (since all complex numbers commute). That is, D (j) (g) =. (9) Thus, we conclude that no invertible matrix S exists such that: ( ) D SD (i j) (g)s = D (j) (g)sd (i) (g)s = (j) (g)a(g) D (j) (g)b(g) D (j) (g)c(g). It immediately follows that D (i j) (g) is irreducible. Proof : Using eq. (9), it follows that any one-dimensional representation D (j) of a finite group must satisfy: χ (j) (g) = D (j) (g) =, where χ (i) (g) TrD (i) (g) is the character of g G for the ith irreducible representation. We also showed in class that for a direct product representation, χ (i j) (g) = χ (i) (g)χ (j) (g). Hence, if D (j) is a one-dimensional representation, χ (i j) (g) = χ (i) (g). () The necessary and sufficient condition for a representation of a finite group to be irreducible is that n irr N k χ(c k ) = O(G), () k= where N k is the number of elements in class C k and O(G) is the order of the group. If the χ (i) satisfy eq. (), then the χ (i j) must also satisfy eq. () in light of eq. (). Hence D (i j) must be an irreducible representation of G.

11 5. Given a normal subgroup N of a group G, a representation D G/N of the quotient group G/N can be lifted to give a representation D G of the full group G by the following definition: D G (g) D G/N (gn). () That is, each element of the group g G is assigned the matrix D G/N of the coset gn to which it belongs. Verify that if D G/N is a representation of G/N, then D G (g) is indeed a representation of the group G. To prove that D G (g) is a representation of G, we must show that the group multiplication law is preserved. That is, D G (g )D G (g ) = D G (g g ). () This is easily verified using the definition given in eq. (). First, we recall that the group multiplication law for G/N is: (g N)(g N) = g g N. Thus, if D G/N is a representation of G/N, it follows that: Hence, eqs. () and (4) implies that: D G/N (g N)D G/N (g N) = D G/N (g g N). (4) D G (g )D G (g ) = D G/N (g N)D G/N (g N) = D G/N (g g N) = D G (g g ), which confirms eq. (). One can also check that D(e) = I and D G (g ) = [D G (G)]. For example, since D G/N is a representation of G/N and en = N is the identity of the subgroup G/N, it follows from eq. () that D G (e) = I. Likewise, using the fact that the inverse of gn is g N, it follows that D G (g ) = D G/N (g N) = [D G/N (gn)] = [D G (g)]. 6. (a)displayallthestandardyoungtableauxofthepermutationgroups 4. Fromthisresult, enumerate the inequivalent irreducible representations of S 4 and specify their dimensions. At the top of the next page, all the standard Young tableaux for S 4 are listed, where each irreducible representation corresponds to a different Young diagram. There are five possible Young diagrams involving four boxes, corresponding to five possible partitions of 4: 4, +, ++, + and +++. Hence there are five inequivalent irreducible representations of S 4. The number of standard Young tableaux corresponding to a given Young diagram is equal to the dimension of the corresponding irreducible representation. As a check, we can use eq. (7) to verify that = 4 = 4!, which is equal to the order of the group S 4 as required.

12 standard Young tableaux dimension (b) Show that the normal subgroup {e,()(4),()(4),(4)()} of S 4 is isomorphic to D. Using this result, prove that D = S4 /D. The multiplication table for {e,()(4),()(4),(4)()} is given by: e ()(4) ()(4) (4)() e e ()(4) ()(4) (4)() ()(4) ()(4) e (4)() ()(4) ()(4) ()(4) (4)() e ()(4) (4)() (4)(4) ()(4) ()(4) e We recognize this as the multiplication table of the group D = Z Z. 4 One can check that D = {e,()(4),()(4),(4)()} is a normal subgroup of S4. That is, for any element h D and g S 4, one can verify that ghg D. Next, we examine the cosets of the form gd, for g S 4. First, we have ed = D = {e, ()(4), ()(4), (4)()}. (5) 4 There are only two possible finite groups of four elements: Z 4 and D = Z Z. Note that Z 4 is a cyclic group with one generator. However, the multiplication table for {e,()(4),()(4),(4)()} is clearly not a cyclic group with one generator. By the process of elimination, the only possible conclusion is that the multiplication table corresponds to the group D = Z Z.

13 Using the multiplication table of D, it then follows that: ()D = {(), (4), (4), (4)}, (6) ()D = {(), (4), (4), (4)}, (7) ()D = {(), (4), (4), (4)}, (8) ()D = {(), (4), (4), (4)}, (9) ()D = {(), (4), (4), (4)}. () All other cosets coincide with one of the six specified above. Since D is a normal subgroup of S 4, it follows that S 4 /D is a group of six elements. There are only two possible groups of six elements: Z 6 which is an abelian cyclic group and D = S which is non-abelian. It is straightforward to check that the group multiplication law of the cosets given above is non-abelian. Since the multiplication rule of the cosets is given by (g D )(g D ) = g g D, it follows that [()D ][()D ] = ()()D = ()D, () [()D ][()D ] = ()()D = ()D, () so that [()D ][()D ] [()D ][()D ]. Hence, S 4 /D is non-abelian, and we conclude that D = S4 /D One can also verify directly that D = S4 /D by checking that there exists a one-to-one correspondence of the multiplication table of the cosets, S 4 /D = {ed, ()D, ()D, ()D, ()D, ()D }, and the multiplication table of D = S = {e,(),(),(),(),()}. Indeed, one can identify the elements of D with those of S 4 /D as follows. Recall that D can be formally defined as: D = {d k r l d = e, r = e, dr = r d}. Thus, we can identify d = ()D and r = ()D. In particular, ()() = e, ()()() = e, ()() = ()()(), where we have chosen the simplest representative elements from the cosets ()D and ()D. It then follows that r = ()D, rd = ()D, r d = ()D, and of course e = ed. This completes the explicit identification of the elements of D with the cosets gd.

14 (c) Using the two-dimensional irreducible representation of D given in class and the result of problem 5, construct a two-dimensional representation of S 4 and determine its characters. Is the latter an irreducible representation of S 4? We can now make use of the two-dimensional representation of D given by eq. () with n =, ( ) ( ) e =, r =, r = ( ) ( d =, rd = ), r d = ( ) ( ) Note that r corresponds to an active counterclockwise rotation by π/ radians about an axis perpendicular to the rotation plane. Using the results of problem 5, we can lift this representation to S 4. The resulting representation is unfaithful, since four elements of S 4 are mapped into the same matrix. In particular, e, ()(4), ()(4), (4)() (), (4), (4), (4) (), (4), (4), (4)) (), (4), (4), (4) (), (4), (4), (4) (), (4), (4), (4) ( ), () ( ), (4) ( ) ( ) ( ) ( ), (5), (6), (7). (8) The characters are obtained by taking the trace of the corresponding representation matrices. Since elements of the same conjugacy class possess the same characters, we first determine the conjugacy classes of S 4. Recall that all elements of S n of a given conjugacy class possess the same cycle structure (which are in one-to-one correspondence with the possible Young 4,.

15 diagrams). Hence, C = {e}, C = {(), (), (), (4), (4), (4)}, C = {(), (), (4), (4), (4), (4), (4), (4)}, C 4 = {()(4), ()(4), (4)()}, C 5 = {(4), (4), (4), (4), (4), (4)} Comparing the elements of the conjugacy classes with the cosets given in eqs. (5) (), it follows that: elements of ed belong to classes C and C 4, elements of ()D belong to class C, elements of ()D belong to classes C, elements of ()D belong to classes C and C 5, elements of ()D belong to classes C and C 5, elements of ()D belong to classes C and C 5. Thus, using the two-dimensional representation of S 4 obtained in eqs. () (8), it follows that the corresponding characters are given by: χ(c ) = χ(c 4 ) =, χ(c ) =, χ(c ) = χ(c 5 ) =. (9) We can check whether the two-dimensional representation of S 4 obtained in eqs. () (8) is irreducible by employing the theorem that states that a representation is irreducible if and only if n irr N k χ(c k ) = O(G), k= where N k is the number of elements in class C k and O(G) is the order of the group. For S 4, we have O(G) = 4! = 4 and N =, N = 6, N = 8, N 4 =, N 5 = 6. The representation given by the matrices in eqs. () (8) is irreducible if: ( ) + +6? = 4. Indeed, 4+8+ = 4, so that we conclude that the irreducible (simple) characters corresponding to the two-dimensional irreducible representation of S 4 are given by eq. (9). (d) Using the known one-dimensional representations of S 4 and the results of parts (a) and (c), construct the character table for the group S 4. Determine any unknown entries in the character table by using the orthonormality and completeness relations for the irreducible characters. Using this technique, all entries of the character table can be uniquely determined up to a sign ambiguity in some of the entries. 5

16 Using all known information (up to this point), the character table for S 4 is given by: irreps C C C C 4 C 5 a b c d e f g h Note that the dimension d of the irreducible representation (irrep) is equal to the character of the identity element, which corresponds to conjugacy class C, since the matrix representation of the identity is the d d identity matrix. Moreover, the totally symmetric one-dimensional representation corresponds to representing each permutation by, and the totally antisymmetric one-dimensional representation corresponds to representing each permutation by ( ) p, which is + for even permutations (i.e., classes C, C and C 4 ), and for odd permutations (i.e., classes C and C 5 ). This immediately yields the first two lines of the character table above. The third line of the character table was obtained in eq. (9). The numbers a, b,...,h represent the presently unknown entries of the character table, which we shall determine by employing the orthogonality and completeness relations for the simple characters, n c k= N k χ (i) (C k )χ (j) (C k ) = O(G)δ ij, n irr χ (i) (C k )χ (i) (C l ) = O(G) δ kl, N k i= where k =,,...,n c labels the conjugacy classes, N k is equal to the number of group elements in conjugacy class C k, i =,,...n irr labels the irreps, and O(G) is equal to the number of elements in the group G. According to a theorem proved in class, the simple characters of S n are all real. Thus, we can ignore the complex conjugation in the orthogonality and completeness relations. First, we make use of the orthogonality of row 4 with rows, and, respectively. Using N =, N = 6, N = 8, N 4 = and N 5 = 6, we obtain three relations, +6a+8b+c+6d =, 6a+8b+c 6d =, 6 8b+6c =. Solving these three equations yields d = a, c = and b =. Next, we make use of the orthogonality of row 5 with rows, and, respectively. By an identical analysis, we obtain h = e, g = and f =. Next, we make use of the orthogonality of rows 4 and 5 to obtain 9+6ae+8bf +cg +6dh =. 6

17 Using the relations previously obtained, it follows that ae =. Finally, we make use of the completeness relation for columns and, which yields: 5 ++a+e =, which implies that a = e. Combining this with ae = yields a = e =. Hence, a = e = ±, where the sign ambiguity is not yet resolved. 6 Thus, the character table of S 4 is given by: irreps C C C C 4 C 5 ± ± The sign ambiguity above will be resolved in part (e) of this problem. (e) Resolve the sign ambiguity of part (d). One possible approach is to construct the matrix representative of the transposition ( ) corresponding to the three-dimensional irreducible representation of S 4. By taking the trace of this matrix, complete the character table of S 4. Using the method discussed in class, I shall determine an explicit irreducible three-dimensional matrix representation for the element ( ) C. The Young element corresponding to is given by 4 (4) Y = [ e+( ) ][ e+( 4)+( 4 ) ( ) ( 4) ( 4) ] = e+( 4)+( 4 ) ( ) ( 4) ( 4) +( )+( 4 )+( 4 ) ( ) ( 4 ) ( )( 4). (4) Since eq. (4) corresponds to a three-dimensional irreducible representation of S 4, we need to find two additional elements of the group algebra of S 4 that span the irreducible threedimensional subspace of the regular representation. Since ( ) and ( 4) do not appear in 5 We could also make use of the orthogonality relation for row 4 (or 5) by itself. This yields a = e =, which when combined with ae = yields a = e = ±. 6 Note that the completeness relation for column (or 5) alone yields, +++a +e = 4 6. Combining this with a = e, it again follows that a = e =. 7

18 eq. (4), two other possible elements of the group algebra that span the irreducible threedimensional subspace of the regular representation are: and ( )Y = ( )+( 4)+( 4 ) ( ) ( 4)( ) ( 4) +( )+( )( 4)+( 4 ) ( ) ( 4 ) ( 4 ), (4) ( 4)Y = ( 4)+( 4)+( 4 ) ( 4) ( )( 4) ( 4 ) +(4 )+( )( 4)+( ) ( ) ( 4 ) ( 4 ). (4) Thus, we choose the basis, { Y, ( )Y, ( 4)Y }, for the irreducible three-dimensional subspace of the regular representation corresponding to eq. (4). We represent these basis vectors by Y =, ( )Y =, ( 4)Y =. With respect to this basis choice, any element g S 4 can be represented by the matrix D[g] = gy g( )Y g( 4)Y, (44) where the three respective columns of the matrix representation of g are indicated above. We now compute the three-dimensional matrix representation of g = ( ). Using all we need to compute is: ( )( ) = ( ), ( )( 4) = ( 4), ( )Y = ( )+( 4 )+( 4 ) ( ) ( 4 ) ( )( 4) = Y, +e+( 4)+( 4 ) ( ) ( 4) ( 4) ( )( )Y = ( )Y = ( )+( 4)+( 4)( ) ( ) ( 4 ) ( 4) +( )+( 4)+( 4) e ( 4 ) ( 4) = Y ( )Y, ( )( 4)Y = ( 4)Y = ( 4)+( 4 )+( )( 4) ( 4) ( 4) ( 4 ) +( 4)+( 4)+( ) e ( 4) ( 4 ) = Y ( 4)Y. That is, ( )Y =, ( )( )Y =, ( )( 4)Y =. 8

19 Thus, eq. (44) yields: D[( )] =. The trace of D[( )] yields the character, χ(c ) = Tr D[( )] =, for the threedimensional irreducible representation corresponding to the Young diagram, That is, in the notation of part (e), we have e = and therefore a =. The character table for S 4 is now complete: irreps C C C C 4 C 5 7. (a) Derive the following properties of the Pauli matrices σ (σ, σ, σ ): (i) σ i σ j = Iδ ij +iǫ ijk σ k, (ii) σ σσ = σ, (iii) exp( iθˆn σ/) = I cos(θ/) iˆn σ sin(θ/), where I is the identity matrix. By direct calculation, σ = σ = σ = I, where I ( ). Moreover, σ σ = iσ, σ σ = iσ, σ σ = iσ. These results are summarized by one equation, σ i σ j = Iδ ij +iǫ ijk σ k, (45) where there is an implicit sum over the repeated index k. Next, it is a simple exercise of matrix multiplication to show that σ σσ = σ by verifying that σ σ i σ = σ i for i =,,. 9

20 Finally, we compute k= e iθˆn σ/ = k= k! ( ) k iθˆn σ. Using eq. (45), it follows that (ˆn σ) = ˆn iˆn j σ i σ j = I, since ˆn is a unit vector. Thus, for any positive integer k, (ˆn σ) k = I and (ˆn σ) k+ = ˆn σ. Hence, ( ) k e iθˆn σ/ iθ ( ) k+ iθ = I ˆn σ = (k)! (k +)! = Icos(θ/) iˆn σsin(θ/). k= (b) In the angle-and-axis parameterization of SO(), a rotation by an angle θ about an axis that points along the unit vector ˆn is represented by an SO() matrix given by R ij (ˆn,θ) = exp( iθˆn J ) ij, with (ˆn J ) ij iǫ ijk n k. By convention, we assume that θ π, and the axis ˆn can point in any direction. Evaluate R ij explicitly and show that R ij (ˆn,θ) = n i n j +(δ ij n i n j )cosθ ǫ ijk n k sinθ. (46) To evaluate the matrix R(ˆn,θ), we compute R(ˆn,θ) = e iθˆn J = where (ˆn J ) ij iǫ ijk n k. Note that k= k! ( iθˆn J) k, (47) (ˆn J ) ij = ǫ ilkn k ǫ ljm n m = (δ ij δ km δ im δ jk )n k n m = δ ij n i n j, after employing the well-known ǫ-tensor identity and noting that δ km n k n m = for the unit vector ˆn. Next, we compute: Thus, for any positive integers k, (ˆn J ) ij = i(δ il n i n l )ǫ ljk n k = iǫ ijk n k = (ˆn J) ij. (ˆn J ) k = ˆn J, (ˆn J ) k = (ˆn J). Inserting these results in eq. (47), we obtain: R ij (ˆn,θ) = δ ij (ˆn J) ij k= (k +)! (iθ)k+ +(ˆn J) ij = δ ij i(ˆn J) ij sinθ +(ˆn J) ij (cosθ ) = δ ij ǫ ijk n k sinθ +(δ ij n i n j )(cosθ ) = n i n j +(δ ij n i n j )cosθ ǫ ijk n k sinθ. k= (k)! (iθ)k

21 (c) Verify the formula: e iθˆn σ/ σ j e iθˆn σ/ = R ij (ˆn,θ)σ i. To evaluate e iθˆn σ/ σ j e iθˆn σ/, we first note that this quantity is a traceless hermitian matrix. The traceless condition follows from: Tr(e iθˆn σ/ σ j e iθˆn σ/ ) = Trσ j =, after cyclically permuting the terms inside the parenthesis. Hermiticity is also easily demonstrated given that σ j = σ j. Since an arbitrary traceless hermitian matrix can always be written as a real linear combination of σ, σ and σ, it follows that e iθˆn σ/ σ j e iθˆn σ/ = R ij (ˆn,θ)σ i, (48) for some real coefficients R ij. To determine these coefficients, we multiply eq. (48) by σ k and take the trace of the resulting equation. Using Tr(σ i σ j ) = δ ij [which immediately follows after taking the trace of eq. (45)], it follows that: R ij = Tr( e iθˆn σ/ σ j e iθˆn σ σ i ). (49) This is easily evaluated using the results of part (a). R ij = Tr { [cos(θ/) iˆn σsin(θ/)]σ j [cos(θ/) iˆn σsin(θ/)]σ i } = cos (θ/)trσ i σ j + sin (θ/)tr(ˆn σσ iˆn σσ j ) + icos(θ/)sin(θ/)tr(σ jˆn σσ i ˆn σσ j σ i ). (5) We proceed to work out the three traces. The first trace has already been obtained, Tr(σ i σ j ) = δ ij. The second trace is given by: Tr(ˆn σσ iˆn σσ j ) = n k n l Tr(σ k σ i σ l σ j ) = n k n l Tr( [ (Iδ ki +iǫ kim σ m )(Iδ lj +iǫ ljn σ n ) ] = n k n l δ ki δ lj n k n l ǫ kim ǫ ljn δ mn = n i n j n k n l (δ kl δ ij δ kj δ il ) = 4n i n j δ ij, after using TrI =, Trσ i =, and Tr(σ i σ j ) = δ ij. Finally, the third trace is given by: Tr(σ jˆn σσ i ˆn σσ j σ i ) = Tr [ (ˆn σ(σ i σ j σ j σ i ) ] = iǫ ijk Tr [ˆn σσ k ] = 4iǫijk n k, after making use ofthe commutation relations, [σ i, σ j ] = iǫ ijk σ k ; thelatter isaconsequence of eq. (45). Inserting these traces back into eq. (5) yields, R ij = cos (θ/)+sin (θ/)(n i n j δ ij ) sin(θ/)cos(θ/)ǫ ijk n k.

22 Finally, using the well-known trigonometric identities, sinθ = sin(θ/)cos(θ/), cos (θ/) = (+cosθ), sin (θ/) = ( cosθ), we arrive at: R ij = δ ij +(δ ij n i n j )cosθ ǫ ijk n k sinθ, which are the matrix elements of the rotation matrix obtained in part (b). (d) The set of matrices exp( iθˆn σ/) constitutes the defining representation of SU(). Prove that this representation is pseudoreal. To prove that D(θ) exp( iθˆn σ/) = cos(θ/) iθˆn σ sin(θ/) is a pseudoreal representation of SU(), we must first prove that D(θ) and D (θ) are equivalent representations. Noting that D (θ) = exp(iθˆn σ /) = cos(θ/)+iθˆn σ sin(θ/), it is straightforward to check that σ D(θ)σ = D (θ). (5) This is a consequence of properties (i) and (ii) of part (a). Since σ = σ, we can rewrite eq. (5) as D (θ) = S D(θ)S, where S = σ. Consequently, D(θ) and D (θ) are equivalent representations. To show that D(θ) is pseudoreal, we can employ the theorem (proved in class) that states that if D = ADA where A A = I then D is pseudoreal. In the present case, A = σ and σ σ = I, which confirms that D(θ) is pseudoreal. ADDED NOTE: A direct proof that D(θ) is pseudoreal. If D(θ) is pseudoreal, then no basis exists in which D(θ) = cos(θ/) iθˆn σsin(θ/) is real. That is, no invertible matrix S exists such that S D(θ)S is real. This requirement is equivalent to the condition that no invertible matrix S exists such that is σs is real. That is, no basis exists in which the iσ k are simultaneously real. Without loss of generality, one can assume that dets = by rescaling the elements of S (since the overall determinant factor cancels in is σs). One way to prove that no such matrix S exists is by writing ( ) ( ) a b d b S =, S =, c d c a where ad bc = and then computing is σ k S for k =,,. Assuming that all the matrix elements of is σ k S are real, one quickly reaches a contradiction. Admittedly, this is not a very elegant proof. If S is unitary, then I can assume that its determinant is equal to one without loss of generality (by rescaling the elements of S as above). Then S is an SU() matrix which can be expressed as S = exp(iθˆn σ/). In this case, we can use the results of part (c) to obtain is σ k S = ie iθˆn σ/ σ k e iθˆn σ/ = ir jk σ j, (5)

23 which is simultaneously real for k =,, if R k = R k =. But this is impossible since the R kj arematrix elements of an orthogonal matrix which cannot possess a row of zeros. Taking S to be unitary means that S D(θ)S is unitary, so this last argument establishes that no real representation exists that is unitarily equivalent to D(θ). However, this last argument does not yield the stronger result that no real representation exists (whether unitary or not) that is equivalent to D(θ). A direct proof of the latter result, which is responsible for the theorem cited in the paragraph following eq. (5), is given below. Suppose a nonsingular matrix S exists such that A S iσ k S, where A is a real matrix. (5) Then taking the complex conjugate of this equation (using A = A ) yields which can be rewritten as S iσ k S = S iσ ks, iσ k = (SS ) iσ k SS. Using property (ii) of part (a) of this problem, σ k = σ σ k σ, then yields: SS σ iσ k = iσ k SS σ. (54) Schur s second lemma states that if ZD(θ) = D(θ)Z for all θ, then Z is a multiple of the identity. Using D(θ) = cos(θ/) iθˆn σ sin(θ/), Schur s second lemma then implies that if Ziσ k = iσ k Z for k =,,, then Z is a multiple of the identity. Using eq. (54) with Z = SS σ and noting that (σ ) = I, it follows that SS = kσ, where k is a non-zero complex number. (55) Note that k = is not allowed since S and σ are invertible matrices. Taking the complex conjugate of eq. (55) and multiplying the result by by eq. (55) yields which simplifies to SS S S = k σ σ, I = k I. No complex k exists that satisfies this equation, so we have a contradiction. Therefore, our initial assumption that the matrix A defined in eq. (5) is real must be false. Thus, there exists no nonsingular matrix S such that S iσ k S is real for k =,,. This completes the proof that no basis exists in which the iσ k are simultaneously real.

Physics 251 Solution Set 1 Spring 2017

Physics 251 Solution Set 1 Spring 2017 Physics 5 Solution Set Spring 07. Consider the set R consisting of pairs of real numbers. For (x,y) R, define scalar multiplication by: c(x,y) (cx,cy) for any real number c, and define vector addition

More information

GROUP THEORY PRIMER. D(g 1 g 2 ) = D(g 1 )D(g 2 ), g 1, g 2 G. and, as a consequence, (2) (3)

GROUP THEORY PRIMER. D(g 1 g 2 ) = D(g 1 )D(g 2 ), g 1, g 2 G. and, as a consequence, (2) (3) GROUP THEORY PRIMER New terms: representation, irreducible representation, completely reducible representation, unitary representation, Mashke s theorem, character, Schur s lemma, orthogonality theorem,

More information

4 Group representations

4 Group representations Physics 9b Lecture 6 Caltech, /4/9 4 Group representations 4. Examples Example : D represented as real matrices. ( ( D(e =, D(c = ( ( D(b =, D(b =, D(c = Example : Circle group as rotation of D real vector

More information

REPRESENTATION THEORY OF S n

REPRESENTATION THEORY OF S n REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November

More information

(Ref: Schensted Part II) If we have an arbitrary tensor with k indices W i 1,,i k. we can act on it 1 2 k with a permutation P = = w ia,i b,,i l

(Ref: Schensted Part II) If we have an arbitrary tensor with k indices W i 1,,i k. we can act on it 1 2 k with a permutation P = = w ia,i b,,i l Chapter S k and Tensor Representations Ref: Schensted art II) If we have an arbitrary tensor with k indices W i,,i k ) we can act on it k with a permutation = so a b l w) i,i,,i k = w ia,i b,,i l. Consider

More information

5 Irreducible representations

5 Irreducible representations Physics 129b Lecture 8 Caltech, 01/1/19 5 Irreducible representations 5.5 Regular representation and its decomposition into irreps To see that the inequality is saturated, we need to consider the so-called

More information

Notes on basis changes and matrix diagonalization

Notes on basis changes and matrix diagonalization Notes on basis changes and matrix diagonalization Howard E Haber Santa Cruz Institute for Particle Physics, University of California, Santa Cruz, CA 95064 April 17, 2017 1 Coordinates of vectors and matrix

More information

GROUP THEORY PRIMER. New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule

GROUP THEORY PRIMER. New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule GROUP THEORY PRIMER New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule 1. Tensor methods for su(n) To study some aspects of representations of a

More information

The Matrix Representation of a Three-Dimensional Rotation Revisited

The Matrix Representation of a Three-Dimensional Rotation Revisited Physics 116A Winter 2010 The Matrix Representation of a Three-Dimensional Rotation Revisited In a handout entitled The Matrix Representation of a Three-Dimensional Rotation, I provided a derivation of

More information

1 Linear Algebra Problems

1 Linear Algebra Problems Linear Algebra Problems. Let A be the conjugate transpose of the complex matrix A; i.e., A = A t : A is said to be Hermitian if A = A; real symmetric if A is real and A t = A; skew-hermitian if A = A and

More information

A group G is a set of discrete elements a, b, x alongwith a group operator 1, which we will denote by, with the following properties:

A group G is a set of discrete elements a, b, x alongwith a group operator 1, which we will denote by, with the following properties: 1 Why Should We Study Group Theory? Group theory can be developed, and was developed, as an abstract mathematical topic. However, we are not mathematicians. We plan to use group theory only as much as

More information

Particles I, Tutorial notes Sessions I-III: Roots & Weights

Particles I, Tutorial notes Sessions I-III: Roots & Weights Particles I, Tutorial notes Sessions I-III: Roots & Weights Kfir Blum June, 008 Comments/corrections regarding these notes will be appreciated. My Email address is: kf ir.blum@weizmann.ac.il Contents 1

More information

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

More information

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition) Lecture 0: A (Brief) Introduction to Group heory (See Chapter 3.3 in Boas, 3rd Edition) Having gained some new experience with matrices, which provide us with representations of groups, and because symmetries

More information

Physics 251 Solution Set 4 Spring 2013

Physics 251 Solution Set 4 Spring 2013 Physics 251 Solution Set 4 Spring 2013 1. This problem concerns the Lie group SO(4) and its Lie algebra so(4). (a) Work out the Lie algebra so(4) and verify that so(4) = so(3) so(3). The defining representation

More information

Assignment 3. A tutorial on the applications of discrete groups.

Assignment 3. A tutorial on the applications of discrete groups. Assignment 3 Given January 16, Due January 3, 015. A tutorial on the applications of discrete groups. Consider the group C 3v which is the cyclic group with three elements, C 3, augmented by a reflection

More information

Quantum Field Theory III

Quantum Field Theory III Quantum Field Theory III Prof. Erick Weinberg January 19, 2011 1 Lecture 1 1.1 Structure We will start with a bit of group theory, and we will talk about spontaneous symmetry broken. Then we will talk

More information

b c a Permutations of Group elements are the basis of the regular representation of any Group. E C C C C E C E C E C C C E C C C E

b c a Permutations of Group elements are the basis of the regular representation of any Group. E C C C C E C E C E C C C E C C C E Permutation Group S(N) and Young diagrams S(N) : order= N! huge representations but allows general analysis, with many applications. Example S()= C v In Cv reflections transpositions. E C C a b c a, b,

More information

Symmetries, Groups, and Conservation Laws

Symmetries, Groups, and Conservation Laws Chapter Symmetries, Groups, and Conservation Laws The dynamical properties and interactions of a system of particles and fields are derived from the principle of least action, where the action is a 4-dimensional

More information

Symmetries, Fields and Particles. Examples 1.

Symmetries, Fields and Particles. Examples 1. Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n n complex matrices U satisfying U U = I. Check

More information

Assignment 12. O = O ij O kj = O kj O ij. δ ik = O ij

Assignment 12. O = O ij O kj = O kj O ij. δ ik = O ij Assignment 12 Arfken 4.1.1 Show that the group of n n orthogonal matrices On has nn 1/2 independent parameters. First we need to realize that a general orthogonal matrix, O, has n 2 elements or parameters,

More information

The groups SO(3) and SU(2) and their representations

The groups SO(3) and SU(2) and their representations CHAPTER VI The groups SO(3) and SU() and their representations Two continuous groups of transformations that play an important role in physics are the special orthogonal group of order 3, SO(3), and the

More information

PHYS 705: Classical Mechanics. Rigid Body Motion Introduction + Math Review

PHYS 705: Classical Mechanics. Rigid Body Motion Introduction + Math Review 1 PHYS 705: Classical Mechanics Rigid Body Motion Introduction + Math Review 2 How to describe a rigid body? Rigid Body - a system of point particles fixed in space i r ij j subject to a holonomic constraint:

More information

Introduction to Group Theory

Introduction to Group Theory Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)

More information

Linear Algebra: Matrix Eigenvalue Problems

Linear Algebra: Matrix Eigenvalue Problems CHAPTER8 Linear Algebra: Matrix Eigenvalue Problems Chapter 8 p1 A matrix eigenvalue problem considers the vector equation (1) Ax = λx. 8.0 Linear Algebra: Matrix Eigenvalue Problems Here A is a given

More information

Ph 219b/CS 219b. Exercises Due: Wednesday 21 November 2018 H = 1 ( ) 1 1. in quantum circuit notation, we denote the Hadamard gate as

Ph 219b/CS 219b. Exercises Due: Wednesday 21 November 2018 H = 1 ( ) 1 1. in quantum circuit notation, we denote the Hadamard gate as h 29b/CS 29b Exercises Due: Wednesday 2 November 208 3. Universal quantum gates I In this exercise and the two that follow, we will establish that several simple sets of gates are universal for quantum

More information

Chapter 3. Representations

Chapter 3. Representations Chapter 3 Representations 1 CHAPTER 3. REPRESENTATIONS 2 3.1 Basic definitions The main ingredients that are necessary to develop representation theory are introduced in this section. Some basic theorems

More information

Elementary linear algebra

Elementary linear algebra Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The

More information

Representation Theory

Representation Theory Frank Porter Ph 129b February 10, 2009 Chapter 3 Representation Theory 3.1 Exercises Solutions to Problems 1. For the Poincare group L, show that any element Λ(M,z) can be written as a product of a pure

More information

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative.

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative. Chapter 1 Groups A group G is a set of objects { a, b, c, } (not necessarily countable) together with a binary operation which associates with any ordered pair of elements a, b in G a third element ab

More information

Mathematical Methods wk 2: Linear Operators

Mathematical Methods wk 2: Linear Operators John Magorrian, magog@thphysoxacuk These are work-in-progress notes for the second-year course on mathematical methods The most up-to-date version is available from http://www-thphysphysicsoxacuk/people/johnmagorrian/mm

More information

MATH 221: SOLUTIONS TO SELECTED HOMEWORK PROBLEMS

MATH 221: SOLUTIONS TO SELECTED HOMEWORK PROBLEMS MATH 221: SOLUTIONS TO SELECTED HOMEWORK PROBLEMS 1. HW 1: Due September 4 1.1.21. Suppose v, w R n and c is a scalar. Prove that Span(v + cw, w) = Span(v, w). We must prove two things: that every element

More information

Representation Theory

Representation Theory Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character

More information

5 Irreducible representations

5 Irreducible representations Physics 29b Lecture 9 Caltech, 2/5/9 5 Irreducible representations 5.9 Irreps of the circle group and charge We have been talking mostly about finite groups. Continuous groups are different, but their

More information

Foundations of Matrix Analysis

Foundations of Matrix Analysis 1 Foundations of Matrix Analysis In this chapter we recall the basic elements of linear algebra which will be employed in the remainder of the text For most of the proofs as well as for the details, the

More information

CHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS

CHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS CHARACTER THEORY OF FINITE GROUPS Chapter 1: REPRESENTATIONS G is a finite group and K is a field. A K-representation of G is a homomorphism X : G! GL(n, K), where GL(n, K) is the group of invertible n

More information

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator

More information

REPRESENTATIONS OF S n AND GL(n, C)

REPRESENTATIONS OF S n AND GL(n, C) REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although

More information

Class Equation & Conjugacy in Groups

Class Equation & Conjugacy in Groups Subject: ALEBRA - V Lesson: Class Equation & Conjugacy in roups Lesson Developer: Shweta andhi Department / College: Department of Mathematics, Miranda House, University of Delhi Institute of Lifelong

More information

Representation theory & the Hubbard model

Representation theory & the Hubbard model Representation theory & the Hubbard model Simon Mayer March 17, 2015 Outline 1. The Hubbard model 2. Representation theory of the symmetric group S n 3. Representation theory of the special unitary group

More information

3 Representations of finite groups: basic results

3 Representations of finite groups: basic results 3 Representations of finite groups: basic results Recall that a representation of a group G over a field k is a k-vector space V together with a group homomorphism δ : G GL(V ). As we have explained above,

More information

MATHEMATICS 217 NOTES

MATHEMATICS 217 NOTES MATHEMATICS 27 NOTES PART I THE JORDAN CANONICAL FORM The characteristic polynomial of an n n matrix A is the polynomial χ A (λ) = det(λi A), a monic polynomial of degree n; a monic polynomial in the variable

More information

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in

More information

Solutions to Example Sheet 1

Solutions to Example Sheet 1 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

More information

Lecture 3: QR-Factorization

Lecture 3: QR-Factorization Lecture 3: QR-Factorization This lecture introduces the Gram Schmidt orthonormalization process and the associated QR-factorization of matrices It also outlines some applications of this factorization

More information

Group Theory - QMII 2017

Group Theory - QMII 2017 Group Theory - QMII 017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: U = e iαaxa, a = 1,..., N. We called X a the generators, we have N of them,

More information

1. Groups Definitions

1. Groups Definitions 1. Groups Definitions 1 1. Groups Definitions A group is a set S of elements between which there is defined a binary operation, usually called multiplication. For the moment, the operation will be denoted

More information

Diagonalization by a unitary similarity transformation

Diagonalization by a unitary similarity transformation Physics 116A Winter 2011 Diagonalization by a unitary similarity transformation In these notes, we will always assume that the vector space V is a complex n-dimensional space 1 Introduction A semi-simple

More information

Linear Algebra March 16, 2019

Linear Algebra March 16, 2019 Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented

More information

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations

More information

REPRESENTATION THEORY WEEK 5. B : V V k

REPRESENTATION THEORY WEEK 5. B : V V k REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +

More information

Physics 129B, Winter 2010 Problem Set 4 Solution

Physics 129B, Winter 2010 Problem Set 4 Solution Physics 9B, Winter Problem Set 4 Solution H-J Chung March 8, Problem a Show that the SUN Lie algebra has an SUN subalgebra b The SUN Lie group consists of N N unitary matrices with unit determinant Thus,

More information

Ph 219b/CS 219b. Exercises Due: Wednesday 20 November 2013

Ph 219b/CS 219b. Exercises Due: Wednesday 20 November 2013 1 h 219b/CS 219b Exercises Due: Wednesday 20 November 2013 3.1 Universal quantum gates I In this exercise and the two that follow, we will establish that several simple sets of gates are universal for

More information

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

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Linear Algebra. Workbook

Linear Algebra. Workbook Linear Algebra Workbook Paul Yiu Department of Mathematics Florida Atlantic University Last Update: November 21 Student: Fall 2011 Checklist Name: A B C D E F F G H I J 1 2 3 4 5 6 7 8 9 10 xxx xxx xxx

More information

Systems of Linear Equations and Matrices

Systems of Linear Equations and Matrices Chapter 1 Systems of Linear Equations and Matrices System of linear algebraic equations and their solution constitute one of the major topics studied in the course known as linear algebra. In the first

More information

Group Theory. Ferdi Aryasetiawan Dept. of Theoretical Physics, University of Lund, Sölvegatan 14A, Lund - Sweden

Group Theory. Ferdi Aryasetiawan Dept. of Theoretical Physics, University of Lund, Sölvegatan 14A, Lund - Sweden Group Theory Ferdi Aryasetiawan Dept. of Theoretical Physics, University of Lund, Sölvegatan 14A, 223 62 Lund - Sweden Contents 1 Abstract Group Theory 1 1.1 Group............................ 1 1.2 Abelian

More information

Chapter 4 - MATRIX ALGEBRA. ... a 2j... a 2n. a i1 a i2... a ij... a in

Chapter 4 - MATRIX ALGEBRA. ... a 2j... a 2n. a i1 a i2... a ij... a in Chapter 4 - MATRIX ALGEBRA 4.1. Matrix Operations A a 11 a 12... a 1j... a 1n a 21. a 22.... a 2j... a 2n. a i1 a i2... a ij... a in... a m1 a m2... a mj... a mn The entry in the ith row and the jth column

More information

Linear Algebra. Min Yan

Linear Algebra. Min Yan Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................

More information

CHAPTER 6. Representations of compact groups

CHAPTER 6. Representations of compact groups CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive

More information

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2. APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product

More information

Systems of Linear Equations and Matrices

Systems of Linear Equations and Matrices Chapter 1 Systems of Linear Equations and Matrices System of linear algebraic equations and their solution constitute one of the major topics studied in the course known as linear algebra. In the first

More information

Consider a s ystem with 2 parts with well defined transformation properties

Consider a s ystem with 2 parts with well defined transformation properties Direct Product of Representations Further important developments of the theory of symmetry are needed for systems that consist of parts (e.g. two electrons, spin and orbit of an electron, one electron

More information

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions Math 306 Topics in Algebra, Spring 203 Homework 7 Solutions () (5 pts) Let G be a finite group. Show that the function defines an inner product on C[G]. We have Also Lastly, we have C[G] C[G] C c f + c

More information

Topics in linear algebra

Topics in linear algebra Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

More information

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group

More information

Chapter 4. Matrices and Matrix Rings

Chapter 4. Matrices and Matrix Rings Chapter 4 Matrices and Matrix Rings We first consider matrices in full generality, i.e., over an arbitrary ring R. However, after the first few pages, it will be assumed that R is commutative. The topics,

More information

Young s Natural Representations of S 4

Young s Natural Representations of S 4 Young s Natural Representations of S Quinton Westrich arxiv:111.0687v1 [math.rt] Dec 011 December 008 Abstract We calculate all inequivalent irreducible representations of S by specifying the matrices

More information

Character tables for some small groups

Character tables for some small groups Character tables for some small groups P R Hewitt U of Toledo 12 Feb 07 References: 1. P Neumann, On a lemma which is not Burnside s, Mathematical Scientist 4 (1979), 133-141. 2. JH Conway et al., Atlas

More information

Lecture notes for Mathematical Physics. Joseph A. Minahan 1 Department of Physics and Astronomy Box 516, SE Uppsala, Sweden

Lecture notes for Mathematical Physics. Joseph A. Minahan 1 Department of Physics and Astronomy Box 516, SE Uppsala, Sweden Lecture notes for Mathematical Physics Joseph A. Minahan 1 Department of Physics and Astronomy Box 516, SE-751 20 Uppsala, Sweden 1 E-mail: joseph.minahan@fysast.uu.se 1 1 Introduction This is a course

More information

Linear Algebra. Matrices Operations. Consider, for example, a system of equations such as x + 2y z + 4w = 0, 3x 4y + 2z 6w = 0, x 3y 2z + w = 0.

Linear Algebra. Matrices Operations. Consider, for example, a system of equations such as x + 2y z + 4w = 0, 3x 4y + 2z 6w = 0, x 3y 2z + w = 0. Matrices Operations Linear Algebra Consider, for example, a system of equations such as x + 2y z + 4w = 0, 3x 4y + 2z 6w = 0, x 3y 2z + w = 0 The rectangular array 1 2 1 4 3 4 2 6 1 3 2 1 in which the

More information

Physics 557 Lecture 5

Physics 557 Lecture 5 Physics 557 Lecture 5 Group heory: Since symmetries and the use of group theory is so much a part of recent progress in particle physics we will take a small detour to introduce the basic structure (as

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

Ir O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )

Ir O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v ) Section 3.2 Theorem 3.6. Let A be an m n matrix of rank r. Then r m, r n, and, by means of a finite number of elementary row and column operations, A can be transformed into the matrix ( ) Ir O D = 1 O

More information

Equality: Two matrices A and B are equal, i.e., A = B if A and B have the same order and the entries of A and B are the same.

Equality: Two matrices A and B are equal, i.e., A = B if A and B have the same order and the entries of A and B are the same. Introduction Matrix Operations Matrix: An m n matrix A is an m-by-n array of scalars from a field (for example real numbers) of the form a a a n a a a n A a m a m a mn The order (or size) of A is m n (read

More information

1. Matrix multiplication and Pauli Matrices: Pauli matrices are the 2 2 matrices. 1 0 i 0. 0 i

1. Matrix multiplication and Pauli Matrices: Pauli matrices are the 2 2 matrices. 1 0 i 0. 0 i Problems in basic linear algebra Science Academies Lecture Workshop at PSGRK College Coimbatore, June 22-24, 2016 Govind S. Krishnaswami, Chennai Mathematical Institute http://www.cmi.ac.in/~govind/teaching,

More information

Notes on SU(3) and the Quark Model

Notes on SU(3) and the Quark Model Notes on SU() and the Quark Model Contents. SU() and the Quark Model. Raising and Lowering Operators: The Weight Diagram 4.. Triangular Weight Diagrams (I) 6.. Triangular Weight Diagrams (II) 8.. Hexagonal

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 2.1 Exercise (6). Let G be an abelian group. Prove that T = {g G g < } is a subgroup of G.

More information

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

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then

More information

5. Orthogonal matrices

5. Orthogonal matrices L Vandenberghe EE133A (Spring 2017) 5 Orthogonal matrices matrices with orthonormal columns orthogonal matrices tall matrices with orthonormal columns complex matrices with orthonormal columns 5-1 Orthonormal

More information

A PROOF OF BURNSIDE S p a q b THEOREM

A PROOF OF BURNSIDE S p a q b THEOREM A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We

More information

REPRESENTATION THEORY FOR FINITE GROUPS

REPRESENTATION THEORY FOR FINITE GROUPS REPRESENTATION THEORY FOR FINITE GROUPS SHAUN TAN Abstract. We cover some of the foundational results of representation theory including Maschke s Theorem, Schur s Lemma, and the Schur Orthogonality Relations.

More information

Additional notes on group representations Hjalmar Rosengren, 30 September 2015

Additional notes on group representations Hjalmar Rosengren, 30 September 2015 Additional notes on group representations Hjalmar Rosengren, 30 September 2015 Throughout, group means finite group and representation means finitedimensional representation over C. Interpreting the character

More information

Elementary maths for GMT

Elementary maths for GMT Elementary maths for GMT Linear Algebra Part 2: Matrices, Elimination and Determinant m n matrices The system of m linear equations in n variables x 1, x 2,, x n a 11 x 1 + a 12 x 2 + + a 1n x n = b 1

More information

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product.

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product. MATH 311-504 Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product. Determinant is a scalar assigned to each square matrix. Notation. The determinant of a matrix A = (a ij

More information

Representation Theory. Ricky Roy Math 434 University of Puget Sound

Representation Theory. Ricky Roy Math 434 University of Puget Sound Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.

More information

Representation Theory

Representation Theory Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim

More information

AMS 209, Fall 2015 Final Project Type A Numerical Linear Algebra: Gaussian Elimination with Pivoting for Solving Linear Systems

AMS 209, Fall 2015 Final Project Type A Numerical Linear Algebra: Gaussian Elimination with Pivoting for Solving Linear Systems AMS 209, Fall 205 Final Project Type A Numerical Linear Algebra: Gaussian Elimination with Pivoting for Solving Linear Systems. Overview We are interested in solving a well-defined linear system given

More information

Review problems for MA 54, Fall 2004.

Review problems for MA 54, Fall 2004. Review problems for MA 54, Fall 2004. Below are the review problems for the final. They are mostly homework problems, or very similar. If you are comfortable doing these problems, you should be fine on

More information

Matrix Theory. A.Holst, V.Ufnarovski

Matrix Theory. A.Holst, V.Ufnarovski Matrix Theory AHolst, VUfnarovski 55 HINTS AND ANSWERS 9 55 Hints and answers There are two different approaches In the first one write A as a block of rows and note that in B = E ij A all rows different

More information

(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

(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 Solutions to Homework #7 0. Prove that [S n, S n ] = A n for every n 2 (where A n is the alternating group). Solution: Since [f, g] = f 1 g 1 fg is an even permutation for all f, g S n and since A n is

More information

MAT 2037 LINEAR ALGEBRA I web:

MAT 2037 LINEAR ALGEBRA I web: MAT 237 LINEAR ALGEBRA I 2625 Dokuz Eylül University, Faculty of Science, Department of Mathematics web: Instructor: Engin Mermut http://kisideuedutr/enginmermut/ HOMEWORK 2 MATRIX ALGEBRA Textbook: Linear

More information

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.

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. 6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its

More information

REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 2001

REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 2001 9 REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 21 ALLEN KNUTSON 1 WEIGHT DIAGRAMS OF -REPRESENTATIONS Let be an -dimensional torus, ie a group isomorphic to The we

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Symmetric and anti symmetric matrices

Symmetric and anti symmetric matrices Symmetric and anti symmetric matrices In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally, matrix A is symmetric if. A = A Because equal matrices have equal

More information

QM and Angular Momentum

QM and Angular Momentum Chapter 5 QM and Angular Momentum 5. Angular Momentum Operators In your Introductory Quantum Mechanics (QM) course you learned about the basic properties of low spin systems. Here we want to review that

More information

Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

More information

Symmetries and particle physics Exercises

Symmetries and particle physics Exercises Symmetries and particle physics Exercises Stefan Flörchinger SS 017 1 Lecture From the lecture we know that the dihedral group of order has the presentation D = a, b a = e, b = e, bab 1 = a 1. Moreover

More information