International
Tables for
Crystallography
Volume A
Space-group symmetry
Edited by Th. Hahn

International Tables for Crystallography (2006). Vol. A, ch. 8.3, pp. 732-740
https://doi.org/10.1107/97809553602060000516

## Chapter 8.3. Special topics on space groups

H. Wondratscheka*

aInstitut für Kristallographie, Universität, D-76128 Karlsruhe, Germany
Correspondence e-mail: hans.wondratschek@physik.uni-karlsruhe.de

Part 8 provides the theoretical background to the data in the tables and diagrams of Volume A. Chapter 8.3 is devoted to special topics on space groups. The reader finds sections on the conventional crystallographic coordinate systems, on crystallographic point orbits and their distribution into Wyckoff positions according to their site symmetries, on sub- and supergroups of space groups, on the space-group generators used in Volume A and on normalizers of space groups.

### 8.3.1. Coordinate systems in crystallography

| top | pdf |

The matrices W and the columns w of crystallographic symmetry operations depend on the choice of the coordinate system. A suitable choice is essential if W and w are to be obtained in a convenient form.

#### Example

In a space group I4mm, the matrix part of a clockwise fourfold rotation around the c axis is described by the W matrix if referred to the conventional crystallographic basis a, b, c. Correspondingly, the matrix represents a reflection in a plane parallel to b and c. These matrices are easy to handle and their geometrical significance is evident. Referred to the primitive basis , , , defined by , , , the matrices representing the same symmetry operations would be These matrices are more complicated to work with, and their geometrical significance is less obvious.

The conventional coordinate systems obey rules concerning the vector bases and the origins.

• (i) In all cases, the conventional coordinate bases are chosen such that the matrices W only consist of the integers 0, 1 and −1, that they are reduced as much as possible, and that they are of simplest form, i.e. contain six or at least five zeros for three dimensions and two or at least one zeros for two dimensions. This fact can be expressed in geometric terms by stating that symmetry directions (Blickrichtungen) are chosen as coordinate axes' (axes of rotation, screw rotation or rotoinversion, normals of reflection or glide planes); cf. Section 2.2.4 and Chapter 9.1 . Shortest translation vectors compatible with these conditions are chosen as basis vectors. In many cases, the conventional vector basis is not a primitive but rather a nonprimitive crystallographic basis, i.e. there are lattice vectors with fractional coefficients. The centring type of the conventional cell and thus the lattice type can be recognized from the first letter of the Hermann–Mauguin symbol.

#### Example

The letter P for (or p for ), taken from primitive', indicates that a primitive basis is being used conventionally for describing the crystal structure and its symmetry operations. In this case, the vector lattice L consists of all vectors with integral coefficients , but contains no other vectors. If the Hermann–Mauguin symbol starts with a C' in or with a c' in , in addition to all such vectors u all vectors also belong to L. The letters A, B, I, F and R are used for the conventional bases of the other types of lattices, cf. Section 1.2.1 .

In a number of cases, the symmetry of the space group determines the conventional vector basis uniquely; in other cases, metrical criteria, e.g. the length of basis vectors, may be used to define a conventional vector basis.

• (ii) The choice of the conventional origin in the space-group tables of this volume has been dealt with by Burzlaff & Zimmermann (1980). In general, the origin is a point of highest site symmetry, i.e. as many symmetry operations as possible leave the origin fixed, and thus have . Special reasons may justify exceptions from this rule, for example for space groups (No. 24), (No. 212), (No. 213), (No. 214) and (No. 220); cf. Section 2.2.7 . If in a centrosymmetric space group a centre of inversion is not a point of highest site symmetry, the space group is described twice, first with the origin in a point of highest site symmetry, and second with the origin in a centre of inversion, e.g. at 222 and at for space group (No. 48); cf. Section 2.2.1 .1 For space groups with low site symmetries, the origin is chosen so as to minimize the number of nonzero coefficients of the , e.g. on a twofold screw axis for space group (No. 4).

A change of the coordinate system, i.e. referring the crystal pattern and its symmetry operations to a new coordinate system, results in new coordinates and new matrices ; cf. Section 5.1.3 .

### 8.3.2. (Wyckoff) positions, site symmetries and crystallographic orbits

| top | pdf |

The concept of positions and their site symmetries is fundamental for the determination and description of crystal structures. Let, for instance, be the space group of a crystal structure with tetrahedral and triangular groups. Then the atoms A and B cannot be located at centres of inversion, as the symmetry of tetrahedra and triangles is incompatible with site symmetry . If the space group is , again the points with site symmetry cannot be the loci of A or B, but points with site symmetries 2, m or 1 can.

The relations between site symmetry' and positions' can be formulated in a rather general way.

Definition: The set of all symmetry operations of a space group that leave a point X invariant forms a finite group, the site-symmetry group of X with respect to .2

With regard to the symmetry operations of a space group , two kinds of points are to be distinguished. A point X is called a point of general position with respect to a space group if there is no symmetry operation of (apart from the identity operation) that leaves X fixed, i.e. if . A point X is called a point of special position with respect to a space group if there is at least one other symmetry operation of , in addition to the identity operation, that leaves X fixed, i.e. if .

