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.8 CONSTRUCTION OF A CHARACTER TABLEm d ′m xm dm yFigure 29.3 The mirror planes associated with 4mm, the group of twodimensionalsymmetries of a square.that at least one irrep has dimension 2 or greater. However, there can be no irrep withdimension 3 or greater, since 3 2 > 8, nor can there be more than one two-dimensionalirrep, since 2 2 +2 2 = 8 would rule out a contribution to the sum in (iii) of 1 2 from theidentity irrep, <strong>and</strong> this must be present. Thus the only possibility is one two-dimensionalirrep <strong>and</strong>, to make the sum in (iii) correct, four one-dimensional irreps.There<strong>for</strong>e using (i) we can now deduce that there are five classes. This same conclusioncan be reached by evaluating X −1 YX <strong>for</strong> every pair of elements in G, as in the descriptionof conjugacy classes given in the previous chapter. However, it is tedious to do so <strong>and</strong>certainly much longer than the above. The five classes are I, Q, {R, R ′ }, {m x , m y }, {m d , m d ′}.It is straight<strong>for</strong>ward to show that only I <strong>and</strong> Q commute with every element of thegroup, so they are the only elements in classes of their own. Each other class must haveat least 2 members, but, as there are three classes to accommodate 8 − 2 = 6 elements,there must be exactly 2 in each class. This does not pair up the remaining 6 elements, butdoes say that the five classes have 1, 1, 2, 2, <strong>and</strong> 2 elements. Of course, if we had startedby dividing the group into classes, we would know the number of elements in each classdirectly.We cannot entirely ignore the group structure (though it sometimes happens that theresults are independent of the group structure – <strong>for</strong> example, all non-Abelian groups o<strong>for</strong>der 8 have the same character table!); thus we need to note in the present case thatm 2 i = I <strong>for</strong> i = x, y, d or d ′ <strong>and</strong>, as can be proved directly, Rm i = m i R ′ <strong>for</strong> the same fourvalues of label i. We also recall that <strong>for</strong> any pair of elements X <strong>and</strong> Y , D(XY )=D(X)D(Y ).We may conclude the following <strong>for</strong> the one-dimensional irreps.(a) In view of result (vi), χ(m i )=D(m i )=±1.(b) Since R 4 = I, result (vi) requires that χ(R) is one of 1, i, −1, −i. But, sinceD(R)D(m i )=D(m i )D(R ′ ), <strong>and</strong> the D(m i ) are just numbers, D(R) =D(R ′ ). FurtherD(R)D(R) =D(R)D(R ′ )=D(RR ′ )=D(I) =1,<strong>and</strong> so D(R) =±1 =D(R ′ ).(c) D(Q) =D(RR) =D(R)D(R) =1.If we add this to the fact that the characters of the identity irrep A 1 are all unity then wecan fill in those entries in character table 29.4 shown in bold.Suppose now that the three missing entries in a one-dimensional irrep are p, q <strong>and</strong> r,where each can only be ±1. Then, allowing <strong>for</strong> the numbers in each class, orthogonality1101

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

Saved successfully!

Ooh no, something went wrong!