13.07.2015 Views

Mathematical Methods for Physics and Engineering - Matematica.NET

Mathematical Methods for Physics and Engineering - Matematica.NET

Mathematical Methods for Physics and Engineering - Matematica.NET

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

29.12 EXERCISESas the sum of two one-dimensional irreps <strong>and</strong>, using the reasoning given in the previousexample, are there<strong>for</strong>e split in frequency by the perturbation. For other values of n therepresentation is irreducible <strong>and</strong> so the degeneracy cannot be split. ◭29.12 Exercises29.1 A group G hasfourelementsI,X,Y <strong>and</strong> Z, which satisfy X 2 = Y 2 = Z 2 =XY Z = I. Show that G is Abelian <strong>and</strong> hence deduce the <strong>for</strong>m of its charactertable.Show that the matrices(1 0D(I) =0 1D(Y )=(−1 −p0 1)(−1 0, D(X) =0 −1), D(Z) =(1 p0 −1where p is a real number, <strong>for</strong>m a representation D of G. Find its characters <strong>and</strong>decompose it into irreps.29.2 Using a square whose corners lie at coordinates (±1, ±1), <strong>for</strong>m a natural representationof the dihedral group D 4 . Find the characters of the representation,<strong>and</strong>, using the in<strong>for</strong>mation (<strong>and</strong> class order) in table 29.4 (p. 1102), express therepresentation in terms of irreps.Now <strong>for</strong>m a representation in terms of eight 2 × 2 orthogonal matrices, byconsidering the effect of each of the elements of D 4 on a general vector (x, y).Confirm that this representation is one of the irreps found using the naturalrepresentation.29.3 The quaternion group Q (see exercise 28.20) has eight elements {±1, ±i, ±j,±k}obeying the relationsi 2 = j 2 = k 2 = −1, ij = k = −ji.Determine the conjugacy classes of Q <strong>and</strong> deduce the dimensions of its irreps.Show that Q is homomorphic to the four-element group V, which is generated bytwo distinct elements a <strong>and</strong> b with a 2 = b 2 =(ab) 2 = I. Find the one-dimensionalirreps of V <strong>and</strong> use these to help determine the full character table <strong>for</strong> Q.29.4 Construct the character table <strong>for</strong> the irreps of the permutation group S 4 asfollows.(a) By considering the possible <strong>for</strong>ms of its cycle notation, determine the numberof elements in each conjugacy class of the permutation group S 4 ,<strong>and</strong>showthat S 4 has five irreps. Give the logical reasoning that shows they must consistof two three-dimensional, one two-dimensional, <strong>and</strong> two one-dimensionalirreps.(b) By considering the odd <strong>and</strong> even permutations in the group S 4 , establish thecharacters <strong>for</strong> one of the one-dimensional irreps.(c) Form a natural matrix representation of 4 × 4 matrices based on a set ofobjects {a, b, c, d}, which may or may not be equal to each other, <strong>and</strong>, byselecting one example from each conjugacy class, show that this naturalrepresentation has characters 4, 2, 1, 0, 0. In the four-dimensional vectorspace in which each of the four coordinates takes on one of the four valuesa, b, c or d, the one-dimensional subspace consisting of the four points withcoordinates of the <strong>for</strong>m {a, a, a, a} is invariant under the permutation group<strong>and</strong> hence trans<strong>for</strong>ms according to the invariant irrep A 1 . The remainingthree-dimensional subspace is irreducible; use this <strong>and</strong> the characters deducedabove to establish the characters <strong>for</strong> one of the three-dimensional irreps, T 1 .1113),),

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!