The subdivision of the set of all points into two classes, those of general and those of special position with respect to a space group , constitutes only a very coarse classification. A finer classification is obtained as follows.

Definition: A Wyckoff position (for short, position; in German, Punktlage) consists of all points X for which the site-symmetry groups are conjugate subgroups3 of .

For practical purposes, each Wyckoff position of a space group is labelled by a letter which is called the Wyckoff letter (Wyckoff notation in earlier editions of these Tables). Wyckoff positions without variable parameters (e.g. ) and with variable parameters (e.g. ) have to be distinguished.

The number of different Wyckoff positions of each space group is finite, the maximal numbers being nine for plane groups (realized in p2mm) and 27 for space groups (realized in Pmmm).

A finer classification of the points of with respect to , which always results in an infinite number of classes, is the subdivision of all points into sets of symmetrically equivalent points. In the following, these sets will be called crystallographic orbits according to the following definition.

Definition: The set of all points that are symmetrically equivalent to a point X with respect to a space group is called the crystallographic orbit of X with respect to .

#### Example

Described in a conventional coordinate system, the crystallographic orbit of a point X of general position with respect to a plane group p2 consists of the points ; ; ; ; ; ; ; ; ; ; ; etc.

Crystallographic orbits are infinite sets of points due to the infinite number of translations in each space group. Any one of its points may represent the whole crystallographic orbit, i.e. may be the generating point X of a crystallographic orbit.4

Because the site-symmetry groups of different points of the same crystallographic orbit are conjugate subgroups of , a crystallographic orbit consists either of points of general position or of points of special position only. Therefore, one can speak of crystallographic orbits of general position' or general crystallographic orbits and of crystallographic orbits of special position' or special crystallographic orbits with respect to . Because all points of a crystallographic orbit belong to the same Wyckoff position of , one also can speak of Wyckoff positions of crystallographic orbits.5

The points of each general crystallographic orbit of a space group are in a one-to-one correspondence with the symmetry operations of . Starting with the generating point X (to which the identity operation corresponds), to each point of the crystallographic orbit belongs exactly one symmetry operation of such that is the image of X under . This one-to-one correspondence is the reason why the coordinates' listed for the general position in the space-group tables may be interpreted in two different ways, either as the coordinates of the image points of X under or as a short-hand notation for the pairs (W, w) of the symmetry operations of ; cf. Sections 8.1.6 and 11.1.1 . Such a one-to-one correspondence does not exist for the special crystallographic orbits, where each point corresponds to a complete coset of a left coset decomposition of with respect to the site-symmetry group of X. Thus, the data listed for the special positions are to be understood only as the coordinates of the image points of X under .

Space groups with no special crystallographic orbits are called fixed-point-free space groups. The following types of fixed-point-free space groups occur: p1 and pg in ; (No. 1), (No. 4), (No. 7), (No. 9), (No. 19), (No. 29), (No. 33), (No. 76), (No. 78), (No. 144), (No. 145), (No. 169) and (No. 170) in .

Though the classification of the points of space into Wyckoff positions of a space group is unique, the labelling of the Wyckoff positions by Wyckoff letters (Wyckoff notation) is not.

#### Example

In a space group there are eight classes of centres of inversion , represented in the space-group tables by ; ; . The site-symmetry groups within each class are symmetrically equivalent', i.e. they are conjugate subgroups of . The groups of different classes, however, are not symmetrically equivalent' with respect to . Each class is labelled by one of the Wyckoff letters . This letter depends on the choice of origin and on the choice of coordinate axes. Cyclic permutation of the labels of the basis vectors a, b, c, for instance, induces a cyclic permutation of Wyckoff positions b–c–d and e–f–g; origin shift from 0, 0, 0 to the point results in an exchange of Wyckoff letters in the pairs a–d, b–f, c–e and g–h. Even if the coordinate axes are determined by some extra condition, e.g. , there exist no rules for fixing the origin in when describing a crystal structure. The eight classes of centres of inversion of are well established but none of them is inherently distinguished from the others.

The example shows that the different Wyckoff positions of a space group may permute under an isomorphic mapping of onto itself, i.e. under an automorphism of . Accordingly, it is useful to collect into one set all those Wyckoff positions of a space group that may be permuted by automorphisms of . These sets are called Wyckoff sets'. The Wyckoff letters belonging to the different Wyckoff positions of the same Wyckoff set are listed by Koch & Fischer (1975); changes in Wyckoff letters caused by changes of the coordinate system have been listed by Boyle & Lawrenson (1973, 1978).

To introduce Wyckoff sets' more formally, it is advantageous to use the concept of normalizers; cf. Ledermann (1976). The affine normalizer 6 of a space group in the group of all affine mappings is the set of those affine mappings which map onto itself. The space group is a normal subgroup of , itself is a subgroup of . The mappings of which are not symmetry operations of may transfer one Wyckoff position of onto another Wyckoff position.

