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,...
|
|
- Colin Watts
- 5 years ago
- Views:
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 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 informationGROUP 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 information4 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 informationREPRESENTATION 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
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 information5 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 informationNotes 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 informationGROUP 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 informationThe 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 information1 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 informationA 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 informationParticles 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 informationREPRESENTATION 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 informationREPRESENTATION 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 informationLecture 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 informationPhysics 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 informationAssignment 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 informationQuantum 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 informationb 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 informationSymmetries, 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 informationSymmetries, 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 informationAssignment 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 informationThe 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 informationPHYS 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 informationIntroduction 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 informationLinear 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 informationPh 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 informationChapter 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 informationElementary 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 informationRepresentation 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 informationGroups. 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 informationMathematical 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 informationMATH 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 informationRepresentation 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 information5 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 informationFoundations 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 informationCHARACTER 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 informationLINEAR 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 informationREPRESENTATIONS 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 informationClass 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 informationRepresentation 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 information3 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 informationMATHEMATICS 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 informationINTRODUCTION 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 informationSolutions 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 informationLecture 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 informationGroup 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 information1. 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 informationDiagonalization 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 informationLinear 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 informationMAT 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 informationREPRESENTATION 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 informationPhysics 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 informationPh 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 informationDefinitions, 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 informationLinear 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 informationSystems 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 informationGroup 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 informationChapter 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 informationLinear 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 informationCHAPTER 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 informationAPPENDIX 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 informationSystems 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 informationConsider 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 informationMath 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 informationTopics 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 informationSolutions 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 informationChapter 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 informationYoung 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 informationCharacter 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 informationLecture 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 informationLinear 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 informationPhysics 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 informationExercises 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 informationIr 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 informationEquality: 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 information1. 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 informationNotes 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 informationSelected 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 informationIIT 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 information5. 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 informationA 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 informationREPRESENTATION 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 informationAdditional 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 informationElementary 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 informationMATH 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 informationRepresentation 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 informationRepresentation 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 informationAMS 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 informationReview 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 informationMatrix 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
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 informationMAT 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 information6 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 informationREPRESENTATIONS 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 information0 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 informationSymmetric 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 informationQM 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 informationClifford 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 informationSymmetries 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