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 NbO, CuInO, and a few more compounds are reported to belong to space-group type .
The compound LiSO HO 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