Definition: Let be the normalizer of a space group in the group of all affine mappings. A Wyckoff set with respect to consists of all points X for which the site-symmetry groups are conjugate subgroups of .

The difference between Wyckoff positions and Wyckoff sets of may be explained as follows. Any Wyckoff position of is transformed onto itself by all elements of , but not necessarily by the elements of the (larger) group . Any Wyckoff set, however, is transformed onto itself even by those elements of which are not contained in .

Remark: A Wyckoff set of is a set of points. Obviously, with each point X it contains all points of the crystallographic orbit of X and all points of the Wyckoff position of X. Accordingly, one can speak not only of Wyckoff sets of points', but also of Wyckoff sets of crystallographic orbits' and Wyckoff sets of Wyckoff positions' of . Wyckoff sets of crystallographic orbits have been used in the definition of lattice complexes (Gitterkomplexe), under the name Konfigurationslage, by Fischer & Koch (1974); cf. Part 14 .

The concepts crystallographic orbit', Wyckoff position' and Wyckoff set' have so far been defined for individual space groups only. It is no problem, but is of little practical interest, to transfer the concept of crystallographic orbit' to space-group types. It would be, on the other hand, of great interest to transfer Wyckoff positions' from individual space groups to space-group types. As mentioned above, however, such a step is not unique. For this reason, the concept of Wyckoff set' has been introduced to replace Wyckoff positions'. Different space groups of the same space-group type have corresponding Wyckoff sets, and one can define types of Wyckoff sets' (consisting of individual Wyckoff sets) in the same way that types of space groups' (consisting of individual space groups) were defined in Section 8.2.2 .

Definition: Let the space groups and belong to the same space-group type. The Wyckoff sets of and of belong to the same type of Wyckoff sets if the affine mappings which transform onto also transform onto .

Types of Wyckoff sets have been used by Fischer & Koch (1974), under the name Klasse von Konfigurationslagen, when defining lattice complexes. There are 1128 types of Wyckoff sets of the 219 (affine) space-group types and 51 types of Wyckoff sets of the 17 plane-group types [Koch & Fischer (1975) and Chapter 14.1 ].

### 8.3.3. Subgroups and supergroups of space groups

| top | pdf |

Relations between crystal structures imply relations between their space groups, which can often be expressed by group–subgroup relations. These group–subgroup relations may be recognized from relations between the lattices and between the point groups of the crystal structures.

#### Example

The crystal structures of silicon, Si, and sphalerite, ZnS, belong to space-group types (No. 227) and (No. 216) with lattice constants and . The structure of sphalerite is obtained from that of silicon by replacing alternately half of the Si atoms by Zn and half by S, and by adjusting the lattice constant. The strong connection between the two crystal structures is reflected in the relation between their space groups: the space group of sphalerite is a subgroup (of index 2) of that of silicon (ignoring the small difference in lattice constants).

Data on sub- and supergroups of the space groups are useful for the discussion of structural relations and phase transitions. It must be kept in mind, however, that group–subgroup relations only describe symmetry relations. It is important, therefore, to ascertain that the consequential relations between the atomic coordinates of the particles of the crystal structures also hold, before a structural relation can be deduced from a symmetry relation.

#### Examples

NaCl and CaF2 belong to the same space-group type (No. 225) and have lattice constants and , respectively. The ions, however, occupy unrelated positions and so the symmetry relation does not express a structural relation. Pyrite, FeS2, and solid carbon dioxide, CO2, belong to the same space-group type (No. 205). They have lattice constants and , respectively, and the particles occupy analogous Wyckoff positions. Nevertheless, the structures of these compounds are not related because the positional parameters of S in FeS2 and of O in CO2 differ so much that the coordinations of corresponding atoms are dissimilar.

To formulate group–subgroup relations some definitions are necessary:

Definitions: A set of symmetry operations of a space group is called a subgroup of if obeys the group conditions, i.e. is a symmetry group. The subgroup is called a proper subgroup of if there are symmetry operations of not contained in . A subgroup of a space group is called a maximal subgroup of if there is no proper subgroup of such that is a proper subgroup of , i.e. .

#### Examples:

Maximal subgroups of a space group P1 with lattice vectors a, b, c are, among others, subgroups P1 for which , , , p prime. If p is not a prime number, e.g. , the subgroup is not maximal, because a proper subgroup exists with , , . again has as a proper subgroup with .

has maximal subgroups , Pc and with the same unit cell, whereas P1 is obviously not a maximal subgroup of .

A three-dimensional space group may have subgroups with no translations (site-symmetry groups; cf. Section 8.3.2), with one- or two-dimensional lattices of translations (line groups, frieze groups, rod groups, plane groups and layer groups), or with a three-dimensional lattice of translations (space groups). The number of subgroups of a space group is always infinite.

