International
Tables for Crystallography Volume A1 Symmetry relations between space groups Edited by Hans Wondratschek and Ulrich Müller © International Union of Crystallography 2011 
International Tables for Crystallography (2011). Vol. A1, ch. 1.2, pp. 724
https://doi.org/10.1107/97809553602060000791 Chapter 1.2. General introduction to the subgroups of space groups^{a}Institut für Kristallographie, Universität, D76128 Karlsruhe, Germany This general introduction deals with the theory of the main subjects of this volume: space groups and their subgroups. After some general remarks, the definitions and the corresponding lemmata of mappings (and their description by matrices) and groups (in particular symmetry groups, their classifications and their subgroups) are given. The different types of subgroups are defined and explained using several examples. The practical use of the abstract group–subgroup relations of space groups is explained and demonstrated using examples of their application to domain structures in Section 1.2.7. The chapter closes with a list of the most important lemmata on group–subgroup relations between space groups (without proofs). 
The performance of simple vector and matrix calculations, as well as elementary operations with groups, are nowadays common practice in crystallography, especially since computers and suitable programs have become widely available. The authors of this volume therefore assume that the reader has at least some practical experience with matrices and groups and their crystallographic applications. The explanations and definitions of the basic terms of linear algebra and group theory in these first sections of this introduction are accordingly short. Rather than replace an elementary textbook, these first sections aim to acquaint the reader with the method of presentation and the terminology that the authors have chosen for the tables and graphs of this volume. The concepts of groups, their subgroups, isomorphism, coset decomposition and conjugacy are considered to be essential for the use of the tables and for their practical application to crystal structures; for a deeper understanding the concept of normalizers is also necessary. Frequently, however, an `intuitive feeling' obtained by practical experience may replace a full comprehension of the mathematical meaning. From Section 1.2.6 onwards, the presentation will be more detailed because the subjects are more specialized (but mostly not more difficult) and are seldom found in textbooks.
A crystal is a finite block of an infinite periodic array of atoms in physical space. The infinite periodic array is called the crystal pattern. The finite block is called the macroscopic crystal.^{1}
Periodicity implies that there are translations which map the crystal pattern onto itself. Geometric mappings have the property that for each point P of the space, and thus of the object, there is a uniquely determined point , the image point. The mapping is reversible if each image point is the image of one point P only.
Translations belong to a special category of mappings which leave all distances in the space invariant (and thus within an object and between objects in the space). Furthermore, a mapping of an object onto itself (German: Deckoperation) is the basis of the concept of geometric symmetry. This is expressed by the following two definitions.
Definition 1.2.2.1.1. A mapping is called a motion, a rigid motion or an isometry if it leaves all distances invariant (and thus all angles, as well as the size and shape of an object). In this volume the term `isometry' is used.
An isometry is a special kind of affine mapping. In an affine mapping, parallel lines are mapped onto parallel lines; lengths and angles may be distorted but quotients of lengths on the same line are preserved. In Section 1.2.2.3, the description of affine mappings is discussed, because this type of description also applies to isometries. Affine mappings are important for the classification of crystallographic symmetries, cf. Section 1.2.5.2.
Instead of `maps the object onto itself', one frequently says `leaves the object invariant (as a whole)'. This does not mean that each point of the object is mapped onto itself; rather, the object is mapped in such a way that an observer cannot distinguish the states of the object before and after the mapping.
Definition 1.2.2.1.3. A symmetry operation of a crystal pattern is called a crystallographic symmetry operation.
The symmetry operations of a macroscopic crystal are also crystallographic symmetry operations, but they belong to another kind of mapping which will be discussed in Section 1.2.5.4.
There are different types of isometries which may be crystallographic symmetry operations. These types are described and discussed in many textbooks of crystallography and in mathematical, physical and chemical textbooks. They are listed here without further treatment. Fixed points are very important for the characterization of isometries.
Definition 1.2.2.1.4. A point P is a fixed point of a mapping if it is mapped onto itself, i.e. the image point is the same as the original point P: .
The set of all fixed points of an isometry may be the whole space, a plane in the space, a straight line, a point, or the set may be empty (no fixed point).
The following kinds of isometries exist:
Symmetry operations of crystal patterns may belong to any of these isometries. The set of all symmetry operations of a crystal pattern has the following properties: performing two (and thus more) symmetry operations one after the other results in another symmetry operation. Moreover, there is the identity operation in this set, i.e. an operation that leaves every point of the space and thus of the crystal pattern fixed. Finally, for any symmetry operation of an object there is an `inverse' symmetry operation by which its effect is reversed. These properties are necessary for the application of group theory, cf. Section 1.2.3.
To describe mappings analytically, one introduces a coordinate system , consisting of three linearly independent (i.e. not coplanar) basis vectors (or ) and an origin O. For the plane (twodimensional space) an origin and two linearly independent (i.e. not parallel) basis vectors (or ) are chosen. Referred to this coordinate system, each point P can be described by three (or two for the plane) coordinates (or ). An object, for example a crystal, can now be described by a continuous or discontinuous function of the coordinates such as the electron density or the coordinates of the centres of the atoms. A mapping can be regarded as an instruction of how to calculate the coordinates of the image point from the coordinates of the original point X.
In contrast to the practice in physics and chemistry, a nonCartesian coordinate system is usually chosen in crystallography. The primary aim of the choice of the crystallographic coordinate system is to describe the crystal pattern and its set of all symmetry operations in a simple way. This aim holds in particular for the infinitely many symmetry translations of the crystal pattern, which form its translation group. Secondary to this aim are equality of the lengths of, and right angles between, the basis vectors.
The vector t belonging to the translation is called a translation vector or a lattice vector. The set of all translation vectors of the crystal pattern is called its vector lattice L. Both the translation group and the vector lattice are useful tools for describing the periodicity of the crystals.
For the description of a vector lattice several kinds of bases are in use. Orthonormal bases are not the most convenient, because the coefficients of the lattice vectors may then be any real number. The coefficients of the lattice vectors are more transparent if the basis vectors themselves are lattice vectors.
Definition 1.2.2.2.1. A basis which consists of lattice vectors of a crystal pattern is called a lattice basis or a crystallographic basis.
Referred to a lattice basis, each lattice vector is a linear combination of the basis vectors with rational coefficients. One can even select special bases such that the coefficients of all lattice vectors are integers.
Definition 1.2.2.2.2. A crystallographic basis is called a primitive basis if every lattice vector has integer coefficients.
A fundamental feature of vector lattices is that for any lattice in a dimension greater than one an infinite number of primitive bases exists. With certain rules, the choice of a primitive basis can be made unique (reduced bases). In practice, however, the conventional bases are not always primitive; the choice of a conventional basis is determined by the matrix parts of the symmetry operations, cf. Section 1.2.5.1.
The instruction for the calculation of the coordinates of from the coordinates of X is simple for an affine mapping and thus for an isometry. The equations arewhere the coefficients and are constant. These equations can be written using the matrix formalism: This matrix equation is usually abbreviated by where
Definition 1.2.2.3.1. The matrix W is called the linear part or matrix part, the column w is the translation part or column part of a mapping.
In equations (1.2.2.1) and (1.2.2.3), the coordinates are mixed with the quantities describing the mapping, designated by the letters and or W and w. Therefore, one prefers to write equation (1.2.2.3) in the formThe symbols () and {} which describe the mapping referred to the chosen coordinate system are called the matrix–column pair and the Seitz symbol.
The formulae for the combination of affine mappings and for the inverse of an affine mapping (regular matrix W) are obtained byFrom , it follows that or
Using matrix–column pairs, this reads andor
One finds from equations (1.2.2.5) and (1.2.2.6) that the linear parts of the matrix–column pairs transform as one would expect:
These relations will be used in Section 1.2.5.4.
For the column parts, equations (1.2.2.5) and (1.2.2.6) are less convenient:
Because of the inconvenience of these relations, it is often preferable to use `augmented' matrices, by which one can describe the combination of affine mappings and the inverse mapping by the equations of the usual matrix multiplication. These matrices are introduced in the next section.
It is natural to combine the matrix part and the column part describing an affine mapping to form a matrix, but such matrices cannot be multiplied by the usual matrix multiplication and cannot be inverted. However, if one supplements the matrix by a fourth row `0 0 0 1', one obtains a square matrix which can be combined with the analogous matrices of other mappings and can be inverted. These matrices are called augmented matrices and are designated by openface letters in this volume:
In order to write equation (1.2.2.3) as with the augmented matrices , the columns and x also have to be extended to the augmented columns and . Equations (1.2.2.5) and (1.2.2.6) then become
The vertical and horizontal lines in the matrix have no mathematical meaning. They are simply a convenience for separating the matrix part from the column part and from the row `0 0 0 1', and could be omitted.
Augmented matrices are very useful when writing down general formulae which then become more transparent and more elegant. However, the matrix–column pair formalism is, in general, advantageous for practical calculations.
For the augmented columns of vector coefficients, see Section 1.2.2.6.
Isometries are special affine mappings, as in Definition 1.2.2.1.1. The matrix W of an isometry has to fulfil conditions which depend on the coordinate basis. These conditions are:
Algorithms for the determination of the kind of isometry from a given matrix–column pair and for the determination of the matrix–column pair for a given isometry can be found in IT A, Part 11 or in Hahn & Wondratschek (1994).
In crystallography, vectors and their coefficients as well as points and their coordinates are used for the description of crystal structures. Vectors represent translation shifts, distance and Patterson vectors, reciprocallattice vectors etc. With respect to a given basis a vector has three coefficients. In contrast to the coordinates of a point, these coefficients do not change if the origin of the coordinate system is shifted. In the usual description by columns, the vector coefficients cannot be distinguished from the point coordinates, but in the augmentedcolumn description the difference becomes visible: the vector from the point P to the point Q has the coefficients , , , . Thus, the column of the coefficients of a vector is not augmented by `1' but by `0'. Therefore, when the point P is mapped onto the point by according to equation (1.2.2.3), then the vector is mapped onto the vector by transforming its coefficients by , because the coefficients are multiplied by the number `0' augmenting the column . Indeed, the distance vector is not changed when the whole space is mapped onto itself by a translation.
Remarks
It is in general advantageous to refer crystallographic objects and their symmetries to the most appropriate coordinate system. The best coordinate system may be different for different steps of the calculations and for different objects which have to be considered simultaneously. Therefore, a change of the origin and/or the basis are frequently necessary when treating crystallographic problems. Here the formulae for the influence of an origin shift and a change of basis on the coordinates, on the matrix–column pairs of mappings and on the vector coefficients are only stated; the equations are derived in detail in IT A Chapters 5.1 and 5.2 , and in Hahn & Wondratschek (1994).
Let a coordinate system be given with a basis and an origin O.^{2} Referred to this coordinate system, the column of coordinates of a point P is x; the matrix and column parts describing a symmetry operation are W and w according to equations (1.2.2.1) to (1.2.2.3), and the column of vector coefficients is v, see Section 1.2.2.6. A new coordinate system may be introduced with the basis and the origin . Referred to the new coordinate system, the column of coordinates of the point P is , the symmetry operation is described by and and the column of vector coefficients is .
Let be the column of coefficients for the vector from the old origin O to the new origin and letbe the matrix of a basis change, i.e. the matrix that relates the new basis to the old basis according to Then the following equations hold: For the columns of vector coefficients v and , the following holds: i.e. an origin shift does not change the vector coefficients.
These equations read in the augmentedmatrix formalism For the difference in the transformation behaviour of point coordinates and vector coefficients, see the remarks at the end of Section 1.2.2.6. A vector v can be regarded as a translation vector; its translation is then described by (I, v), i.e. . It can be shown using equation (1.2.2.13) that the translation and thus the translation vector are not changed under an origin shift, (), because holds. Moreover, under a general coordinate transformation the origin shift is not effective: in equation (1.2.2.13) only remains because of the equality .
Group theory is the proper tool for studying symmetry in science. A group is a set of elements with a law of composition, by which to any two elements a third element is uniquely assigned. The symmetry group of an object is the set of all isometries (rigid motions) which map that object onto itself. If the object is a crystal, the isometries which map it onto itself (and also leave it invariant as a whole) are the crystallographic symmetry operations.
There is a huge amount of literature on group theory and its applications. The book Introduction to Group Theory (Ledermann, 1976; Ledermann & Weir, 1996) is recommended. The book Symmetry of Crystals. Introduction to International Tables for Crystallography, Vol. A by Hahn & Wondratschek (1994) describes a way in which the data of IT A can be interpreted by means of matrix algebra and elementary group theory. It may also help the reader of this volume.
The geometric symmetry of any object is described by a group . The symmetry operations are the group elements, and the set of all symmetry operations fulfils the group postulates. [A `symmetry element' in crystallography is not a group element of a symmetry group but is a combination of a geometric object with that set of symmetry operations which leave the geometric object invariant, e.g. an axis with its threefold rotations or a plane with its glide reflections etc., cf. Flack et al. (2000).] Groups will be designated by uppercase calligraphic script letters , etc. Group elements are represented by lowercase italic sans serif letters etc.
The result of the composition of two elements will be called the product of and and will be written . The first operation is the right factor because the point coordinates or vector coefficients are written as columns on which the matrices of the symmetry operations are applied from the left side.
The law of composition in the group is the successive application of the symmetry operations.
The group postulates are shown to hold for symmetry groups:
The number of elements of a group is called its order . The order of a group may be finite, for example 24 for the symmetry operations of a regular tetrahedron, or infinite, for example for any space group because of its infinite set of translations. If the relation is fulfilled for all pairs of elements of a group , then is called a commutative or an Abelian group.
For groups of higher order, it is usually inappropriate and for groups of infinite order it is impossible to list all elements of a group. The following definition nearly always reduces the set of group elements to be listed explicitly to a small set.
Definition 1.2.3.1.1. A set such that every element of can be obtained by composition of the elements of and their inverses is called a set of generators of . The elements are called generators of .
A group is cyclic if it consists of the unit element and all powers of one element :
If there is an integer number with and n is the smallest number with this property, then the group has the finite order n. Let with be the inverse element of where n is the order of . Because with , the elements of a cyclic group of finite order can all be written as positive powers of the generator . Otherwise, if such an integer n does not exist, the group is of infinite order and the positive powers are different from the negative ones .
In the same way, from any element its cyclic group can be generated even if is not cyclic itself. The order of this group is called the order of the element .
A finite group of small order may be conveniently visualized by its multiplication table, group table or Cayley table. An example is shown in Table 1.2.3.1.

The multiplication tables can be used to define one of the most important relations between two groups, the isomorphism of groups. This can be done by comparing the multiplication tables of the two groups.
Definition 1.2.3.2.1. Two groups are isomorphic if one can arrange the rows and columns of their multiplication tables such that these tables are equal, apart from the names or symbols of the group elements.
Multiplication tables are useful only for groups of small order. To define `isomorphism' for arbitrary groups, one can formulate the relations expressed by the multiplication tables in a more abstract way.
The `same multiplication table' for the groups and means that there is a reversible mapping of the elements and such that holds for any pair of indices j and k. In words:
Definition 1.2.3.2.2. Two groups and are isomorphic if there is a reversible mapping of onto such that for any pair of elements of the image of the product is equal to the product of the images.
Isomorphic groups have the same order. By isomorphism the set of all groups is classified into isomorphism types or isomorphism classes of groups. Such a class is often called an abstract group.
The isomorphism between the space groups and the corresponding matrix groups makes an analytical treatment of crystallographic symmetry possible. Moreover, the isomorphism of different space groups allows one to classify the infinite number of space groups into a finite number of isomorphism types of space groups, which is one of the bases of crystallography, see Section 1.2.5.
Isomorphism provides a very strong relation between groups: the groups are identical in their grouptheoretical properties. One can weaken this relation by omitting the condition of reversibility of the mapping. One then admits that more than one element of the group is mapped onto the same element of . This concept leads to the definition of homomorphism.
Definition 1.2.3.2.3. A mapping of a group onto a group is called homomorphic, and is called a homomorphic image of the group , if for any pair of elements of the image of the product is equal to the product of the images and if any element of is the image of at least one element of . The relation of and is called a homomorphism. More formally: For the mapping onto , holds.
The formulation `mapping onto' implies that each element occurs among the images of the elements at least once.^{3}
The very important concept of homomorphism is discussed further in Lemma 1.2.4.4.3. The crystallographic point groups are homomorphic images of the space groups, see Section 1.2.5.4.
There may be sets of elements that do not constitute the full group but nevertheless fulfil the group postulates for themselves.
Definition 1.2.4.1.1. A subset of elements of a group is called a subgroup of if it fulfils the group postulates with respect to the law of composition of .
Remarks
Definition 1.2.4.1.2. A subgroup is a maximal subgroup if no group exists for which holds. If is a maximal subgroup of , then is a minimal supergroup of .
This definition is very important for the tables of this volume, as only maximal subgroups of space groups are listed. If all maximal subgroups are known for any given space group, then any general subgroup can be obtained by a (finite) chain of maximal subgroups between and , see Section 1.2.6.2. Moreover, the relations between a space group and its maximal subgroups are particularly transparent, cf. Lemma 1.2.8.1.3.
Let be a subgroup of of order . Because is a proper subgroup of there must be elements that are not elements of . Let be one of them. Then the set of elements ^{4} is a subset of elements of with the property that all its elements are different and that the sets and have no element in common. Thus, the set also contains elements of . If there is another element which belongs neither to nor to , one can form another set . All elements of are different and none occurs already in or in . This procedure can be continued until each element belongs to one of these sets. In this way the group can be partitioned, such that each element belongs to exactly one of these sets.
Definition 1.2.4.2.1. The partition just described is called a decomposition ( : ) into left cosets of the group relative to the group . The sets are called left cosets, because the elements are multiplied with the new elements from the lefthand side. The procedure is called a decomposition into right cosets if the elements are multiplied with the new elements from the righthand side. The elements or are called the coset representatives. The number of cosets is called the index of in .
Remarks
From its definition and from the properties of the coset decomposition mentioned above, one immediately obtains the fundamental theorem of Lagrange (for another formulation, see Chapter 1.4 ):
Lemma 1.2.4.2.2. Lagrange's theorem: Let be a group of finite order and a subgroup of of order . Then is a divisor of and the equation holds where is the index of in .
A special situation exists when the left and right coset decompositions of relative to result in the partition of into the same cosets: Subgroups that fulfil equation (1.2.4.1) are called `normal subgroups' according to the following definition:
Definition 1.2.4.2.3. A subgroup is called a normal subgroup or invariant subgroup of , , if equation (1.2.4.1) is fulfilled.
The relation always holds for , i.e. subgroups of index 2 are always normal subgroups. The subgroup contains half of the elements of , whereas the other half of the elements forms `the other' coset. This coset must then be the right as well as the left coset.
In a coset decomposition, the set of all elements of the group is partitioned into cosets which form classes in the mathematical sense of the word, i.e. each element of belongs to exactly one coset.
Another equally important partition of the group into classes of elements arises from the following definition:
Remarks
Not only the individual elements of a group but also the subgroups of can be classified in conjugacy classes.
Definition 1.2.4.3.2. Two subgroups are called conjugate if there is an element such that holds. This relation is often written .
Remarks
Equation (1.2.4.1) can be written Using conjugation, Definition 1.2.4.2.3 can be formulated as
For the following definition, the `product of sets of group elements' will be used:
Definition 1.2.4.4.1. Let be a group and , be two arbitrary sets of its elements which are not necessarily groups themselves. Then the product of and is the set of all products .^{5}
The coset decomposition of a group relative to a normal subgroup has a property which makes it particularly useful for displaying the structure of a group.
Consider the coset decomposition with the cosets and of a group relative to its subgroup . In general the product of two cosets, cf. Definition 1.2.4.4.1, will not be a coset again. However, if and only if is a normal subgroup of , the product of two cosets is always another coset. This means that for the set of all cosets of a normal subgroup there exists a law of composition for which the closure is fulfilled. One can show that the other group postulates are also fulfilled for the cosets and their multiplication if holds: there is a neutral element (which is ), for each coset the coset forms the inverse element and for the coset multiplication the associative law holds.
Definition 1.2.4.4.2. Let . The cosets of the decomposition of the group relative to the normal subgroup form a group with respect to the composition law of coset multiplication. This group is called the factor group . Its order is , i.e. the index of in .
A factor group is not necessarily isomorphic to a subgroup .
Factor groups are indispensable for an understanding of the homomorphism of one group onto the other. The relations between a group and its homomorphic image are very strong and are expressed by the following lemma:
Lemma 1.2.4.4.3. Let be a homomorphic image of the group . Then the set of all elements of that are mapped onto the unit element forms a normal subgroup of . The group is isomorphic to the factor group and the cosets of in are mapped onto the elements of . The normal subgroup is called the kernel of the mapping; it forms the unit element of the factor group . A homomorphic image of exists for any normal subgroup of .
The most important homomorphism in crystallography is the relation between a space group and its homomorphic image, the point group , where the kernel is the subgroup () of all translations of , cf. Section 1.2.5.4.
The concept of the normalizer of a group in a group is very useful for the considerations of the following sections. The length of the conjugacy class of in is determined by this normalizer.
Let and . Then holds because is a group. If , then for any . If is not a normal subgroup of , there may nevertheless be elements for which holds. We consider the set of all elements that have this property.
Definition 1.2.4.5.1. The set of all elements that map the subgroup onto itself by conjugation, , forms a group , called the normalizer of in , where .
Remarks
The set of all symmetry operations of a threedimensional crystal pattern, i.e. its symmetry group, is the space group of this crystal pattern. In a plane, the symmetry group of a twodimensional 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 twodimensional space.
A crystal pattern is a periodic array. This means that there are translations among its symmetry operations. The translations of crystals are small (up to a few hundred ångströ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 ndimensional space is called an ndimensional 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 spacegroup types, cf. Section 1.2.5.3) and other crystallographic items are also known for dimensions n = 4, 5 and 6. For example, the number of affine spacegroup types for n = 6 is 28 927 922 (Plesken & Schulz, 2000). 7052 of these affine spacegroup types split into enantiomorphic pairs of space groups, such that there are 28 934 974 crystallographic spacegroup types (Souvignier, 2003).
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 can 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 nontranslational 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) and Ledermann & Weir (1996). 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 grouptheoretical properties and classifies them into spacegroup types where the space groups of each type have certain properties in common. To get a better overview, one then classifies the spacegroup 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 spacegroup types. The sequence of the spacegroup 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.4 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,^{6} there is exactly one set of diagrams which displays the symmetry of , and belongs to that spacegroup type which is described in this set. From those diagrams the Hermann–Mauguin symbol, abbreviated as HM symbol, the Schoenflies symbol and the spacegroup number are taken.
A rigorous definition is:
Definition 1.2.5.3.1. Two space groups belong to the same affine spacegroup type if and only if they are isomorphic.^{7}
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 spacegroup 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 spacegroup 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 a 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 spacegroup type may be determined. In the subgroup tables both the spacegroup type and the transformation of the coordinate system are listed. One can also use this procedure for the definition of the term `affine spacegroup 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 spacegroup type if an augmented matrix with linear part P, , and column part p exists, for which holds.
The affine spacegroup 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 spacegroup types and 17 planegroup types.
In crystallography one usually distinguishes 230 rather than 219 spacegroup 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 righthanded basis is converted into a lefthanded one, and righthanded and lefthanded screw axes are exchanged. It is a convention in crystallography to always refer the space to a righthanded basis and hence transformations with are not admitted.
Definition 1.2.5.3.4. If the matrix P is restricted by the condition , eleven affine spacegroup types split into two spacegroup types each, one with righthanded and one with lefthanded screw axes, such that the total number of types is 230. These 230 spacegroup types are called crystallographic spacegroup types. The eleven splitting spacegroup types are called pairs of enantiomorphic spacegroup types and the space groups themselves are enantiomorphic pairs of space groups.
The space groups of an enantiomorphic pair belong to different crystallographic spacegroup 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 spacegroup 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 spacegroup 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 spacegroup types'. Symmorphic space groups can be recognized easily by their HM symbols: they contain an unmodified pointgroup symbol: rotations, reflections, inversions and rotoinversions but no screw rotations or glide reflections. There are 73 symmorphic spacegroup 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 `spacegroup type'. This is very often possible and is also done in this volume in order to make the explanations less longwinded. 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 spacegroup 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 symmetryequivalent 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 symmetryequivalent vectors, for example 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.^{8}
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.8.2 .
All point groups in the following sections are crystallographic point groups. The maximum order of a crystallographic point group is 48 in threedimensional space and 12 in twodimensional space.
As with space groups, there are also an infinite number of crystallographic point groups which may be classified into a finite number of pointgroup 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 pointgroup 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 pointgroup type or to the same crystal class of point groups if there is a real nonsingular 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 pointgroup symbols belong to the pair and or to the pair and .
There are 32 classes of threedimensional crystallographic point groups and 32 crystal classes of space groups, and ten classes of twodimensional crystallographic point groups and ten crystal classes of plane groups.
The distribution into crystal classes classifies spacegroup 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 twodimensional 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:^{9}
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 higherdimensional spaces, see Brown et al. (1978) or IT A, Chapter 8.2 ]:
Definition 1.2.5.5.2. In threedimensional 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 .
Group–subgroup relations form an essential part of the applications of spacegroup theory. Let be a space group and a proper subgroup of . All maximal subgroups of any space group are listed in Part 2 of this volume. There are different kinds of subgroups which are defined and described in this section. The tables and graphs of this volume are arranged according to these kinds of subgroups. Moreover, for the different kinds of subgroups different data are listed in the subgroup tables and graphs.
Let and be space groups of the spacegroup types and . The group–subgroup relation is a relation between the particular space groups and but it can be generalized to the spacegroup types and . Certainly, not every space group of the type will be a subgroup of every space group of the type . Nevertheless, the relation holds for any space group of and in the following sense: If holds for the pair and , then for any space group of the type a space group of the type exists for which the corresponding relation holds. Conversely, for any space group of the type a space group of the type exists for which the corresponding relation holds. Only this property of the group–subgroup relations made it possible to compile and arrange the tables of this volume so that they are as concise as those of IT A.
`Maximal subgroups' have been introduced by Definition 1.2.4.1.2. The importance of this definition will become apparent in the corollary to Hermann's theorem, cf. Lemma 1.2.8.1.3. In this volume only the maximal subgroups are listed for any plane and any space group. A maximal subgroup of a plane group is a plane group, a maximal subgroup of a space group is a space group. On the other hand, a minimal supergroup of a plane group or of a space group is not necessarily a plane group or a space group, cf. Section 2.1.6 .
If the maximal subgroups are known for each space group, then each nonmaximal subgroup of a space group with finite index can in principle be obtained from the data on maximal subgroups. A nonmaximal subgroup of finite index [i] is connected with the original group through a chain , where each group is a maximal subgroup of , with the index , . The number k is finite and the relation holds, i.e. the total index [i] is the product of the indices .
According to Hermann (1929), the following types of subgroups of space groups have to be distinguished:
Definition 1.2.6.2.1. A subgroup of a space group is called a translationengleiche subgroup or a tsubgroup of if the set of translations is retained, i.e. , but the number of cosets of , i.e. the order P of the point group , is reduced such that .^{10}
The order of a crystallographic point group of the space group is always finite. Therefore, the number of the subgroups of is also always finite and these subgroups and their relations are displayed in well known graphs, cf. Chapter 2.4 and Section 2.1.8 of this volume. Because of the isomorphism between the point group and the factor group , the subgroup graph for the point group is the same as that for the tsubgroups of , only the labels of the groups are different. For deviations between the pointgroup graphs and the actual spacegroup graphs of Chapter 2.4 , cf. Section 2.1.8.2 .
Example 1.2.6.2.2
Consider a space group of type referred to a conventional coordinate system. The translation subgroup consists of all translations with translation vectors , where run through all integer numbers. The coset decomposition of results in the four cosets (), , and , where the right operations are a twofold rotation around the rotation axis passing through the origin, a reflection through a plane containing the origin and an inversion with the inversion point at the origin, respectively. The three combinations , and each form a translationengleiche maximal subgroup of of index 2 with the spacegroup symbols , and , respectively.
Definition 1.2.6.2.3. A subgroup of a space group is called a klassengleiche subgroup or a ksubgroup if the set () of all translations of is reduced to but all linear parts of are retained. Then the number of cosets of the decompositions and is the same, i.e. . In other words: the order of the point group is the same as that of . See also footnote 10.
For a klassengleiche subgroup , the cosets of the factor group are smaller than those of . Because () is still infinite, the number of elements of each coset is infinite but the index is finite. The number of ksubgroups of is always infinite.
Example 1.2.6.2.4
Consider a space group of the type , referred to a conventional coordinate system. The set of all translations can be split into the set of all translations with integer coefficients u, v and w and the set of all translations for which the coefficients u and v are fractional. The set forms a group; the set is the other coset in the decomposition and does not form a group. Let be the `centring translation' with the translation vector . Then can be written . Let mean a twofold rotation around the rotation axis through the origin. There are altogether four cosets of the decomposition (), which can be written now as , , and . The union forms the translationengleiche maximal subgroup (conventional setting ) of of index 2. The union forms the klassengleiche maximal subgroup of of index 2. The union also forms a klassengleiche maximal subgroup of index 2. Its HM symbol is , and the twofold rotations 2 of the point group 2 are realized by screw rotations in this subgroup because () is a screw rotation with its screw axis running parallel to the b axis through the point . There are in fact these two ksubgroups of of index 2 which have the group in common. In the subgroup table of both are listed under the heading `Loss of centring translations' because the conventional unit cell is retained while only the centring translations have disappeared. (Four additional klassengleiche maximal subgroups of with index 2 are found under the heading `Enlarged unit cell'.)
The group of type is a nonmaximal subgroup of of index 4.
Definition 1.2.6.2.5. A klassengleiche or ksubgroup is called isomorphic or an isomorphic subgroup if it belongs to the same affine spacegroup type (isomorphism type) as . If a subgroup is not isomorphic, it is sometimes called nonisomorphic.
Isomorphic subgroups are special ksubgroups. The importance of the distinction between ksubgroups in general and isomorphic subgroups in particular stems from the fact that the number of maximal nonisomorphic ksubgroups of any space group is finite, whereas the number of maximal isomorphic subgroups is always infinite, see Section 1.2.8.
Example 1.2.6.2.6
Consider a space group of type referred to a conventional coordinate system. The translation subgroup consists of all translations with translation vectors , where and w run through all integer numbers. There is an inversion with the inversion point at the origin and also an infinite number of other inversions, generated by the combinations of with all translations of .
We consider the subgroup of all translations with an even coefficient u and arbitrary integers v and w as well as the coset decomposition . Let be the translation with the translation vector a. There are four cosets: , , and . The union forms the translationengleiche maximal subgroup of index 2. The union forms an isomorphic maximal subgroup of index 2, as does the union . There are thus two maximal isomorphic subgroups of index 2 which are obtained by doubling the a lattice parameter. There are altogether 14 isomorphic subgroups of index 2 for any space group of type which are obtained by seven different cell enlargements.
If belongs to a pair of enantiomorphic spacegroup types, then the isomorphic subgroups of may belong to different crystallographic spacegroup types with different HM symbols and different spacegroup numbers. In this case, an infinite number of subgroups belong to the crystallographic spacegroup type of and another infinite number belong to the enantiomorphic spacegroup type.
Example 1.2.6.2.7
Space group , No. 76, has for any prime number an isomorphic maximal subgroup of index p with the lattice parameters . This is an infinite number of subgroups because there is an infinite number of primes. The subgroups belong to the spacegroup type if ; they belong to the type if .
Definition 1.2.6.2.8. A subgroup of a space group is called general or a general subgroup if it is neither a translationengleiche nor a klassengleiche subgroup. It has lost translations as well as linear parts, i.e. pointgroup symmetry.
Example 1.2.6.2.9
The subgroup in Example 1.2.6.2.6 has lost all inversions of the original space group as well as all translations with odd u. It is a general subgroup of the space group of index 4.
In Section 1.2.4.5, the normalizer of a subgroup in the group was defined. The equation holds, i.e. is a normal subgroup of . The normalizer , by its index in , determines the number of subgroups that are conjugate in the group , cf. Remarks (2) and (3) below Definition 1.2.4.5.1.
The group–subgroup relations between space groups become more transparent if one looks at them from a more general point of view. Space groups are part of the general theory of mappings. Particular groups are the affine group of all reversible affine mappings, the Euclidean group of all isometries, the translation group of all translations and the orthogonal group of all orthogonal mappings.
Connected with any particular space group are its group of translations and its point group . In addition, the normalizers of in the affine group and in the Euclidean group are useful. They are listed in Section 15.2.1 of IT A. Although consisting of isometries only, is not necessarily a space group, see the second paragraph of Example 1.2.7.3.1.
For the group–subgroup pairs the following relations hold:
The subgroup may be a translationengleiche or a klassengleiche or a general subgroup of . In any case, the normalizer determines the length of the conjugacy class of , but it is not feasible to list for each group–subgroup pair its normalizer . Indeed, it is only necessary to list for any space group its normalizer in the Euclidean group of all isometries, as is done in IT A, Section 15.2.1 . From such a list the normalizers for the group–subgroup pairs can be obtained easily, because for any chain of space groups , the relations and hold. The normalizer consists consequently of all those isometries of that are also elements of , i.e. that belong to the intersection , cf. the examples of Section 1.2.7.^{11}
The isomorphism type of the Euclidean normalizer may depend on the lattice parameters of the space group (specialized Euclidean normalizer). For example, if the lattice of the space group of a triclinic crystal is accidentally monoclinic at a certain temperature and pressure or for a certain composition in a continuous solidsolution series, then the Euclidean normalizer of this space group belongs to the spacegroup types or , otherwise it belongs to . Such a specialized Euclidean normalizer (here or ) may be distinguished from the typical Euclidean normalizer (here ), for which the lattice of is not more symmetric than is required by the symmetry of . The specialized Euclidean normalizers were first listed in the 5th edition of IT A (2005), Section 15.2.1 .
In this section, the basic grouptheoretical aspects of this chapter are exemplified using the topic of domain structures (transformation twins). Domain structures result from a displacive or order–disorder phase transition. A homogeneous single crystal phase A (parent or prototypic phase) is transformed to a crystalline phase B (daughter phase, distorted phase). In most cases phase B is inhomogeneous, consisting of homogeneous regions which are called domains.
Definition 1.2.7.1.1. A connected homogeneous part of a domain structure or of a twinned crystal of phase B is called a domain. Each domain is a single crystal. The part of space that is occupied by a domain is the region of that domain.
The space groups of phase B are conjugate subgroups of the space group of phase A, . The number of domains is not limited; they differ in their locations in space, in their orientations, in their sizes, in their shapes and in their space groups which, however, all belong to the same spacegroup type . The boundaries between the domains, called the domain walls, are assumed to be (infinitely) thin.
A deeper discussion of domain structures or transformation twins and their properties needs a much more detailed treatment, as is given in Volume D of International Tables for Crystallography (2003) (abbreviated as IT D) Part 3, by Janovec, Hahn & Klapper (Chapter 3.2 ), by Hahn & Klapper (Chapter 3.3 ) and by Janovec & Přívratská (Chapter 3.4 ) with more than 400 references. Domains are also considered in Section 1.6.6 of this volume.
In this section, nonferroelastic phase transitions are treated without any special assumption as well as ferroelastic phase transitions under the simplifying parent clamping approximation, abbreviated PCA, introduced by Janovec et al. (1989), see also IT D, Section 3.4.2.5 . A transition is nonferroelastic if the strain tensors (metric tensors) of the lowsymmetry phase B have the same independent components as the strain tensor of the phase A.^{12} There are thus no spontaneous strain components which distort the lattices of the domains. In a ferroelastic phase transition the strain tensors of phase B have more independent components than the strain tensor of phase A. The additional strain components cause lattice strain. By the PCA the lattice parameters of phase B at the transition are adapted to those of phase A, i.e. to the lattice symmetry of phase A. Therefore, under the PCA the ferroelastic phases display the same behaviour as the nonferroelastic phases.
If in this section ferroelastic phase transitions are considered, the PCA is assumed to be applied.
Under a nonferroelastic phase transition or under the assumption of the PCA, the translations of the constituents of the phase B are translations of phase A and the space groups of B are subgroups of the space group of A, .
Under this supposition the domain structure formed may exhibit different chiralities and/or polarities of its domains with different spatial orientations of their symmetry elements. Nevertheless, each domain has the same specific energy and the lattice of each domain is part of the lattice of the parent structure A with space group .
The description of domain structures by their crystal structures is called the microscopic description, IT D, Section 3.4.2.1 . In the continuum description, the crystals are treated as anisotropic continua, IT D, Section 3.4.2.1 . The role of the space groups is then taken over by the point groups of the domains. The continuum description is used when one is essentially interested in the macroscopic physical properties of the domain structure.
Different kinds of nomenclature are used in the discussion of domain structures. The basic concepts of domain and domain state are established in IT D, Section 3.4.2.1 ; the terms symmetry state and directional state are newly introduced here in the context of domain structures. All these concepts classify the domains and will be defined in the next section and applied in different examples of phase transitions in Section 1.2.7.3.
In order to describe what happens in a phase transition of the kind considered, a few notions are useful.
If the domains of phase B have been formed from a single crystal of phase A, then they belong to a finite (small) number of domain states with space groups . The domain states have well defined relations to the original crystal of phase A and its space group . In order to describe these relations, the notion of crystal pattern is used. Any perfect (ideal) crystal is a finite block of the corresponding infinite arrangement, the symmetry of which is a space group and thus contains translations. Here, this (infinite) periodic object is called a crystal pattern, cf. Section 1.2.2.1. Each domain belongs to a crystal pattern.
Definition 1.2.7.2.1. The set of all domains which belong to the same crystal pattern forms a domain state . The domains of one domain state occupy different regions of space and are part of the same crystal pattern: to each domain state belongs a crystal pattern.
From the viewpoint of symmetry, different domains of the same domain state cannot be distinguished. The following considerations concern domain states and thus indirectly their constituents, the domains.
The number of domain states that may be observed in the distorted phase B is limited and determined by the space groups and . The number of domains that belong to the same domain state is not limited. The diversity of the domains and their shapes is due to mechanical stresses, defects, electrical charges and nucleation phenomena, which strongly influence the kinetics of the phase transition; see, for example, Fig. 3.4.1.1 in IT D.
A trivial domain structure is formed when phase B consists of one domain only, i.e. when it forms a singledomain structure. This is possible, for example, in nanocrystals (Chen et al., 1997) and in particular under an external electric field or under external stress, and is stable under zero field and zero stress (detwinning). For a phase transition of the type considered, the different domain states have the same a priori probability of appearing in the distorted phase. In reality not all of them may be observed and/or their relative frequencies and sizes may be rather different.
In order to calculate the number of possible domain states, the space group will be decomposed into cosets relative to its subgroup , which is the space group of the domain state ,
The elements of are the coset representatives. The elements of map the domain state onto itself, , . The elements of the other cosets map onto the other domain states, for example, .^{13}
It follows:
Having determined the number of domain states, we turn to their space groups, i.e. to the space groups of their crystal patterns.
From for any , written as , and or , we conclude that or .
This means: the space group leaves the domain state invariant and is a subgroup of which is conjugate to for any value of .
For the classification of the domain states according to their space groups we now introduce the term symmetry state.
Definition 1.2.7.2.3. A symmetry state is a set of all domain states (crystal patterns) the space groups of which are identical.
Domains of the same domain state always belong to the same symmetry state. Domains of different domain states may or may not belong to the same symmetry state. The number of symmetry states is determined by the normalizer of in .
Let be the normalizer of the space group in the space group . Then with the indices and with . By Lemma 1.2.7.2.2 the number of domain states is determined. For the number of symmetry states the following lemma holds:
Lemma 1.2.7.2.4. The number of symmetry states for the transition with space groups and is . To each symmetry state there belong domain states, i.e. , cf. IT D, Section 3.4.2.4.1 .
In a group–subgroup relation such as that between and , has in general lost translations as well as nontranslational symmetry operations. Thus, for the translation subgroups (the lattices) holds, and for the point groups holds. Then a uniquely determined space group exists, called Hermann's group, such that has the translations of and the point group of , IT D, Example 3.2.3.32 . The group can thus be characterized as that translationengleiche subgroup of which is simultaneously a klassengleiche supergroup of . For general subgroups , for translationengleiche subgroups and for klassengleiche subgroups holds.
For the corresponding indices one finds by coset decomposition the following lemma, see IT D, equation (3.2.3.91) .
Lemma 1.2.7.2.5. The index of in can be factorized into the pointgroup part and the lattice part : .
In the continuum description the lattices are ignored and only the relation between the point groups is considered. Because is a translationengleiche subgroup of , the index of in is the same as the index of the point group of in the point group of .
In many cases one is only interested in the orientation of the domain states of a domain structure in the space. These orientations are determined by the crystal patterns and may be taken also from the values of the components of the property tensors of the domain states. A classification of the domain states according to their orientations into classes which shall be called directional states may be achieved in the following way.
Definition 1.2.7.2.6. A directional state is a set of all domain states that are parallel to each other.
Parallel domain states (crystal patterns) have space groups with the same point group and the same lattice; they are distinguished only by the locations of the conventional origins. If and are parallel, then the coset representative is a translation and and are klassengleiche subgroups of . Both subgroups have also the same translations because a translation commutes with all translations and thus leaves invariant, see Examples 1.2.7.3.2 and 1.2.7.3.3.
To determine the number of directional states, we consider the coset decomposition of relative to Hermann's group . Each coset of the decomposition maps the domain state onto a domain state with another directional state which results in the following lemma:
Lemma 1.2.7.2.7. The number of directional states in the transition with space groups and is , i.e. the index of in .
The number of directional states does not depend on the type of description, whether microscopic or continuum, and is thus the same for both. Therefore, the microscopic description of the directional state may form a bridge between both kinds of description.
The terms just defined shall be explained in a few examples. In Example 1.2.7.3.1 a translationengleiche transition is considered; i.e. is a translationengleiche subgroup of . Because , the relation between and is reflected by the relation between the space groups and and the results of the microscopic and continuum description correspond to each other.
Example 1.2.7.3.1
Perovskite BaTiO_{3} exhibits a ferroelastic and ferroelectric phase transition from phase A with the cubic space group , No. 221, to phase with tetragonal space groups of type , No. 99. Several aspects of this transition are discussed in IT D. Let be one of the domain states of phase B. Because the index , there are six domain states, forming three pairs of domain states which point with their tetragonal c axes along the cubic x, y and z axes of . Each pair consists of two antiparallel domain states of opposite polarization (ferroelectric domains), related by, for example, the symmetry plane perpendicular to the symmetry axes 4.
The six domain states also form six directional states because (antiparallel domain states belong to different directional states).
To find the space groups of the domain states, the normalizers have to be determined. For the perovskite transition, the normalizer can be obtained from the Euclidean normalizer of in Table 15.2.1.4 of IT A, which is listed as . This Euclidean normalizer has continuous translations along the z direction (indicated by the lattice part of the HM symbol) and is thus not a space group. However, all additional translations of are not elements of the space group , and = = = is a subgroup of with index 3 and with the lattice of due to the PCA. There are thus three symmetry states, i.e. three subgroups of the type with their fourfold axes directed along the z, x and y directions of the cubic space group . Two domain states (with opposite polar axes) belong to each of the three subgroups of type .
In Example 1.2.7.3.1, a phase transition was discussed which involves only translationengleiche group–subgroup relations and, hence, only directional relations between the domain states occur. Each domain state forms its own directional state. The following two examples treat klassengleiche transitions, i.e. is a klassengleiche subgroup of . Then and there is only one directional state: a translational domain structure, also called translation twin, is formed.
The domain states of a translational domain structure differ in the origins of their space groups because of the loss of translations of the parent phase in the phase transition.
Example 1.2.7.3.2
Let , No. 225, with lattice parameter a and , No. 221, with the same lattice parameter a. The relation is klassengleich of index 4 and is found between the disordered and ordered modifications of the alloy AuCu_{3}. In the disordered state, one Au and three Cu atoms occupy the positions of a cubic F lattice at random; in the ordered compound the Au atoms occupy the positions of a cubic P lattice whereas the Cu atoms occupy the centres of all faces of this cube. According to IT A, Table 15.2.1.4 , the Euclidean normalizer of is with lattice parameter a. The additional Icentring translations of are not translations of and thus . There are four domain states, each one with its own distinct space group , and symmetry state. The shifts of the conventional origins of relative to the origin of are ; ; ; and . These shifts do not show up in the macroscopic properties of the domains but in the mismatch at the boundaries (antiphase boundaries) where different domains (antiphase domains) meet. This may be observed, for example, by highresolution transmission electron microscopy (HRTEM), IT D, Section 3.3.10.6 .
In the next example there are two domain states and both belong to the same space group, i.e. to the same symmetry state.
Example 1.2.7.3.3
There is an order–disorder transition of the alloy βbrass, CuZn. In the disordered state the Cu and Zn atoms occupy at random the positions of a cubic I lattice with space group , No. 229. In the ordered state, both kinds of atoms form a cubic primitive lattice P each, and one kind of atom occupies the centres of the cubes of the other, as in the CsCl crystal structure. Its space group is , No. 221, which is a subgroup of index [2] of with the same cubic lattice parameter a. There are two domain states with their crystal structures shifted relative to each other by . The space group is a normal subgroup of and both domain states belong to the same symmetry state.
Up to now, only examples with translationengleiche or klassengleiche transitions have been considered. Now we turn to the domain structure of a general transition, where is a general subgroup of . General subgroups are never maximal subgroups and are thus not listed in this volume, but have to be derived from the maximal subgroups of each single step of the group–subgroup chain between and . In the following Example 1.2.7.3.4, the chain has two steps.
Example 1.2.7.3.4
βGadolinium molybdate, Gd_{2}(MoO_{4})_{3}, is ferroelectric and ferroelastic. It was treated as an example from different points of view in IT D by Tolédano (Section 3.1.2.5.2 ) and by Janovec & Přívratská (Example 3.4.2.6 ). The hightemperature phase A has space group , No. 113, and basis vectors a, b and c. A phase transition to a lowtemperature phase B occurs with spacegroup type , No. 32, basis vectors , and . In addition to the reduction of the pointgroup symmetry the primitive unit cell is doubled. The PCA will be applied because the transition from the tetragonal to the orthorhombic crystal family would without the PCA allow for the lattice parameters. The index of in is such that there are four domain states. These relations are displayed in Fig. 1.2.7.1.

Group–subgroup relations between the high (HT) and low temperature (LT) forms of gadolinium molybdate (Bärnighausen tree as explained in Section 1.6.3 ). 
To calculate the number of space groups , i.e. the number of symmetry states, one determines the normalizer of in . From IT A, Table 15.2.1.3 , one finds for the Euclidean normalizer of under the PCA, which includes the condition . is a supergroup of . Thus, and is a normal subgroup. Therefore, under the PCA all four domain states belong to one space group , i.e. there is one symmetry state. Indeed, the tables of Volume A1 list only one subgroup of type under and only one subgroup under with in both cases. Hermann's group , is of spacegroup type with the point group of and with the lattice of . Because , there are two directional states which belong to the same space group. The directional state of is obtained from that of by, for example, the (lost) operation of : the basis vector a of is parallel to b of , b of is parallel to a of and c of is antiparallel to c of . The other factor of 2 is caused by the loss of the centring translations of , . Therefore, the domain state is parallel to but its origin is shifted with respect to that of by a lost translation, for example, by of , which is in the basis , of . The same holds for the domain state relative to .
There are several lemmata on subgroups of space groups which may help in getting an insight into the laws governing group–subgroup relations of plane and space groups. They were also used for the derivation and the checking of the tables of Part 2 . These lemmata are proved or at least stated and explained in Chapter 1.4 . They are repeated here as statements, separated from their mathematical background, and are formulated for the threedimensional space groups. They are valid by analogy for the (twodimensional) plane groups.
Lemma 1.2.8.1.1. A subgroup of a space group is a space group again, if and only if the index is finite.
In this volume, only subgroups of finite index i are listed. However, the index i is not restricted, i.e. there is no number I with the property for any i. Subgroups with infinite index are considered in International Tables for Crystallography, Volume E (2002).
Lemma 1.2.8.1.2. Hermann's theorem. For any group–subgroup chain between space groups there exists a uniquely defined space group with , where is a translationengleiche subgroup of and is a klassengleiche subgroup of .
The decisive point is that any group–subgroup chain between space groups can be split into a translationengleiche subgroup chain between the space groups and and a klassengleiche subgroup chain between the space groups and .
It may happen that either or holds. In particular, one of these equations must hold if is a maximal subgroup of .
Lemma 1.2.8.1.3. (Corollary to Hermann's theorem.) A maximal subgroup of a space group is either a translationengleiche subgroup or a klassengleiche subgroup, never a general subgroup.
The following lemma holds for space groups but not for arbitrary groups of infinite order.
Lemma 1.2.8.1.4. For any space group, the number of subgroups with a given finite index i is finite.
This number of subgroups can be further specified, see Chapter 1.4 . Although for each index i the number of subgroups is finite, the number of all subgroups with finite index is infinite because there is no upper limit for the number i.
Even the set of all maximal subgroups of finite index is not finite, as can be seen from the following lemma.
Lemma 1.2.8.2.1. The index i of a maximal subgroup of a space group is always of the form , where p is a prime number and n = 1 or 2 for plane groups and n = 1, 2 or 3 for space groups.
This lemma means that a subgroup of, say, index 6 cannot be maximal. Moreover, because of the infinite number of primes, the set of all maximal subgroups of a given space group cannot be finite.
An index of occurs for isomorphic subgroups of tetragonal space groups when the basis vectors are enlarged to pa, pb; for trigonal and hexagonal space groups, the enlargement pa, pb is allowed for p = 2 and for all or part of the primes p > 3. An index of occurs for and only for isomorphic subgroups of cubic space groups with cell enlargements of pa, pb, pc ().
There are even stronger restrictions for maximal nonisomorphic subgroups.
Lemma 1.2.8.2.2. The index of a maximal nonisomorphic subgroup of a plane group is 2 or 3; for a space group the index is 2, 3 or 4.
This lemma can be specified further:
Lemma 1.2.8.2.3. The index of a maximal nonisomorphic subgroup is always 2 for oblique, rectangular and square plane groups and for triclinic, monoclinic, orthorhombic and tetragonal space groups . The index is 2 or 3 for hexagonal plane groups and for trigonal and hexagonal space groups . The index is 2, 3 or 4 for cubic space groups .
There are also lemmata for the number of subgroups of a certain index. The most important are:
Lemma 1.2.8.2.4. The number of subgroups of index 2 is with for space groups and for plane groups. The number of translationengleiche subgroups of index 2 is with for space groups and for plane groups.
Examples are:
subgroups of index 2 for , No. 13, and , No. 196;
subgroup of index 2 for , No. 14, and , No. 143; ;
subgroups of index 2 for , No. 6, and , No. 2;
subgroups of index 2 for , No. 47.
Lemma 1.2.8.2.5. The number of isomorphic subgroups of each space group is infinite and this applies even to the number of maximal isomorphic subgroups.
Nevertheless, their listing is possible in the form of infinite series. The series are specified by parameters.
Lemma 1.2.8.2.6. For each space group, each maximal isomorphic subgroup can be listed as a member of one of at most four series of maximal isomorphic subgroups. Each member is specified by a set of parameters.
The series of maximal isomorphic subgroups are discussed in Section 2.1.5 .
References
Brown, H., Bülow, R., Neubüser, J., Wondratschek, H. & Zassenhaus, H. (1978). Crystallographic Groups of Fourdimensional Space. New York: John Wiley & Sons.Chen, Ch.Ch., Herhold, A. B., Johnson, C. S. & Alivisatos, A. P. (1997). Size dependence of structural metastability in semiconductor nanocrystals. Science, 276, 398–401.
Flack, H. D., Wondratschek, H., Hahn, Th. & Abrahams, S. C. (2000). Symmetry elements in space groups and point groups. Addenda to two IUCr reports on the nomenclature of symmetry. Acta Cryst. A56, 96–98.
Hahn, Th. & Wondratschek, H. (1994). Symmetry of Crystals. Introduction to International Tables for Crystallography, Vol. A. Sofia: Heron Press.
Hermann, C. (1929). Zur systematischen Strukturtheorie. IV. Untergruppen. Z. Kristallogr. 69, 533–555.
International Tables for Crystallography (2002). Vol. E, Subperiodic Groups, edited by V. Kopský & D. B. Litvin. Dordrecht: Kluwer Academic Publishers.
International Tables for Crystallography (2003). Vol. D, Physical Properties of Crystals, edited by A. Authier. Dordrecht: Kluwer Academic Publishers.
International Tables for Crystallography (2005). Vol. A, SpaceGroup Symmetry, edited by Th. Hahn, 5th ed. Heidelberg: Springer.
Janovec, V., Schranz, W., Warhanek, H. & Zikmund, Z. (1989). Symmetry analysis of domain structure in KSCN crystals. Ferroelectrics, 98, 171–189.
Ledermann, W. (1976). Introduction to Group Theory. London: Longman. (German: Einführung in die Gruppentheorie, Braunschweig: Vieweg, 1977.)
Ledermann, W. & Weir, A. J. (1996). Introduction to Group Theory, 2nd ed. Harlow: AddisonWesley Longman.
Plesken, W. & Schulz, T. (2000). Counting crystallographic groups in low dimensions. Exp. Math. 9, 407–411.
Souvignier, B. (2003). Enantiomorphism of crystallographic groups in higher dimensions with results in dimensions up to 6. Acta Cryst. A59, 210–220.