...

Groups

by taratuta

on
Category: Documents
65

views

Report

Comments

Description

Transcript

Groups
28
Group theory
For systems that have some degree of symmetry, full exploitation of that symmetry
is desirable. Significant physical results can sometimes be deduced simply by a
study of the symmetry properties of the system under investigation. Consequently
it becomes important, for such a system, to identify all those operations (rotations,
reflections, inversions) that carry the system into a physically indistinguishable
copy of itself.
The study of the properties of the complete set of such operations forms
one application of group theory. Though this is the aspect of most interest to
the physical scientist, group theory itself is a much larger subject and of great
importance in its own right. Consequently we leave until the next chapter any
direct applications of group theoretical results and concentrate on building up
the general mathematical properties of groups.
28.1 Groups
As an example of symmetry properties, let us consider the sets of operations,
such as rotations, reflections, and inversions, that transform physical objects, for
example molecules, into physically indistinguishable copies of themselves, so that
only the labelling of identical components of the system (the atoms) changes in
the process. For differently shaped molecules there are different sets of operations,
but in each case it is a well-defined set, and with a little practice all members of
each set can be identified.
As simple examples, consider (a) the hydrogen molecule, and (b) the ammonia
molecule illustrated in figure 28.1. The hydrogen molecule consists of two atoms
H of hydrogen and is carried into itself by any of the following operations:
(i) any rotation about its long axis;
(ii) rotation through π about an axis perpendicular to the long axis and
passing through the point M that lies midway between the atoms;
1041
GROUP THEORY
N
H
M
H
H
H
(a)
(b)
H
Figure 28.1 (a) The hydrogen molecule, and (b) the ammonia molecule.
(iii) inversion through the point M;
(iv) reflection in the plane that passes through M and has its normal parallel
to the long axis.
These operations collectively form the set of symmetry operations for the hydrogen molecule.
The somewhat more complex ammonia molecule consists of a tetrahedron with
an equilateral triangular base at the three corners of which lie hydrogen atoms
H, whilst a nitrogen atom N is sited at the fourth vertex of the tetrahedron. The
set of symmetry operations on this molecule is limited to rotations of π/3 and
2π/3 about the axis joining the centroid of the equilateral triangle to the nitrogen
atom, and reflections in the three planes containing that axis and each of the
hydrogen atoms in turn. However, if the nitrogen atom could be replaced by a
fourth hydrogen atom, and all interatomic distances equalised in the process, the
number of symmetry operations would be greatly increased.
Once all the possible operations in any particular set have been identified, it
must follow that the result of applying two such operations in succession will be
identical to that obtained by the sole application of some third (usually different)
operation in the set – for if it were not, a new member of the set would have
been found, contradicting the assumption that all members have been identified.
Such observations introduce two of the main considerations relevant to deciding whether a set of objects, here the rotation, reflection and inversion operations,
qualifies as a group in the mathematically tightly defined sense. These two considerations are (i) whether there is some law for combining two members of the set,
and (ii) whether the result of the combination is also a member of the set. The
obvious rule of combination has to be that the second operation is carried out
on the system that results from application of the first operation, and we have
already seen that the second requirement is satisfied by the inclusion of all such
operations in the set. However, for a set to qualify as a group, more than these
two conditions have to be satisfied, as will now be made clear.
1042
28.1 GROUPS
28.1.1 Definition of a group
A group G is a set of elements {X, Y , . . . }, together with a rule for combining
them that associates with each ordered pair X, Y a ‘product’ or combination law
X • Y for which the following conditions must be satisfied.
(i) For every pair of elements X, Y that belongs to G, the product X • Y also
belongs to G. (This is known as the closure property of the group.)
(ii) For all triples X, Y , Z the associative law holds; in symbols,
X • (Y • Z) = (X • Y ) • Z.
(28.1)
(iii) There exists a unique element I, belonging to G, with the property that
I •X =X =X•I
(28.2)
for all X belonging to G. This element I is known as the identity element
of the group.
(iv) For every element X of G, there exists an element X −1 , also belonging to
G, such that
X −1 • X = I = X • X −1 .
(28.3)
X −1 is called the inverse of X.
An alternative notation in common use is to write the elements of a group G
as the set {G1 , G2 , . . . } or, more briefly, as {Gi }, a typical element being denoted
by Gi .
It should be noticed that, as given, the nature of the operation • is not stated. It
should also be noticed that the more general term element, rather than operation,
has been used in this definition. We will see that the general definition of a
group allows as elements not only sets of operations on an object but also sets of
numbers, of functions and of other objects, provided that the interpretation of •
is appropriately defined.
In one of the simplest examples of a group, namely the group of all integers
under addition, the operation • is taken to be ordinary addition. In this group the
role of the identity I is played by the integer 0, and the inverse of an integer X is
−X. That requirements (i) and (ii) are satisfied by the integers under addition is
trivially obvious. A second simple group, under ordinary multiplication, is formed
by the two numbers 1 and −1; in this group, closure is obvious, 1 is the identity
element, and each element is its own inverse.
It will be apparent from these two examples that the number of elements in a
group can be either finite or infinite. In the former case the group is called a finite
group and the number of elements it contains is called the order of the group,
which we will denote by g; an alternative notation is |G| but has obvious dangers
1043
GROUP THEORY
if matrices are involved. In the notation in which G = {G1 , G2 , . . . , Gn } the order
of the group is clearly n.
As we have noted, for the integers under addition zero is the identity. For
the group of rotations and reflections, the operation of doing nothing, i.e. the
null operation, plays this role. This latter identification may seem artificial, but
it is an operation, albeit trivial, which does leave the system in a physically
indistinguishable state, and needs to be included. One might add that without it
the set of operations would not form a group and none of the powerful results
we will derive later in this and the next chapter could be justifiably applied to
give deductions of physical significance.
In the examples of rotations and reflections mentioned earlier, • has been taken
to mean that the left-hand operation is carried out on the system that results
from application of the right-hand operation. Thus
Z =X•Y
(28.4)
means that the effect on the system of carrying out Z is the same as would
be obtained by first carrying out Y and then carrying out X. The order of the
operations should be noted; it is arbitrary in the first instance but, once chosen,
must be adhered to. The choice we have made is dictated by the fact that most
of our applications involve the effect of rotations and reflections on functions of
space coordinates, and it is usual, and our practice in the rest of this book, to
write operators acting on functions to the left of the functions.
It will be apparent that for the above-mentioned group, integers under ordinary
addition, it is true that
Y •X =X•Y
(28.5)
for all pairs of integers X, Y . If any two particular elements of a group satisfy
(28.5), they are said to commute under the operation •; if all pairs of elements in
a group satisfy (28.5), then the group is said to be Abelian. The set of all integers
forms an infinite Abelian group under (ordinary) addition.
As we show below, requirements (iii) and (iv) of the definition of a group
are over-demanding (but self-consistent), since in each of equations (28.2) and
(28.3) the second equality can be deduced from the first by using the associativity
required by (28.1). The mathematical steps in the following arguments are all
very simple, but care has to be taken to make sure that nothing that has not
yet been proved is used to justify a step. For this reason, and to act as a model
in logical deduction, a reference in Roman numerals to the previous result,
or to the group definition used, is given over each equality sign. Such explicit
detailed referencing soon becomes tiresome, but it should always be available if
needed.
1044
28.1 GROUPS
Using only the first equalities in (28.2) and (28.3), deduce the second ones.
Consider the expression X −1 • (X • X −1 );
(ii)
(iv)
X −1 • (X • X −1 ) = (X −1 • X) • X −1 = I • X −1
(iii) −1
= X .
But X
−1
(28.6)
belongs to G, and so from (iv) there is an element U in G such that
U • X −1 = I.
(v)
Form the product of U with the first and last expressions in (28.6) to give
(v)
U • (X −1 • (X • X −1 )) = U • X −1 = I.
(28.7)
Transforming the left-hand side of this equation gives
(ii)
U • (X −1 • (X • X −1 )) = (U • X −1 ) • (X • X −1 )
(v)
= I • (X • X −1 )
(iii)
= X • X −1 .
(28.8)
Comparing (28.7), (28.8) shows that
X • X −1 = I,
(iv)
i.e. the second equality in group definition (iv). Similarly
(iv)
(ii)
X • I = X • (X −1 • X) = (X • X −1 ) • X
(iv)
= I •X
(iii)
= X.
(iii )
i.e. the second equality in group definition (iii). The uniqueness of the identity element I can also be demonstrated rather than
assumed. Suppose that I , belonging to G, also has the property
I • X = X = X • I
for all X belonging to G.
Take X as I, then
I • I = I.
(28.9)
Further, from (iii ),
X =X•I
for all X belonging to G,
1045
GROUP THEORY
and setting X = I gives
I = I • I.
(28.10)
It then follows from (28.9), (28.10) that I = I , showing that in any particular
group the identity element is unique.
In a similar way it can be shown that the inverse of any particular element
is unique. If U and V are two postulated inverses of an element X of G, by
considering the product
U • (X • V ) = (U • X) • V ,
it can be shown that U = V . The proof is left to the reader.
Given the uniqueness of the inverse of any particular group element, it follows
that
(U • V • · · · • Y • Z) • (Z −1 • Y −1 • · · · • V −1 • U −1 )
= (U • V • · · · • Y ) • (Z • Z −1 ) • (Y −1 • · · · • V −1 • U −1 )
= (U • V • · · · • Y ) • (Y −1 • · · · • V −1 • U −1 )
..
.
= I,
where use has been made of the associativity and of the two equations Z • Z −1 = I
and I • X = X. Thus the inverse of a product is the product of the inverses in
reverse order, i.e.
(U • V • · · · • Y • Z)−1 = (Z −1 • Y −1 • · · · • V −1 • U −1 ).
(28.11)
Further elementary results that can be obtained by arguments similar to those
above are as follows.
(i) Given any pair of elements X, Y belonging to G, there exist unique
elements U, V , also belonging to G, such that
X•U =Y
V •X =Y.
and
−1
−1
Clearly U = X • Y , and V = Y • X , and they can be shown to be
unique. This result is sometimes called the division axiom.
(ii) The cancellation law can be stated as follows. If
X•Y =X•Z
for some X belonging to G, then Y = Z. Similarly,
Y •X =Z •X
implies the same conclusion.
1046
28.1 GROUPS
M
L
K
Figure 28.2 Reflections in the three perpendicular bisectors of the sides of
an equilateral triangle take the triangle into itself.
(iii) Forming the product of each element of G with a fixed element X of G
simply permutes the elements of G; this is often written symbolically as
G • X = G. If this were not so, and X • Y and X • Z were not different
even though Y and Z were, application of the cancellation law would lead
to a contradiction. This result is called the permutation law.
In any finite group of order g, any element X when combined with itself to
form successively X 2 = X • X, X 3 = X • X 2 , . . . will, after at most g − 1 such
combinations, produce the group identity I. Of course X 2 , X 3 , . . . are some of
the original elements of the group, and not new ones. If the actual number of
combinations needed is m − 1, i.e. X m = I, then m is called the order of the element
X in G. The order of the identity of a group is always 1, and that of any other
element of a group that is its own inverse is always 2.
Determine the order of the group of (two-dimensional) rotations and reflections that take
a plane equilateral triangle into itself and the order of each of the elements. The group is
usually known as 3m (to physicists and crystallographers) or C3v (to chemists).
There are two (clockwise) rotations, by 2π/3 and 4π/3, about an axis perpendicular to
the plane of the triangle. In addition, reflections in the perpendicular bisectors of the three
sides (see figure 28.2) have the defining property. To these must be added the identity
operation. Thus in total there are six distinct operations and so g = 6 for this group.
To reproduce the identity operation either of the rotations has to be applied three times,
whilst any of the reflections has to be applied just twice in order to recover the original
situation. Thus each rotation element of the group has order 3, and each reflection element
has order 2. A so-called cyclic group is one for which all members of the group can be
generated from just one element X (say). Thus a cyclic group of order g can be
written as
2
1
G = I, X, X 2 , X 3 , . . . , X g−1 .
1047
GROUP THEORY
It is clear that cyclic groups are always Abelian and that each element, apart
from the identity, has order g, the order of the group itself.
28.1.2 Further examples of groups
In this section we consider some sets of objects, each set together with a law of
combination, and investigate whether they qualify as groups and, if not, why not.
We have already seen that the integers form a group under ordinary addition,
but it is immediately apparent that (even if zero is excluded) they do not do
so under ordinary multiplication. Unity must be the identity of the set, but the
requisite inverse of any integer n, namely 1/n, does not belong to the set of
integers for any n other than unity.
Other infinite sets of quantities that do form groups are the sets of all real
numbers, or of all complex numbers, under addition, and of the same two sets
excluding 0 under multiplication. All these groups are Abelian.
Although subtraction and division are normally considered the obvious counterparts of the operations of (ordinary) addition and multiplication, they are not
acceptable operations for use within groups since the associative law, (28.1), does
not hold. Explicitly,
X − (Y − Z) = (X − Y ) − Z,
X ÷ (Y ÷ Z) = (X ÷ Y ) ÷ Z.
From within the field of all non-zero complex numbers we can select just those
that have unit modulus, i.e. are of the form eiθ where 0 ≤ θ < 2π, to form a
group under multiplication, as can easily be verified:
= ei(θ1 +θ2 )
eiθ1 × eiθ2
=1
ei0
ei(2π−θ) × eiθ = ei2π ≡ ei0 = 1
(closure),
(identity),
(inverse).
Closely related to the above group is the set of 2 × 2 rotation matrices that take
the form
cos θ − sin θ
M(θ) =
sin θ cos θ
where, as before, 0 ≤ θ < 2π. These form a group when the law of combination
is that of matrix multiplication. The reader can easily verify that
M(θ)M(φ) = M(θ + φ) (closure),
(identity),
M(0) = I2
M(2π − θ) = M−1 (θ)
(inverse).
Here I2 is the unit 2 × 2 matrix.
1048
Fly UP