In this section, only those subgroups of a space group will be considered which are also space groups. This includes all maximal subgroups because a maximal subgroup of a space group is itself a space group. To simplify the discussion, we suppose the set of all maximal subgroups of every space group to be known. In this case, any subgroup of a given space group may be obtained via a chain of maximal subgroups such that where is a maximal subgroup of of index , with ; for the term index' see below and Section 8.1.6 . There may be many such chains between and . On the other hand, all subgroups of of a given index [i] are obtained if all chains are constructed for which holds.

For example, , , are all possible chains of maximal subgroups for if the original translations are retained completely. The seven subgroups of index [4] with the same translations as the original space group are obtained via the 21 different chains of Fig. 8.3.3.1.

 Figure 8.3.3.1 | top | pdf |Space group with t subgroups of index [2] and [4]. All 21 possible subgroup chains are displayed by lines.

Not only the number of all subgroups but even the number of all maximal subgroups of a given space group is infinite. This infinite number, however, only occurs for a certain kind of subgroup and can be reduced as described below. It is thus useful to consider the different kinds of subgroups of a space group in a way introduced by Hermann (1929).

It should be kept in mind that all group–subgroup relations considered here are relations between individual space groups but they are valid for all space groups of a space-group type, as the following example shows. A particular space group P2 has a subgroup P1 which is obtained from P2 by retaining all translations but eliminating all rotations and combinations of rotations with translations. For every space group of space-group type P2 such a subgroup P1 exists. Thus the relationship exists, in an extended sense, for the two space-group types involved. One can, therefore, list these relationships by means of the symbols of the space-group types.

For every subgroup of a space group , a right coset decomposition' of relative to can be defined as The elements of are such that is contained only in the coset . The integer [i], i.e. the number of cosets, is called the index of in ; cf. the footnote to Section 8.1.6.

The index [i] of a subgroup has a geometric significance. It determines the dilution' of symmetry operations of compared with those of . This dilution can occur in essentially three different ways:

• (i) by reducing the order of the point group, i.e. by eliminating all symmetry operations of some kind. The example mentioned above is of this type.

• (ii) by loss of translations, i.e. by thinning out' the lattice of translations. For the space group P121 mentioned above this may happen in different ways:

 (a) by suppressing all translations of the kind , u, v, w integral (new basis , , ), and, hence, by eliminating half of the twofold axes, or (b1) by , i.e. by thinning out the translations parallel to the twofold axes, or (b2) again by but replacing the twofold rotation axes by twofold screw axes.

• (iii) by combination of (i) and (ii), e.g. by reducing the order of the point group and by thinning out the lattice of translations.

Subgroups of the first kind (i) are called translationengleiche or t subgroups7 because the set of all (pure) translations is retained. In case (ii), the point group and thus the crystal class of the space group is unchanged. These subgroups are called klassengleiche or k subgroups. In the general case (iii), both the translation subgroup of and the point group are changed; the subgroup has lost translations and belongs to a crystal class of lower order.

Obviously the third kind (iii) of subgroups is more difficult to survey than kinds (i) and (ii). Fortunately, a theorem of Hermann states that the maximal subgroups of a space group are of type (i) or (ii).

Theorem of Hermann (1929). A maximal subgroup of a space group is either a t subgroup or a k subgroup of .

According to this theorem, subgroups of kind (iii) can never occur among the maximal subgroups. They can, however, be derived by a stepwise process of linking maximal subgroups of types (i) and (ii), as has been shown by the chains discussed above.

#### 8.3.3.1. Translationengleiche or t subgroups of a space group

| top | pdf |

The point group' of a given space group is a finite group. Hence, the number of subgroups and consequently the number of maximal subgroups of is finite. There exist, therefore, only a finite number of maximal t subgroups of . All maximal t subgroups of every space group are listed in the space-group tables of this volume; cf. Section 2.2.15 . The possible t subgroups were first listed by Hermann (1935); corrections have been reported by Ascher et al. (1969).

#### 8.3.3.2. Klassengleiche or k subgroups of a space group

| top | pdf |

Every space group has an infinite number of maximal k subgroups. For dimensions 1, 2 and 3, however, it can be shown that the number of maximal k subgroups is finite, if subgroups belonging to the same affine space-group type as are excluded. The number of maximal subgroups of belonging to the same affine space-group type as is always infinite. These subgroups are called maximal isomorphic subgroups. In Part 13 isomorphic subgroups are treated in detail. In the space-group tables, only data on the isomorphic subgroups of lowest index are listed. The way in which the isomorphic and non-isomorphic k subgroups are listed in the space-group tables is described in Section 2.2.15 .

Remark: Enantiomorphic space groups have an infinite number of maximal isomorphic subgroups of the same type and an infinite number of maximal isomorphic subgroups of the enantiomorphic type.

#### Example

All k subgroups of a given space group , with basis vectors being any prime number except 3, are maximal isomorphic subgroups. They belong to space-group type if any integer. They belong to the enantiomorphic space-group type if .

Even though in the space-group tables some kinds of maximal subgroups are listed completely whereas others are listed only partly, it must be emphasized that in principle there is no difference in importance between t, non-isomorphic k and isomorphic k sub-groups. Roughly speaking, a group–subgroup relation is strong' if the index [i] of the subgroup is low. All maximal t and maximal non-isomorphic k subgroups have indices less than four in and five in , index four already being rather exceptional. Maximal isomorphic k subgroups of arbitrarily high index exist for every space group.

