The structure of space groups

Souvignier, B.

doi:10.1107/97809553602060000921

RELATED SITES: IUCr | IUCr Journals

| previous | next |

International
Tables for
Crystallography
Volume A
Space-group symmetry
Edited by M. I. Aroyo

International Tables for Crystallography (2016). Vol. A. ch. 1.3, pp. 28-31

Section 1.3.3. The structure of space groups

B. Souvignier^a ^*

^a Radboud University Nijmegen, Faculty of Science, Mathematics and Computing Science, Institute for Mathematics, Astrophysics and Particle Physics, Postbus 9010, 6500 GL Nijmegen, The Netherlands
Correspondence e-mail: [email protected]

1.3.3. The structure of space groups

| top | pdf |

1.3.3.1. Point groups of space groups

| top | pdf |

The multiplication rule for symmetry operations $[ ({\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) ]$ shows that the mapping $[\Pi: ({\bi W}, {\bi w})\, \mapsto\, {\bi W}]$ which assigns a space-group operation to its linear part is actually a group homomorphism, because the first component of the combined operation is simply the product of the linear parts of the two operations. As a consequence, the linear parts of a space group form a group themselves, which is called the point group of $[{\cal G}]$ . The kernel of the homomorphism Π consists precisely of the translations $[({\bi I}, {\bi t}) \in {\cal T} ]$ , and since kernels of homomorphisms are always normal subgroups (cf. Section 1.1.6 ), the translation subgroup $[{\cal T}]$ forms a normal subgroup of $[{\cal G}]$ . According to the homomorphism theorem (see Section 1.1.6 ), the point group is isomorphic to the factor group $[{\cal G} / {\cal T} ]$ .

Definition

The point group $[{\cal P}]$ of a space group $[{\cal G} ]$ is the group of linear parts of operations occurring in $[{\cal G} ]$ . It is isomorphic to the factor group $[{\cal G} / {\cal T}]$ of $[{\cal G}]$ by the translation subgroup $[{\cal T}]$ .

When $[{\cal G}]$ is considered with respect to a coordinate system, the operations of $[{\cal P}]$ are simply 3 × 3 matrices.

The point group plays an important role in the analysis of the macroscopic properties of crystals: it describes the symmetry of the set of face normals and can thus be directly observed. It is usually obtained from the diffraction record of the crystal, where adding the information about the translation subgroup explains the sharpness of the Bragg peaks in the diffraction pattern.

Although we have already deduced that the translation subgroup $[{\cal T} ]$ of a space group $[{\cal G}]$ forms a normal subgroup in $[{\cal G} ]$ because it is the kernel of the homomorphism mapping each operation to its linear part, it is worth investigating this fact by an explicit computation. Let $[\ispecialfonts{\sfi t} = ({\bi I}, \, {\bi t})]$ be a translation in $[{\cal T}]$ and $[\ispecialfonts{\sfi W} = ({\bi W}, \, {\bi w})]$ an arbitrary operation in $[{\cal G}]$ , then one has $[\ispecialfonts \eqalign{ {\sfi W} {\sfi t} {\sfi W}^{-1} &= ({\bi W}, \, {\bi w}) ({\bi I}, \, {\bi t}) ({\bi W}^{-1}, \, -{\bi W}^{-1} {\bi w}) \cr &= ({\bi W}, \, {\bi W} {\bi t} + {\bi w}) ({\bi W}^{-1}, \, -{\bi W}^{-1} {\bi w}) \cr &= ({\bi I}, \, -{\bi w} + {\bi W} {\bi t} + {\bi w}) = ({\bi I}, \, {\bi W} {\bi t}), }]$ which is again a translation in $[{\cal G}]$ , namely by $[{\bi W} {\bi t} ]$ . This little computation shows an important property of the translation subgroup with respect to the point group, namely that every vector from the translation lattice is mapped again to a lattice vector by each operation of the point group of $[{\cal G}]$ .

Proposition. Let $[{\cal G}]$ be a space group with point group $[{\cal P}]$ and translation subgroup $[{\cal T}]$ and let $[{\bf L} = \{ {\bi t} \mid ({\bi I}, {\bi t}) \in {\cal T} \} ]$ be the lattice of translations in $[{\cal T}]$ . Then $[{\cal P} ]$ acts on the lattice $[{\bf L}]$ , i.e. for every $[{\bi W} \in {\cal P} ]$ and $[{\bi t} \in {\bf L}]$ one has $[{\bi W} {\bi t} \in {\bf L} ]$ .

A point group that acts on a lattice is a subgroup of the full group of symmetries of the lattice, obtained as the group of orthogonal mappings that map the lattice to itself. With respect to a primitive basis, the group of symmetries of a lattice consists of all integral basis transformations that fix the metric tensor of the lattice.

Definition

Let $[{\bf L}]$ be a three-dimensional lattice with metric tensor $[{\bi G}]$ with respect to a primitive basis $[{\bf a}, {\bf b}, {\bf c} ]$ .

(i) An automorphism of $[{\bf L}]$ is an isometry mapping $[{\bf L}]$ to itself. Written with respect to the basis $[{\bf a}, {\bf b}, {\bf c} ]$ , an automorphism of $[{\bf L}]$ is an integral basis transformation fixing the metric tensor of $[{\bf L}]$ , i.e. it is an integral matrix $[{\bi W} \in {\rm GL}_3({\bb Z})]$ with $[{\bi W}^{\rm T} \cdot {\bi G} \cdot {\bi W} = {\bi G} ]$ .
(ii) The group $[ {\cal B}: = Aut({\bf L}) = \{ {\bi W} \in {\rm GL}_3({\bb Z}) \mid {\bi W}^{\rm T} \cdot {\bi G} \cdot {\bi W} = {\bi G} \} ]$ of all automorphisms of $[{\bf L}]$ is called the automorphism group or Bravais group of $[{\bf L}]$ . Note that $[Aut({\bf L}) ]$ acts on the coordinate columns of $[{\bf L}]$ , which are simply columns with integral coordinates.

Since the isometries in the Bravais group of a lattice preserve distances, the possible images of the vectors in a basis are vectors of the same lengths as the basis vectors. But due to its discreteness, a lattice contains only finitely many lattice vectors up to a given length. This means that a lattice automorphism can only permute the finitely many vectors up to the maximum length of a basis vector. Thus, there can only be finitely many automorphisms of a lattice. This argument proves the following important fact:

Theorem. The Bravais group of a lattice is finite. As a consequence, point groups of space groups are finite groups.

As subgroups of the Bravais group of a lattice, point groups can be realized as integral matrix groups when written with respect to a primitive basis. For a centred lattice, it is possible that the Bravais group of a lattice contains non-integral matrices, because the centring vector is a column with non-integral entries. However, in dimensions two and three the conventional bases are chosen such that the Bravais groups of all lattices are integral when written with respect to a conventional basis.

Information on the Bravais groups of the primitive lattices in two- and three-dimensional space is displayed in Tables 1.3.3.1 and 1.3.3.2. The columns of the tables contain the names of the lattices, the metric tensor with respect to the conventional basis (with only the upper half given, the lower half following by the symmetry of the metric tensor), the Hermann–Mauguin symbol for the type of the Bravais group and generators of the Bravais group (given in the shorthand notation introduced in Section 1.2.2.1 and the corresponding Seitz symbols discussed in Section 1.4.2.2 ).

Table 1.3.3.1| top | pdf |
Automorphism groups of two-dimensional primitive lattices

Lattice	Metric tensor	Bravais group
Lattice	Metric tensor	Hermann–Mauguin symbol	Generators
Oblique	$[\pmatrix{g_{11} & g_{12}\cr & g_{22}} ]$	2	2: $[\bar x, \bar y]$
Rectangular	$[\pmatrix{g_{11} & 0 \cr & g_{22} } ]$	2mm	2: $[\bar x, \bar y]$
	$[\pmatrix{g_{11} & 0 \cr & g_{22} } ]$		m₁₀: $[\bar x, y]$
Square	$[\pmatrix{g_{11} & 0 \cr & g_{11} } ]$	4mm	4⁺: $[\bar y, x]$
	$[\pmatrix{g_{11} & 0 \cr & g_{11} } ]$		m₁₀: $[\bar x, y]$
Hexagonal	$[\pmatrix{g_{11} & -{{1}\over{2}} g_{11} \cr & g_{11} } ]$	6mm	6⁺:
	$[\pmatrix{g_{11} & -{{1}\over{2}} g_{11} \cr & g_{11} } ]$		m₂₁: $[\bar x, \bar x + y]$

Table 1.3.3.2| top | pdf |
Automorphism groups of three-dimensional primitive lattices

Lattice	Metric tensor	Bravais group
Lattice	Metric tensor	Hermann–Mauguin symbol	Generators
Triclinic	$[\pmatrix{ g_{11} & g_{12} & g_{13} \cr & g_{22} & g_{23} \cr & & g_{33} } ]$	$[\bar{1}]$	$[\bar{1}{:}\ \bar x,\bar y,\bar z]$
Monoclinic	$[\pmatrix{ g_{11} & 0 & g_{13} \cr & g_{22} & 0 \cr & & g_{33} } ]$	2/m	$[2_{010}{:}\ \bar x,y,\bar z]$
			$[m_{010}{:}\ x,\bar y,z]$
Orthorhombic	$[\pmatrix{ g_{11} & 0 & 0 \cr & g_{22} & 0 \cr & & g_{33} } ]$	mmm	$[m_{100}{:} \ \bar x,y,z ]$
			$[m_{010}{:}\ x,\bar y,z]$
			$[m_{001}{:} \ x,y,\bar z]$
Tetragonal	$[\pmatrix{ g_{11} & 0 & 0 \cr & g_{11} & 0 \cr & & g_{33} } ]$	4/mmm	$[4_{001}{:}\ \bar y,x,z]$
			$[m_{001}{:} \ x,y,\bar z]$
			$[m_{100}{:} \ \bar x,y,z]$
Hexagonal	$[\pmatrix{ g_{11} & -{{1}\over{2}} g_{11} & 0 \cr & g_{11} & 0 \cr & & g_{33} } ]$	6/mmm	$[6_{001}{:}\ x-y,x,z]$
			$[m_{001}{:}\ x,y,\bar z]$
			$[m_{100}{:}\ \bar x+y,y,z]$
Rhombohedral	$[\pmatrix{ g_{11} & g_{12} & g_{12} \cr & g_{11} & g_{12} \cr & & g_{11} } ]$	$[\bar{3}m]$	$[\bar{3}_{111}{:}\ \bar z,\bar x,\bar y]$
			$[m_{1\bar{1}0}{:}\ y,x,z ]$
Cubic	$[\pmatrix{ g_{11} & 0 & 0 \cr & g_{11} & 0 \cr & & g_{11} } ]$	$[m\bar{3}m]$	$[m_{001}{:} \ x,y,\bar z]$
			$[\bar{3}_{111}{:}\ \bar z,\bar x,\bar y]$
			$[m_{110}{:} \ \bar y,\bar x,z]$

The finiteness and integrality of the point groups has important consequences. For example, it implies the crystallographic restriction that rotations in space groups of two- and three-dimensional space can only have orders 1, 2, 3, 4 or 6. On the one hand, an integral matrix clearly has an integral trace.¹ But a matrix $[{\bi W}]$ with the property that $[{\bi W}^k = {\bi I} ]$ can be diagonalized over the complex numbers and the diagonal entries have to be kth roots of unity, i.e. powers of $[\zeta_k = \exp({2\pi i/k} )]$ . Since diagonalization does not change the trace, the sum of these kth roots of unity still has to be an integer and in particular these roots of unity have to occur in complex conjugate pairs. In dimension 2 this means that the two diagonal entries are complex conjugate and the only possible ways to obtain an integral trace are $[\zeta_1 + \zeta_1^{-1} = 2]$ , $[\zeta_2 + \zeta_2^{-1} = -2]$ , $[\zeta_3 + \zeta_3^{-1} = -1]$ , $[\zeta_4 + \zeta_4^{-1} = 0]$ and $[\zeta_6 + \zeta_6^{-1} = 1]$ . In dimension 3 the third diagonal entry does not have a complex conjugate partner, and therefore has to be $[\pm 1]$ . Thus the possible orders in dimension 3 are the same as in dimension 2.

A much stronger result was obtained by H. Minkowski (1887). He gave an explicit bound for the maximal power Mathematical symbol of a prime p which can divide the order of an n-dimensional finite integral matrix group. In dimension 2 this theorem implies that the orders of the point groups divide 24 and in dimension 3 the orders of the point groups divide 48. The Bravais groups 4mm (of order 8) and 6mm (of order 12) of the square and hexagonal lattices in dimension 2 and the Bravais group $[m\bar{3}m]$ (of order 48) of the cubic lattice in dimension 3 show that Minkowski's result is the best possible in these dimensions.

1.3.3.2. Coset decomposition with respect to the translation subgroup

| top | pdf |

The translation subgroup $[{\cal T}]$ of a space group $[{\cal G} ]$ can be used to distribute the operations of $[{\cal G}]$ into different classes by grouping together all operations that differ only by a translation. This results in the decomposition of $[{\cal G}]$ into cosets with respect to $[{\cal T}]$ (see Section 1.1.4 for details of cosets).

Definition

Let $[{\cal G}]$ be a space group with translation subgroup $[{\cal T} ]$ .

(i) The right coset $[\ispecialfonts{\cal T} {\sfi W}]$ of an operation $[\ispecialfonts{\sfi W} \in {\cal G} ]$ with respect to $[{\cal T}]$ is the set $[\ispecialfonts\{ {\sfi t} {\sfi W} \mid {\sfi t} \in {\cal T} \} ]$ .

Analogously, the set $[\ispecialfonts{\sfi W} {\cal T} = \{ {\sfi W} {\sfi t} \mid {\sfi t} \in {\cal T} \} ]$ is called the left coset of $[\ispecialfonts{\sfi W}]$ with respect to $[{\cal T}]$ .
(ii) A set $[\ispecialfonts\{ {\sfi W}_1, \ldots, {\sfi W}_m \} ]$ of operations in $[{\cal G}]$ is called a system of coset representatives relative to $[{\cal T}]$ if every operation $[\ispecialfonts{\sfi W}]$ in $[{\cal G}]$ is contained in exactly one coset $[\ispecialfonts{\cal T} {\sfi W}_i ]$ .
(iii) Writing $[{\cal G}]$ as the disjoint union $[ \ispecialfonts{\cal G} = {\cal T} {\sfi W}_1 \cup \ldots \cup {\cal T} {\sfi W}_m ]$ is called the coset decomposition of $[{\cal G}]$ relative to $[{\cal T}]$ .

If the translation subgroup $[{\cal T}]$ is a subgroup of index [i] in $[{\cal G}]$ , a set of coset representatives for $[{\cal G} ]$ relative to $[{\cal T}]$ consists of [i] operations $[\ispecialfonts{\sfi W}_1, {\sfi W}_2, \ldots, {\sfi W}_{[i]}]$ , where $[\ispecialfonts{\sfi W}_1 ]$ is assumed to be the identity element $[\ispecialfonts{\sfi e}]$ of $[{\cal G} ]$ . The cosets of $[{\cal G}]$ relative to $[{\cal T}]$ can be imagined as columns of an infinite array with [i] columns, labelled by the coset representatives, as displayed in Table 1.3.3.3.

Table 1.3.3.3| top | pdf |
Right-coset decomposition of $[{\cal G}]$ relative to $[{\cal T}]$

$[\ispecialfonts{\sfi W}_1 = {\sfi e}]$	$[\ispecialfonts{\sfi W}_2]$	$[ \ispecialfonts{\sfi W}_3]$	$[\ldots]$	$[\ispecialfonts{\sfi W}_{[i]}]$
$[\ispecialfonts{\sfi t}_1]$	$[\ispecialfonts{\sfi t}_1 {\sfi W}_2]$	$[\ispecialfonts{\sfi t}_1 {\sfi W}_3]$	$[\ldots ]$	$[\ispecialfonts{\sfi t}_1 {\sfi W}_{[i]}]$
$[\ispecialfonts{\sfi t}_2]$	$[\ispecialfonts{\sfi t}_2 {\sfi W}_2]$	$[\ispecialfonts{\sfi t}_2 {\sfi W}_3]$	$[\ldots ]$	$[\ispecialfonts{\sfi t}_2 {\sfi W}_{[i]}]$
$[\ispecialfonts{\sfi t}_3]$	$[\ispecialfonts{\sfi t}_3 {\sfi W}_2]$	$[\ispecialfonts{\sfi t}_3 {\sfi W}_3]$	$[\ldots ]$	$[\ispecialfonts{\sfi t}_3 {\sfi W}_{[i]}]$
$[\ispecialfonts{\sfi t}_4]$	$[\ispecialfonts{\sfi t}_4 {\sfi W}_2]$	$[\ispecialfonts{\sfi t}_4 {\sfi W}_3]$	$[\ldots ]$	$[\ispecialfonts{\sfi t}_4 {\sfi W}_{[i]}]$
$[\vdots]$	$[\vdots]$	$[\vdots]$		$[\vdots]$

Remark : We can assume some enumeration $[\ispecialfonts{\sfi t}_1, {\sfi t}_2, {\sfi t}_3, \ldots ]$ of the operations in $[{\cal T}]$ because the translation vectors form a lattice. For example, with respect to a primitive basis, the coordinate vectors of the translations in $[{\cal G}]$ are simply columns $[\pmatrix{ l \cr m \cr n }]$ with integral components Mathematical symbol . A straightforward enumeration of these columns would start with $[\eqalign{&\pmatrix{ 0 \cr 0 \cr 0 }, \, \pmatrix{ 1 \cr 0 \cr 0 }, \, \pmatrix{ 0 \cr 1 \cr 0 }, \, \pmatrix{ 0 \cr 0 \cr 1 }, \, \pmatrix{ \bar{1} \cr 0 \cr 0 }, \, \pmatrix{ 0 \cr \bar{1} \cr 0 }, \, \pmatrix{ 0 \cr 0 \cr \bar{1} }, \cr & \pmatrix{ 1 \cr 1 \cr 0 }, \, \pmatrix{ 1 \cr 0 \cr 1 }, \, \pmatrix{ 0 \cr 1 \cr 1 } \ldots }]$

Writing out the matrix–column pairs, the coset $[{\cal T} ({\bi W}, {\bi w}) ]$ consists of the operations of the form $[({\bi I}, {\bi t}) ({\bi W}, {\bi w}) = ({\bi W}, {\bi w} + {\bi t}) ]$ with $[{\bi t}]$ running over the lattice translations of $[{\cal T}]$ . This means that the operations of a coset with respect to the translation subgroup all have the same linear part, which is also evident from a listing of the cosets as columns of an infinite array, as in the example above.

Proposition

Let $[\ispecialfonts{\sfi W} = ({\bi W}, {\bi w})]$ and $[\ispecialfonts{\sfi W}' = ({\bi W}', {\bi w}') ]$ be two operations of a space group $[{\cal G}]$ with translation subgroup $[{\cal T}]$ .

(1) If $[{\bi W} \neq {\bi W}']$ , then the cosets $[\ispecialfonts{\cal T} {\sfi W} ]$ and $[\ispecialfonts{\cal T} {\sfi W}']$ are disjoint, i.e. their intersection is empty.
(2) If $[{\bi W} = {\bi W}']$ , then the cosets $[\ispecialfonts{\cal T} {\sfi W}]$ and $[\ispecialfonts{\cal T} {\sfi W}']$ are equal, because $[\ispecialfonts{\sfi W} {\sfi W}'^{-1}]$ has linear part $[{\bi I}]$ and is thus an operation contained in $[{\cal T}]$ .

The one-to-one correspondence between the point-group operations and the cosets relative to $[{\cal T}]$ explicitly displays the isomorphism between the point group $[{\cal P}]$ of $[{\cal G}]$ and the factor group $[{\cal G}/{\cal T}]$ . This correspondence is also exploited in the listing of the general-position coordinates. What is given there are the coordinate triplets for coset representatives of $[{\cal G}]$ relative to $[{\cal T} ]$ , which correspond to the first row of the array in Table 1.3.3.3. As just explained, the other operations in $[{\cal G} ]$ can be obtained from these coset representatives by adding a lattice translation to the translational part.

Furthermore, the correspondence between the point group and the coset decomposition relative to $[{\cal T}]$ makes it easy to find a system of coset representatives $[\ispecialfonts\{ {\sfi W}_1, \ldots, {\sfi W}_m \}]$ of $[{\cal G}]$ relative to $[{\cal T}]$ . What is required is that the linear parts of the $[\ispecialfonts{\sfi W}_i]$ are precisely the operations in the point group of $[{\cal G}]$ . If $[{\bi W}_1, \ldots, {\bi W}_m]$ are the different operations in the point group $[{\cal P}]$ of $[{\cal G}]$ , then a system of coset representatives is obtained by choosing for every linear part $[{\bi W}_i]$ a translation part $[{\bi w}_i]$ such that $[\ispecialfonts{\sfi W}_i = ({\bi W}_i, {\bi w}_i)]$ is an operation in $[{\cal G} ]$ .

It is customary to choose the translation parts $[{\bi w}_i]$ of the coset representatives such that their coordinates lie between 0 and 1, excluding 1. In particular, if the translation part of a coset representative is a lattice vector, it is usually chosen as the zero vector $[{\bi o}]$ .

Note that due to the fact that $[{\cal T}]$ is a normal subgroup of $[{\cal G}]$ , a system of coset representatives for the right cosets is at the same time a system of coset representatives for the left cosets.

1.3.3.3. Symmorphic and non-symmorphic space groups

| top | pdf |

If a coset with respect to the translation subgroup contains an operation of the form $[({\bi W}, {\bi w})]$ with $[{\bi w}]$ a vector in the translation lattice, it is clear that the same coset also contains the operation $[({\bi W}, {\bi o})]$ with trivial translation part. On the other hand, if a coset does not contain an operation of the form $[({\bi W}, {\bi o}) ]$ , this may be caused by an inappropriate choice of origin. For example, the operation $[(-{\bi I}, (1/2,1/2,1/2))]$ is turned into the inversion $[(-{\bi I}, (0,0,0))]$ by moving the origin to Mathematical symbol (cf. Section 1.5.1.1 for a detailed treatment of origin-shift transformations).

Depending on the actual space group $[{\cal G}]$ , it may or may not be possible to choose the origin such that every coset with respect to $[{\cal T}]$ contains an operation of the form $[({\bi W}, {\bi o})]$ .

Definition

Let $[{\cal G}]$ be a space group with translation subgroup $[{\cal T} ]$ . If it is possible to choose the coordinate system such that every coset of $[{\cal G}]$ with respect to $[{\cal T}]$ contains an operation $[({\bi W}, {\bi o})]$ with trivial translation part, $[{\cal G}]$ is called a symmorphic space group, otherwise $[{\cal G}]$ is called a non-symmorphic space group.

One sees that the operations with trivial translation part form a subgroup of $[{\cal G}]$ which is isomorphic to a subgroup of the point group $[{\cal P}]$ . This subgroup is the group of operations in $[{\cal G}]$ that fix the origin and is called the site-symmetry group of the origin (site-symmetry groups are discussed in detail in Section 1.4.4 ). It is the distinctive property of symmorphic space groups that they contain a subgroup which is isomorphic to the full point group. This may in fact be seen as an alternative definition for symmorphic space groups.

Proposition. A space group $[{\cal G}]$ with point group $[{\cal P}]$ is symmorphic if and only if it contains a subgroup isomorphic to $[{\cal P}]$ . For a non-symmorphic space group $[{\cal G}]$ , every finite subgroup of $[{\cal G}]$ is isomorphic to a proper subgroup of the point group.

Note that every finite subgroup of a space group is a subgroup of the site-symmetry group for some point, because finite groups cannot contain translations. Therefore, a symmorphic space group is characterized by the fact that it contains a site-symmetry group isomorphic to its point group, whereas in non-symmorphic space groups all site-symmetry groups have orders strictly smaller than the order of the point group.

Symmorphic space groups can easily be constructed by choosing a lattice $[{\bf L}]$ and a point group $[{\cal P}]$ which acts on $[{\bf L} ]$ . Then $[{\cal G} = \{ ({\bi W}, {\bi w}) \mid {\bi W} \in {\cal P}, {\bi w} \in {\bf L} \} ]$ is a space group in which the coset representatives can be chosen as $[({\bi W}, \, {\bi o})]$ .

Non-symmorphic space groups can also be constructed from a lattice $[{\bf L}]$ and a point group $[{\cal P}]$ . What is required is a system of coset representatives with respect to $[{\cal T}]$ and these are obtained by choosing for each operation $[{\bi W} \in {\cal P}]$ a translation part $[{\bi w}]$ . Owing to the translations, it is sufficient to consider vectors $[{\bi w}]$ with components between 0 and 1. However, the translation parts cannot be chosen arbitrarily, because for a point-group operation of order k, the operation $[({\bi W}, {\bi w})^k ]$ has to be a translation $[({\bi I}, {\bi t})]$ with $[{\bi t} \in {\bf L} ]$ . Working this out, this imposes the restriction that $[ ({\bi W}^{k-1} + \ldots + {\bi W} + {\bi I}) {\bi w} \in {\bf L}. ]$ Once translation parts $[{\bi w}]$ are found that fulfil all these restrictions, one finally has to check whether the space group obtained this way is (by accident) symmorphic, but written with respect to an inappropriate origin. A change of origin by $[{\bi p}]$ is realized by conjugating the matrix–column pair $[({\bi W}, {\bi w})]$ by the translation $[({\bi I}, -{\bi p})]$ (cf. Section 1.5.1 on transformations of the coordinate system) which gives $[ ({\bi I}, -{\bi p}) ({\bi W}, {\bi w}) ({\bi I}, {\bi p}) = ({\bi W}, {\bi W} {\bi p} + {\bi w} - {\bi p}) = ({\bi W}, {\bi w} + ({\bi W} - {\bi I}) {\bi p}). ]$ Thus, the space group just constructed is symmorphic if there is a vector $[{\bi p}]$ such that $[({\bi W} - {\bi I}) {\bi p} + {\bi w} \in {\bf L} ]$ for each of the coset representatives $[({\bi W}, {\bi w})]$ .

The above considerations also show how every space group can be assigned to a symmorphic space group in a canonical way, namely by setting the translation parts of coset representatives with respect to $[{\cal T}]$ to $[{\bi o} ]$ . This has the effect that screw rotations are turned into rotations and glide reflections into reflections. The Hermann–Mauguin symbol (see Section 1.4.1 for a detailed discussion of Hermann–Mauguin symbols) of the symmorphic space group to which an arbitrary space group is assigned is simply obtained by replacing any screw rotation symbol N_m by the corresponding rotation symbol N and every glide reflection symbol a, b, c, d, e, n by the symbol m for a reflection. A space group is found to be symmorphic if no such replacement is required, i.e. if the Hermann–Mauguin symbol only contains the symbols 1, 2, 3, 4, 6 for rotations, $[\bar{1}]$ , $[\bar{3}]$ , $[\bar{4}]$ , $[\bar{6}]$ for rotoinversions and m for reflections.

Example

The space groups with Hermann-Mauguin symbols P4mm, P4bm, P4₂cm, P4₂nm, P4cc, P4nc, P4₂mc, P4₂bc are all assigned to the symmorphic space group with Hermann–Mauguin symbol Mathematical symbol .

References

Minkowski, H. (1887). Zur Theorie der positiven quadratischen Formen. J. Reine Angew. Math. 101, 196–202.Google Scholar

International Tables for Crystallography (2016). Vol. A. ch. 1.3, pp. 28-31