Tables for
Volume A1
Symmetry relations between space groups
Edited by Hans Wondratschek and Ulrich Müller

International Tables for Crystallography (2011). Vol. A1, ch. 1.2, pp. 7-24   | 1 | 2 |
doi: 10.1107/97809553602060000791

Chapter 1.2. General introduction to the subgroups of space groups

Hans Wondratscheka*

aInstitut für Kristallographie, Universität, D-76128 Karlsruhe, Germany
Correspondence e-mail:

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[link]. The chapter closes with a list of the most important lemmata on group–subgroup relations between space groups (without proofs).

1.2.1. General remarks

| top | pdf |

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[link] onwards, the presentation will be more detailed because the subjects are more specialized (but mostly not more difficult) and are seldom found in textbooks.

1.2.2. Mappings and matrices

| top | pdf | Crystallographic symmetry operations

| top | pdf |

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 [\tilde{P}], the image point. The mapping is reversible if each image point [\tilde{P}] 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 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[link], 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[link].

Definition A mapping is called a symmetry operation of an object if

  • (1) it is an isometry,

  • (2) it maps the object onto itself.

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 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[link].

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 A point P is a fixed point of a mapping if it is mapped onto itself, i.e. the image point [\tilde{P}] is the same as the original point P: [\tilde{P} = 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:

  • (1) The identity operation, which maps each point of the space onto itself. It is a symmetry operation of every object and, although trivial, is indispensable for the group properties which are discussed in Section 1.2.3[link].

  • (2) A translation [\ispecialfonts{\sfi t}] which shifts every object. A translation is characterized by its translation vector t and has no fixed point: if x is the column of coordinates of a point P, then the coordinates [\tilde{x}] of the image point [\tilde{P}] are [{\tilde {\bi x}} = {\bi x} + {\bi t}]. If a translation is a symmetry operation of an object, the object extends infinitely in the directions of t and [-{\bf t}]. A translation preserves the `handedness' of an object, e.g. it maps any right-hand glove onto a right-hand one and any left-hand glove onto a left-hand one.

  • (3) A rotation is an isometry that leaves one line fixed pointwise. This line is called the rotation axis. The degree of rotation about this axis is described by its rotation angle [\varphi]. In particular, a rotation is called an N-fold rotation if the rotation angle is [\varphi = k \times 360^{\circ}/N], where k and N are relatively prime integers. A rotation preserves the `handedness' of any object.

  • (4) A screw rotation is a rotation coupled with a translation parallel to the rotation axis. The rotation axis is now called the screw axis. The translation vector is called the screw vector. A screw rotation has no fixed points. The screw axis is invariant as a whole under the screw rotation but not pointwise.

  • (5) An N-fold rotoinversion is an N-fold rotation coupled with inversion through a point on the rotation axis. This point is called the centre of the rotoinversion. For [N \neq 2] it is the only fixed point. The axis of the rotation is invariant as a whole under the rotoinversion and is called its rotoinversion axis. A rotoinversion changes the handedness by its inversion component: it maps any right-hand glove onto a left-hand one and vice versa. Performed twice it results in a rotation. Special rotoinversions are those for [N = 1] and [N = 2], which are dealt with separately.

  • (6) The inversion can be considered as a onefold rotoinversion ([N = 1]). The fixed point is called the inversion centre or the centre of symmetry.

  • (7) A twofold rotoinversion ([N = 2]) is called a reflection or a reflection through a plane. It is an isometry which leaves a plane perpendicular to the twofold rotoinversion axis fixed pointwise. This plane is called the reflection plane or mirror plane and it intersects the rotation axis in the centre of the rotoinversion. Its orientation is described by the direction of its normal vector, i.e. of the rotation axis. For a twofold rotoinversion, neither the rotation nor the inversion are symmetry operations themselves. As for any other rotoinversion, the reflection changes the handedness of an object.

  • (8) A glide reflection is a reflection through a plane coupled with a translation parallel to this plane. The translation vector is called the glide vector. A glide reflection changes the handedness and has no fixed point. The former reflection plane is now called the glide plane. Under a glide reflection, the glide plane is invariant as a whole but not pointwise.

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[link]. Coordinate systems and coordinates

| top | pdf |

To describe mappings analytically, one introduces a coordinate system [\{O,\ {\bf a},\ {\bf b},\ {\bf c}\}], consisting of three linearly independent (i.e. not coplanar) basis vectors [{\bf a},\ {\bf b},\ {\bf c}] (or [{\bf a}_1,\ {\bf a}_2,\ {\bf a}_3]) and an origin O. For the plane (two-dimensional space) an origin and two linearly independent (i.e. not parallel) basis vectors [{\bf a},\ {\bf b}] (or [{\bf a}_1,\ {\bf a}_2]) are chosen. Referred to this coordinate system, each point P can be described by three (or two for the plane) coordinates [x,\,y,\,z] (or [x_1,\,x_2,\,x_3]). 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 [\tilde{x},\,\tilde{y},\,\tilde{z}] of the image point [\tilde{X}] from the coordinates [x,\,y,\,z] of the original point X.

In contrast to the practice in physics and chemistry, a non-Cartesian coordinate system is usually chosen in crystal­lography. The primary aim of the choice of the crystal­lographic coor­dinate 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 [\ispecialfonts{\sfi t}] 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 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 [{\bi t} \in {\bf L}] 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 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[link]. The description of mappings

| top | pdf |

The instruction for the calculation of the coordinates of [\tilde{X}] from the coordinates of X is simple for an affine mapping and thus for an isometry. The equations are[\eqalign{\tilde {x} &= W_{11}\,x + W_{12}\,y + W_{13}\,z + w_1 \cr \tilde{y} &= W_{21}\,x + W_{22}\,y + W_{23}\,z + w_2 \cr \tilde{z} &= W_{31}\,x + W_{32}\,y + W_{33}\,z + w_3, }\eqno(]where the coefficients [W_{ik}] and [w_j] are constant. These equations can be written using the matrix formalism: [ \left (\matrix{\tilde{x} \cr \tilde{y} \cr \tilde{z}}\right) = \left (\matrix{ W_{11} \,\, W_{12}\, \, W_{13} \cr W_{21}\, \, W_{22}\, \, W_{23} \cr W_{31}\, \, W_{32}\, \, W_{33}} \right) \left (\matrix{ x \cr y \cr z }\right) + \left (\matrix{ w_1 \cr w_2 \cr w_3} \right). \eqno (] This matrix equation is usually abbreviated by [{\tilde {\bi x}} = {{\bi W}} \, {{\bi x}} + {{\bi w}}, \eqno (]where [\tilde{{\bi x}} = \!\!\left (\matrix{\tilde{x} \cr \tilde{y} \cr \tilde{z}} \right)\!, \, \, {\bi x} = \!\!\left (\matrix{x \cr y \cr z}\right)\!, \, \, {\bi w} = \!\!\left (\matrix{w_1 \cr w_2 \cr w_3 } \right) \, {\rm and }\, \, {\bi W} = \!\! \left(\matrix{W_{11} & W_{12} & W_{13} \cr W_{21} & W_{22} & W_{23} \cr W_{31} & W_{32} & W_{33} } \right). ]

Definition 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 ([link] and ([link], the coordinates are mixed with the quantities describing the mapping, designated by the letters [W_{ik}] and [w_j] or W and w. Therefore, one prefers to write equation ([link] in the form[{\tilde {\bi x}} = ({\bi W}, \, {\bi w}) \, {\bi x}\, \, {\rm or } \, \, {\tilde {\bi x}} = \{ {\bi W} \, | \, {\bi w} \} \, {\bi x}. \eqno (]The symbols ([{\bi W}, \, {\bi w}]) and {[{\bi W} \, | \, {\bi w}]} 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 by[\eqalign{{\tilde {\bi x}} &= {\bi W}_1 \, {\bi x} + {\bi w}_1, \quad {\tilde {\tilde {\bi x}}} = {\bi W}_2 \, {\tilde {\bi x}} + {\bi w}_2 = {\bi W}_3 {\bi x} + {\bi w}_3 \cr {\tilde {\tilde {\bi x}}} &= {\bi W}_2 \, ({\bi W}_1 {\bi x} + {\bi w}_1) + {\bi w}_2 = {\bi W}_2 {\bi W}_1 {\bi x} \, + \, {\bi W}_2{\bi w}_1 + {\bi w}_2. } ]From [{\tilde {\bi x}} = {\bi Wx} + {\bi w}], it follows that [{\bi W}^{-1} \, {\tilde {\bi x}} = {\bi x} + {\bi W}^{-1} \, {\bi w}] or [{\bi x} = {\bi W}^{-1} \, {\tilde{\bi x}} - {\bi W}^{-1} \, {\bi w}.]

Using matrix–column pairs, this reads [({\bi W}_3, \, {\bi w}_3) = ({\bi W}_2, \, {\bi w}_2)\,({\bi W}_1, \, {\bi w}_1)= ({\bi W}_2{\bi W}_1, \, {\bi W}_2 {\bi w}_1 + {\bi w}_2) \eqno (]and[{\bi x} = ({\bi W}, \, {\bi w})^{-1} {\tilde{\bi x}} = ({\bi W}', \, {\bi w}') \tilde{ \it x}]or [({\bi W}', \, {\bi w}') = ({\bi W}, \, {\bi w})^{-1} = ({\bi W}^{-1}, \, -{\bi W}^{-1}{\bi w}). \eqno (]

One finds from equations ([link] and ([link] that the linear parts of the matrix–column pairs transform as one would expect:

  • (1) the linear part of the product of two matrix–column pairs is the product of the linear parts, i.e. if [({\bi W}_3, \, {\bi w}_3)=] [({\bi W}_2, \, {\bi w}_2) \, ({\bi W}_1, \, {\bi w}_1)] then [{\bi W}_3 = {\bi W}_2 \, {\bi W}_1];

  • (2) the linear part of the inverse of a matrix–column pair is the inverse of the linear part, i.e. if [({\bi X}, \, {\bi x}) = ({\bi W}, \, {\bi w})^{-1}], then [{\bi X} = {\bi W}^{-1}]. [This relation is included in the first one: from [({\bi W}, \, {\bi w}) \, ({\bi X}, \, {\bi x})=({\bi W}{\bi X}, {\bi Wx} + {\bi w}) =({\bi I}, \, {\bi o})] follows [{\bi X} = {\bi W}^{-1}]. Here I is the unit matrix and o is the column consisting of zeroes].

These relations will be used in Section[link].

For the column parts, equations ([link] and ([link] are less convenient: [(1) \,\, {\bi w}_3 = {\bi W}_2 \, {\bi w}_1 + {\bi w}_2; \, \, \qquad (2)\,\, {\bi w}' = - {\bi W}^{-1}{\bi w}.]

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. Matrix–column pairs and (n + 1) × (n + 1) matrices

| top | pdf |

It is natural to combine the matrix part and the column part describing an affine mapping to form a [(3\times4)] matrix, but such matrices cannot be multiplied by the usual matrix multiplication and cannot be inverted. However, if one supplements the [(3\times4)] matrix by a fourth row `0 0 0 1', one obtains a [(4\times4)] 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 open-face letters in this volume:[\specialfonts{\bbsf W} = \pmatrix{W_{11} & W_{12} & W_{13}{\hskip -4pt}&{\vrule height 10pt depth6pt}\hfill& {\hskip -4pt}w_1\cr W_{21} & W_{22} & W_{23}{\hskip -4pt}&{\vrule height 10pt depth 6pt}\hfill&{\hskip -4pt}w_2\cr W_{31} & W_{32} & W_{33}{\hskip -4pt}&{\vrule height 10pt depth 6pt}\hfill&{\hskip -4pt}w_3\cr\noalign{\hrule}\cr 0 & 0 & 0{\hskip -4pt}&{\vrule height 11pt depth 4pt}\hfill&{\hskip -4pt} 1}\,\,\, {\tilde{\bbsf x}} = \left (\matrix{\,\tilde{x}\, \cr \tilde{y} \cr \noalign{\vskip-1.0em}\cr \tilde{z}\cr \noalign{\vskip.3em} \noalign{\hrule} \cr 1} \right),\,\,\, {\bbsf x} = \left (\matrix{\,x\, \cr \noalign{\vskip-1.0em}\cr y \cr \noalign{\vskip-1.0em}\cr z \cr \noalign{\vskip.3em} \noalign{\hrule} \cr 1} \right).\eqno (]

In order to write equation ([link] as [\specialfonts\tilde{{\bbsf x}}= {\bbsf W}{\bbsf x}] with the augmented matrices [\specialfonts{\bbsf W}], the columns [\tilde{{\bi x}}] and x also have to be extended to the augmented columns [\specialfonts{\bbsf x}] and [\specialfonts\tilde{{\bbsf x}}]. Equations ([link] and ([link] then become [\specialfonts{\bbsf W}_{\rm 3} = {\bbsf W}_{\rm 2}\,{\bbsf W}_{\rm 1} { \rm\,\, and\,\, } ({\bbsf W})^{\rm -1}=({\bbsf W}^{\rm -1}). \eqno (]

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[link]. Isometries

| top | pdf |

Isometries are special affine mappings, as in Definition[link]. The matrix W of an isometry has to fulfil conditions which depend on the coordinate basis. These conditions are:

  • (1) A basis [{\bf a}_1, \, {\bf a}_2, \, {\bf a}_3] is characterized by the scalar products [({\bf a}_j \, {\bf a}_k)] of its basis vectors or by its lattice parameters [a,\,b,\,c,\,\alpha,\, \beta] and [\gamma]. Here [a,\,b,\,c] are the lengths of the basis vectors [{\bf a}_1,\,{\bf a}_2,\,{\bf a}_3] and [\alpha,\,\beta] and [\gamma] are the angles between [{\bf a}_2] and [{\bf a}_3], [{\bf a}_3] and [{\bf a}_1], [{\bf a}_1] and [{\bf a}_2], respectively. The metric matrix M [called G in International Tables for Crystallography Volume A (2005[link]) (abbreviated as IT A), Chapter 9.1[link] ] is the [(3\times3)] matrix which consists of the scalar products of the basis vectors: [{\bi M} = \left (\matrix{a^{2} & a\,b\,\cos\gamma & a\,c\,\cos\beta \cr b\,a\,\cos\gamma & b^{2} & b\,c\,\cos\alpha \cr c\,a\,\cos\beta & c\,b\,\cos\alpha & c^{2}} \right).]If W is the matrix part of an isometry, referred to the basis ([{\bf a}_1,\ {\bf a}_2,\ {\bf a}_3]), then W must fulfil the condition [{\bi W}^{\rm T}\,{\bi M}\,{\bi W} = {\bi M}], where [{\bi W}^{\rm T}] is the transpose of W.

  • (2) For the determinant of W, [\det({\bi W}) = \pm{1}] must hold; [\det({\bi W}) = + 1] for the identity, translations, rotations and screw rotations; [\det({\bi W}) = -1] for inversions, reflections, glide reflections and rotoinversions.

  • (3) For the trace, [{\rm tr}({\bi W}) = W_{11} + W_{22} + W_{33} = \pm(1 + 2 \cos{\varphi})] holds, where [\varphi] is the rotation angle; the + sign applies if [\det({\bi W}) = + 1] and the − sign if [\det({\bi W}) = -1].

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[link] or in Hahn & Wondratschek (1994[link]). Vectors and vector coefficients

| top | pdf |

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, reciprocal-lattice 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 augmented-column description the difference becomes visible: the vector from the point P to the point Q has the coefficients [v_1=q_1-p_1], [v_2=q_2-p_2], [v_3=q_3-p_3], [1 - 1]. 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 [\tilde{P}] by [\tilde{{\bi x}}= {\bi W}\,{\bi x} + {\bi w}] according to equation ([link], then the vector [{\bf v} = \overrightarrow{P\,Q}] is mapped onto the vector [ \tilde{\bf{v}} = \overrightarrow{\tilde{P}\,\tilde{Q}}] by transforming its coefficients by [\tilde{{\bi v}}={\bi W}\,{\bi v}], because the coefficients [w_j] are multiplied by the number `0' augmenting the column [{\bi v} = (v_j)]. Indeed, the distance vector [{\bf v} = \overrightarrow{P\,Q}] is not changed when the whole space is mapped onto itself by a translation.


  • (1) The difference in transformation behaviour between the point coordinates x and the vector coefficients v is not visible in the equations where the symbols [\specialfonts{\bbsf x}] and [\specialfonts{\bbsf v}] are used, but is obvious only if the columns are written in full, viz [ \left (\matrix{x_1 \cr x_2 \cr x_3\cr \noalign{\vskip.3em} \noalign {\hrule} \cr 1}\right) {\rm\,\,\, and\,\,\, } \left (\matrix{v_1 \cr v_2 \cr v_3\cr \noalign{\vskip.3em} \noalign {\hrule} \cr 0} \right).]

  • (2) The transformation behaviour of the vector coefficients is also apparent if the vector is understood to be a translation vector and the transformation behaviour of the translation is considered as in the last paragraph of the next section.

  • (3) The transformation [\tilde{{\bi v}}={\bi W}\,{\bi v}] is called an orthogonal mapping if W is the matrix part of an isometry. Origin shift and change of the basis

| top | pdf |

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[link] and 5.2[link] , and in Hahn & Wondratschek (1994[link]).

Let a coordinate system be given with a basis [({\bf a}_1,\,{\bf a}_2,\, {\bf a}_3)^{\rm T}] 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 ([link] to ([link], and the column of vector coefficients is v, see Section[link]. A new coordinate system may be introduced with the basis [({\bf a}'_1,\ {\bf a}'_2,\,{\bf a}'_3)^{\rm T}] and the origin [O']. Referred to the new coordinate system, the column of coordinates of the point P is [{\bi x}'], the symmetry operation is described by [{\bi W}'] and [{\bi w}'] and the column of vector coefficients is [{\bi v}'].

Let [{\bi p} = \overrightarrow{O\,O'}] be the column of coefficients for the vector from the old origin O to the new origin [O'] and let[{\bi P} = \left (\matrix{P_{11} & P_{12} & P_{13} \cr P_{21} & P_{22} & P_{23} \cr P_{31} & P_{32} & P_{33}} \right) \eqno (]be the matrix of a basis change, i.e. the matrix that relates the new basis [({\bf a}'_1,\,{\bf a}'_2,\,{\bf a}'_3)^{\rm T}] to the old basis [({\bf a}_1,\,{\bf a}_2,\,{\bf a}_3)^{\rm T}] according to [\left({\bf a}'_1,\,\! {\bf a}'_2,\,\! {\bf a}'_3\right)^{\rm T} = \left ({\bf a}_1,\,\! {\bf a}_2,\,\!{\bf a}_3\right)^{\rm T} {\bi P} = \left ({\bf a}_1,\!\,{\bf a}_2,\!\,{\bf a}_3\right)^{\rm T}\left (\!\matrix{P_{11}\!&P_{12}\!&P_{13} \cr P_{21}\!&P_{22}\!&P_{23} \cr P_{31}\!&P_{32}\!&P_{33}}\! \right)\!. \eqno (]Then the following equations hold: [{\bi x}' = {\bi P}^{-1}{\bi x}-{\bi P}^{-1}{\bi p} \, \, {\rm or }\, \, {\bi x}={\bi P}\,{\bi x}'+{\bi p}\semi \eqno (][{\bi W}\,'={\bi P}^{-1}\,{\bi W}\,{\bi P}\,\, {\rm or } \,\, {\bi W}={\bi P}\,{\bi W}\,'\,{\bi P}^{-1}\semi \eqno (][ {\bi w}'={\bi P}^{-1}({\bi w}+({\bi W}-{\bi I})\,{\bi p}) \,\, {\rm or }\,\, {\bi w}={\bi P}\,{\bi w}'-({\bi W}-{\bi I})\,{\bi p}. \eqno (]For the columns of vector coefficients v and [{\bi v}'], the following holds: [ {\bi v}'={\bi P}^{-1}{\bi v}\,\, {\rm or }\,\, {\bi v}={\bi P}\,{\bi v}', \eqno (]i.e. an origin shift does not change the vector coefficients.

These equations read in the augmented-matrix formalism [\specialfonts{\bbsf x}' = {\bbsf P}^{\rm -1}{\bbsf x};\ {\bbsf W}\,' = {\bbsf P}^{\rm -1}{\bbsf W}{\bbsf P}; \ {\bbsf v}' = {\bbsf P}^{\rm -1}{\bbsf v}. \eqno (]For the difference in the transformation behaviour of point coordinates and vector coefficients, see the remarks at the end of Section[link]. A vector v can be regarded as a translation vector; its translation is then described by (I, v), i.e. [{\bi W}={\bi I},\ {\bi w} = {\bi v}]. It can be shown using equation ([link]) that the translation and thus the translation vector are not changed under an origin shift, ([{\bi I},\,{\bi p}]), because [({\bi I},\,{\bi v})'=({\bi I},\,{\bi v})] holds. Moreover, under a general coordinate transformation the origin shift is not effective: in equation ([link]) only [{\bi v}'={\bi P}^{-1}{\bi v}] remains because of the equality [{\bi W}={\bi I}].

1.2.3. Groups

| top | pdf |

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[link]; Ledermann & Weir, 1996[link]) is recommended. The book Symmetry of Crystals. Introduction to International Tables for Crystallography, Vol. A by Hahn & Wondratschek (1994[link]) 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. Some properties of symmetry groups

| top | pdf |

The geometric symmetry of any object is described by a group [{\cal G}]. The symmetry operations [\ispecialfonts{\sfi g}_j\in{\cal G}] are the group elements, and the set [\ispecialfonts\{{\sfi g}_j\in{\cal G}\}] 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[link]).] Groups will be designated by upper-case calligraphic script letters [{\cal G}], [{\cal H}] etc. Group elements are represented by lower-case italic sans serif letters [\ispecialfonts{\sfi g}, {\sfi h}] etc.

The result [\ispecialfonts{\sfi g}_r] of the composition of two elements [\ispecialfonts{\sfi g}_j,\,{\sfi g}_k\in{\cal G}] will be called the product of [\ispecialfonts{\sfi g}_j] and [\ispecialfonts{\sfi g}_k] and will be written [\ispecialfonts{\sfi g}_r={\sfi g}_k\,{\sfi g}_j]. 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:

  • (1) The closure, i.e. the property that the composition of any two symmetry operations results in a symmetry operation again, is always fulfilled for geometric symmetries: if [\ispecialfonts{\sfi g}_j\in{\cal G}] and [\ispecialfonts{\sfi g}_k\in{\cal G}], then [\ispecialfonts{\sfi g}_j\,{\sfi g}_k = {\sfi g}_r\in{\cal G}] also holds.

  • (2) The associative law is always fulfilled for the composition of geometric mappings. If [\ispecialfonts{\sfi g}_j,\ {\sfi g}_k,\ {\sfi g}_m \in{\cal G}], then [\ispecialfonts({\sfi g}_j\,{\sfi g}_k)\,{\sfi g}_m=] [\ispecialfonts{\sfi g}_j\, ({\sfi g}_k\,{\sfi g}_m)=] [\ispecialfonts{\sfi g}_q] for any triplet [j,\,k,\,m]. Therefore, the paren­theses are not necessary, one can write [\ispecialfonts{\sfi g}_j\,{\sfi g}_k\,{\sfi g}_m={\sfi g}_q]. In general, however, the sequence of the symmetry operations must not be changed. Thus, in general [\ispecialfonts{\sfi g}_j\,{\sfi g}_k\,{\sfi g}_m\not= {\sfi g}_j\,{\sfi g}_m\,{\sfi g}_k].

  • (3) The unit element or neutral element [\ispecialfonts{\sfi e}\in{\cal G}] is the identity operation which maps each point onto itself, i.e. leaves each point invariant.

  • (4) The isometry which reverses a given symmetry operation [\ispecialfonts{\sfi g}\in{\cal G}] is also a symmetry operation of [{\cal G}] and is called the inverse symmetry operation [\ispecialfonts{\sfi g}^{-1}] of [\ispecialfonts{\sfi g}]. It has the property [\ispecialfonts{\sfi g}\,{\sfi g}^{-1}=] [\ispecialfonts{\sfi g}^{-1}\,{\sfi g}={\sfi e}].

The number of elements of a group [{\cal G}] is called its order [|{\cal G}|]. 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 [\ispecialfonts{\sfi g}_k\,{\sfi g}_j={\sfi g}_j\,{\sfi g}_k] is fulfilled for all pairs of elements of a group [{\cal G}], then [{\cal G}] 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 A set [\ispecialfonts{\cal S}=\{{\sfi g}_p,\ {\sfi g}_q,\ \ldots\} \in{\cal G}] such that every element of [{\cal G}] can be obtained by composition of the elements of [{\cal S}] and their inverses is called a set of generators of [{\cal G}]. The elements [\ispecialfonts{\sfi g}_i\in{\cal S}] are called generators of [{\cal G}].

A group is cyclic if it consists of the unit element [\ispecialfonts{\sfi e}] and all powers of one element [\ispecialfonts{\sfi g}]: [\ispecialfonts{\cal C}({\sfi g})=\{\ \ldots\ {\sfi g}^{-3},\ {\sfi g}^{-2},\ {\sfi g}^{-1},\ {\sfi e},\ {\sfi g}^1,\ {\sfi g}^2,\ {\sfi g}^3,\ \ldots\ \}.]

If there is an integer number [n>0] with [\ispecialfonts{\sfi g}^n={\sfi e}] and n is the smallest number with this property, then the group [\ispecialfonts{\cal C}({\sfi g})] has the finite order n. Let [\ispecialfonts{\sfi g}^{-k}] with [0 \,\lt\, k \,\lt\, n] be the inverse element of [\ispecialfonts{\sfi g}^k] where n is the order of [\ispecialfonts{\sfi g}]. Because [\ispecialfonts{\sfi g}^{-k}={\sfi g}^n\,{\sfi g}^{-k}={\sfi g}^{n-k}={\sfi g}^m] with [n=m+k], the elements of a cyclic group of finite order can all be written as positive powers of the generator [\ispecialfonts{\sfi g}]. Otherwise, if such an integer n does not exist, the group [\ispecialfonts{\cal C}({\sfi g})] is of infinite order and the positive powers [\ispecialfonts{\sfi g}^{k}] are different from the negative ones [\ispecialfonts{\sfi g}^{-m}].

In the same way, from any element [\ispecialfonts{\sfi g}_j\in{\cal G}] its cyclic group [\ispecialfonts{\cal C}({\sfi g}_j)] can be generated even if [{\cal G}] is not cyclic itself. The order of this group [\ispecialfonts{\cal C}({\sfi g}_j)] is called the order of the element [\ispecialfonts{\sfi g}_j]. Group isomorphism and homomorphism

| top | pdf |

A finite group [{\cal G}] of small order may be conveniently visualized by its multiplication table, group table or Cayley table. An example is shown in Table[link].

Table| top | pdf |
Multiplication table of a group

The group elements [\ispecialfonts{\sfi g}\in{\cal G}] are listed at the top of the table and in the same sequence on the left-hand side; the unit element `[\ispecialfonts{\sfi e}]' is listed first. The table is thus a square array. The product [\ispecialfonts{\sfi g}_k\,{\sfi g}_j] of any pair of elements is listed at the intersection of the kth row and the jth column.

It can be shown that each group element is listed exactly once in each row and once in each column of the table. In the row of an element [\ispecialfonts{\sfi g}\in{\cal G}], the unit element [\ispecialfonts{\sfi e}] appears in the column of [\ispecialfonts{\sfi g}^{-1}]. If [\ispecialfonts({\sfi g})^2={\sfi e}], i.e. [\ispecialfonts{\sfi g}={\sfi g}^{-1}], [\ispecialfonts{\sfi e}] appears on the main diagonal. The multiplication table of an Abelian group is symmetric about the main diagonal.

[{\cal G}][\ispecialfonts\sfi e][\ispecialfonts\sfi a][\ispecialfonts\sfi b][\ispecialfonts\sfi c][\ldots]
[\ispecialfonts\sfi e] [\ispecialfonts\sfi e] [\ispecialfonts\sfi a] [\ispecialfonts\sfi b] [\ispecialfonts\sfi c] [\ldots]
[\ispecialfonts\sfi a] [\ispecialfonts\sfi a] [\ispecialfonts{\sfi a}^2] [\ispecialfonts{\sfi a}{\sfi b}] [\ispecialfonts{\sfi a}{\sfi c}] [\ldots]
[\ispecialfonts\sfi b] [\ispecialfonts\sfi b] [\ispecialfonts{\sfi b}{\sfi a}] [\ispecialfonts{\sfi b}^2] [\ispecialfonts{\sfi b}{\sfi c}] [\ldots]
[\ispecialfonts\sfi c] [\ispecialfonts\sfi c] [\ispecialfonts{\sfi c}{\sfi a}] [\ispecialfonts{\sfi c}{\sfi b}] [\ispecialfonts{\sfi c}^2] [\ldots]
[\vdots] [\vdots] [\vdots] [\vdots] [\vdots] [\ddots]

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 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 [{\cal G}] and [{\cal G}\,'] means that there is a reversible mapping [\ispecialfonts{\sfi g}_q\longleftrightarrow {\sfi g}_q'] of the elements [\ispecialfonts{\sfi g}_q\in{\cal G}] and [\ispecialfonts{\sfi g}_q'\in{\cal G}\,'] such that [\ispecialfonts({\sfi g}_j\,{\sfi g}_k)'={\sfi g}_j'\,{\sfi g}_k'] holds for any pair of indices j and k. In words:

Definition Two groups [{\cal G}] and [{\cal G}\,'] are isomorphic if there is a reversible mapping of [{\cal G}] onto [{\cal G}\,'] such that for any pair of elements of [{\cal G}] 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[link].

Isomorphism provides a very strong relation between groups: the groups are identical in their group-theoretical 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 [{\cal G}] is mapped onto the same element of [{\cal G}\,']. This concept leads to the definition of homomorphism.

Definition A mapping of a group [{\cal G}] onto a group [{\cal G}\,'] is called homomorphic, and [{\cal G}\,'] is called a homomorphic image of the group [{\cal G}], if for any pair of elements of [{\cal G}] the image of the product is equal to the product of the images and if any element of [{\cal G}\,'] is the image of at least one element of [{\cal G}]. The relation of [{\cal G}] and [{\cal G}\,'] is called a homomorphism. More formally: For the mapping [{\cal G}] onto [{\cal G}\,'], [\ispecialfonts({\sfi g}_j\,{\sfi g}_k)'={\sfi g}_j'\,{\sfi g}_k'] holds.

The formulation `mapping onto' implies that each element [\ispecialfonts{\sfi g}'\in{\cal G}\,'] occurs among the images of the elements [\ispecialfonts{\sfi g}\in{\cal G}] at least once.3

The very important concept of homomorphism is discussed further in Lemma[link]. The crystallographic point groups are homomorphic images of the space groups, see Section[link].

1.2.4. Subgroups

| top | pdf | Definition

| top | pdf |

There may be sets of elements [\ispecialfonts{\sfi g}_k\in {\cal G}] that do not constitute the full group [{\cal G}] but nevertheless fulfil the group postulates for themselves.

Definition A subset [{\cal H}] of elements of a group [{\cal G}] is called a subgroup [{\cal H}] of [{\cal G}] if it fulfils the group postulates with respect to the law of composition of [{\cal G}].


  • (1) The group [{\cal G}] is considered to be one of its own subgroups. If subgroups [{\cal H}_j] are discussed where [{\cal G}] is included among the subgroups, we write [{\cal H}_j\le{\cal G}\,\, {\rm or } \,\, {\cal G}\ge{\cal H}_j]. If [{\cal G}] is excluded from the set [\{{\cal H}_j\}] of its subgroups, we write [{\cal H}_j \,\lt\, {\cal G}] or [{\cal G}>{\cal H}_j]. A subgroup [{\cal H}_j \,\lt\, {\cal G}] is called a proper subgroup of [{\cal G}].

  • (2) In a relation [{\cal G}\ge{\cal H}] or [{\cal G}>{\cal H}], [{\cal G}] is called a supergroup of [{\cal H}]. The symbols [\le,\ \ge,\ \lt] and [>] are used for supergroups in the same way as they are used for subgroups, cf. Section 2.1.6[link] .

  • (3) A subgroup of a finite group is finite. A subgroup of an infinite group may be finite or infinite.

  • (4) A subset [{\cal K}] of elements [\ispecialfonts{\sfi g}_k\in{\cal G}] which does not necessarily form a group is designated by the symbol [{\cal K}\subset{\cal G}].

Definition A subgroup [{\cal H} \,\lt\, {\cal G}] is a maximal subgroup if no group [{\cal Z}] exists for which [{\cal H} \,\lt\, {\cal Z} \,\lt\, {\cal G}] holds. If [{\cal H}] is a maximal subgroup of [{\cal G}], then [{\cal G}] is a minimal supergroup of [{\cal H}].

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 [{\cal H} \,\lt\, {\cal G}] can be obtained by a (finite) chain of maximal subgroups between [{\cal G}] and [{\cal H}], see Section[link]. Moreover, the relations between a space group and its maximal subgroups are particularly transparent, cf. Lemma[link]. Coset decomposition and normal subgroups

| top | pdf |

Let [{\cal H} \,\lt\, {\cal G}] be a subgroup of [{\cal G}] of order [|{\cal H}|]. Because [{\cal H}] is a proper subgroup of [{\cal G}] there must be elements [\ispecialfonts{\sfi g}_q\in{\cal G}] that are not elements of [{\cal H}]. Let [\ispecialfonts{\sfi g}_2\in{\cal G}] be one of them. Then the set of elements [\ispecialfonts{\sfi g}_2\,{\cal H}=\{{\sfi g}_2\,{\sfi h}_j\,|\, {\sfi h}_j\in{\cal H}\}]4 is a subset of elements of [{\cal G}] with the property that all its elements are different and that the sets [{\cal H}] and [\ispecialfonts{\sfi g}_2\,{\cal H}] have no element in common. Thus, the set [\ispecialfonts{\sfi g}_2\,{\cal H}] also contains [|{\cal H}|] elements of [{\cal G}]. If there is another element [\ispecialfonts{\sfi g}_3\in{\cal G}] which belongs neither to [{\cal H}] nor to [\ispecialfonts{\sfi g}_2\,{\cal H}], one can form another set [\ispecialfonts{\sfi g}_3{\cal H}=\{{\sfi g}_3{\sfi h}_j\,|\,{\sfi h}_j\in{\cal H}\}]. All elements of [\ispecialfonts{\sfi g}_3{\cal H}] are different and none occurs already in [{\cal H}] or in [\ispecialfonts{\sfi g}_2\,{\cal H}]. This procedure can be continued until each element [\ispecialfonts{\sfi g}_r\in{\cal G}] belongs to one of these sets. In this way the group [{\cal G}] can be partitioned, such that each element [\ispecialfonts{\sfi g}\in{\cal G}] belongs to exactly one of these sets.

Definition The partition just described is called a decomposition ([{\cal G}] : [{\cal H}]) into left cosets of the group [{\cal G}] relative to the group [{\cal H}]. The sets [\ispecialfonts{\sfi g}_p\,{\cal H},\ p=1,\ \ldots,\ i] are called left cosets, because the elements [\ispecialfonts{\sfi h}_j\in {\cal H}] are multiplied with the new elements from the left-hand side. The procedure is called a decomposition into right cosets [\ispecialfonts{\cal H}{\sfi g}_s] if the elements [\ispecialfonts{\sfi h}_j\in{\cal H}] are multiplied with the new elements [\ispecialfonts{\sfi g}_s] from the right-hand side. The elements [\ispecialfonts{\sfi g}_p] or [\ispecialfonts{\sfi g}_s] are called the coset representatives. The number of cosets is called the index [i=|{\cal G}:{\cal H}|] of [{\cal H}] in [{\cal G}].


  • (1) The group [\ispecialfonts{\cal H}={\sfi g}_1{\cal H}] with [\ispecialfonts{\sfi g}_1={\sfi e}] is the first coset for both kinds of decomposition. It is the only coset which forms a group by itself.

  • (2) All cosets have the same length, i.e. the same number of elements, which is equal to [|{\cal H}|], the order of [{\cal H}].

  • (3) The index i is the same for both right and left decompositions. In IT A and in this volume, the index is frequently designated by the symbol [[i]].

  • (4) A coset does not depend on its representative element; starting from any of its elements will result in the same coset. The right cosets may be different from the left ones and the representatives of the right and left cosets may also differ.

  • (5) If the order [|{\cal G}|] of [{\cal G}] is infinite, then either the order [|{\cal H}|] of [{\cal H}] or the index [i=|{\cal G}:{\cal H}|] of [{\cal H}] in [{\cal G}] or both are infinite.

  • (6) The coset decomposition of a space group [{\cal G}] relative to its translation subgroup [{\cal T}]([{\cal G}]) is fundamental in crystallography, cf. Section[link].

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[link] ):

Lemma Lagrange's theorem: Let [{\cal G}] be a group of finite order [|{\cal G}|] and [{\cal H} \,\lt\, {\cal G}] a subgroup of [{\cal G}] of order [|{\cal H}|]. Then [|{\cal H}|] is a divisor of [|{\cal G}|] and the equation [|{\cal H}|\times{}i=|{\cal G}|] holds where [i=|{\cal G}:{\cal H}|] is the index of [{\cal H}] in [{\cal G}].

A special situation exists when the left and right coset decompositions of [{\cal G}] relative to [{\cal H}] result in the partition of [{\cal G}] into the same cosets: [\ispecialfonts{\sfi g}_p\,{\cal H}={\cal H}\,{\sfi g}_p \,\,{ \rm for\,\, all }\,\,1\le p\le i. \eqno (]Subgroups [{\cal H}] that fulfil equation ([link] are called `normal subgroups' according to the following definition:

Definition A subgroup [{\cal H} \,\lt\, {\cal G}] is called a normal sub­group or invariant subgroup of [{\cal G}], [{\cal H}\triangleleft{\cal G}], if equation ([link] is fulfilled.

The relation [{\cal H}\triangleleft{\cal G}] always holds for [|{\cal G}:{\cal H}|=2], i.e. subgroups of index 2 are always normal subgroups. The subgroup [{\cal H}] contains half of the elements of [{\cal G}], whereas the other half of the elements forms `the other' coset. This coset must then be the right as well as the left coset. Conjugate elements and conjugate subgroups

| top | pdf |

In a coset decomposition, the set of all elements of the group [{\cal G}] is partitioned into cosets which form classes in the mathematical sense of the word, i.e. each element of [{\cal G}] belongs to exactly one coset.

Another equally important partition of the group [{\cal G}] into classes of elements arises from the following definition:

Definition Two elements [\ispecialfonts{\sfi g}_j,{\sfi g}_k\in{\cal G}] are called conjugate if there is an element [\ispecialfonts{\sfi g}_q\in{\cal G}] such that [\ispecialfonts{\sfi g}_q^{-1}{\sfi g}_j\,{\sfi g}_q={\sfi g}_k].


  • (1) Definition[link] partitions the elements of [{\cal G}] into classes of conjugate elements which are called conjugacy classes of elements.

  • (2) The unit element always forms a conjugacy class by itself.

  • (3) Each element of an Abelian group forms a conjugacy class by itself.

  • (4) Elements of the same conjugacy class have the same order.

  • (5) Different conjugacy classes may contain different numbers of elements, i.e. have different `lengths'.

Not only the individual elements of a group [{\cal G}] but also the subgroups of [{\cal G}] can be classified in conjugacy classes.

Definition Two subgroups [{\cal H}_j,{\cal H}_k \,\lt\, {\cal G}] are called conjugate if there is an element [\ispecialfonts{\sfi g}_q\in{\cal G}] such that [\ispecialfonts{\sfi g}_q^{-1}{\cal H}_j\,{\sfi g}_q={\cal H}_k] holds. This relation is often written [\ispecialfonts{\cal H}_j^{{\sfi g}_q}={\cal H}_k].


  • (1) The `trivial subgroup' [{\cal I}] (consisting only of the unit element of [{\cal G}]) and the group [{\cal G}] itself each form a conjugacy class by themselves.

  • (2) Each subgroup of an Abelian group forms a conjugacy class by itself.

  • (3) Subgroups in the same conjugacy class are isomorphic and thus have the same order.

  • (4) Different conjugacy classes of subgroups may contain different numbers of subgroups, i.e. have different lengths.

Equation ([link] can be written [\ispecialfonts{\cal H}={\sfi g}_p^{-1}{\cal H}\,{\sfi g}_p \,\, {\rm or }\,\,{\cal H}={\cal H}^{{\sfi g}_p}\,\,{ \rm for \,\,all }\,\, p;\ 1\le p\le i. \eqno (]Using conjugation, Definition[link] can be formulated as

Definition A subgroup [{\cal H}] of a group [{\cal G}] is a normal subgroup [{\cal H}\triangleleft{\cal G}] if it is identical with all of its conjugates, i.e. if its conjugacy class consists of the one subgroup [{\cal H}] only. Factor groups and homomorphism

| top | pdf |

For the following definition, the `product of sets of group elements' will be used:

Definition Let [{\cal G}] be a group and [\ispecialfonts{\cal K}_j=\{{\sfi g}_{j_1},\ \ldots, {\sfi g}_{j_n}\}], [\ispecialfonts{\cal K}_k=\{{\sfi g}_{k_1},\ \ldots, {\sfi g}_{k_m}\}] be two arbitrary sets of its elements which are not necessarily groups themselves. Then the product [{\cal K}_j\,{\cal K}_k] of [{\cal K}_j] and [{\cal K}_k] is the set of all products [\ispecialfonts{\cal K}_j\,{\cal K}_k=] [\ispecialfonts\{{\sfi g}_{j_p}\,{\sfi g}_{k_q}\,|\,{\sfi g}_{j_p}\in {\cal K}_j,\,{\sfi g}_{k_q}\in {\cal K}_k\}].5

The coset decomposition of a group [{\cal G}] relative to a normal subgroup [{\cal H}\triangleleft{\cal G}] has a property which makes it particularly useful for displaying the structure of a group.

Consider the coset decomposition with the cosets [{\cal S}_j] and [{\cal S}_k] of a group [{\cal G}] relative to its subgroup [{\cal H} \,\lt\, {\cal G}]. In general the product [{\cal S}_j\,{\cal S}_k] of two cosets, cf. Definition[link], will not be a coset again. However, if and only if [{\cal H}\triangleleft{\cal G}] is a normal subgroup of [{\cal G}], the product of two cosets is always another coset. This means that for the set of all cosets of a normal subgroup [{\cal H}\triangleleft{\cal G}] 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 [{\cal H}\triangleleft{\cal G}] holds: there is a neutral element (which is [{\cal H}]), for each coset [\ispecialfonts{\sfi g}\,{\cal H}={\cal H}\,{\sfi g}] the coset [\ispecialfonts{\sfi g}^{-1}\,{\cal H}={\cal H}\,{\sfi g}^{-1}] forms the inverse element and for the coset multi­plication the associative law holds.

Definition Let [{\cal H}\triangleleft\,{\cal G}]. The cosets of the decomposition of the group [{\cal G}] relative to the normal subgroup [{\cal H}\triangleleft{\cal G}] form a group with respect to the composition law of coset multiplication. This group is called the factor group [{\cal G}/{\cal H}]. Its order is [|{\cal G}:{\cal H}|], i.e. the index of [{\cal H}] in [{\cal G}].

A factor group [{\cal F}={\cal G}/{\cal H}] is not necessarily isomorphic to a subgroup [{\cal H}_j \,\lt\, {\cal G}].

Factor groups are indispensable for an understanding of the homomorphism of one group onto the other. The relations between a group [{\cal G}] and its homomorphic image are very strong and are expressed by the following lemma:

Lemma Let [{\cal G}\,'] be a homomorphic image of the group [{\cal G}]. Then the set of all elements of [{\cal G}] that are mapped onto the unit element [\ispecialfonts{\sfi e}'\in{\cal G}\,'] forms a normal subgroup [{\cal X}] of [{\cal G}]. The group [{\cal G}\,'] is isomorphic to the factor group [{\cal G}/{\cal X}] and the cosets of [{\cal X}] in [{\cal G}] are mapped onto the elements of [{\cal G}\,']. The normal subgroup [{\cal X}] is called the kernel of the mapping; it forms the unit element of the factor group [{\cal G}/{\cal X}]. A homomorphic image of [{\cal G}] exists for any normal subgroup of [{\cal G}].

The most important homomorphism in crystallography is the relation between a space group [{\cal G}] and its homomorphic image, the point group [{\cal P}], where the kernel is the subgroup [{\cal T}]([{\cal G}]) of all translations of [{\cal G}], cf. Section[link] Normalizers

| top | pdf |

The concept of the normalizer [{\cal N}_{\!\cal G}({\cal H})] of a group [{\cal H} \,\lt\, {\cal G}] in a group [{\cal G}] is very useful for the considerations of the following sections. The length of the conjugacy class of [{\cal H}] in [{\cal G}] is determined by this normalizer.

Let [{\cal H} \,\lt\, {\cal G}] and [\ispecialfonts{\sfi h}_j\in{\cal H}]. Then [\ispecialfonts{\sfi h}_j^{-1}{\cal H}{\sfi h}_j={\cal H}] holds because [{\cal H}] is a group. If [{\cal H}\triangleleft{\cal G}], then [\ispecialfonts{\sfi g}_k^{-1}{\cal H}{\sfi g}_k={\cal H}] for any [\ispecialfonts{\sfi g}_k\in{\cal G}]. If [{\cal H}] is not a normal subgroup of [{\cal G}], there may nevertheless be elements [\ispecialfonts{\sfi g}_p\in{\cal G},\ {\sfi g}_p\not\in{\cal H}] for which [\ispecialfonts{\sfi g}_p^{-1}{\cal H}{\sfi g}_p={\cal H}] holds. We consider the set of all elements [\ispecialfonts{\sfi g}_p\in{\cal G}] that have this property.

Definition The set of all elements [\ispecialfonts{\sfi g}_p\in{\cal G}] that map the subgroup [{\cal H} \,\lt\, {\cal G}] onto itself by conjugation, [\ispecialfonts{\cal H}={\sfi g}_p^{-1}{\cal H}{\sfi g}_p={\cal H}^{{\sfi g}_p}], forms a group [{\cal N}_{\!\cal G}({\cal H})], called the normalizer of [{\cal H}] in [{\cal G}], where [{\cal H}\ {\underline{\triangleleft}}\ \,{\cal N}_{\!\cal G}({\cal H})\leq{\cal G}].


  • (1) The group [{\cal H} \,\lt\, {\cal G}] is a normal subgroup of [{\cal G}], [{\cal H}\triangleleft{\cal G}], if and only if [{\cal N}_{\!\cal G}({\cal H})={\cal G}].

  • (2) Let [\ispecialfonts{\cal N}_{\!\cal G}({\cal H}) = \{{\sfi g}_p\}]. One can decompose [{\cal G}] into right cosets relative to [{\cal N}_{\!\cal G}({\cal H})]. All elements [\ispecialfonts{\sfi g}_p\,{\sfi g}_r] of a right coset [\ispecialfonts{\cal N}_{\!\cal G}({\cal H})\,{\sfi g}_r] of this decomposition [({\cal G}:{\cal N}_{\!\cal G}({\cal H}))] transform [{\cal H}] into the same subgroup [\ispecialfonts{\sfi g}_r^{-1}\,{\sfi g}_p^{-1}\,{\cal H}\,{\sfi g}_p\,{\sfi g}_r= {\sfi g}_r^{-1}\,{\cal H}\,{\sfi g}_r \,\lt\, {\cal G}], which is thus conjugate to [{\cal H}] in [{\cal G}] by [\ispecialfonts{\sfi g}_{r\,}].

  • (3) The elements of different cosets of [({\cal G}:{\cal N}_{\!\cal G}({\cal H}))] transform [{\cal H}] into different conjugates of [{\cal H}]. The number of cosets of [{\cal N}_{\!\cal G}({\cal H})] is equal to the index [i_N=|{\cal G}:{\cal N}_{\!\cal G}({\cal H})|] of [{\cal N}_{\!\cal G}({\cal H})] in [{\cal G}]. Therefore, the number [N_{{\cal H}}] of conjugates in the conjugacy class of [{\cal H}] is equal to the index [i_N] and is thus determined by the order of [{\cal N}_{\!\cal G}({\cal H})]. From [{\cal N}_{\!\cal G}({\cal H})\geq{\cal H}], [i_N=|{\cal G}:{\cal N}_{\!\cal G}({\cal H})|] [\leq |{\cal G}:{\cal H}|=i] follows. This means that the number of conjugates of a subgroup [{\cal H} \,\lt\, {\cal G}] cannot exceed the index [i=|{\cal G}:{\cal H}|].

  • (4) If [{\cal H} \,\lt\, {\cal G}] is a maximal subgroup of [{\cal G}], then either [{\cal N}_{\!\cal G}({\cal H})={\cal G}] and [{\cal H}\triangleleft{\cal G}] is a normal subgroup of [{\cal G}] or [{\cal N}_{\!\cal G}({\cal H})={\cal H}] and the number of conjugates is equal to the index [i=|{\cal G}:{\cal H}|].

  • (5) For the normalizers of the space groups, see the corresponding part of Section[link].

1.2.5. Space groups

| top | pdf | Space groups and their description

| top | pdf |

The set of all symmetry operations of a three-dimensional crystal pattern, i.e. its symmetry group, is the space group of this crystal pattern. In a plane, the symmetry group of a two-dimensional crystal pattern is its plane group. In the following, the term `space group' alone will be used and the plane groups are included because they are the space groups of two-dimensional space.

A crystal pattern is a periodic array. This means that there are translations among its symmetry operations. The transl­ations 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 A group [{\cal G}] of isometries in n-dimensional space is called an n-dimensional space group if

  • (1) [{\cal G}] contains n linearly independent translations.

  • (2) There is a minimum length [\delta>0] such that the length r of any translation vector is at least [r=\delta].

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 [n=2] and [n=3] will be dealt with. However, the space groups (more precisely, the space-group types, cf. Section[link]) and other crystallographic items are also known for dimensions n = 4, 5 and 6. For example, the number of affine space-group types for n = 6 is 28 927 922 (Plesken & Schulz, 2000[link]). 7052 of these affine space-group types split into enantiomorphic pairs of space groups, such that there are 28 934 974 crystallographic space-group types (Souvignier, 2003[link]).

One of the characteristics of a space group is its translation group. Any space group [{\cal G}] is an infinite group because the number of its translations is already infinite. The set of all translations of [{\cal G}] forms the infinite translation subgroup [{\cal T}({\cal G})\triangleleft{\cal G}] with the composition law of performing one translation after the other, represented by the multiplication of matrix–column pairs. The group [{\cal T}({\cal G})] is a normal subgroup of [{\cal G}] of finite index. The vector lattice L, cf. Section[link], forms a group with the composition law of vector addition. This group is isomorphic to the group [{\cal T}]([{\cal G}]).

The matrix–column pairs of the symmetry operations of a space group [{\cal G}] 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 [{\cal G}] 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[link] of IT A):

  • (1) The basis is always chosen such that all matrix coefficients are 0 or [\pm 1].

  • (2) If possible, the basis is chosen such that all matrices have main diagonal form; then six of the nine coefficients are 0 and three are [\pm 1].

  • (3) If (2) is not possible, the basis is chosen such that the matrices are orthogonal. Again, six coefficients are 0 and three are [\pm 1].

  • (4) If (3) is not possible, the basis is hexagonal. At least five of the nine matrix coefficients are 0 and at most four are [\pm 1].

  • (5) The conventional basis chosen according to these rules is not always primitive, cf. the first example of Section 8.3.1[link] of IT A. If the conventional basis is primitive, then the lattice is also called primitive; if the conventional basis is not primitive, then the lattice referred to this (non-primitive) basis is called a centred lattice.

  • (6) The matrix parts of a translation and of an inversion are [{\bi I} = \left (\matrix{1& 0& 0 \cr 0& 1& 0 \cr 0& 0& 1 \cr }\right)\,\, {\rm and }\,\,\, {\bar {\bi I}}\,\,= \left (\matrix{{\bar 1}& 0& 0 \cr 0& {\bar 1}& 0 \cr 0& 0& {\bar 1} } \right),]i.e. the unit matrix and the negative unit matrix. They are independent of the basis.

  • (7) The basis vectors of a crystallographic basis are lattice vectors. This makes the description of the lattice and of the symmetry operations of a crystal pattern independent of the actual metrics of the lattice, for example independent of temperature and pressure. It also means that the description of the symmetry may be the same for space groups of the same type, cf. Section[link].

  • (8) The origin is chosen at a point of highest site symmetry which is left invariant by as many symmetry operations as possible. The column parts [{\bi w}_k] of these symmetry operations are [{\bi w}_k={\bi o}], i.e. the columns consist of zeroes only.

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 non-translational symmetry operations. The rules for the choice of the conventional generators are described in IT A, Section 8.3.5[link] .

The description by generators is particularly important for this volume because many of the maximal subgroups in Chapters 2.2[link] and 2.3[link] 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[link]) and Ledermann & Weir (1996[link]). This procedure allows the generation by a short program or even by hand. For details see IT A, Section 8.3.5[link] ; in Table[link] 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:

  • (i) A set of generators is the first way in which the space-group types [{\cal G}], cf. Section[link], are described in IT A. This way is also used in the tables of this volume.

  • (ii) By the matrices of the coset representatives of [({\cal G}:{\cal T}({\cal G}))] in the general position. These matrices are not written in full but in a shorthand notation, cf. Section 8.1.5[link] or Chapter 11.1[link] of IT A. This kind of description is used for translationengleiche maximal subgroups in Chapters 2.2[link] and 2.3[link] of this volume, but in a slightly modified way, cf. Section 2.1.3[link] .

  • (iii) In a visual way by diagrams of the symmetry elements (not symmetry operations!) of [{\cal G}] within a unit cell and its surroundings.

  • (iv) Also in a visual way by depicting the general-position points, again within a unit cell and its surroundings. Classifications of space groups

| top | pdf |

There are an infinite number of space groups because there are an infinite number of known or conceivable crystals and crystal patterns. Indeed, because the lattice parameters depend on temperature and pressure, so do the lattice translations and the space group of a crystal. There is great interest in getting an overview of this vast number of space groups. To achieve this goal, one first characterizes the space groups by their group-theoretical properties and classifies them into space-group types where the space groups of each type have certain properties in common. To get a better overview, one then classifies the space-group types such that related types belong to the same `superclass'. This classification is done in two ways (cf. Sections[link] and[link]):

  • (1) first into geometric crystal classes by the point group of the space group, and then into crystal systems;

  • (2) into the arithmetic crystal classes of the space groups and then into Bravais flocks and into lattice systems (not treated here, cf. IT A, Section 8.2.5[link] );

  • (3) all these classes: geometric and arithmetic crystal classes, crystal systems, Bravais flocks and lattice systems are classified into crystal families.

In reality, the tables in Chapters 2.2[link] and 2.3[link] and the graphs in Chapters 2.4[link] and 2.5[link] are tables and graphs for space-group types. The sequence of the space-group types in IT A and thus in this volume is determined by their crystal class, their crystal system and their crystal family. Therefore, these classifications are treated in the next sections. The point groups and the translation groups of the space groups can also be classified in a similar way. Only the classification of the point groups is treated in this chapter. For a more detailed treatment and for the classification of the lattices, the reader is referred to Chapter 1.4[link] of this volume, to Part 8[link] of IT A or to Brown et al. (1978[link]). Space groups and space-group types

| top | pdf |

We first consider the classification of the space groups into types. A more detailed treatment may be found in Section 8.2.1[link] of IT A. In practice, a common way is to look for the symmetry of the space group [{\cal G}] 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 [{\cal G}], and [{\cal G}] belongs to that space-group type which is described in this set. From those diagrams the Hermann–Mauguin symbol, abbreviated as HM symbol, the Schoenflies symbol and the space-group number are taken.

A rigorous definition is:

Definition Two space groups belong to the same affine space-group 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 space-group types as are obtained by isomorphism. It starts from the description of the symmetry operations of a space group by matrix–column pairs or, as will be formulated here, by augmented matrices. For this one refers each of the space groups to one of its lattice bases.

Definition Two space groups [{\cal G}] and [{\cal G}\,'] belong to the same affine space-group type if for a lattice basis and an origin of [{\cal G}], a lattice basis and an origin of [{\cal G}\,'] can also be found so that the groups of augmented matrices [\specialfonts\{{\bbsf W}\}] describing [{\cal G}] and [\specialfonts\{{\bbsf W}\,'\}] describing [{\cal G}\,'] 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[link] and 2.3[link] it frequently happens that a subgroup [{\cal H} \,\lt\, {\cal G}] of a space group [{\cal G}] 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 space-group type may be determined. In the subgroup tables both the space-group type and the transformation of the coordinate system are listed. One can also use this procedure for the definition of the term `affine space-group type':

Definition Let two space groups [{\cal G}] and [{\cal G}\,'] be referred to lattice bases and represented by their groups of augmented matrices [\specialfonts\{{\bbsf W}\}] and [\specialfonts\{{\bbsf W}\,'\}]. The groups [{\cal G}] and [{\cal G}\,'] belong to the same affine space-group type if an augmented matrix [\specialfonts{\bbsf P}] with linear part P, [\det({\bi P})\neq 0], and column part p exists, for which [\specialfonts\{{\bbsf W}\,'\}={\bbsf P}^{\rm -1}\,\{{\bbsf W}\}\,{\bbsf P} \eqno (]holds.

The affine space-group types are classes in the mathematical sense of the word, i.e. each space group belongs to exactly one type. The derivation of these types reveals 219 affine space-group types and 17 plane-group types.

In crystallography one usually distinguishes 230 rather than 219 space-group types in a slightly finer subdivision. The difference can best be explained using Definition[link]. The matrix part P may have a negative determinant. In this case, a right-handed basis is converted into a left-handed one, and right-handed and left-handed screw axes are exchanged. It is a convention in crystallography to always refer the space to a right-handed basis and hence transformations with [\det({\bi P}) \,\lt\, 0] are not admitted.

Definition If the matrix P is restricted by the condition [\det({\bi P})>0], eleven affine space-group types split into two space-group types each, one with right-handed and one with left-handed screw axes, such that the total number of types is 230. These 230 space-group types are called crystallographic space-group types. The eleven splitting space-group types are called pairs of enantiomorphic space-group types and the space groups themselves are enantiomorphic pairs of space groups.

The space groups of an enantiomorphic pair belong to different crystallographic space-group types but are isomorphic. As a consequence, in the lists of isomorphic subgroups [{\cal H} \,\lt\, {\cal G}] of the tables of Chapter 2.3[link] , there may occur subgroups [{\cal H}] with another conventional HM symbol and another space-group number than that of [{\cal G}], cf. Example[link]. In such a case, [{\cal G}] and [{\cal H}] are members of an enantiomorphic pair of space groups and [{\cal H}] belongs to the space-group type enantiomorphic to that of [{\cal G}]. 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 A space group [{\cal G}] is called symmorphic if representatives [\ispecialfonts{\sfi g}_k] of all cosets [\ispecialfonts{\cal T}({\cal G})\,{\sfi g}_k] can be found such that the set [\ispecialfonts\{{\sfi g}_k\}] of all representatives forms a group.

The group [\ispecialfonts\{{\sfi g}_k\}] 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 [\ispecialfonts{\sfi g}_k] consist of zeroes only.

If a space group is symmorphic then all space groups of its type are symmorphic. Therefore, one can speak of `symmorphic space-group types'. Symmorphic space groups can be recognized easily by their HM symbols: they contain an unmodified point-group symbol: rotations, reflections, inversions and rotoinversions but no screw rotations or glide reflections. There are 73 symmorphic space-group types of dimension three and 13 of dimension two; none of them show enantiomorphism.

One frequently speaks of `the 230 space groups' or `the 17 plane groups' and does not distinguish between the terms `space group' and `space-group type'. This is very often possible and is also done in this volume in order to make the explanations less long-winded. However, occasionally the distinction is indispensable in order to avoid serious difficulties of comprehension. For example, the sentence `A space group is a proper subgroup of itself' is incomprehensible, whereas the sentence `A space group and its proper subgroup belong to the same space-group type' makes sense. Point groups and crystal classes

| top | pdf |

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[link]. Because the number of its elements is infinite, a space group generates from one point an infinite set of symmetry-equivalent points by its matrix–column pairs. Because the number of matrices of the linear parts is finite, the group of matrices generates from one vector a finite set of symmetry-equivalent vectors, 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 [\ispecialfonts{\sfi g}_j\in{\cal G}] be represented by the matrix–column pairs [({\bi W}_j,\,{\bi w}_j)], with the representation of the translations [\ispecialfonts{\sfi t}\kern0.5pt_k\in{\cal T}({\cal G})] by the pairs [({\bi I},\,{\bi t}_k)]. Then the composition of [({\bi W}_j,\,{\bi w}_j)] with all translations forms an infinite set [\{({\bi I},\,{\bi t}_k)\,({\bi W}_j,\,{\bi w}_j)=] [ ({\bi W}_j,\,{\bi w}_j+{\bi t}_k)\}] of symmetry operations which is a right coset of the coset decomposition [({\cal G}:{\cal T}({\cal G}))]. From this equation it follows that the elements of the same coset of the decomposition [({\cal G}:{\cal T}({\cal G}))] have the same linear part. On the other hand, elements of different cosets have different linear parts if [{\cal T}({\cal G})] contains all translations of [{\cal G}]. Thus, each coset can be characterized by its linear part. It can be shown from equations ([link] and ([link] that the linear parts form a group which is isomorphic to the factor group [{\cal G}/{\cal T}({\cal G})], i.e. to the group of the cosets.

Definition A group of linear parts, represented by a group of matrices [{\bi W}_j], is called a point group [{\cal P}]. If the linear parts are those of the matrix–column pairs describing the symmetry operations of a space group [{\cal G}], the group is called the point group [{\cal P}_{{\cal G}}] of the space group [{\cal G}]. The point groups that can belong to space groups are called crystallographic point groups.

According to Definition[link], the factor group [{\cal G}/{\cal T}({\cal G})] is isomorphic to the point group [{\cal P}_{{\cal G}}]. This property is exploited in the graphs of translationengleiche subgroups of space groups, cf. Chapter 2.4[link] and Section[link] .

All point groups in the following sections are crystallographic point groups. The maximum order of a crystallographic point group is 48 in three-dimensional space and 12 in two-dimensional space.

As with space groups, there are also an infinite number of crystallographic point groups which may be classified into a finite number of point-group types. This cannot be done by iso­morphism because geometrically different point groups may be isomorphic. For example, point groups consisting of the identity with the inversion [\{{\bi I},\,\overline{{\bi I}}\}] or with a twofold rotation [\{{\bi I},\,{\bi 2}\}] or with a reflection through a plane [\{{\bi I},\,{\bi m}\}] are all isomorphic to the (abstract) group of order 2. As for space groups, the classification may be performed, however, referring the point groups to corresponding vector bases. As translations do not occur among the point-group operations, one may choose any basis for the description of the symmetry operations by matrices. One takes the basis of [\{{\bi W}'\}] as given and transforms the basis of [\{{\bi W}\}] to the basis corresponding to that of [\{{\bi W}'\}]. This leads to the definition:

Definition Two crystallographic point groups [{\cal P}_{{\cal G}}] and [{\cal P}\kern0.5pt'_{{\cal G}\kern0.5pt'}] belong to the same point-group type or to the same crystal class of point groups if there is a real non-singular matrix P which maps a matrix group [\{{\bi W}\}] of [{\cal P}_{{\cal G}}] onto a matrix group [\{{\bi W}\kern0.5pt'\}] of [{\cal P}\kern0.5pt'_{{\cal G}\kern0.5pt'}] by the transformation [\{{\bi W}\kern0.5pt'\}={\bi P}^{-1}\,\{{\bi W}\}\,{\bi P}].

Point groups can be classified by Definition[link]. Further space groups may be classified into `crystal classes of space groups' according to their point groups:

Definition Two space groups belong to the same crystal class of space groups if their point groups belong to the same crystal class of point groups.

Whether two space groups belong to the same crystal class or not can be worked out from their standard HM symbols: one removes the lattice parts from these symbols as well as the constituents `1' from the symbols of trigonal space groups and replaces all constituents for screw rotations and glide reflections by those for the corresponding pure rotations and reflections. The symbols obtained in this way are those of the corresponding point groups. If they agree, the space groups belong to the same crystal class. The space groups also belong to the same crystal class if the point-group symbols belong to the pair [\overline{4}2m] and [\overline{4}m2] or to the pair [\overline{6}2m] and [\overline{6}m2].

There are 32 classes of three-dimensional crystallographic point groups and 32 crystal classes of space groups, and ten classes of two-dimensional crystallographic point groups and ten crystal classes of plane groups.

The distribution into crystal classes classifies space-group types – and thus space groups – and crystallographic point groups. It does not classify the infinite set of all lattices into a finite number of lattice types, because the same lattice may belong to space groups of different crystal classes. For example, the same lattice may be that of a space group of type [P1] (of crystal class 1) and that of a space group of type [P\overline{1}] (of crystal class [\overline{1}]).

Nevertheless, there is also a definition of the `point group of a lattice'. Let a vector lattice L of a space group [{\cal G}] be referred to a lattice basis. Then the linear parts W of the matrix–column pairs (W, w) of [{\cal G}] form the point group [{\cal P}_{{\cal G}}]. If (W, w) maps the space group [{\cal G}] 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 [{\cal P}_{{\cal G}}] of a space group of type [P1] consists of the identity 1 only. However, with any vector [{\bf t}\in{\bf L}], the negative vector [-{\bf t}\in{\bf L}] also belongs to [{\bf L}]. Therefore, the lattice [{\bf L}] is always centrosymmetric and has the inversion [\overline{{\bi 1}}] as a symmetry operation independent of the symmetry of the space group.

Definition 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 [{\cal P}_{{\cal G}}] is called a holohedral crystal class if it contains a holohedry.

There are seven holohedral crystal classes in the space: [\overline{1}], [2/m], [mmm], [4/mmm], [\overline{3}m], [6/mmm] and [m\overline{3}m]. Their lattices are called triclinic, monoclinic, orthorhombic, tetragonal, rhombohedral, hexagonal and cubic, respectively. There are four holohedral crystal classes in the plane: [2], [2mm], [4mm] and [6mm]. Their two-dimensional lattices (or nets) are called oblique, rectangular, square and hexagonal, respectively.

The lattices can be classified into lattice types or Bravais types, mostly called Bravais lattices, or into lattice systems (called Bravais systems in editions 1 to 4 of IT A). These classifications are not discussed here because they are not directly relevant to the classification of the space groups. This is because the lattice symmetry is not necessarily typical for the symmetry of its space group but may accidentally be higher. For example, the lattice of a monoclinic crystal may be accidentally orthorhombic (only for certain values of temperature and pressure). In Sections 8.2.5[link] and 8.2.7[link] of IT A the `typical lattice symmetry' of a space group is defined. Crystal systems and crystal families

| top | pdf |

The example of [P1] 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 A crystal class C of a space group [{\cal G}] 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 [{\bf H\,'}] 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, ortho­rhombic, tetragonal, trigonal, hexagonal and cubic. There are four crystal systems of plane groups: oblique, rectangular, square and hexagonal. Like the space groups, the crystal classes of point groups are classified into the seven crystal systems of point groups.

Apart from accidental lattice symmetries, the space groups of different crystal systems have lattices of different symmetry. As an exception, the hexagonal primitive lattice occurs in both hexagonal and trigonal space groups as the typical lattice. Therefore, the space groups of the trigonal and the hexagonal crystal systems are more related than space groups from other different crystal systems. Indeed, in different crystallographic schools the term `crystal system' was used for different objects. One sense of the term was the `crystal system' as defined above, while another sense of the old term `crystal system' is now called a `crystal family' according to the following definition [for definitions that are also valid in higher-dimensional spaces, see Brown et al. (1978[link]) or IT A, Chapter 8.2[link] ]:

Definition In three-dimensional space, the classification of the set of all space groups into crystal families is the same as that into crystal systems with the one exception that the trigonal and hexagonal crystal systems are united to form the hexagonal crystal family. There is no difference between crystal systems and crystal families in the plane.

The partition of the space groups into crystal families is the most universal one. The space groups and their types, their crystal classes and their crystal systems are classified by the crystal families. Analogously, the crystallographic point groups and their crystal classes and crystal systems are classified by the crystal families of point groups. Lattices, their Bravais types and lattice systems can also be classified into crystal families of lattices; cf. IT A, Chapter 8.2[link] .

1.2.6. Types of subgroups of space groups

| top | pdf | Introductory remarks

| top | pdf |

Group–subgroup relations form an essential part of the applications of space-group theory. Let [{\cal G}] be a space group and [{\cal H} \,\lt\, {\cal G}] a proper subgroup of [{\cal G}]. All maximal subgroups [{\cal H} \,\lt\, {\cal G}] of any space group [{\cal G}] 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 accor­ding to these kinds of subgroups. Moreover, for the different kinds of subgroups different data are listed in the sub­group tables and graphs.

Let [{\cal G}_j] and [{\cal H}_j] be space groups of the space-group types [{\cal G}] and [{\cal H}]. The group–subgroup relation [{\cal G}_j>{\cal H}_j] is a relation between the particular space groups [{\cal G}_j] and [{\cal H}_j] but it can be generalized to the space-group types [{\cal G}] and [{\cal H}]. Certainly, not every space group of the type [{\cal H}] will be a subgroup of every space group of the type [{\cal G}]. Nevertheless, the relation [{\cal G}_j>{\cal H}_j] holds for any space group of [{\cal G}] and [{\cal H}] in the following sense: If [{\cal G}_j>{\cal H}_j] holds for the pair [{\cal G}_j] and [{\cal H}_j], then for any space group [{\cal G}_k] of the type [{\cal G}] a space group [{\cal H}_k] of the type [{\cal H}] exists for which the corresponding relation [{\cal G}_k>{\cal H}_k] holds. Conversely, for any space group [{\cal H}_m] of the type [{\cal H}] a space group [{\cal G}_m] of the type [{\cal G}] exists for which the corresponding relation [{\cal G}_m>{\cal H}_m] 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. Definitions and examples

| top | pdf |

`Maximal subgroups' have been introduced by Definition[link]. The importance of this definition will become apparent in the corollary to Hermann's theorem, cf. Lemma[link]. 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[link] .

If the maximal subgroups are known for each space group, then each non-maximal subgroup of a space group [{\cal G}] with finite index can in principle be obtained from the data on maximal subgroups. A non-maximal subgroup [{\cal H} \,\lt\, {\cal G}] of finite index [i] is connected with the original group [{\cal G}] through a chain [{\cal H}=] [{\cal Z}_k \,\lt\, {\cal Z}_{k-1} \,\lt\, \ldots \,\lt\, {\cal Z}_1 \,\lt\, {\cal Z}_0={\cal G}], where each group [{\cal Z}_j \,\lt\, {\cal Z}_{j-1}] is a maximal subgroup of [{\cal Z}_{j-1}], with the index [[i_j]=] [|{\cal Z}_{j-1}:{\cal Z}_j|], [j=1, \ldots, k]. The number k is finite and the relation [i=\prod_{j=1}^k i_j] holds, i.e. the total index [i] is the product of the indices [i_j].

According to Hermann (1929[link]), the following types of sub­groups of space groups have to be distinguished:

Definition A subgroup [{\cal H}] of a space group [{\cal G}] is called a translationengleiche subgroup or a t-subgroup of [{\cal G}] if the set [{\cal T}({\cal G})] of translations is retained, i.e. [{\cal T}({\cal H})={\cal T}({\cal G})], but the number of cosets of [{\cal G}/{\cal T}({\cal G})], i.e. the order P of the point group [{\cal P}_{{\cal G}}], is reduced such that [|{\cal G}/{\cal T}({\cal G})|>|{\cal H}/{\cal T}({\cal H})|].10

The order of a crystallographic point group [{\cal P}_{{\cal G}}] of the space group [{\cal G}] is always finite. Therefore, the number of the subgroups of [{\cal P}_{{\cal G}}] is also always finite and these subgroups and their relations are displayed in well known graphs, cf. Chapter 2.4[link] and Section 2.1.8[link] of this volume. Because of the isomorphism between the point group [{\cal P}_{{\cal G}}] and the factor group [{\cal G}/{\cal T}({\cal G})], the subgroup graph for the point group [{\cal P}_{{\cal G}}] is the same as that for the t-subgroups of [{\cal G}], only the labels of the groups are different. For deviations between the point-group graphs and the actual space-group graphs of Chapter 2.4[link] , cf. Section[link] .


Consider a space group [{\cal G}] of type [P12/m1] referred to a conventional coordinate system. The translation subgroup [{\cal T}({\cal G})] consists of all translations with translation vectors [{\bf t}=u{\bf a}+v{\bf b}+w{\bf c}], where [u,\ v,\ w] run through all integer numbers. The coset decomposition of [({\cal G}:{\cal T}({\cal G}))] results in the four cosets [{\cal T}]([{\cal G}]), [{\cal T}({\cal G})\,{\bi 2}_0], [{\cal T}({\cal G})\,{\bi m}_0] and [{\cal T}({\cal G})\,\overline{{\bi 1}}_0], where the right operations are a twofold rotation [{\bi 2}_0] around the rotation axis passing through the origin, a reflection [{\bi m}_0] through a plane containing the origin and an inversion [\overline{{\bi 1}}_0] with the inversion point at the origin, respectively. The three combinations [{\cal H}_1={\cal T}({\cal G})\cup{\cal T}({\cal G})\,{\bi 2}_0], [{\cal H}_2={\cal T}({\cal G})\cup{\cal T}({\cal G})\,{\bi m}_0] and [{\cal H}_3=] [{\cal T}({\cal G})\cup({\cal T}{\cal G})\,\overline{{\bi 1}}_0] each form a translationengleiche maximal subgroup of [{\cal G}] of index 2 with the space-group symbols [P121], [P1m1] and [P\overline{1}], respectively.

Definition A subgroup [{\cal H} \,\lt\, {\cal G}] of a space group [{\cal G}] is called a klassengleiche subgroup or a k-subgroup if the set [{\cal T}]([{\cal G}]) of all translations of [{\cal G}] is reduced to [{\cal T}({\cal H}) \,\lt\, {\cal T}({\cal G})] but all linear parts of [{\cal G}] are retained. Then the number of cosets of the decompositions [{\cal H}/{\cal T}({\cal H})] and [{\cal G}/{\cal T}({\cal G})] is the same, i.e. [|{\cal H}/{\cal T}({\cal H})|= |{\cal G}/{\cal T}({\cal G})|]. In other words: the order of the point group [{\cal P}_{{\cal H}}] is the same as that of [{\cal P}_{{\cal G}}]. See also footnote 10.

For a klassengleiche subgroup [{\cal H} \,\lt\, {\cal G}], the cosets of the factor group [{\cal H}/{\cal T}({\cal H})] are smaller than those of [{\cal G}/{\cal T}({\cal G})]. Because [{\cal T}]([{\cal H}]) is still infinite, the number of elements of each coset is infinite but the index [|{\cal T}({\cal G}):{\cal T}({\cal H})|>1] is finite. The number of k-subgroups of [{\cal G}] is always infinite.


Consider a space group [{\cal G}] of the type [C121], referred to a conventional coordinate system. The set [{\cal T}({\cal G})] of all translations can be split into the set [{\cal T}\!_{i}] of all translations with integer coefficients u, v and w and the set [{\cal T}\!_{f}] of all translations for which the coefficients u and v are fractional. The set [{\cal T}\!_{i}] forms a group; the set [{\cal T}\!_{f}] is the other coset in the decomposition [({\cal T}({\cal G})\,:\, {\cal T}\!_{i})] and does not form a group. Let [\ispecialfonts{\sfi t}\kern0.5pt_{C}] be the `centring translation' with the translation vector [{{1}\over{2}}({\bf a}+{\bf b})]. Then [{\cal T}\!_{f}] can be written [\ispecialfonts{\cal T}\!_{i}\,{\sfi t}\kern0.5pt_{C}]. Let [{\bi 2}_0] mean a twofold rotation around the rotation axis through the origin. There are altogether four cosets of the decomposition ([{\cal G}\,:\,{\cal T}\!_{i}]), which can be written now as [{\cal T}\!_{i}], [\ispecialfonts{\cal T}\!_{f}={\cal T}\!_{i}\,{\sfi t}\kern0.5pt_{C}], [{\cal T}\!_{i}\,{\bi 2}_0] and [\ispecialfonts{\cal T}\!_{f}\,{\bi 2}_0=({\cal T}\!_{i}\,{\sfi t}\kern0.5pt_{C})\,{\bi 2}_0=] [\ispecialfonts{\cal T}\!_{i}\, ({\sfi t}\kern0.5pt_{C}\,{\bi 2}_0)]. The union [\ispecialfonts{\cal T}\!_{i}\cup({\cal T}\!_{i}\,{\sfi t}\kern0.5pt_{C})= {\cal T}_{\!\cal G}] forms the translation­en­gleiche maximal subgroup [C1] (conventional setting [P1]) of [{\cal G}] of index 2. The union [{\cal T}\!_{i}\cup({\cal T}\!_{i}\,{\bi 2}_0)] forms the klassengleiche maximal subgroup [P121] of [{\cal G}] of index 2. The union [\ispecialfonts{\cal T}\!_{i}\cup({\cal T}\!_{i}({\sfi t}\kern0.5pt_{C}\,{\bi 2}_0))] also forms a klassengleiche maximal subgroup of index 2. Its HM symbol is [P12_11], and the twofold rotations 2 of the point group 2 are realized by screw rotations [{\bi 2}_1] in this subgroup because ([\ispecialfonts{\sfi t}\kern0.5pt_{C}\,{\bi 2}_0]) is a screw rotation with its screw axis running parallel to the b axis through the point [{{1}\over{4}},0,0]. There are in fact these two k-subgroups of [C121] of index 2 which have the group [{\cal T}\!_{i}] in common. In the subgroup table of [C121] 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 [C121] with index 2 are found under the heading `Enlarged unit cell'.)

The group [{\cal T}\!_{i}] of type [P1] is a non-maximal subgroup of [C121] of index 4.

Definition A klassengleiche or k-subgroup [{\cal H} \,\lt\, {\cal G}] is called isomorphic or an isomorphic subgroup if it belongs to the same affine space-group type (isomorphism type) as [{\cal G}]. If a subgroup is not isomorphic, it is sometimes called non-isomorphic.

Isomorphic subgroups are special k-subgroups. The importance of the distinction between k-subgroups in general and isomorphic subgroups in particular stems from the fact that the number of maximal non-isomorphic k-subgroups of any space group is finite, whereas the number of maximal isomorphic subgroups is always infinite, see Section 1.2.8[link].


Consider a space group [{\cal G}] of type [P\overline{1}] referred to a conventional coordinate system. The translation subgroup [{\cal T}({\cal G})] consists of all translations with translation vectors [{\bf t}=u{\bf a}+v{\bf b}+w{\bf c}], where [u,\ v] and w run through all integer numbers. There is an inversion [\overline{{\bi 1}}_0] with the inversion point at the origin and also an infinite number of other inversions, generated by the combinations of [\overline{{\bi 1}}_0] with all translations of [{\cal T}({\cal G})].

We consider the subgroup [{\cal T}\!_g] of all translations with an even coefficient u and arbitrary integers v and w as well as the coset decomposition [({\cal G}\,:\,{\cal T}\!_g)]. Let [\ispecialfonts{\sfi t}\kern0.5pt_a] be the translation with the translation vector a. There are four cosets: [{\cal T}\!_g], [\ispecialfonts{\cal T}\!_g\,{\sfi t}\kern0.5pt_a], [{\cal T}\!_g\,\overline{{\bi 1}}_0] and [\ispecialfonts{\cal T}\!_g({\sfi t}\kern0.5pt_a\,\overline{{\bi 1}}_0)]. The union [\ispecialfonts{\cal T}\!_g\cup({\cal T}\!_g\,{\sfi t}\kern0.5pt_a)] forms the translation­engleiche maximal subgroup [{\cal T}({\cal G})] of index 2. The union [{\cal T}\!_g\cup({\cal T}\!_g\,\overline{{\bi 1}}_0)] forms an isomorphic maximal subgroup of index 2, as does the union [\ispecialfonts{\cal T}\!_g\cup({\cal T}\!_g\,({\sfi t}\kern0.5pt_a\,\overline{{\bi 1}}_0))]. There are thus two maximal isomorphic subgroups of index 2 which are obtained by doubling the a lattice parameter. There are altogether 14 isomorphic sub­groups of index 2 for any space group of type [P\,\overline{1}] which are obtained by seven different cell enlargements.

If [{\cal G}] belongs to a pair of enantiomorphic space-group types, then the isomorphic subgroups of [{\cal G}] may belong to different crystallographic space-group types with different HM symbols and different space-group numbers. In this case, an infinite number of subgroups belong to the crystallographic space-group type of [{\cal G}] and another infinite number belong to the enantiomorphic space-group type.


Space group [P4_1], No. 76, has for any prime number [p>2] an isomorphic maximal subgroup of index p with the lattice parameters [a,\ b,\ pc]. This is an infinite number of subgroups because there is an infinite number of primes. The subgroups belong to the space-group type [P4_1] if [p=4n+1]; they belong to the type [P4_3] if [p=4n+3].

Definition 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. point-group symmetry.


The subgroup [{\cal T}\!_g] in Example[link] has lost all inversions of the original space group [P\overline{1}] as well as all translations with odd u. It is a general subgroup [P1] of the space group [P\overline{1}] of index 4. The role of normalizers for group–subgroup pairs of space groups

| top | pdf |

In Section[link], the normalizer [{\cal N}_{\!{\cal G}}({\cal H})] of a subgroup [{\cal H} \,\lt\, {\cal G}] in the group [{\cal G}] was defined. The equation [{\cal H}\ {\underline{\triangleleft}}\ \,{\cal N}_{\!{\cal G}}({\cal H})\leq{\cal G}] holds, i.e. [{\cal H}] is a normal subgroup of [{\cal N}_{\!{\cal G}}({\cal H})]. The normalizer [{\cal N}_{\!{\cal G}}({\cal H})], by its index in [{\cal G}], determines the number [N_j=|{\cal G}:{\cal N}_{\!\cal G}({\cal H})|] of subgroups [{\cal H}_j \,\lt\, {\cal G}] that are conjugate in the group [{\cal G}], cf. Remarks (2) and (3) below Definition[link].

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 [{\cal A}] of all reversible affine mappings, the Euclidean group [{\cal E}] of all isometries, the translation group [{\cal T}] of all translations and the orthogonal group [{\cal O}] of all orthogonal mappings.

Connected with any particular space group [{\cal G}] are its group of translations [{\cal T}({\cal G})] and its point group [{\cal P}_{{\cal G}}]. In addition, the normalizers [{\cal N}_{\!{\cal A}}({\cal G})] of [{\cal G}] in the affine group [{\cal A}] and [{\cal N}_{\!{\cal E}}({\cal G})] in the Euclidean group [{\cal E}] are useful. They are listed in Section 15.2.1[link] of IT A. Although consisting of isometries only, [{\cal N}_{\!{\cal E}}({\cal G})] is not necessarily a space group, see the second paragraph of Example[link].

For the group–subgroup pairs [{\cal H} \,\lt\, {\cal G}] the following relations hold:

  • (1) [{\cal T}({\cal H})\leq{\cal H}\leq{\cal N}_{\!{\cal G}}({\cal H}) \leq{\cal G}\leq{\cal N}_{\!{\cal E}}({\cal G}) \,\lt\, {\cal E}];

    • (1a) [{\cal H}\leq{\cal N}_{\!{\cal G}}({\cal H})\leq {\cal N}_{\!{\cal E}}({\cal H}) \,\lt\, {\cal E}];

    • (1b) [{\cal N}_{\!{\cal E}}({\cal H})\leq{\cal N}_{\!{\cal A}}({\cal H}) \,\lt\, {\cal A}];

  • (2) [{\cal T}({\cal H})\leq{\cal T}({\cal G}) \,\lt\, {\cal T} \,\lt\, {\cal E}];

  • (3) [{\cal T}({\cal G})\leq{\cal G}\leq {\cal N}_{\!{\cal E}}({\cal G})\le{\cal N}_{\!{\cal A}}({\cal G}) \,\lt\, {\cal A}].

The subgroup [{\cal H}] may be a translationengleiche or a klassen­glei­che or a general subgroup of [{\cal G}]. In any case, the normalizer [{\cal N}_{\!{\cal G}}({\cal H})] determines the length of the conjugacy class of [{\cal H} \,\lt\, {\cal G}], but it is not feasible to list for each group–subgroup pair [{\cal H} \,\lt\, {\cal G}] its normalizer [{\cal N}_{\!{\cal G}}({\cal H})]. Indeed, it is only necessary to list for any space group [{\cal H}] its normalizer [{\cal N}_{\!{\cal E}}({\cal H})] in the Euclidean group [{\cal E}] of all isometries, as is done in IT A, Section 15.2.1[link] . From such a list the normalizers for the group–subgroup pairs can be obtained easily, because for any chain of space groups [{\cal H} \,\lt\, {\cal G} \,\lt\, {\cal E}], the relations [{\cal H}\le{\cal N}\!_{\cal G}({\cal H})\le{\cal G}] and [{\cal H}\le{\cal N}\!_{\cal G}({\cal H})\le{\cal N}\!_{\cal E}({\cal H})] hold. The normalizer [{\cal N}\!_{\cal G}({\cal H})] consists consequently of all those isometries of [{\cal N}\!_{\cal E}({\cal H})] that are also elements of [{\cal G}], i.e. that belong to the intersection [{\cal N}\!_{\cal E}({\cal H})\cap{\cal G}], cf. the examples of Section 1.2.7[link].11

The isomorphism type of the Euclidean normalizer [{\cal N}_{\!{\cal E}}({\cal H})] may depend on the lattice parameters of the space group (specialized Euclidean normalizer). For example, if the lattice of the space group [P\overline{1}] of a triclinic crystal is accidentally monoclinic at a certain temperature and pressure or for a certain composition in a continuous solid-solution series, then the Euclidean normalizer of this space group belongs to the space-group types [P2/m] or [C2/m], otherwise it belongs to [P\overline{1}]. Such a specialized Euclidean normalizer (here [P2/m] or [C2/m]) may be distinguished from the typical Euclidean normalizer (here [P\overline{1}]), for which the lattice of [{\cal H}] is not more symmetric than is required by the symmetry of [{\cal H}]. The specialized Euclidean normalizers were first listed in the 5th edition of IT A (2005[link]), Section 15.2.1[link] .

1.2.7. Application to domain structures

| top | pdf | Introductory remarks

| top | pdf |

In this section, the basic group-theoretical 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 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 [{\cal H}_j] of phase B are conjugate subgroups of the space group [\cal G] of phase A, [{\cal H}_j \,\lt\, {\cal G}]. 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 [{\cal H}_j \,\lt\, {\cal G}] which, however, all belong to the same space-group type [\cal H]. 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[link]) (abbreviated as IT D) Part 3, by Janovec, Hahn & Klapper (Chapter 3.2[link] ), by Hahn & Klapper (Chapter 3.3[link] ) and by Janovec & Přívratská (Chapter 3.4[link] ) with more than 400 references. Domains are also considered in Section 1.6.6[link] of this volume.

In this section, non-ferroelastic 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[link]), see also IT D, Section[link] . A transition is non-ferroelastic if the strain tensors (metric tensors) of the low-symmetry 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 non-ferroelastic phases.

If in this section ferroelastic phase transitions are considered, the PCA is assumed to be applied.

Under a non-ferroelastic 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 [{\cal H}_j] of B are subgroups of the space group [\cal G] of A, [{\cal H}_j \,\lt\, {\cal G}].

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. Never­theless, 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 [\cal G].

The description of domain structures by their crystal structures is called the microscopic description, IT D, Section[link] . In the continuum description, the crystals are treated as anisotropic continua, IT D, Section[link] . 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[link] ; 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[link]. Domain states, symmetry states and directional states

| top | pdf |

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 [{\bf B}_j] with space groups [{\cal H}_j]. The domain states have well defined relations to the original crystal of phase A and its space group [\cal G]. 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[link]. Each domain belongs to a crystal pattern.

Definition The set of all domains which belong to the same crystal pattern forms a domain state [{\bf B}_j]. The domains of one domain state occupy different regions of space and are part of the same crystal pattern: to each domain state [{\bf B}_j] belongs a crystal pattern.

From the viewpoint of symmetry, different domains of the same domain state cannot be distinguished. The following con­siderations concern domain states and thus indirectly their const­it­uents, the domains.

The number of domain states that may be observed in the distorted phase B is limited and determined by the space groups [\cal G] and [{\cal H}_j]. 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.[link] in IT D.

A trivial domain structure is formed when phase B consists of one domain only, i.e. when it forms a single-domain structure. This is possible, for example, in nanocrystals (Chen et al., 1997[link]) 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 [\cal G] will be decomposed into cosets relative to its subgroup [{\cal H}_1], which is the space group of the domain state [{\bf B}_1],[\ispecialfonts{\cal G}={\cal H}_1\cup\ldots\cup{\sfi g}_j{\cal H}_1\cup\ldots\cup{\sfi g}_i{\cal H}_1.]

The elements [\ispecialfonts{\sfi g}_1={\sfi e},\ \ldots,\ {\sfi g}_j,\ \ldots\ {\sfi g}_i] of [\cal G] are the coset representatives. The elements [\ispecialfonts{\sfi h}_r] of [{\cal H}_1] map the domain state [{\bf B}_1] onto itself, [\ispecialfonts{\sfi h}_r\,{\bf B}_1={\bf B}_1], [\ispecialfonts{\sfi h}_r\in{\cal H}_1]. The elements of the other cosets map [{\bf B}_1] onto the other domain states, for example, [\ispecialfonts{\sfi g}_j{\bf B}_1={\bf B}_j].13

It follows:

Lemma The number N of possible domain states of phase [{\bf B}] is equal to the index [i] of [{\cal H}_1] in [\cal G], [N=|{\cal G}:{\cal H}_1| = [\,i\,]].

Having determined the number of domain states, we turn to their space groups, i.e. to the space groups of their crystal patterns.

From [\ispecialfonts{\bf B}_1={\sfi h}_r\,{\bf B}_1] for any [\ispecialfonts{\sfi h}_r \in {\cal H}_1], written as [{\cal H}_1\,{\bf B}_1={\bf B}_1], and [\ispecialfonts{\bf B}_j={\sfi g}_j{\bf B}_1] or [\ispecialfonts{\bf B}_1 = {\sfi g}_j^{-1}\,{\bf B}_j], we conclude that [\ispecialfonts{\sfi g}_j^{-1}\,{\bf B}_j= {\cal H}_1\,{\bf B}_1=] [\ispecialfonts {\cal H}_1\,{\sfi g}_j^{-1}\,{\bf B}_j] or [\ispecialfonts{\bf B}_j ={\sfi g}_j\,{\cal H}_1\,{\sfi g}_j^{-1}{\bf B}_j].

This means: the space group [\ispecialfonts{\sfi g}_j\,{\cal H}_1\,{\sfi g}_j^{-1}] leaves the domain state [{\bf B}_j] invariant and is a subgroup of [\cal G] which is conjugate to [{\cal H}_1] for any value of [j].

For the classification of the domain states according to their space groups we now introduce the term symmetry state.

Definition 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 [N_S] of symmetry states is determined by the normalizer [{\cal N}_{\!{\cal G}}({\cal H}_1)] of [{\cal H}_1] in [\cal G].

Let [{\cal N}_{\!{\cal G}}({\cal H}_1)] be the normalizer of the space group [{\cal H}_1] in the space group [\cal G]. Then [{\cal G}\geq{\cal N}_{\!{\cal G}}({\cal H}_1)\ {\underline{\triangleright}}\ \,{\cal H}_1] with the indices [|{\cal G}:{\cal H}_1|] [=[\,i\,]] and [|{\cal G}:{\cal N}_{\!{\cal G}}({\cal H}_1)|=[\,i_S\,]] with [i_S\leq i]. By Lemma[link] the number [N=|{\cal G}:{\cal H}_1|] of domain states is determined. For the number [N_S] of symmetry states the following lemma holds:

Lemma The number [N_S] of symmetry states for the transition [{\bf A}\longrightarrow{\bf B}] with space groups [\cal G] and [{\cal H}_j] is [|{\cal G}:{\cal N}_{{\cal G}}({\cal H}_1)| =[\,i_S\,]=N_S\leq N]. To each symmetry state there belong [d_s=N:N_S] domain states, i.e. [d_s\cdot N_S=N], cf. IT D, Section[link] .

In a group–subgroup relation such as that between [\cal G] and [{\cal H}_j], [{\cal H}_j] has in general lost translations as well as non-translational symmetry operations. Thus, for the translation subgroups (the lattices) [{\cal T}_{{\cal G}} \geq {\cal T}_{{\cal H}_ j}] holds, and for the point groups [{\cal P}_{{\cal G}}\geq {\cal P}_{{\cal H}_j}] holds. Then a uniquely determined space group [{\cal M}_j] exists, called Hermann's group, such that [{\cal M}_j] has the translations of [\cal G] and the point group of [{\cal H}_j], IT D, Example[link] . The group [{\cal M}_j] can thus be characterized as that translationengleiche subgroup of [\cal G] which is simultaneously a klassengleiche supergroup of [{\cal H}_j]. For general subgroups [{\cal G}\,\gt\,{\cal M}_j\,\gt\,{\cal H}_j], for translationengleiche subgroups [{\cal H}_j={\cal M}_j \,\lt\, {\cal G}] and for klassengleiche subgroups [{\cal H}_j \,\lt\, {\cal M}_j={\cal G}] holds.

For the corresponding indices one finds by coset decomposition the following lemma, see IT D, equation ([link] .

Lemma The index [i] of [{\cal H}_j] in [\cal G] can be factorized into the point-group part [i_{P}] and the lattice part [i_{L}]: [|{\cal G}:{\cal H}_j|= i  =] [|{\cal G}:{\cal M}_j|\cdot |{\cal M}_j:{\cal H}_j|= i_{P}\cdot i_{L}].

In the continuum description the lattices are ignored and only the relation between the point groups is considered. Because [{\cal M}_j] is a translationengleiche subgroup of [\cal G], the index of [{\cal M}_j] in [\cal G] is the same as the index [i_{P}] of the point group of [{\cal H}_j] in the point group of [\cal G].

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 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 [{\bf B}_1] and [\ispecialfonts{\bf B}_j={\sfi g}_j\,{\bf B}_1] are parallel, then the coset representative [\ispecialfonts{\sfi g}_j] is a translation and [{\cal H}_j] and [{\cal H}_1] are klassengleiche subgroups of [{\cal M}_1]. Both subgroups have also the same translations because a translation [\ispecialfonts{\sfi g}_j] commutes with all translations and thus leaves [{\cal T}({\cal H}_1)] invariant, see Examples[link] and[link].

To determine the number of directional states, we consider the coset decomposition of [\cal G] relative to Hermann's group [{\cal M}_1]. Each coset of the decomposition [{\cal G}:{\cal M}_1] maps the domain state [{\bf B}_1] onto a domain state [{\bf B}_j] with another directional state which results in the following lemma:

Lemma The number of directional states in the transition [{\bf A}\longrightarrow{\bf B}] with space groups [\cal G] and [{\cal H}_1] is [|{\cal G}:{\cal M}_1|], i.e. the index [[\,i_{P}]] of [{\cal M}_1] in [\cal G].

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. Examples

| top | pdf |

The terms just defined shall be explained in a few examples. In Example[link] a translationengleiche transition is considered; i.e. [\cal H] is a translationengleiche subgroup of [\cal G]. Because [{\cal M}_j = {\cal H}_j], the relation between [\cal G] and [{\cal H}_j] is reflected by the relation between the space groups [\cal G] and [{\cal M}_j] and the results of the microscopic and continuum description correspond to each other.


Perovskite BaTiO3 exhibits a ferroelastic and ferroelectric phase transition from phase A with the cubic space group [{\cal G}=Pm\overline{3}m], No. 221, to phase [{\bf B}] with tetragonal space groups of type [{\cal H}=P4mm], No. 99. Several aspects of this transition are discussed in IT D. Let [{\bf B}_1] be one of the domain states of phase B. Because the index [|{\cal G}:{\cal H}_1|=6], 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 [\cal G]. 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 [{\cal H}_j = {\cal M}_j] (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 [{\cal N}_{\!{\cal G}}({\cal H}_1)] can be obtained from the Euclidean normalizer [{\cal N}_{\!{\cal E}}] of [P4mm] in Table[link] of IT A, which is listed as [P^14/mmm]. This Euclidean normalizer has continuous translations along the z direction (indicated by the [P^1] lattice part of the HM symbol) and is thus not a space group. However, all additional translations of [P^14/mmm] are not elements of the space group [\cal G], and [{\cal N}\!_{\cal G}({\cal H}_1)] = [({\cal N}\!_{\cal E}({\cal H}_1)\cap{\cal G})] = [(P^14/mmm\cap Pm\overline{3}m)] = [P4/mmm] is a subgroup of [Pm\overline{3}m] with index 3 and with the lattice of [Pm\overline{3}m] due to the PCA. There are thus three symmetry states, i.e. three subgroups of the type [P4mm] with their fourfold axes directed along the z, x and y directions of the cubic space group [\cal G]. Two domain states (with opposite polar axes) belong to each of the three subgroups [{\cal H}_j] of type [P4mm].

In Example[link], 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. [\cal H] is a klassengleiche subgroup of [\cal G]. Then [{\cal M}_j = {\cal G}] 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.


Let [{\cal G}=Fm\overline{3}m], No. 225, with lattice parameter a and [{\cal H}_1=Pm\overline{3}m], No. 221, with the same lattice parameter a. The relation [{\cal H}_1 \,\lt\, {\cal G}] is klassengleich of index 4 and is found between the disordered and ordered modifications of the alloy AuCu3. 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[link] , the Euclidean normalizer of [{\cal H}_1] is [{\cal N}_{\!{\cal E}}({\cal H}_1)=Im\overline{3}m] with lattice parameter a. The additional I-centring translations of [{\cal N}_{\!{\cal E}}({\cal H}_1)] are not translations of [\cal G] and thus [{\cal N}_{\!{\cal G}}({\cal H}_1)={\cal H}_1]. There are four domain states, each one with its own distinct space group [{\cal H}_j, \ j=1, \ldots, 4], and symmetry state. The shifts of the conventional origins of [{\bf B}_j] relative to the origin of [{\bf A}] are [0,0,0]; [{1\over2},{1\over2},0]; [{1\over2},0,{1\over2}]; and [0,{1\over2},{1\over2}]. 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 high-resolution transmission electron microscopy (HRTEM), IT D, Section[link] .

In the next example there are two domain states and both belong to the same space group, i.e. to the same symmetry state.


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 [{\cal G}= Im\overline{3}m], 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 [{\cal H}=Pm\overline{3}m], No. 221, which is a subgroup of index [2] of [\cal G] with the same cubic lattice parameter a. There are two domain states with their crystal structures shifted relative to each other by [{1\over2}({\bf a}+{\bf b}+{\bf c})]. The space group [\cal H] is a normal subgroup of [\cal G] 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 [\cal H] is a general subgroup of [\cal G]. 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 [\cal G] and [\cal H]. In the following Example[link], the chain has two steps.


β-Gadolinium molybdate, Gd2(MoO4)3, is ferroelectric and ferroelastic. It was treated as an example from different points of view in IT D by Tolédano (Section[link] ) and by Janovec & Přívratská (Example[link] ). The high-temperature phase A has space group [{\cal G}=P\overline{4}2_1m], No. 113, and basis vectors a, b and c. A phase transition to a low-temperature phase B occurs with space-group type [{\cal H}=Pba2], No. 32, basis vectors [{\bf a}'={\bf a}-{\bf b}], [{\bf b}'={\bf a}+{\bf b}] and [{\bf c}'={\bf c}]. In addition to the reduction of the point-group 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 [a' \neq b'] for the lattice parameters. The index of [\cal H] in [\cal G] is [[\,i\,]=|P\overline{4}2_1m:Pba2|=4] such that there are four domain states. These relations are displayed in Fig.[link].


Figure | top | pdf |

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[link] ).

To calculate the number of space groups [Pba2], i.e. the number of symmetry states, one determines the normalizer of [Pba2] in [P\overline{4}2_1m]. From IT A, Table[link] , one finds [{\cal N}_{\!{\cal E}}(Pba2)] [=P^14/mmm] for the Euclidean normalizer of [Pba2] under the PCA, which includes the condition [a' = b']. [P^14/mmm] is a supergroup of [P\overline{4}2_1m]. Thus, [{\cal N}_{\!{\cal G}}(Pba2)=] [({\cal N}_{\!{\cal E}}(Pba2)\cap{\cal G})={\cal G}] and [Pba2] is a normal subgroup. Therefore, under the PCA all four domain states belong to one space group [Pba2], i.e. there is one symmetry state. Indeed, the tables of Volume A1 list only one subgroup of type [Cmm2] under [P\overline{4}2_1m] and only one subgroup [Pba2] under [Cmm2] with [[i]=2] in both cases. Hermann's group [\cal M], [{\cal G}\,\gt\,{\cal M}\,\gt\,{\cal H}] is of space-group type [Cmm2] with the point group [mm2] of [\cal H] and with the lattice of [\cal G]. Because [|{\cal G}:{\cal M}|=2], there are two directional states which belong to the same space group. The directional state of [{\bf B}_2] is obtained from that of [{\bf B}_1] by, for example, the (lost) [\overline{4}] operation of [P\overline{4}2_1m]: the basis vector a of [{\bf B}_2] is parallel to b of [{\bf B}_1], b of [{\bf B}_2] is parallel to a of [{\bf B}_1] and c of [{\bf B}_2] is antiparallel to c of [{\bf B}_1]. The other factor of 2 is caused by the loss of the centring translations of [Cmm2], [i_{\rm T}=|{\cal M}:{\cal H}|=2]. Therefore, the domain state [{\bf B}_3] is parallel to [{\bf B}_1] but its origin is shifted with respect to that of [{\bf B}_1] by a lost translation, for example, by [\ispecialfonts{\sfi t}(1,0,0)] of [\cal G], which is [\ispecialfonts{\sfi t}({1\over2}, {1\over2}, 0)] in the basis [{\bf a}'], [{\bf b}'] of [Pba2]. The same holds for the domain state [{\bf B}_4] relative to [{\bf B}_2].

1.2.8. Lemmata on subgroups of space groups

| top | pdf |

There are several lemmata on subgroups [{\cal H} \,\lt\, {\cal G}] of space groups [{\cal G}] 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[link] . These lemmata are proved or at least stated and explained in Chapter 1.4[link] . They are repeated here as statements, separated from their mathematical background, and are formulated for the three-dimensional space groups. They are valid by analogy for the (two-dimensional) plane groups. General lemmata

| top | pdf |

Lemma A subgroup [{\cal H}] of a space group [{\cal G}] is a space group again, if and only if the index [i=\vert{\cal G}:{\cal H}\vert] 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 [i \,\lt\, I] for any i. Subgroups [{\cal H} \,\lt\, {\cal G}] with infinite index are considered in International Tables for Crystallography, Volume E (2002[link]).

Lemma Hermann's theorem. For any group–subgroup chain [{\cal G}>{\cal H}] between space groups there exists a uniquely defined space group [{\cal M}] with [{\cal G}\ge{\cal M}\ge{\cal H}], where [{\cal M}] is a translationengleiche subgroup of [{\cal G}] and [{\cal H}] is a klassen­glei­che subgroup of [{\cal M}].

The decisive point is that any group–subgroup chain between space groups can be split into a translationengleiche subgroup chain between the space groups [{\cal G}] and [{\cal M}] and a klassen­glei­che subgroup chain between the space groups [{\cal M}] and [{\cal H}].

It may happen that either [{\cal G}={\cal M}] or [{\cal H}={\cal M}] holds. In particular, one of these equations must hold if [{\cal H} \,\lt\, {\cal G}] is a maximal subgroup of [{\cal G}].

Lemma (Corollary to Hermann's theorem.) A maximal sub­group of a space group is either a translationengleiche sub­group or a klassengleiche sub­group, never a general sub­group.

The following lemma holds for space groups but not for arbitrary groups of infinite order.

Lemma 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[link] . 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. Lemmata on maximal subgroups

| top | pdf |

Even the set of all maximal subgroups of finite index is not finite, as can be seen from the following lemma.

Lemma The index i of a maximal subgroup of a space group is always of the form [p^n], 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 [p^2,\;p>2,] 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 [p^3] occurs for and only for isomorphic subgroups of cubic space groups with cell enlargements of pa, pb, pc ([p>2]).

There are even stronger restrictions for maximal non-isomorphic subgroups.

Lemma The index of a maximal non-isomorphic 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 The index of a maximal non-isomorphic subgroup [{\cal H}] is always 2 for oblique, rectangular and square plane groups and for triclinic, monoclinic, orthorhombic and tetragonal space groups [{\cal G}]. The index is 2 or 3 for hexagonal plane groups and for trigonal and hexagonal space groups [{\cal G}]. The index is 2, 3 or 4 for cubic space groups [{\cal G}].

There are also lemmata for the number of subgroups of a certain index. The most important are:

Lemma The number of subgroups of index 2 is [2^N-1] with [0\le N\le6] for space groups and [0\le N\le4] for plane groups. The number of translationengleiche subgroups of index 2 is [2^M-1] with [0\le M\le3] for space groups and [0\le M\le2] for plane groups.

Examples are:

[N=0:\ 2^0 - 1=0] subgroups of index 2 for [p3], No. 13, and [F23], No. 196;

[N=1:\ 2^1 - 1=1] subgroup of index 2 for [p3m1], No. 14, and [P3], No. 143; [\ldots];

[N=4:\ 2^4 - 1=15] subgroups of index 2 for [p2mm], No. 6, and [P\overline{1}], No. 2;

[N=6:\ 2^6 - 1=63] subgroups of index 2 for [Pmmm], No. 47.

Lemma 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 For each space group, each maximal isomorphic subgroup [{\cal H}] 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[link] .


Brown, H., Bülow, R., Neubüser, J., Wondratschek, H. & Zassenhaus, H. (1978). Crystallographic Groups of Four-dimensional 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, Space-Group 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, Braun­schweig: Vieweg, 1977.)
Ledermann, W. & Weir, A. J. (1996). Introduction to Group Theory, 2nd ed. Harlow: Addison-Wesley 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.

to end of page
to top of page