#### 8.3.3.3. Supergroups

| top | pdf |

Sometimes a space group is known and the possible space groups , of which is a subgroup, are of interest.

Definition: A space group is called a minimal supergroup of a space group if is a maximal subgroup of .

#### Examples

In Fig. 8.3.3.1, the space group is a minimal supergroup of is a minimal supergroup of and P312; etc.

If is a maximal t subgroup of then is a minimal t supergroup of . If is a maximal k subgroup of then is a minimal k supergroup of . Finally, if is a maximal isomorphic subgroup of , then is a minimal isomorphic supergroup of . Data on minimal t and minimal non-isomorphic k supergroups are listed in the space-group tables; cf. Section 2.2.15 . Data on minimal isomorphic supergroups are not listed because they can be derived easily from the corresponding subgroup relations.

The complete data on maximal subgroups of plane and space groups are listed in Volume A1 of International Tables for Crystallography (2004). For each space group, all maximal subgroups of index [2], [3] and [4] are listed individually. The infinitely many maximal isomorphic subgroups are listed as members of a few (infinite) series. The main parameter in these series is the index p, or , where p runs through the infinite number of primes.

### 8.3.4. Sequence of space-group types

| top | pdf |

The sequence of space-group entries in the space-group tables follows that introduced by Schoenflies (1891) and is thus established historically. Within each geometric crystal class, Schoenflies has numbered the space-group types in an obscure way. As early as 1919, Niggli (1919) considered this Schoenflies sequence to be unsatisfactory and suggested that another sequence might be more appropriate. Fedorov (1891) used a different sequence in order to distinguish between symmorphic, hemisymmorphic and asymmorphic space groups.

The basis of the Schoenflies symbols and thus of the Schoenflies listing is the geometric crystal class. For the present Tables, a sequence might have been preferred in which, in addition, space-group types belonging to the same arithmetic crystal class were grouped together. It was decided, however, that the long-established sequence in the earlier editions of International Tables should not be changed.

In Table 8.3.4.1, those geometric crystal classes are listed in which the Schoenflies sequence separates space groups belonging to the same arithmetic crystal class. The space groups are rearranged in such a way that space groups of the same arithmetic crystal class are grouped together. The arithmetic crystal classes are separated by rules spanning the first three columns of the table and the geometric crystal classes are separated by rules spanning the full width of the table. In all cases not listed in Table 8.3.4.1, the Schoenflies sequence, as used in these Tables, does not break up arithmetic crystal classes. Nevertheless, some rearrangement would be desirable in other arithmetic crystal classes too. For example, the symmorphic space group should always be the first entry of each arithmetic crystal class.

 Table 8.3.4.1| top | pdf | Listing of space-group types according to their geometric and arithmetic crystal classes
No.Hermann–Mauguin symbolSchoenflies symbolGeometric crystal class
10
11
13
14
12
15
149 P312 32
151
153
150 P321
152
154
155 R32
156 P3m1 3m
158 P3c1
157 P31m
159 P31c
160 R3m
161 R3c
195 P23 23
198
196 F23
197 I23
199
200
201
205
202
203
204
206
207 P432 432
208
213
212
209 F432
210
211 I432
214
215
218
216
219
217
220

### 8.3.5. Space-group generators

| top | pdf |

In group theory, a set of generators of a group is a set of group elements such that each group element may be obtained as an ordered product of the generators. For space groups of one, two and three dimensions, generators may always be chosen and ordered in such a way that each symmetry operation can be written as the product of powers of h generators . Thus, where the powers are positive or negative integers (including zero).

Description of a group by means of generators has the advantage of compactness. For instance, the 48 symmetry operations in point group can be described by two generators. Different choices of generators are possible. For the present Tables, generators and generating procedures have been chosen such as to make the entries in the blocks General position (cf. Section 2.2.11 ) and Symmetry operations (cf. Section 2.2.9 ) as transparent as possible. Space groups of the same crystal class are generated in the same way (for sequence chosen, see Table 8.3.5.1), and the aim has been to accentuate important subgroups of space groups as much as possible. Accordingly, a process of generation in the form of a composition series' has been adopted, see Ledermann (1976). The generator is defined as the identity operation, represented by (1) x, y, z. , and are the translations with translation vectors a, b and c, respectively. Thus, the coefficients , and may have any integral value. If centring translations exist, they are generated by translations (and in the case of an F lattice) with translation vectors d (and e). For a C lattice, for example, d is given by . The exponents (and ) are restricted to the following values:

 Table 8.3.5.1| top | pdf | Sequence of generators for the crystal classes
 The space-group generators differ from those listed here by their glide or screw components. The generator 1 is omitted, except for crystal class 1. The subscript of a symbol denotes the characteristic direction of that operation, where necessary. The subscripts z, y, 110, , and 111 refer to the directions [001], [010], [110], [], [] and [111], respectively. For mirror reflections m, the direction of m' refers to the normal to the mirror plane. The subscripts may be likewise interpreted as Miller indices of that plane.
