The symmetry, i.e. the set of all symmetry operations, of any object forms a group in the mathematical sense of the word. Therefore, the theorems and results of group theory can be used when dealing with the symmetries of crystals. The methods of group theory can not be treated here but a few results of group theory for crystallographic groups will be stated and used.
We start with the definition of the terms `subgroup' and `order of a group'.
Definition (D 3.4.3) Let
and
be groups such that all elements of
are also
elements of
. Then
is called a
subgroup of
.
Remark. According to its definition, each crystallographic site-symmetry group is a subgroup of that space group from which its elements are selected.
Definition (D 3.4.3) The number
of elements of a group
is called the order of
.
In case
exists,
is called
a finite group. If there is no (finite)
number
,
is called an infinite group.
Remark. The term `order' is an old mathematical term and has nothing to do with order or disorder in crystals. Space groups are always infinite groups; crystallographic site-symmetry groups are always finite.
The following results for crystallographic site-symmetry groups
and point groups
are known for more than
170, those for space groups
more than 100 years.
We consider site-symmetry groups first.
Note that this assertion is correct even if not all of the groups
are different. This is demonstrated by the following
example: If the site symmetry
of
consists of a
reflection and the identity,
the point
is placed on a mirror plane. If the translation mapping
onto
is parallel to this plane, then
of
and
of
are identical. Nevertheless, there are
always translations of
which are not parallel to the
mirror plane and which carry
and
to points
with site symmetries
. These are different from but
equivalent to
. The groups
and
leave different planes invariant.
The following exercise deals with a simple example of a possible planar crystallographic site-symmetry group.
Problem 1A. Symmetry of the square.
|
Questions For further questions, see Problem 1B,
p.
.
Some remarks on space groups follow.
Space groups are the symmetries of crystal patterns, they have been defined already by definition (D 3.2.1). Their order is always infinite because of the infinitely many translations. Not only the order but also the number of space groups is infinite because each existing or conceivable crystal (crystal pattern) has `its' space group. However, an infinite set, as that of all space groups, is difficult to overlook. Therefore, it is advantageous to have a classification of the space groups into a finite number of classes.
The classification of site symmetries into types of site symmetries (crystal classes) has already been discussed. Like site-symmetry groups, also space groups may be classified into types, the space-group types. This classification into 230 space-group types is so commonly used that these space-group types are just called the 230 space groups in many text books and in the spoken language. In most cases there is no harm caused by this usage. However, for certain kinds of problems in crystal chemistry, or when dealing with phase transitions, the distinction between the individual `space group' and the set `type of space groups' is indispensable. The distinction is important enough to be illustrated by an example from daily life:
There are millions of cars running on earth but there are only a few hundred types of cars. One loosely says: `I have the same car as my neighbour' when one means `My car is of the same type as that of my neighbour'. The difference becomes obvious if the neighbour's car is involved in a traffic accident.
Really, there are 2 classifications of space groups into types. The one just mentioned may be called the `classification into the 230 crystallographic space-group types'. The different types are distinguished by the occurence of different types of rotations, screw rotations, etc. (One can not argue with the `numbers of 2-fold rotations' etc. because in space groups all these numbers are infinite). However, there are 11 pairs of these types, called enantiomorphic pairs, where in each pair the space groups of the one type can be transferred to those of the other type by improper but not by proper mappings. (Proper and improper mappings are defined in analogy to the proper and improper isometries, see Section 3.1. A pair of enantiomorphic space-group types is analogous to a pair of gloves: right and left). Counting each of these pairs as one type results in altogether 219 affine space-group types.
More than 2/3 of the 878 pp. of Vol. IT A, 4th edition (1995) are devoted to the description of the 17 `plane groups' and the 230 `space groups' (really: plane-group and space-group types). There are 4 ways for this description; 2 of them are described in the next section, the others in Sections 4.6 and 5.2.
The term point-symmetry group, point group,
or point symmetry
is used
in 2 different
meanings. In order to have a clear
distinction between the 2 items which are commonly called `point
symmetry', the one item has been called `site-symmetry group'
or `site symmetry', see above. This is done also in IT A,
Section 8, `Introduction to space-group theory'. The other item
is the external symmetry
of the ideal macroscopic crystal.
It is simultaneously the symmetry of its physical properties. The
symmetry
is very much related to the symmetry
in so far as to each group
there exists a group
with the same order, the same number and kind of rotations, rotoreflections,
and reflections, although not necessarily in the same space group.
Analogously, to each group
there may exist
groups
which have the same `structure' as
has.
Taken as groups without paying attention to the kind of
operations,
and
cannot be distinguished.
Therefore, the statements 1. to 6., made above for groups
,
are valid for groups
as well, with the exception of
statement 2. The latter is obvious: A macroscopic crystal is not periodic
but `a massive block' of finite extension, and there is only one
finite symmetry group
for the external shape of the crystal
as compared to the infinite number of site-symmetry groups
.
What is the essential difference between
and
?
Why can they not be identified ?
The description of the symmetry
is different from that of
. The relation between
and the space group
is simple:
is a subgroup of
.
The relation between
and
is more complicated
and rather different. This will become clear from the following example.
Example. There are not many compounds known whose symmetry consists of the
identity, translations, and 2-fold rotations. The symbol of their space
groups
is
. Several omphacites (rock-forming pyroxene
minerals), high-temperature Nb
O
, Cu
In
O
, and a few more
compounds are reported to belong to space-group type
.
The compound Li
SO
H
O is the best pyroelectric
non-ferroelectric substance which is known today. Its space group
is
with the identity, translations, and 2-fold
screw rotations
. There are many compounds,
e.g. sugars, with the same kinds of symmetry operations.
Consider the points of point space. With regard to space
group
, there are points with site symmetry 2, namely
all points situated on one of the 2-fold rotation axes. However, with
regard to space group
there is no point with site symmetry
2, because screw rotations have no fixed points. Nevertheless, the symmetry
of the macroscopic crystal is that of (identity and) a 2-fold rotation
in both cases. One can say, that
and
have point groups of the same type, but exhibit strong differences in
their site-symmetry groups.
In order to understand this difference it is useful to consider the
determination of
. A natural crystal is mostly distorted:
the growth velocities of its faces have been influenced by currents of
the medium from which the crystal has grown (liquid, gas), or by
obstacles which have prevented the development of the ideal shape.
Therefore, the faces present at a macroscopic crystal are replaced by
their face normals for the determination of the macroscopic symmetry.
These face normals are vectors which are independent of the state of
development of the faces. Then
is determined from the
symmetry operations which map the bundle of face-normal vectors onto
itself. Thus, the group
is a group of
symmetry in vector space.
It is the conceptual difference
between vector space and point space, experienced already in Section
1.4 when considering origin shifts, which leads to the difference
between the groups
and
. The symmetry
operations of
are mappings of point space, whereas the
symmetry operations of
are mappings of vector
space. In Section 4.4 the description of these operations by
matrices will be dealt with. It will turn out that the difference between
and
is reflected in the kinds of matrices
which describe the operations of
and
.
The above example of the space groups
and
has
shown that there are space groups for which the groups
and
may have the same order, namely in
. This is
a special property which deserves a separate name.
Definition (D 3.4.3) A space group is called symmorphic if there
are site-symmetry groups
which have the same order as
the point group
of the space group.
In the non-symmorphic space group
, there is no group
with the order 2 of
.
Copyright © 2002 International Union of Crystallography
IUCr Webmaster