International
Tables for Crystallography Volume A1 Symmetry relations between space groups Edited by Hans Wondratschek and Ulrich Müller © International Union of Crystallography 2006 |
International Tables for Crystallography (2006). Vol. A1, ch. 1.2, pp. 13-16
Section 1.2.5. Space groups^{a}Institut für Kristallographie, Universität, D-76128 Karlsruhe, Germany |
The set of all symmetry operations of a three-dimensional crystal pattern, i.e. its symmetry group, is the space group of this crystal pattern. In a plane, the symmetry group of a two-dimensional crystal pattern is its plane group. In the following, the term `space group' alone will be used and the plane groups are included because they are the space groups of two-dimensional space.
A crystal pattern is a periodic array. This means that there are translations among its symmetry operations. The translations of crystals are small (a few angströms to a few hundred angströms) but cannot be arbitrarily short because of the finite size of the particles in crystal structures. One thus defines for any finite integer n:
Definition 1.2.5.1.1. A group of isometries in n-dimensional space is called an n-dimensional space group if
Condition (2) is justified because crystal structures contain atoms of finite size, and it is necessary to avoid infinitely small translations as elements of space groups. Several fundamental properties would not hold without this condition, such as the existence of a lattice of translation vectors and the restriction to only a few rotation angles.
In this volume, only the dimensions and will be dealt with. However, the space groups (more precisely, the space-group types, cf. Section 1.2.5.3) and other crystallographic items are also known for dimensions and ; the number of the affine space-group types is even known for : 28 927 922 (Plesken & Schulz, 2000).
One of the characteristics of a space group is its translation group. Any space group is an infinite group because the number of its translations is already infinite. The set of all translations of forms the infinite translation subgroup with the composition law of performing one translation after the other, represented by the multiplication of matrix–column pairs. The group is a normal subgroup of of finite index. The vector lattice L, cf. Section 1.2.2.2, forms a group with the composition law of vector addition. This group is isomorphic to the group ().
The matrix–column pairs of the symmetry operations of a space group are mostly referred to the conventional coordinate system. Its basis is chosen as a lattice basis and in such a way that the matrices for the linear parts of the symmetry operations of are particularly simple. The origin is chosen such that as many coset representatives as possible can be selected with their column coefficients to be zero, or such that the origin is situated on a centre of inversion. This means (for details and examples see Section 8.3.1 of IT A):
It is obviously impossible to list all elements of an infinite group individually. One could define the space group by a set of generators, because the number of necessary generators for any space group is finite: theoretically, up to six generators might be necessary but in practice up to ten generators are chosen for a space group. In IT A and in this volume, the set of the conventional generators is listed in the block `Generators selected'. The unit element is taken as the first generator; the generating translations follow and the generation is completed with the generators of the non-translation symmetry operations. The rules for the choice of the conventional generators are described in IT A, Section 8.3.5 .
The description by generators is particularly important for this volume because many of the maximal subgroups in Chapters 2.2 and 2.3 are listed by their generators. These generators are chosen such that the generation of the general position can follow a composition series, cf. Ledermann (1976). This procedure allows the generation by a short program or even by hand. For details see IT A, Section 8.3.5 ; in Table 8.3.5.2 of IT A an example for the generation of a space group along these lines is displayed.
There are four ways to describe a space group in IT A:
There are an infinite number of space groups because there are an infinite number of known or conceivable crystals and crystal patterns. Indeed, because the lattice parameters depend on temperature and pressure, so do the lattice translations and the space group of a crystal. There is great interest in getting an overview of this vast number of space groups. To achieve this goal, one first characterizes the space groups by their group-theoretical properties and classifies them into space-group types where the space groups of each type have certain properties in common. To get a better overview, one then classifies the space-group types such that related types belong to the same `superclass'. This classification is done in two ways (cf. Sections 1.2.5.4 and 1.2.5.5):
In reality, the tables in Chapters 2.2 and 2.3 and the graphs in Chapters 2.4 and 2.5 are tables and graphs for space-group types. The sequence of the space-group types in IT A and thus in this volume is determined by their crystal class, their crystal system and their crystal family. Therefore, these classifications are treated in the next sections. The point groups and the translation groups of the space groups can also be classified in a similar way. Only the classification of the point groups is treated in this chapter. For a more detailed treatment and for the classification of the lattices, the reader is referred to Chapter 1.5 of this volume, to Part 8 of IT A or to Brown et al. (1978).
We first consider the classification of the space groups into types. A more detailed treatment may be found in Section 8.2.1 of IT A. In practice, a common way is to look for the symmetry of the space group and to compare this symmetry with that of the diagrams in the tables of IT A.
With the exception of some double descriptions,^{5} there is exactly one set of diagrams which displays the symmetry of , and belongs to that space-group type which is described in this set. From those diagrams the Hermann–Mauguin symbol, abbreviated as HM symbol, the Schoenflies symbol and the space-group number are taken.
A rigorous definition is:
Definition 1.2.5.3.1. Two space groups belong to the same affine space-group type if and only if they are isomorphic.^{6}
This definition refers to a rather abstract property which is of great mathematical but less practical value. In crystallography another definition is more appropriate which results in exactly the same space-group types as are obtained by isomorphism. It starts from the description of the symmetry operations of a space group by matrix–column pairs or, as will be formulated here, by augmented matrices. For this one refers each of the space groups to one of its lattice bases.
Definition 1.2.5.3.2. Two space groups and belong to the same affine space-group type if for a lattice basis and an origin of , a lattice basis and an origin of can also be found so that the groups of augmented matrices describing and describing are identical.
In this definition the coordinate systems are chosen such that the groups of augmented matrices agree. It is thus possible to describe the symmetry of all space groups of the same type by one (standardized) set of matrix–column pairs, as is done, for example, in the tables of IT A.
In the subgroup tables of Chapters 2.2 and 2.3 it frequently happens that a subgroup of a space group is given by its matrix–column pairs referred to an nonconventional coordinate system. In this case, a transformation of the coordinate system can bring the matrix–column pairs to the standard form by which the space-group type may be determined. In the subgroup tables both the space-group type and the transformation of the coordinate system are listed. One can also use this procedure for the definition of the term `affine space-group type':
Definition 1.2.5.3.3. Let two space groups and be referred to lattice bases and represented by their groups of augmented matrices and . The groups and belong to the same affine space-group type if an augmented matrix with linear part P, , and column part p exists, for which holds.
The affine space-group types are classes in the mathematical sense of the word, i.e. each space group belongs to exactly one type. The derivation of these types reveals 219 affine space-group types and 17 plane-group types.
In crystallography one usually distinguishes 230 rather than 219 space-group types in a slightly finer subdivision. The difference can best be explained using Definition 1.2.5.3.3. The matrix part P may have a negative determinant. In this case, a right-handed basis is converted into a left-handed one, and right-handed and left-handed screw axes are exchanged. It is a convention in crystallography to always refer the space to a right-handed basis and hence transformations with are not admitted.
Definition 1.2.5.3.4. If the matrix P is restricted by the condition , 11 affine space-group types split into two space-group types each, one with right-handed and one with left-handed screw axes, such that the total number of types is 230. These 230 space-group types are called crystallographic space-group types. The 11 splitting space-group types are called pairs of enantiomorphic space-group types and the space groups themselves are enantiomorphic pairs of space groups.
The space groups of an enantiomorphic pair belong to different crystallographic space-group types but are isomorphic. As a consequence, in the lists of isomorphic subgroups of the tables of Chapter 2.3 , there may occur subgroups with another conventional HM symbol and another space-group number than that of , cf. Example 1.2.6.2.7. In such a case, and are members of an enantiomorphic pair of space groups and belongs to the space-group type enantiomorphic to that of . There are no enantiomorphic pairs of plane groups.
The space groups are of different complexity. The simplest ones are the symmorphic space groups (not to be confused with `isomorphic' space groups) according to the following definition:
Definition 1.2.5.3.5. A space group is called symmorphic if representatives of all cosets can be found such that the set of all representatives forms a group.
The group is finite and thus leaves a point F fixed. In the standard setting of any symmorphic space group such a point F is chosen as the origin. Thus, the translation parts of the elements consist of zeroes only.
If a space group is symmorphic then all space groups of its type are symmorphic. Therefore, one can speak of `symmorphic space-group types'. Symmorphic space groups can be recognized easily by their HM symbols: they contain an unmodified point-group symbol: rotations, reflections, inversions and rotoinversions but no screw rotations or glide reflections. There are 73 symmorphic space-group types of dimension three and 13 of dimension two; none of them show enantiomorphism.
One frequently speaks of `the 230 space groups' or `the 17 plane groups' and does not distinguish between the terms `space group' and `space-group type'. This is very often possible and is also done in this volume in order to make the explanations less long-winded. However, occasionally the distinction is indispensable in order to avoid serious difficulties of comprehension. For example, the sentence `A space group is a proper subgroup of itself' is incomprehensible, whereas the sentence `A space group and its proper subgroup belong to the same space-group type' makes sense.
If the point coordinates are mapped by an isometry and its matrix–column pair, the vector coefficients are mapped by the linear part, i.e. by the matrix alone, cf. Section 1.2.2.6. Because the number of its elements is infinite, a space group generates from one point an infinite set of symmetry-equivalent points by its matrix–column pairs. Because the number of matrices of the linear parts is finite, the group of matrices generates from one vector a finite set of symmetry-equivalent vectors, e.g. the vectors normal to certain planes of the crystal. These planes determine the morphology of the ideal macroscopic crystal and its cleavage; the centre of the crystal represents the zero vector. When the symmetry of a crystal can only be determined by its macroscopic properties, only the symmetry group of the macroscopic crystal can be found. All its symmetry operations leave at least one point of the crystal fixed, viz its centre of mass. Therefore, this symmetry group was called the point group of the crystal, although its symmetry operations are those of vector space, not of point space. Although misunderstandings are not rare, this name is still used in today's crystallography for historical reasons.^{7}
Let a conventional coordinate system be chosen and the elements be represented by the matrix–column pairs , with the representation of the translations by the pairs . Then the composition of with all translations forms an infinite set of symmetry operations which is a right coset of the coset decomposition . From this equation it follows that the elements of the same coset of the decomposition have the same linear part. On the other hand, elements of different cosets have different linear parts if contains all translations of . Thus, each coset can be characterized by its linear part. It can be shown from equations (1.2.2.5) and (1.2.2.6) that the linear parts form a group which is isomorphic to the factor group , i.e. to the group of the cosets.
Definition 1.2.5.4.1. A group of linear parts, represented by a group of matrices , is called a point group . If the linear parts are those of the matrix–column pairs describing the symmetry operations of a space group , the group is called the point group of the space group . The point groups that can belong to space groups are called crystallographic point groups.
According to Definition 1.2.5.4.1, the factor group is isomorphic to the point group . This property is exploited in the graphs of translationengleiche subgroups of space groups, cf. Chapter 2.4 and Section 2.1.7.2 .
All point groups in the following sections are crystallographic point groups. The maximum order of a crystallographic point group is 48 in three-dimensional space and 12 in two-dimensional space.
As with space groups, there are also an infinite number of crystallographic point groups which may be classified into a finite number of point-group types. This cannot be done by isomorphism because geometrically different point groups may be isomorphic. For example, point groups consisting of the identity with the inversion or with a twofold rotation or with a reflection through a plane are all isomorphic to the (abstract) group of order 2. As for space groups, the classification may be performed, however, referring the point groups to corresponding vector bases. As translations do not occur among the point-group operations, one may choose any basis for the description of the symmetry operations by matrices. One takes the basis of as given and transforms the basis of to the basis corresponding to that of . This leads to the definition:
Definition 1.2.5.4.2. Two crystallographic point groups and belong to the same point-group type or to the same crystal class of point groups if there is a real non-singular matrix P which maps a matrix group of onto a matrix group of by the transformation .
Point groups can be classified by Definition 1.2.5.4.2. Further space groups may be classified into `crystal classes of space groups' according to their point groups:
Definition 1.2.5.4.3. Two space groups belong to the same crystal class of space groups if their point groups belong to the same crystal class of point groups.
Whether two space groups belong to the same crystal class or not can be worked out from their standard HM symbols: one removes the lattice parts from these symbols as well as the constituents `1' from the symbols of trigonal space groups and replaces all constituents for screw rotations and glide reflections by those for the corresponding pure rotations and reflections. The symbols obtained in this way are those of the corresponding point groups. If they agree, the space groups belong to the same crystal class. The space groups also belong to the same crystal class if the point-group symbols belong to the pair and or to the pair and .
There are 32 classes of three-dimensional crystallographic point groups and 32 crystal classes of space groups, and ten classes of two-dimensional crystallographic point groups and ten crystal classes of plane groups.
The distribution into crystal classes classifies space-group types – and thus space groups – and crystallographic point groups. It does not classify the infinite set of all lattices into a finite number of lattice types, because the same lattice may belong to space groups of different crystal classes. For example, the same lattice may be that of a space group of type (of crystal class 1) and that of a space group of type (of crystal class ).
Nevertheless, there is also a definition of the `point group of a lattice'. Let a vector lattice L of a space group be referred to a lattice basis. Then the linear parts W of the matrix–column pairs (W, w) of form the point group . If (W, w) maps the space group onto itself, then the linear part W maps the (vector) lattice L onto itself. However, there may be additional matrices which also describe symmetry operations of the lattice L. For example, the point group of a space group of type consists of the identity 1 only. However, with any vector , the negative vector also belongs to . Therefore, the lattice is always centrosymmetric and has the inversion as a symmetry operation independent of the symmetry of the space group.
Definition 1.2.5.4.4. The set of all orthogonal mappings with matrices W which map a lattice L onto itself is called the point group of the lattice L or the holohedry of the lattice L. A crystal class of point groups is called a holohedral crystal class if it contains a holohedry.
There are seven holohedral crystal classes in the space: , , , , , and . Their lattices are called triclinic, monoclinic, orthorhombic, tetragonal, rhombohedral, hexagonal and cubic, respectively. There are four holohedral crystal classes in the plane: , , and . Their two-dimensional lattices (or nets) are called oblique, rectangular, square and hexagonal, respectively.
The lattices can be classified into lattice types or Bravais types, mostly called Bravais lattices, or into lattice systems (called Bravais systems in editions 1 to 4 of IT A). These classifications are not discussed here because they are not directly relevant to the classification of the space groups. This is because the lattice symmetry is not necessarily typical for the symmetry of its space group but may accidentally be higher. For example, the lattice of a monoclinic crystal may be accidentally orthorhombic (only for certain values of temperature and pressure). In Sections 8.2.5 and 8.2.7 of IT A the `typical lattice symmetry' of a space group is defined.
The example of mentioned above shows that the point group of the lattice may be systematically of higher order than that of its space group. There are obviously point groups and thus space groups that belong to a holohedral crystal class and those that do not. The latter can be assigned to a holohedral crystal class uniquely according to the following definition:^{8}
Definition 1.2.5.5.1. A crystal class C of a space group is either holohedral H or it can be assigned uniquely to H by the condition: any point group of C is a subgroup of a point group of H but not a subgroup of a holohedral crystal class of smaller order. The set of all crystal classes of space groups that are assigned to the same holohedral crystal class is called a crystal system of space groups.
The 32 crystal classes of space groups are classified into seven crystal systems which are called triclinic, monoclinic, orthorhombic, tetragonal, trigonal, hexagonal and cubic. There are four crystal systems of plane groups: oblique, rectangular, square and hexagonal. Like the space groups, the crystal classes of point groups are classified into the seven crystal systems of point groups.
Apart from accidental lattice symmetries, the space groups of different crystal systems have lattices of different symmetry. As an exception, the hexagonal primitive lattice occurs in both hexagonal and trigonal space groups as the typical lattice. Therefore, the space groups of the trigonal and the hexagonal crystal systems are more related than space groups from other different crystal systems. Indeed, in different crystallographic schools the term `crystal system' was used for different objects. One sense of the term was the `crystal system' as defined above, while another sense of the old term `crystal system' is now called a `crystal family' according to the following definition [for definitions that are also valid in higher-dimensional spaces, see Brown et al. (1978) or IT A, Chapter 8.2 ]:
Definition 1.2.5.5.2. In three-dimensional space, the classification of the set of all space groups into crystal families is the same as that into crystal systems with the one exception that the trigonal and hexagonal crystal systems are united to form the hexagonal crystal family. There is no difference between crystal systems and crystal families in the plane.
The partition of the space groups into crystal families is the most universal one. The space groups and their types, their crystal classes and their crystal systems are classified by the crystal families. Analogously, the crystallographic point groups and their crystal classes and crystal systems are classified by the crystal families of point groups. Lattices, their Bravais types and lattice systems can also be classified into crystal families of lattices; cf. IT A, Chapter 8.2 .
References
Brown, H., Bülow, R., Neubüser, J., Wondratschek, H. & Zassenhaus, H. (1978). Crystallographic groups of four-dimensional space. New York: John Wiley & Sons.Ledermann, W. (1976). Introduction to group theory. London: Longman. (German: Einführung in die Gruppentheorie, Braunschweig: Vieweg, 1977.)
Plesken, W. & Schulz, T. (2000). Counting crystallographic groups in low dimensions. Exp. Math. 9, 407–411.