Hermann–Mauguin symbol of crystal classGenerators (sequence left to right)
1 1
2 2
m m
222
mm2
mmm
4
422
4mm
3 3
321
(rhombohedral coordinates )
312
3m1
(rhombohedral coordinates )
31m
(rhombohedral coordinates )
6
622
6mm
23
432

Lattice letter A, B, C, I: or 1.

Lattice letter R (hexagonal axes): , 1 or 2.

Lattice letter F: or 1; or 1.

As a consequence, any translation of with translation vector can be obtained as a product where are integers determined by . and are enclosed between parentheses because they are effective only in centred lattices.

The remaining generators generate those symmetry operations that are not translations. They are chosen in such a way that only terms or occur. For further specific rules, see below.

The process of generating the entries of the space-group tables may be demonstrated by the example of Table 8.3.5.2, where denotes the group generated by . For , the next generator has always been taken as soon as , because in this case no new symmetry operation would be generated by . The generating process is terminated when there is no further generator. In the present example, completes the generation: .

 Table 8.3.5.2| top | pdf | Example of a space-group generation (No. 178)
CoordinatesSymmetry operations
(1) ; Identity I
Threefold screw rotation
Threefold screw rotation
Now the space group has been generated
Twofold screw rotation
Sixfold screw rotation
Sixfold screw rotation
Now the space group has been generated
Twofold rotation, direction of axis [110]
Twofold rotation, axis [100]
Twofold rotation, axis [010]
Twofold rotation, axis
Twofold rotation, axis [120]
Twofold rotation, axis [210]

#### 8.3.5.1. Selected order for non-translational generators

| top | pdf |

For the non-translational generators, the following sequence has been adopted:

• (a) In all centrosymmetric space groups, an inversion (if possible at the origin O) has been selected as the last generator.

• (b) Rotations precede symmetry operations of the second kind. In crystal classes and , as an exception, and are generated first in order to take into account the conventional choice of origin in the fixed points of and .

• (c) The non-translational generators of space groups with C, A, B, F, I or R symbols are those of the corresponding space group with a P symbol, if possible. For instance, the generators of are those of and the generators of Ibca are those of Pbca, apart from the centring translations.

Exceptions: I4cm and are generated via P4cc and , because P4cm and do not exist. In space groups with d glides (except ) and also in , the corresponding rotation subgroup has been generated first. The generators of this subgroup are the same as those of the corresponding space group with a lattice symbol P.

#### Example

.

• (d) In some cases, rule (c) could not be followed without breaking rule (a), e.g. in Cmme. In such cases, the generators are chosen to correspond to the Hermann–Mauguin symbol as far as possible. For instance, the generators (apart from centring) of Cmme and Imma are those of Pmmb, which is a non-standard setting of Pmma. (Combination of the generators of Pmma with the C- or I-centring translation results in non-standard settings of Cmme and Imma.)

For the space groups with lattice symbol P, the generation procedure has given the same triplets (except for their sequence) as in IT (1952). In non-P space groups, the triplets listed sometimes differ from those of IT (1952) by a centring translation.

### 8.3.6. Normalizers of space groups

| top | pdf |

The concept of normalizers, well known to mathematicians since the nineteenth century, is finding more and more applications in crystallography. Normalizers play an important role in the general theory of space groups of n-dimensional space. By the so-called Zassenhaus algorithm, one can determine the space-group types of n-dimensional space, provided the arithmetic crystal classes and for each arithmetic crystal class a representative integral -matrix group are known. The crucial step is then to determine for these matrix groups their normalizers in GL(n, Z). This was done for by Brown et al. (1978) in the derivation of the 4894 space-group types. Now, the program package Carat solves this problem and was used, among others, for the enumeration of the 28 927 922 affine space-group types for six-dimensional space, see Table 8.1.1.1 .

Crystallographers have been applying normalizers in their practical work for some time without realizing this fact, and only in the last decades have they become aware of the importance of normalizers. Normalizers first seem to have been derived visually, see Hirshfeld (1968). A derivation of the normalizers of the space groups using matrix methods is found in a paper by Boisen et al. (1990).

For the practical application of normalizers in crystallographic problems, see Part 15 , which also contains detailed lists of normalizers of the point groups and space groups, as well as of space groups with special metrics. In this section, a short elementary introduction to normalizers will be presented.

In Section 8.1.6 , the elements of a space group have been divided into classes with respect to the subgroup of all translations of ; these classes have been called cosets. Coset decomposition' can be performed for any pair group and subgroup '. The subgroup is called normal if the decomposition of into right and left cosets results in the same cosets.

The decomposition of the elements of a group into conjugacy classes' is equally important in crystallography. These classes are defined as follows:

Definition: The elements and of a group are said to be conjugate in , if there exists an element such that .

#### Example

The symmetry group 4mm of a square consists of the symmetry operations 1, 2, 4, , , , and , see Fig. 8.3.6.1. Vertex 1 is left invariant by 1 and , vertex 2 by 1 and . The operations and are conjugate, because 4 holds, as are and , or 4 and . The operations 1 and 2 have no conjugates.

 Figure 8.3.6.1 | top | pdf |Square with symmetry elements' , , , (mirror lines) and ♦ (fourfold rotation point). The vertices are numbered 1, 2, 3 and 4.

As proved in mathematical textbooks, e.g. Ledermann (1976), conjugacy indeed subdivides a group into classes of elements. The unit element 1 always forms a conjugacy class for itself, as does any element that commutes with every other element of the group. For finite groups, the number of elements in a conjugacy class is a factor of the group order. In infinite groups, such as space groups, conjugacy classes may contain an infinite number of elements.

Conjugacy can be transferred from elements to groups. Let be a subgroup of . Then another subgroup of is said to be conjugate to in , if there exists an element , such that . In this way, the set of all subgroups of a group is divided into classes of conjugate subgroups or conjugacy classes of subgroups. Conjugacy classes may contain different numbers of subgroups but, for finite groups, the number of subgroups in each class is always a factor of the order of the group. Conjugacy classes which contain only one subgroup are of special interest; they are called normal subgroups. There are always two trivial normal subgroups of a group : the group itself and the group consisting of the unit element 1 only. For space groups, the group of all translations of the group always forms a normal subgroup of .

In the above-mentioned example of the square, the subgroups and as well as and each form conjugate pairs, whereas the subgroups , , and are normal subgroups.

The characterization of normal subgroups, must obey the condition for all elements , is identical with the one used in Section 8.1.6 . This relation can also be expressed as which means that the right and left cosets coincide. Thus each subgroup of index [2] is normal, because there is only one coset in addition to itself which is then necessarily the right as well as the left coset.

If is not a normal subgroup of , then cannot hold for all , because there is at least one subgroup of which is conjugate to . This situation leads to the introduction of the normalizer of a subgroup of .

Definition: The set of all elements , for which holds, is called the normalizer of in .

The normalizer is always a group and thus a subgroup of which obeys the relation . The symbol means that is a normal subgroup of . The subgroup is normal in if its normalizer coincides with . Otherwise, other subgroups conjugate to exist. To determine the number of conjugate subgroups of , one decomposes into cosets relative to . The elements of each such coset transform into a conjugate subgroup , such that the number of conjugates (including itself) equals the index of in .

#### Examples

 (1) The normalizer of the subgroup , see Fig. 8.3.6.1, consists of the elements ; its index in the full group 4mm of the square is [2]. Therefore, there are two conjugate subgroups and . All operations of the normalizer map the group onto itself and thus describe the symmetry in 4mm of this symmetry group'. (2) Under space-group type (No. 225), four subgroups of type (No. 221) of index [4] are listed; four subgroups of type (No. 224) are similarly listed. Are these subgroups conjugate in the original space group? Clearly, a space group of type cannot be conjugate to one of the different type because there exists no affine mapping transforming one into the other. On the other hand, one verifies that the four subgroups of type are conjugate relative to : the transforming elements are the (centring) translations 000, . Similarly, the four subgroups of type are conjugate in by the same (centring) translations. The normalizers and are the subgroups themselves; their indices in are [4], i.e. the numbers of conjugates are four.

Obviously, it would be impractical to list the normalizer for each type of group–subgroup pair. There are, however, some normalizers of outstanding importance from which, moreover, the normalizers determining the usual conjugacy relations can be obtained easily. Since space groups are groups of motions and space-group types are affine equivalence classes of space groups, cf. Sections 8.1.6 and 8.2.2 , the groups of all motions and of all affine mappings are groups of special significance for any space group. The normalizers of a space group relative to these two groups are considered now. Part 15 contains lists of these normalizers with detailed comments.

The normalizer of a space group in the group of all affine mappings is called the affine normalizer of the space group . The affine normalizers of space groups of the same space-group type are affinely equivalent. One thus can speak of the type of normalizers of a space-group type'. In many cases, these normalizers are either space groups or isomorphic to space groups, but they may also be other groups due to arbitrarily small translations (for polar space groups) and/or due to noncrystallographic point groups (for triclinic and monoclinic space groups).

Affine normalizers are of more theoretical interest. For example, they determine the occurrence of enantiomorphism of space groups, cf. Section 8.2.2 . A space-group type splits into a pair of enantiomorphic space-group types, if and only if its normalizers are contained in , the group of all affine mappings with positive determinant.

The normalizer of a space group in the group of all motions (Euclidean group) is called the Euclidean normalizer of the space group . For all trigonal, tetragonal, hexagonal and cubic space groups, holds. In these cases, as well as in any context in which statements are valid for both normalizers, the abbreviated form is frequently used.

The group of all translations of is the same for both normalizers, and , because any translation is a motion. It can be calculated easily: To be an element of , the translation (I, t) has to satisfy the equation for any operation (W, w) of . This results in or and . From this follows, i.e. must be a lattice translation of . To determine , it is sufficient to apply this equation to the of the generators of .

The conditions for the groups are the same for all space groups of the same arithmetic crystal class, because those space groups are generated by symmetry operations with the same matrix parts, and their lattices belong to the same centring type, if referred to conventional coordinate systems. The other elements of the normalizer are not obtained as easily.

In contrast to , the type of is not a property of the space-group type, as the following example shows. The Euclidean normalizer of a space group P222 is an orthorhombic space group Pmmm if . It is a tetragonal space group if accidentally (or or ), and it is even cubic if accidentally . The listings in Part 15 also contain the normalizers for the case of lattices with accidental symmetries.

### Acknowledgements

Part 8 is more than other parts of this volume the product of the combined efforts of many people. Most members of the IUCr Commission on International Tables made stimulating suggestions. Norman F. M. Henry, Cambridge, Theo Hahn, Aachen, and Aafje Looijenga-Vos, Groningen, have especially to be mentioned for their tireless efforts to find an intelligible presentation. Joachim Neubüser, Aachen, prepared the first draft for part 1 of the Pilot Issue (1972) under the title Mathematical Introduction to Symmetry. His article is the basis of the present text, to which again he made many valuable comments. J. Neubüser also stimulated the applications of normalizers in crystallography, outlined in Section 8.3.6 and Part 15 . L. Laurence Boyle, Canterbury, improved the English style and made constructive remarks.

### References

Ascher, E., Gramlich, V. & Wondratschek, H. (1969). Korrekturen zu den Angaben Untergruppen' in den Raumgruppen der Internationalen Tabellen zur Bestimmung von Kristallstrukturen (1935), Band 1. Acta Cryst. B25, 2154–2156.
Boisen, M. B. Jr, Gibbs, G. V. & Wondratschek, H. (1990). Derivation of the normalizers of the space groups. Acta Cryst. A46, 545–552.
Boyle, L. L. & Lawrenson, J. E. (1973). The origin dependence of the Wyckoff site description of a crystal structure. Acta Cryst. A29, 353–357.
Boyle, L. L. & Lawrenson, J. E. (1978). The dependence of the Wyckoff site description of a crystal structure on the labelling of the axes. Comm. R. Soc. Edinburgh (Phys. Sci.), 1, 169–175.
Brown, H., Bülow, R., Neubüser, J., Wondratschek, H. & Zassenhaus, H. (1978). Crystallographic groups of four-dimensional space. New York: Wiley.
Burzlaff, H. & Zimmermann, H. (1980). On the choice of origins in the description of space groups. Z. Kristallogr. 153, 151–179.
Fedorov, E. S. (1891). The symmetry of regular systems of figures. (In Russian.) [English translation by D. & K. Harker (1971). Symmetry of crystals, pp. 50–131. American Crystallographic Association, Monograph No. 7.]
Fischer, W. & Koch, E. (1974). Eine Definition des Begriffs `Gitterkomplex'. Z. Kristallogr. 139, 268–278.
Fischer, W. & Koch, E. (1978). Limiting forms and comprehensive complexes for crystallographic point groups, rod groups and layer groups. Z. Kristallogr. 147, 255–273.
Hermann, C. (1929). Zur systematischen Strukturtheorie. IV. Untergruppen. Z. Kristallogr. 69, 533–555.
Hermann, C. (1935). Internationale Tabellen zur Bestimmung von Kristallstrukturen, Band 1. Berlin: Borntraeger.
Hirshfeld, F. L. (1968). Symmetry in the generation of trial structures. Acta Cryst. A24, 301–311.
International Tables for Crystallography (2004). Vol. A1, Symmetry relations between space groups, edited by H. Wondratschek & U. Müller. Dordrecht: Kluwer Academic Publishers.
International Tables for X-ray Crystallography (1952). Vol. I. Symmetry groups, edited by N. F. M. Henry & K. Lonsdale. Birmingham: Kynoch Press.
Koch, E. & Fischer, W. (1975). Automorphismengruppen von Raumgruppen und die Zuordnung von Punktlagen zu Konfigurationslagen. Acta Cryst. A31, 88–95.
Ledermann, W. (1976). Introduction to group theory. London: Longman.
Matsumoto, T. & Wondratschek, H. (1979). Possible superlattices of extraordinary orbits in 3-dimensional space. Z. Kristallogr. 150, 181–198.
Niggli, P. (1919). Geometrische Kristallographie des Diskontinuums. Leipzig: Borntraeger. [Reprint: Sändig, Wiesbaden (1973).]
Schoenflies, A. (1891). Krystallsysteme und Krystallstructur. Leipzig: Teubner. [Reprint: Springer, Berlin (1984).]
Sohncke, L. (1879). Entwickelung einer Theorie der Krystallstruktur. Leipzig: Teubner.
Wondratschek, H. (1976). Extraordinary orbits of space groups. Theoretical considerations. Z. Kristallogr. 143, 460–470.
Wondratschek, H. (1980). Crystallographic orbits, lattice complexes, and orbit types. Match, 9, 121–125.