Classification 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. 31-41

Section 1.3.4. Classification 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.4. Classification of space groups

| top | pdf |

In this section we will consider various ways in which space groups may be grouped together. For the space groups themselves, the natural notion of equivalence is the classification into space-group types, but the point groups and lattices from which the space groups are built also have their own classification schemes into geometric crystal classes and Bravais types of lattices, respectively.

Some other types of classifications are relevant for certain applications, and these will also be considered. The hierarchy of the different classification levels and the numbers of classes on the different levels in dimension 3 are displayed in Fig. 1.3.4.1.

Figure 1.3.4.1| top | pdf |

Classification levels for three-dimensional space groups.

1.3.4.1. Space-group types

| top | pdf |

The main motivation behind studying space groups is that they allow the classification of crystal structures according to their symmetry properties. Since many properties of a structure can be derived from its group of symmetries alone, this allows the investigation of the properties of many structures simultaneously.

On the other hand, even for the same crystal structure the corresponding space group may look different, depending on the chosen coordinate system (see Chapter 1.5 for a detailed discussion of transformations to different coordinate systems). Because it is natural to regard two realizations of a group of symmetry operations with respect to two different coordinate systems as equivalent, the following notion of equivalence between space groups is natural.

Definition

Two space groups $[{\cal G}]$ and $[{\cal G}']$ are called affinely equivalent if $[{\cal G}']$ can be obtained from $[{\cal G} ]$ by a change of the coordinate system.

In terms of matrix–column pairs this means that there must exist a matrix–column pair $[({\bi P}, {\bi p})]$ such that $[ {\cal G}' = \{ ({\bi P}, {\bi p})^{-1} ({\bi W}, {\bi w}) ({\bi P}, {\bi p}) \mid ({\bi W}, {\bi w}) \in {\cal G} \}. ]$ The collection of space groups that are affinely equivalent with $[{\cal G}]$ forms the affine type of $[{\cal G}]$ .

In dimension 2 there are 17 affine types of plane groups and in dimension 3 there are 219 affine space-group types. Note that in order to avoid misunderstandings we refrain from calling the space-group types affine classes, since the term classes is usually associated with geometric crystal classes (see below).

Grouping together space groups according to their space-group type serves different purposes. On the one hand, it is sometimes convenient to consider the same crystal structure and thus also its space group with respect to different coordinate systems, e.g. when the origin can be chosen in different natural ways or when a phase transition to a higher- or lower-symmetry phase with a different conventional cell is described. On the other hand, different crystal structures may give rise to the same space group once suitable coordinate systems have been chosen for both. We illustrate both of these perspectives by an example.

Examples

(i) The space group $[{\cal G}]$ of type Pban (50) has a subgroup $[{\cal H}]$ of index 2 for which the coset representatives relative to the translation subgroup are the identity $[\ispecialfonts{\sfi e}{:}\ x,y,z]$ , the twofold rotation $[\ispecialfonts{\sfi g}{:}\ {-}x,y,-z]$ , the n glide $[\ispecialfonts{\sfi h}{:}\ x+\textstyle{{1}\over{2}},y+\textstyle{{1}\over{2}},-z ]$ and the b glide $[\ispecialfonts{\sfi k}{:}\ {-}x+{{1}\over{2}},y+{{1}\over{2}},z ]$ . This subgroup is of type Pb2n, which is a non-conventional setting for Pnc2 (30). In the conventional setting, the coset representatives of Pnc2 are given by $[\ispecialfonts{\sfi g}'{:}\ {-}x,-y,z]$ , $[\ispecialfonts{\sfi h}'{:}\ {-}x,y+\textstyle{{1}\over{2}},z+\textstyle{{1}\over{2}}]$ and $[\ispecialfonts{\sfi k}'{:}\ x,-y+\textstyle{{1}\over{2}},z+\textstyle{{1}\over{2}} ]$ , i.e. with the z axis as rotation axis for the twofold rotation. The subgroup $[{\cal H}]$ can be transformed to its conventional setting by the basis transformation $[({\bf a}', {\bf b}', {\bf c}') = ({\bf c}, {\bf a}, {\bf b}) ]$ . Depending on whether the perspective of the full group $[{\cal G} ]$ or the subgroup $[{\cal H}]$ is more important for a crystal structure, the groups $[{\cal G}]$ and $[{\cal H}]$ will be considered either with respect to the basis $[{\bf a}, {\bf b}, {\bf c}]$ (conventional for $[{\cal G}]$ ) or to the basis $[{\bf a}', {\bf b}', {\bf c}']$ (conventional for $[{\cal H}]$ ).
(ii) The elements carbon, silicon and germanium all crystallize in the diamond structure, which has a face-centred cubic unit cell with two atoms shifted by 1/4 along the space diagonal of the conventional cubic cell. The space group is in all cases of type $[Fd\bar{3}m]$ (227), but the cell parameters differ: a_C = 3.5668 Å for carbon, a_Si = 5.4310 Å for silicon and a_Ge = 5.6579 Å for germanium (measured at 298 K). In order to scale the conventional cell of carbon to that of silicon, the coordinate system has to be transformed by the diagonal matrix $[a_{\rm Si} / a_{\rm C} \cdot {\bi I}_3 \approx \pmatrix{ 1.523 & 0 & 0 \cr 0 & 1.523 & 0 \cr 0 & 0 & 1.523 } .]$

By a famous theorem of Bieberbach (see Bieberbach, 1911, 1912), affine equivalence of space groups actually coincides with the notion of abstract group isomorphism as discussed in Section 1.1.6 .

Bieberbach theorem

Two space groups in n-dimensional space are isomorphic if and only if they are conjugate by an affine mapping.

This theorem is by no means obvious. Recall that for point groups the situation is very different, since for example the abstract cyclic group of order 2 is realized in the point groups of space groups of type P2, Pm and $[P\bar{1}]$ , generated by a twofold rotation, reflection and inversion, respectively, which are clearly not equivalent in any geometric sense. The driving force behind the Bieberbach theorem is the special structure of space groups having an infinite normal translation subgroup on which the point group acts.

In crystallography, a notion of equivalence slightly stronger than affine equivalence is usually used. Since crystals occur in physical space and physical space can only be transformed by orientation-preserving mappings, space groups are only regarded as equivalent if they are conjugate by an orientation-preserving coordinate transformation, i.e. by an affine mapping that has a linear part with positive determinant.

Definition

Two space groups $[{\cal G}]$ and $[{\cal G}']$ are said to belong to the same space-group type if $[{\cal G}']$ can be obtained from $[{\cal G}]$ by an orientation-preserving coordinate transformation, i.e. by conjugation with a matrix–column pair $[({\bi P}, {\bi p})]$ with $[\det {\bi P}\,\gt\, 0]$ . In order to distinguish the space-group types explicitly from the affine space-group types (corresponding to the isomorphism classes), they are often called crystallographic space-group types.

The (crystallographic) space-group type collects together the infinitely many space groups that are obtained by expressing a single space group with respect to all possible right-handed coordinate systems for the point space.

Example

We consider the space group $[{\cal G}]$ of type Mathematical symbol (80) which is generated by the right-handed fourfold screw rotation $[\ispecialfonts{\sfi g}{:}\ {-}y, x+1/2, z+1/4]$ (located at ), the centring translation $[\ispecialfonts{\sfi t}{:}\ x+1/2, y+1/2, z+1/2]$ and the integral translations of a primitive tetragonal lattice. Conjugating the group $[{\cal G}]$ to $[{\cal G}' = \ispecialfonts{\sfi m} {\cal G}{\sfi m}^{-1}]$ by the reflection $[\ispecialfonts{\sfi m}]$ in the plane Mathematical symbol turns the right-handed screw rotation $[\ispecialfonts{\sfi g}]$ into the left-handed screw rotation $[\ispecialfonts{\sfi g}'{:}\ {-}y, x+1/2, z-1/4 ]$ , and one might suspect that $[{\cal G}']$ is a space group of the same affine type but of a different crystallographic space-group type as $[{\cal G}]$ . However, this is not the case because conjugating $[{\cal G} ]$ by the translation $[\ispecialfonts{\sfi n} = t(0,1/2,0)]$ conjugates $[\ispecialfonts{\sfi g}]$ to $[\ispecialfonts{\sfi g}'' = {\sfi n} {\sfi g} {\sfi n}^{-1}{:}\ {-}y+1/2,]$ Mathematical symbol . One sees that $[\ispecialfonts{\sfi g}'']$ is the composition of $[\ispecialfonts{\sfi g}' ]$ with the centring translation $[\ispecialfonts{\sfi t}]$ and hence $[\ispecialfonts{\sfi g}'' ]$ belongs to $[{\cal G}']$ . This shows that conjugating $[{\cal G} ]$ by either the reflection $[\ispecialfonts{\sfi m}]$ or the translation $[\ispecialfonts{\sfi n} ]$ both result in the same group $[{\cal G}']$ . This can also be concluded directly from the space-group diagrams in Fig. 1.3.4.2. Reflecting in the plane z = 0 turns the diagram on the left into the diagram on the right, but the same effect is obtained when the left diagram is shifted by $[\textstyle{{1}\over{2}}]$ along either a or b.

Figure 1.3.4.2| top | pdf |

Space-group diagram of Mathematical symbol (left) and its reflection in the plane z = 0 (right).

The groups $[{\cal G}]$ and $[{\cal G}']$ thus belong to the same crystallographic space-group type because $[{\cal G}]$ is transformed to $[{\cal G}']$ by a shift of the origin by $[\textstyle{{1}\over{2}} {\bf b} ]$ , which is clearly an orientation-preserving coordinate transformation.

Enantiomorphism

The 219 affine space-group types in dimension 3 result in 230 crystallographic space-group types. Since an affine type either forms a single space-group type (in the case where the group obtained by an orientation-reversing coordinate transformation can also be obtained by an orientation-preserving transformation) or splits into two space-group types, this means that there are 11 affine space-group types such that an orientation-reversing coordinate transformation cannot be compensated by an orientation-preserving transformation.

Groups that differ only by their handedness are closely related to each other and share many properties. One addresses this phenomenon by the concept of enantiomorphism.

Example

Let $[{\cal G}]$ be a space group of type Mathematical symbol (76) generated by a fourfold right-handed screw rotation $[(4^+_{001}, (0,0,1/4)) ]$ and the translations of a primitive tetragonal lattice. Then transforming the coordinate system by a reflection in the plane z = 0 results in a space group $[{\cal G}']$ with fourfold left-handed screw rotation $[(4^-_{001}, (0,0,1/4)) = (4^+_{001}, (0,0,-1/4))^{-1}]$ . The groups $[{\cal G} ]$ and $[{\cal G}']$ are isomorphic because they are conjugate by an affine mapping, but $[{\cal G}']$ belongs to a different space-group type, namely Mathematical symbol (78), because $[{\cal G}]$ does not contain a fourfold left-handed screw rotation with translation part $[\textstyle{{1}\over{4}} {\bf c}]$ .

Definition

Two space groups $[{\cal G}]$ and $[{\cal G}']$ are said to form an enantiomorphic pair if they are conjugate under an affine mapping, but not under an orientation-preserving affine mapping.

If $[{\cal G}]$ is the group of isometries of some crystal pattern, then its enantiomorphic counterpart $[{\cal G}']$ is the group of isometries of the mirror image of this crystal pattern.

The splitting of affine space-group types of three-dimensional space groups into pairs of crystallographic space-group types gives rise to the following 11 enantiomorphic pairs of space-group types: Mathematical symbol (76/78), (91/95), (92/96), (144/145), (151/153), (152/154), (169/173), (170/172), (178/179), (180/181), (212/213). These groups are easily recognized by their Hermann–Mauguin symbols, because they are the primitive groups for which the Hermann–Mauguin symbol contains one of the screw rotations Mathematical symbol , , , , , , or . The groups with fourfold screw rotations and body-centred lattices do not give rise to enantiomorphic pairs, because in these groups the orientation reversal can be compensated by an origin shift, as illustrated in the example above for the group of type .

Example

A well known example of a crystal that occurs in forms whose symmetry is described by enantiomorphic pairs of space groups is quartz. For low-temperature α-quartz there exists a left-handed and a right-handed form with space groups Mathematical symbol (152) and (154), respectively. The two individuals of opposite chirality occur together in the so-called Brazil twin of quartz. At higher temperatures, a phase transition leads to the higher-symmetry β-quartz forms, with space groups (181) and (180), which still form an enantiomorphic pair.

1.3.4.2. Geometric crystal classes

| top | pdf |

We recall that the point group of a space group is the group of linear parts occurring in the space group. Once a basis for the underlying vector space is chosen, such a point group is a group of 3 × 3 matrices. A point group is characterized by the relative positions between the rotation and rotoinversion axes and the reflection planes of the operations it contains, and in this sense a point group is independent of the chosen basis. However, a suitable choice of basis is useful to highlight the geometric properties of a point group.

Example

A point group of type 3m is generated by a threefold rotation and a reflection in a plane with normal vector perpendicular to the rotation axis. Choosing a basis $[{\bf a}, {\bf b}, {\bf c}]$ such that c is along the rotation axis, a is perpendicular to the reflection plane and b is the image of a under the threefold rotation (i.e. b lies in the plane perpendicular to the rotation axis and makes an angle of 120° with a), the matrices of the threefold rotation and the reflection with respect to this basis are $[\pmatrix{ 0 & -1 & 0 \cr 1 & -1 & 0 \cr 0 & 0 & 1 } \ {\rm and} \ \pmatrix{ -1 & 1 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & 1 }.]$

A different useful basis is obtained by choosing a vector $[{\bf a}' ]$ in the reflection plane but neither along the rotation axis nor perpendicular to it and taking $[{\bf b}']$ and $[{\bf c}']$ to be the images of $[{\bf a}']$ under the threefold rotation and its square. Then the matrices of the threefold rotation and the reflection with respect to the basis $[{\bf a}', {\bf b}', {\bf c}' ]$ are $[\pmatrix{ 0 & 0 & 1 \cr 1 & 0 & 0 \cr 0 & 1 & 0 }\ {\rm and}\ \pmatrix{ 1 & 0 & 0 \cr 0 & 0 & 1 \cr 0 & 1 & 0 }.]$

Different choices of a basis for a point group in general result in different matrix groups, and it is natural to consider two point groups as equivalent if they are transformed into each other by a basis transformation. This is entirely analogous to the situation of space groups, where space groups that only differ by the choice of coordinate system are regarded as equivalent. This notion of equivalence is applied at both the level of space groups and point groups.

Definition

Two space groups $[{\cal G}]$ and $[{\cal G}']$ with point groups $[{\cal P}]$ and $[{\cal P}']$ , respectively, are said to belong to the same geometric crystal class if $[{\cal P}]$ and $[{\cal P}' ]$ become the same matrix group once suitable bases for the three-dimensional space are chosen.

Equivalently, $[{\cal G}]$ and $[{\cal G}']$ belong to the same geometric crystal class if the point group $[{\cal P}']$ can be obtained from $[{\cal P}]$ by a basis transformation of the underlying vector space $[{\bb V}^3]$ , i.e. if there is an invertible 3 × 3 matrix $[{\bi P}]$ such that $[ {\cal P}' = \{ {\bi P}^{-1} {\bi W} {\bi P} \mid {\bi W} \in {\cal P} \}. ]$

Also, two matrix groups $[{\cal P}]$ and $[{\cal P}']$ are said to belong to the same geometric crystal class if they are conjugate by an invertible 3 × 3 matrix $[{\bi P}]$ .

Historically, the geometric crystal classes in dimension 3 were determined much earlier than the space groups. They were obtained as the symmetry groups for the set of normal vectors of crystal faces which describe the morphological symmetry of crystals.

Note that for the geometric crystal classes in dimension 3 (and in all other odd dimensions) the distinction between orientation-preserving and orientation-reversing transformations is irrelevant, since any conjugation by an arbitrary transformation can already be realized by an orientation-preserving transformation. This is due to the fact that the inversion $[-{\bi I}]$ on the one hand commutes with every matrix W, i.e. $[(-{\bi I}) {\bi W} = {\bi W} (-{\bi I}) ]$ , and on the other hand $[\det(-{\bi I}) = -1]$ . If $[{\bi P}]$ is orientation reversing, one has $[\det {\bi P} \,\lt\, 0]$ and then $[(-{\bi I}) {\bi P} = -{\bi P}]$ is orientation preserving because $[\det(-{\bi P}) = -\det {\bi P}\,\gt\, 0]$ . But $[(-{\bi P})^{-1} {\bi W} (-{\bi P}) = {\bi P}^{-1} {\bi W} {\bi P} ]$ , hence the transformations by $[{\bi P}]$ and $[-{\bi P}]$ give the same result and one of $[{\bi P}]$ and $[-{\bi P}]$ is orientation preserving.

Remark : One often speaks of the geometric crystal classes as the types of point groups. This emphasizes the point of view in which a point group is regarded as the group of linear parts of a space group, written with respect to an arbitrary basis of $[{\bb R}^n]$ (not necessarily a lattice basis).

It is also common to state that there are 32 point groups in three-dimensional space. This is just as imprecise as saying that there are 230 space groups, since there are in fact infinitely many point groups and space groups.

What is meant when we say that two space groups have the same point group is usually that their point groups are of the same type (i.e. lie in the same geometric crystal class) and can thus be made to coincide by a suitable basis transformation.

Example

In the space group P3 the threefold rotation generating the point group is given by the matrix $[{\bi W} = \pmatrix{ 0 & -1 & 0 \cr 1 & -1 & 0 \cr 0 & 0 & 1 },]$ whereas in the space group R3 (in the rhombohedral setting) the threefold rotation is given by the matrix $[{\bi W}' = \pmatrix{ 0 & 0 & 1 \cr 1 & 0 & 0 \cr 0 & 1 & 0 }.]$ These two matrices are conjugate by the basis transformation $[{\bi P} = {{1}\over{3}} \pmatrix{ 1 & 0 & -1 \cr 0 & 1 & -1 \cr 1 & 1 & 1 } ,]$ which transforms the basis of the hexagonal setting into that of the rhombohedral setting. This shows that the space groups P3 and R3 belong to the same geometric crystal class.

The example is typical in the sense that different groups in the same geometric crystal class usually describe the same group of linear parts acting on different lattices, e.g. primitive and centred. Writing the action of the linear parts with respect to primitive bases of different lattices gives rise to different matrix groups.

1.3.4.3. Bravais types of lattices and Bravais classes

| top | pdf |

In the classification of space groups into geometric crystal classes, only the point-group part is considered and the translation lattice is ignored. It is natural that the converse point of view is also adopted, where space groups are grouped together according to their translation lattices, irrespective of what the point groups are.

We have already seen that a lattice can be characterized by its metric tensor, containing the scalar products of a primitive basis. If a point group $[{\cal P}]$ acts on a lattice $[{\bf L}]$ , it fixes the metric tensor $[{\bi G}]$ of $[{\bf L}]$ , i.e. $[{\bi W}^{\rm T} \cdot {\bi G} \cdot {\bi W} = {\bi G} ]$ for all $[{\bi W}]$ in $[{\cal P}]$ and is thus a subgroup of the Bravais group $[Aut({\bf L})]$ of $[{\bf L}]$ . Also, a matrix group $[{\cal B}]$ is called a Bravais group if it is the Bravais group $[Aut({\bf L})]$ for some lattice $[{\bf L}]$ . The Bravais groups govern the classification of lattices.

Definition

Two lattices $[{\bf L}]$ and $[{\bf L}']$ belong to the same Bravais type of lattices if their Bravais groups $[Aut({\bf L})]$ and $[Aut({\bf L}')]$ are the same matrix group when written with respect to suitable primitive bases of $[{\bf L}]$ and $[{\bf L}']$ .

Note that in order to have the same Bravais group, the metric tensors of the two lattices $[{\bf L}]$ and $[{\bf L}']$ do not have to be the same or scalings of each other.

Example

The mineral rutile (TiO₂) has a space group of type Mathematical symbol (136) with a primitive tetragonal cell with cell parameters a = b = 4.594 Å and c = 2.959 Å. The metric tensor of the translation lattice L is therefore $[{\bi G} = \pmatrix{ 4.594^2 & 0 & 0 \cr 0 & 4.594^2 & 0 \cr 0 & 0 & 2.959^2 } ]$ and the Bravais group of the lattice is generated by the fourfold rotation $[\pmatrix{ 0 & -1 & 0 \cr 1 & 0 & 0 \cr 0 & 0 & 1 }]$ around the z axis, the reflection $[\pmatrix{ -1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & 1 }]$ in the plane x = 0 and the reflection $[\pmatrix{ 1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & -1 } ]$ in the plane z = 0.

The silicate mineral cristobalite also has (at low temperatures) a primitive tetragonal cell with a = b = 4.971 Å and c = 6.928 Å, and the space-group type is Mathematical symbol (92). In this case the metric tensor of the translation lattice $[{\bf L}' ]$ is $[{\bi G}' = \pmatrix{ 4.971^2 & 0 & 0 \cr 0 & 4.971^2 & 0 \cr 0 & 0 & 6.928^2 } ]$ and one checks that the Bravais group of $[{\bf L}']$ is precisely the same as that of L. Therefore, the translation lattices L for rutile and $[{\bf L}' ]$ for cristobalite belong to the same Bravais type of lattices.

The different Bravais types of lattices, their cell parameters and metric tensors are displayed in Tables 3.1.2.1 (dimension 2) and 3.1.2.2 (dimension 3): in dimension 2 there are 5 Bravais types and in dimension 3 there are 14 Bravais types of lattices.

It is crucial for the classification of lattices via their Bravais groups that one works with primitive bases, because a primitive and a body-centred cubic lattice have the same automorphisms when written with respect to the conventional cubic basis, but are clearly different types of lattices.

Example

The silicate mineral zircon (ZrSiO₄) has a body-centred tetragonal cell with cell parameters a = b = 6.607 Å and c = 5.982 Å. The body-centred translation lattice $[{\bf L}']$ is spanned by the primitive tetragonal lattice $[{\bf L}]$ with basis $[{\bf a}, {\bf b}, {\bf c} ]$ with $[\alpha = \beta = \gamma = 90^\circ]$ and the centring vector $[{\bf v} = \textstyle{{1}\over{2}} ({\bf a} + {\bf b} + {\bf c})]$ . A primitive basis of $[{\bf L}']$ is obtained as $[({\bf a}', {\bf b}', {\bf c}') = ({\bf a}, {\bf b}, {\bf c}) {\bi P} ]$ with $[{\bi P} = {{1}\over{2}} \pmatrix{ -1 & 1 & 1 \cr 1 & -1 & 1 \cr 1 & 1 & -1 } ,]$ i.e. $[{\bf a}' = \textstyle{{1}\over{2}} (-{\bf a} + {\bf b} + {\bf c}) = -{\bf a} + {\bf v} ]$ , $[{\bf b}' = \textstyle{{1}\over{2}} ({\bf a} - {\bf b} + {\bf c}) = -{\bf b} + {\bf v} ]$ , $[{\bf c}' = \textstyle{{1}\over{2}} ({\bf a} + {\bf b} - {\bf c}) = -{\bf c} + {\bf v} ]$ and the metric tensor $[{\bi G}']$ of $[{\bf L}']$ with respect to the primitive basis $[{\bf a}', {\bf b}', {\bf c}']$ is $[ \eqalign{{\bi G}' &= {\bi P}^{\rm T} \pmatrix{ 6.607^2 & 0 & 0 \cr 0 & 6.607^2 & 0 \cr 0 & 0 & 5.982^2 } {\bi P} \cr&= \pmatrix{ 5.547^2 & -12.880 & -8.946 \cr -12.880 & 5.547^2 & -8.946 \cr -8.946 & -8.946 & 5.547^2 }. }]$ The Bravais group of the primitive tetragonal lattice $[{\bf L}]$ is generated (as in the previous example) by $[\displaylines{{\bi W}_1 = \pmatrix{ 0 & -1 & 0 \cr 1 & 0 & 0 \cr 0 & 0 & 1 },\quad {\bi W}_2 = \pmatrix{ -1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & 1 } \cr {\rm and} \ {\bi W}_3 = \pmatrix{ 1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & -1 } ,}]$ and these matrices also generate the Bravais group of the body-centred tetragonal lattice $[{\bf L}']$ , but written with respect to the primitive basis $[{\bf a}', {\bf b}', {\bf c}']$ these matrices are transformed to $[\eqalign{{\bi W}_1' &= {\bi P}^{-1} {\bi W}_1 {\bi P} = \pmatrix{ 0 & 1 & 0 \cr 0 & 1 & -1 \cr -1 & 1 & 0 } ,\cr {\bi W}_2' &= {\bi P}^{-1} {\bi W}_2 {\bi P} = \pmatrix{ 1 & 0 & 0 \cr 1 & 0 & -1 \cr 1 & -1 & 0 }\ {\rm and}\cr {\bi W}_3' &= {\bi P}^{-1} {\bi W}_3 {\bi P} = \pmatrix{ 0 & -1 & 1 \cr -1 & 0 & 1 \cr 0 & 0 & 1 } .}]$

That the primitive and the body-centred tetragonal lattices have different types ultimately follows from the fact that the body-centred lattice $[{\bf L}']$ does not have a primitive basis consisting of vectors $[{\bf a}'', {\bf b}'', {\bf c}'' ]$ which are pairwise perpendicular and such that $[{\bf a}'']$ and $[{\bf b}'']$ have the same length. This would be required to have the matrices $[{\bi W}_1]$ , $[{\bi W}_2]$ and $[{\bi W}_3]$ in the Bravais group of $[{\bf L}']$ .

As we have seen, the metric tensors of lattices belonging to the same Bravais type need not be the same, but if they are written with respect to suitable bases they are found to have the same structure, differing only in the specific values for certain free parameters.

Definition

Let $[{\bf L}]$ be a lattice with metric tensor $[{\bi G}]$ with respect to a primitive basis and let $[{\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} \} ]$ be the Bravais group of $[{\bf L}]$ . Then $[\displaylines{ {\bf M}({\cal B}): = \{ {\bi G}' \ {\rm symmetric\ 3 \times 3\ matrix} \mid\hfill\cr\hfill {\bi W}^{\rm T} \cdot {\bi G}' \cdot {\bi W} = {\bi G}' \ {\rm for\ all }\ {\bi W} \in {\cal B} \} }]$ is called the space of metric tensors of $[{\cal B}]$ . The dimension of $[{\bf M}({\cal B})]$ is called the number of free parameters of the lattice $[{\bf L}]$ .

Analogously, for an arbitrary integral matrix group $[{\cal P}]$ , $[\displaylines{\quad{\bf M}({\cal P}): = \{ {\bi G}'\ {\rm symmetric\ 3 \times 3\ matrix} \mid \hfill\cr\hfill{\bi W}^{\rm T} \cdot {\bi G}' \cdot {\bi W} = {\bi G}' \ {\rm for\ all }\ {\bi W} \in {\cal P} \} }]$ is called the space of metric tensors of $[{\cal P}]$ . If $[\dim {\bf M}({\cal P}')]$ = $[\dim {\bf M}({\cal P})]$ for a subgroup $[{\cal P}']$ of $[{\cal P}]$ , the spaces of metric tensors are the same for both groups and one says that $[{\cal P}']$ does not act on a more general lattice than $[{\cal P}]$ does.

It is clear that $[{\bf M}({\cal B})]$ contains in particular the metric tensor $[{\bi G}]$ of the lattice $[{\bf L}]$ of which $[{\cal B}]$ is the Bravais group. Moreover, $[{\cal B}]$ is a subgroup of the Bravais group of every lattice with metric tensor in $[{\bf M}({\cal B}) ]$ .

Example

Let $[{\bf L}]$ be a lattice with metric tensor $[\pmatrix{ 17 & 0 & 0 \cr 0 & 17 & 0 \cr 0 & 0 & 42 } ,]$ then $[{\bf L}]$ is a tetragonal lattice with Bravais group $[{\cal B}]$ of type 4/mmm generated by the fourfold rotation $[{\bi W}_1 = \pmatrix{ 0 & -1 & 0 \cr 1 & 0 & 0 \cr 0 & 0 & 1 }]$ and the reflections $[{\bi W}_2 = \pmatrix{ -1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & 1 } \ {\rm and}\ {\bi W}_3 = \pmatrix{ 1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & -1 }.]$ The space of metric tensors of $[{\cal B}]$ is $[ {\bf M}({\cal B}) = \left\{ \pmatrix{ g_{11} & 0 & 0 \cr 0 & g_{11} & 0 \cr 0 & 0 & g_{33} } \mid g_{11},g_{33} \in {\bb R} \right\} ]$ and the number of free parameters of $[{\bf L}]$ is 2.

For every lattice $[{\bf L}']$ with metric tensor $[{\bi G}']$ in $[{\bf M}({\cal B})]$ such that $[g_{11} \neq g_{33}]$ , one can check that the Bravais group of $[{\bf L}']$ is equal to $[{\cal B} ]$ , hence these lattices belong to the same Bravais type of lattices as $[{\bf L}]$ . On the other hand, if it happens that $[g_{11} = g_{33}]$ in the metric tensor $[{\bi G}']$ of a lattice $[{\bf L}']$ , then the Bravais group of $[{\bf L}']$ is the full cubic point group of type $[m\bar{3}m]$ and $[{\cal B}]$ is a proper subgroup of the Bravais group of $[{\bf L}']$ . In this case the lattice $[{\bf L}']$ is of a different Bravais type to $[{\bf L}]$ , namely cubic.

The subgroup $[{\cal P}]$ of $[{\cal B}]$ generated only by the fourfold rotation $[{\bi W}_1]$ has the same space of metric tensors as $[{\cal B}]$ , thus this subgroup acts on the same types of lattices as $[{\cal B}]$ (i.e. tetragonal lattices). On the other hand, for the subgroup $[{\cal P}']$ of $[{\cal B}]$ generated by the reflections $[{\bi W}_2 ]$ and $[{\bi W}_3]$ , the space of metric tensors is $[ {\bf M}({\cal P}') = \left\{ \pmatrix{ g_{11} & 0 & 0 \cr 0 & g_{22} & 0 \cr 0 & 0 & g_{33} } \mid g_{11}, g_{22}, g_{33} \in {\bb R} \right\} ]$ and is thus of dimension 3. This shows that the subgroup $[{\cal P}']$ acts on more general lattices than $[{\cal B}]$ , namely on orthorhombic lattices.

Remark : The metric tensor of a lattice basis is a positive definite² matrix. It is clear that not all matrices in $[{\bf M}({\cal B})]$ are positive definite [if $[{\bi G} \in {\bf M}({\cal B})]$ is positive definite, then $[-{\bi G}]$ is certainly not positive definite], but the different geometries of lattices on which $[{\cal B}]$ acts are represented precisely by the positive definite metric tensors in $[{\bf M}({\cal B})]$ .

The space of metric tensors obtained from a lattice can be interpreted as an expression of the metric tensor with general entries, i.e. as a generic metric tensor describing the different lattices within the same Bravais type. Special choices for the entries may lead to lattices with accidental higher symmetry, which is in fact a common phenomenon in phase transitions caused by changes of temperature or pressure.

One says that the translation lattice $[{\bf L}]$ of a space group $[{\cal G}]$ with point group $[{\cal P}]$ has a specialized metric if the dimension of the space of metric tensors of $[{\cal B} = Aut({\bf L}) ]$ is smaller than the dimension of the space of metric tensors of $[{\cal P}]$ . Viewed from a slightly different angle, a specialized metric occurs if the location of the atoms within the unit cell reduces the symmetry of the translation lattice to that of a different lattice type.

Example

A space group $[{\cal G}]$ of type P2/m (10) with cell parameters a = 4.4, b = 5.5, c = 6.6 Å, $[\alpha = \beta = \gamma = 90^\circ]$ has a specialized metric, because the point group $[{\cal P}]$ of type 2/m is generated by $[{\bi W} = \pmatrix{ -1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & -1 }]$ and $[{\bi -I}]$ , and has $[{\bf M}({\cal P}) = \left\{ \pmatrix{ g_{11} & 0 & g_{13} \cr 0 & g_{22} & 0 \cr g_{13} & 0 & g_{33} } \mid g_{11}, g_{22}, g_{33}, g_{13} \in {\bb R} \right\} ]$ as its space of metric tensors, which is of dimension 4. The lattice $[{\bf L}]$ with the given cell parameters, however, is orthorhombic, since the free parameter $[g_{13}]$ is specialized to $[g_{13} = 0 ]$ . The automorphism group $[Aut({\bf L})]$ is of type mmm and has a space of metric tensors of dimension 3, namely $[\left\{ \pmatrix{ g_{11} & 0 & 0 \cr 0 & g_{22} & 0 \cr 0 & 0 & g_{33} } \mid g_{11}, g_{22}, g_{33} \in {\bb R} \right\} .]$

The higher symmetry of the translation lattice would, for example, be destroyed by an atomic configuration compatible with the lattice and represented by only two atoms in the unit cell located at 0.17, 1/2, 0.42 and 0.83, 1/2, 0.58. The two atoms are related by a twofold rotation around the b axis, which indicates the invariance of the configuration under twofold rotations with axes parallel to b, but in contrast to the lattice L, the atomic configuration is not compatible with rotations around the a or the c axes.

By looking at the spaces of metric tensors, space groups can be classified according to the Bravais types of their translation lattices, without suffering from complications due to specialized metrics.

Definition

Let $[{\bf L}]$ be a lattice with metric tensor $[{\bi G}]$ and Bravais group $[{\cal B} = Aut({\bf L})]$ and let $[{\bf M}({\cal B}) ]$ be the space of metric tensors associated to $[{\bf L}]$ . Then those space groups $[{\cal G}]$ form the Bravais class corresponding to the Bravais type of $[{\bf L}]$ for which $[{\bf M}({\cal P}) = {\bf M}({\cal B})]$ when the point group $[{\cal P}]$ of $[{\cal G}]$ is written with respect to a suitable primitive basis of the translation lattice of $[\cal G]$ . The names for the Bravais classes are the same as those for the corresponding Bravais types of lattices.

The Bravais groups of lattices provide a link between lattices and point groups, the two building blocks of space groups. However, although the Bravais group of a lattice is simply a matrix group, the fact that it is expressed with respect to a primitive basis and fixes the metric tensor of the lattice preserves the necessary information about the lattice. When the Bravais group is regarded as a point group, the information about the lattice is lost, since point groups can be written with respect to an arbitrary basis. In order to distinguish Bravais groups of lattices at the level of point groups and geometric crystal classes, the concept of a holohedry is introduced.

Definition

The geometric crystal class of a point group $[{\cal P}]$ is called a holohedry (or lattice point group, cf. Chapters 3.1 and 3.3 ) if $[{\cal P}]$ is the Bravais group of some lattice $[{\bf L}]$ .

Example

Let $[{\cal P}]$ be the point group of type $[\bar{3}m]$ generated by the threefold rotoinversion $[{\bi W}_1 = \pmatrix{ 0 & 1 & 0 \cr -1 & 1 & 0 \cr 0 & 0 & -1 }]$ around the z axis and the twofold rotation $[{\bi W}_2 = \pmatrix{ 1 & -1 & 0 \cr 0 & -1 & 0 \cr 0 & 0 & -1 },]$ expressed with respect to the conventional basis $[{\bf a}, {\bf b}, {\bf c} ]$ of a hexagonal lattice. The group $[{\cal P}]$ is not the Bravais group of the lattice $[{\bf L}]$ spanned by $[{\bf a}, {\bf b}, {\bf c} ]$ because this lattice also allows a sixfold rotation around the z axis, which is not contained in $[{\cal P}]$ . But $[{\cal P} ]$ also acts on the rhombohedrally centred lattice $[{\bf L}']$ with primitive basis $[{\bf a}' = \textstyle{{1}\over{3}} (2 {\bf a} + {\bf b} + {\bf c}) ]$ , $[{\bf b}' = \textstyle{{1}\over{3}} (-{\bf a} + {\bf b} + {\bf c})]$ , $[{\bf c}' = \textstyle{{1}\over{3}} (-{\bf a} - 2 {\bf b} + {\bf c})]$ . With respect to the basis $[{\bf a}', {\bf b}', {\bf c}']$ the rotoinversion and twofold rotation are transformed to $[{\bi W}_1' = \pmatrix{ 0 & 0 & -1 \cr -1 & 0 & 0 \cr 0 & -1 & 0 } \ {\rm and} \ {\bi W}_2' = \pmatrix{ 0 & -1 & 0 \cr -1 & 0 & 0 \cr 0 & 0 & -1 } ,]$ and these matrices indeed generate the Bravais group of $[{\bf L}' ]$ . The geometric crystal class with symbol $[\bar{3}m]$ is therefore a holohedry.

Note that in dimension 3 the above is actually the only example of a geometric crystal class in which the point groups are Bravais groups for some but not for all the lattices on which they act. In all other cases, each matrix group $[{\cal P}]$ corresponding to a holohedry is actually the Bravais group of the lattice spanned by the basis with respect to which $[{\cal P}]$ is written.

1.3.4.4. Other classifications of space groups

| top | pdf |

In this section we summarize a number of other classification schemes which are perhaps of slightly lower significance than those of space-group types, geometric crystal classes and Bravais types of lattices, but also play an important role for certain applications.

1.3.4.4.1. Arithmetic crystal classes

| top | pdf |

We have already seen that every space group can be assigned to a symmorphic space group in a natural way by setting the translation parts of coset representatives with respect to the translation subgroup to $[{\bi o}]$ . The groups assigned to a symmorphic space group in this way all have the same translation lattice and the same point group but the different possibilities for the interplay between these two parts are ignored.

If we want to collect together all space groups that correspond to symmorphic space groups of the same type, we arrive at the classification into arithmetic crystal classes. This can also be seen as a classification of the symmorphic space-group types. The distribution of the space groups into arithmetic classes, represented by the corresponding symmorphic space-group types, is given in Table 2.1.3.3 .

The crucial observation for characterizing this classification is that space groups that correspond to the same symmorphic space group all have translation lattices of the same Bravais type. This means that the freedom in the choice of a basis transformation of the underlying vector space is restricted, because a primitive basis has to be mapped again to a primitive basis. Assuming that the point groups are written with respect to primitive bases, this means that the basis transformation is an integral matrix with determinant $[\pm 1]$ .

Definition

Two space groups $[{\cal G}]$ and $[{\cal G}']$ with point groups $[{\cal P}]$ and $[{\cal P}']$ , respectively, both written with respect to primitive bases of their translation lattices, are said to lie in the same arithmetic crystal class if $[{\cal P}']$ can be obtained from $[{\cal P}]$ by an integral basis transformation of determinant $[\pm 1 ]$ , i.e. if there is an integral 3 × 3 matrix $[{\bi P} ]$ with $[\det {\bi P} = \pm 1]$ such that $[ {\cal P}' = \{ {\bi P}^{-1} {\bi W} {\bi P} \mid {\bi W} \in {\cal P} \}. ]$

Also, two integral matrix groups $[{\cal P}]$ and $[{\cal P}']$ are said to belong to the same arithmetic crystal class if they are conjugate by an integral 3 × 3 matrix $[{\bi P}]$ with $[\det {\bi P} = \pm 1 ]$ .

Example

Let $[\displaylines{{\bi M}_1 = \pmatrix{ -1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & 1 } ,\quad {\bi M}_2 = \pmatrix{ 1 & 0 & 0 \cr 0 & -1 & 0 \cr 0 & 0 & 1 } \cr {\rm and} \ {\bi M}_3 = \pmatrix{ 0 & 1 & 0 \cr 1 & 0 & 0 \cr 0 & 0 & 1 } }]$ be reflections in the planes x = 0, y = 0 and x = y, respectively, and let $[{\cal P}_1 = \langle {\bi M}_1 \rangle ]$ , $[{\cal P}_2 = \langle {\bi M}_2 \rangle]$ and $[{\cal P}_3 = \langle {\bi M}_3 \rangle ]$ be the integral matrix groups generated by these reflections. Then $[{\cal P}_1]$ and $[{\cal P}_2]$ belong to the same arithmetic crystal class because they are transformed into each other by the basis transformation $[{\bi P} = \pmatrix{ 0 & 1 & 0 \cr 1 & 0 & 0 \cr 0 & 0 & 1 }]$ interchanging the x and y axes. But $[{\cal P}_3]$ belongs to a different arithmetic crystal class, because $[{\bi M}_3]$ is not conjugate to $[{\bi M}_1]$ by an integral matrix $[{\bi P}]$ of determinant $[\pm 1]$ . The two groups $[{\cal P}_1]$ and $[{\cal P}_3]$ belong, however, to the same geometric crystal class, because $[{\bi M}_1]$ and $[{\bi M}_3]$ are transformed into each other by the basis transformation $[{\bi P} = \pmatrix{ {{1}\over{2}} & -{{1}\over{2}} & 0 \cr {{1}\over{2}} & {{1}\over{2}} & 0 \cr 0 & 0 & 1 } ,]$ which has determinant $[\textstyle{{1}\over{2}}]$ . This basis transformation shows that $[{\bi M}_1]$ and $[{\bi M}_3]$ can be interpreted as the action of the same reflection on a primitive lattice and on a C-centred lattice.

As explained above, the number of arithmetic crystal classes is equal to the number of symmorphic space-group types: in dimension 2 there are 13 such classes, in dimension 3 there are 73 arithmetic crystal classes. The Hermann–Mauguin symbol of the symmorphic space-group type to which a space group $[{\cal G}]$ belongs is obtained from the symbol for the space-group type of $[{\cal G}]$ by replacing any screw-rotation axis symbol N_m by the corresponding rotation axis symbol N and every glide-plane symbol a, b, c, d, e, n by the symbol m for a mirror plane.

It is clear that the classification into arithmetic crystal classes refines both the classifications into geometric crystal classes and into Bravais classes, since in the first case only the point groups and in the second case only the translation lattices are taken into account, whereas for the arithmetic crystal classes the combination of point groups and translation lattices is considered. Note, however, that for the determination of the arithmetic crystal class of a space group $[{\cal G}]$ it is not sufficient to look only at the type of the point group and the Bravais type of the translation lattice. It is crucial to consider the action of the point group on the translation lattice.

Example

Let $[{\cal G}]$ and $[{\cal G}']$ be space groups of types P3m1 (156) and P31m (157), respectively. Since $[{\cal G}]$ and $[{\cal G}']$ are symmorphic space groups of different types, they must belong to different arithmetic classes. The point groups $[{\cal P}]$ and $[{\cal P}']$ of $[{\cal G}]$ and $[{\cal G}' ]$ both belong to the same geometric crystal class with symbol 3m and the translation lattices of both space groups are primitive hexagonal lattices, and thus of the same Bravais type. It is the different action on the translation lattice which causes $[{\cal G}]$ and $[{\cal G}']$ to lie in different arithmetic classes:

In the conventional setting, the point group $[{\cal P}]$ of $[{\cal G}]$ contains the threefold rotation $[{\bi R} = \pmatrix{ 0 & -1 & 0 \cr 1 & -1 & 0 \cr 0 & 0 & 1 } ]$ and the reflections $[\displaylines{{\bi M}_1 = \pmatrix{ 0 & -1 & 0 \cr -1 & 0 & 0 \cr 0 & 0 & 1 } ,\quad {\bi M}_2 = \pmatrix{ -1 & 1 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & 1 }\cr {\rm and}\ {\bi M}_3 = \pmatrix{ 1 & 0 & 0 \cr 1 & -1 & 0 \cr 0 & 0 & 1 } , }]$ whereas the point group $[{\cal P}']$ of $[{\cal G}']$ contains the same rotation $[{\bi R}]$ and the reflections $[\displaylines{ {\bi M}_1' = \pmatrix{ 0 & 1 & 0 \cr 1 & 0 & 0 \cr 0 & 0 & 1 } ,\quad {\bi M}_2' = \pmatrix{ 1 & -1 & 0 \cr 0 & -1 & 0 \cr 0 & 0 & 1 }\cr {\rm and}\ {\bi M}_3' = \pmatrix{ -1 & 0 & 0 \cr -1 & 1 & 0 \cr 0 & 0 & 1 } . }]$ Since the threefold rotation is represented by the same matrix in both groups, the lattice basis for both groups can be taken as the conventional basis $[{\bf a}, {\bf b}, {\bf c}]$ of a hexagonal lattice, with a and b of the same length and enclosing an angle of 120° and c perpendicular to the plane spanned by a and b. One now sees that in $[{\cal P}' ]$ the reflection planes of $[{\bi M}_1']$ , $[{\bi M}_2']$ and $[{\bi M}_3']$ contain the vectors $[{\bf a} + {\bf b}]$ , a and b, respectively, whereas in $[{\cal P}]$ these vectors are just perpendicular to the reflection planes. In the so-called hexagonally centred lattice with primitive basis $[{\bf a}' = \textstyle{{1}\over{3}} {\bf a} + \textstyle{{2}\over{3}} {\bf b} ]$ , $[{\bf b}' = -\textstyle{{2}\over{3}} {\bf a} - \textstyle{{1}\over{3}} {\bf b}]$ , $[{\bf c}' = {\bf c}]$ , the vectors $[{\bf a}']$ and $[{\bf b}']$ are perpendicular to the vectors a and b. The group $[{\cal G}']$ can thus be regarded as the action of $[{\cal G} ]$ on the hexagonally centred lattice, showing that $[{\cal G}]$ and $[{\cal G}']$ are actions of the same group on different lattices which therefore belong to different arithmetic crystal classes.

As we have seen, the assignment of a space group to its arithmetic crystal class is equivalent to the assignment to its corresponding symmorphic space group, which in turn can be seen as an assignment to the combination of a point group and a lattice on which this point group acts. This correspondence between arithmetic crystal classes and point group/lattice combinations is reflected in the symbol for an arithmetic crystal class suggested in de Wolff et al. (1985), which is the symbol of the symmorphic space group with the letter for the lattice moved to the end, e.g. 4mmP for the arithmetic crystal class containing the symmorphic space groups of type P4mm (99) and the non-symmorphic groups derived from this symmorphic group, i.e. the groups of space-group type P4bm, P4₂cm, P4₂nm, P4cc, P4nc, P4₂mc and P4₂bc (100–106).

Recall that the members of one arithmetic crystal class are space groups with the same translation lattice and the same point group, possibly written with respect to different primitive bases. If the point group happens to be the Bravais group of the translation lattice, this is independent of the chosen primitive basis and thus being a Bravais group is clearly a property of the full arithmetic crystal class.

Definition

The arithmetic crystal class of a space group $[{\cal G}]$ is called a Bravais arithmetic crystal class if the point group of $[{\cal G}]$ is the Bravais group of the translation lattice of $[{\cal G}]$ .

The arithmetic crystal class of an integral matrix group $[{\cal P}]$ is a Bravais arithmetic crystal class if $[{\cal P}]$ is maximal among the integral matrix groups with the same space of metric tensors $[{\bf M}({\cal P})]$ , i.e. if for any integral matrix group $[{\cal P}']$ properly containing $[{\cal P}]$ as a subgroup, the space of metric tensors $[{\bf M}({\cal P}') ]$ is strictly smaller than that of $[{\cal P}]$ . This amounts to saying that $[{\cal P}']$ must act on a lattice with specialized metric.

Note that in the previous edition of IT A the shorter term Bravais class was used as a synonym for Bravais arithmetic crystal class. However, in this edition the term Bravais class is reserved for the classification of space-group types according to their lattices (see Section 1.3.4.3).

Since the lattice types are characterized by their Bravais groups, the Bravais arithmetic crystal classes are in one-to-one correspondence with the Bravais types of lattices. The 14 Bravais arithmetic crystal classes (given by the symbol for the arithmetic class, with the number of the associated symmorphic space-group type in brackets) and the corresponding lattice types are: $[\bar{1}]$ P (2), triclinic; 2/mP (10), primitive monoclinic; 2/mC (12), centred monoclinic; mmmP (47), primitive orthorhombic; mmmC (65), single-face-centred orthorhombic; mmmF (69), all-face-centred orthorhombic; mmmI (71), body-centred orthorhombic; 4/mmmP (123), primitive tetragonal; 4/mmmI (139), body-centred tetragonal; $[\bar{3}mR]$ (166), rhombohedral; 6/mmmP (191), hexagonal; $[m\bar{3}mP]$ (221), primitive cubic; $[m\bar{3}mF]$ (225), face-centred cubic; and $[m\bar{3}mI]$ (229), body-centred cubic.

Bravais flocks

In the classification of space groups according to their translation lattices, the point groups play only a secondary role (as groups acting on the lattices). From the perspective of arithmetic crystal classes, this classification can now be reformulated in terms of integral matrix groups. The crucial point is that every arithmetic crystal class can be assigned to a Bravais arithmetic crystal class in a natural way: If $[{\cal P}]$ is a point group, there is a unique Bravais arithmetic crystal class containing a Bravais group $[{\cal B}]$ of minimal order with $[{\cal P} \leq {\cal B}]$ . Conversely, a Bravais group $[{\cal B}]$ acting on a lattice $[{\bf L}]$ is grouped together with its subgroups $[{\cal P}]$ that do not act on a more general lattice, i.e. on a lattice $[{\bf L}']$ with more free parameters than $[{\bf L} ]$ . This observation gives rise to the concept of Bravais flocks, which is mainly applied to matrix groups.

Definition

Two integral matrix groups $[{\cal P}]$ and $[{\cal P}']$ belong to the same Bravais flock if they are both conjugate by an integral basis transformation to subgroups of a common Bravais group, i.e. if there exists a Bravais group $[{\cal B}]$ and integral 3 × 3 matrices $[{\bi P}]$ and $[{\bi P}']$ such that $[{\bi P} {\bi W} {\bi P}^{-1} \in {\cal B} ]$ for all $[{\bi W} \in {\cal P}]$ and $[{\bi P}' {\bi W}' {\bi P}'^{-1} \in {\cal B} ]$ for all $[{\bi W}' \in {\cal P}']$ . Moreover, $[{\cal P}]$ , $[{\cal P}']$ and $[{\cal B}]$ must all have spaces of metric tensors of the same dimension.

Each Bravais flock consists of the union of the arithmetic crystal class of a Bravais group $[{\cal B}]$ and the arithmetic crystal classes of the subgroups of $[{\cal B}]$ that do not act on a more general lattice than $[{\cal B}]$ .

The classification of space groups into Bravais flocks is the same as that according to the Bravais types of lattices and as that into Bravais classes. If the point groups $[{\cal P} ]$ and $[{\cal P}']$ of two space groups $[{\cal G}]$ and $[{\cal G}']$ belong to the same Bravais flock, then the space groups are also said to belong to the same Bravais flock, but this is the case if and only if $[{\cal G}]$ and $[{\cal G}']$ belong to the same Bravais class.

Example

For the body-centred tetragonal lattice the Bravais arithmetic crystal class is the arithmetic crystal class 4/mmmI and the corresponding symmorphic space-group type is I4/mmm (139). The other arithmetic crystal classes in this Bravais flock are (with the number of the corresponding symmorphic space group in brackets): 4I (79), $[\bar{4}I]$ (82), 4/mI (87), 422I (97), 4mmI (107), $[\bar{4}m2I]$ (119) and $[\bar{4}2mI]$ (121).

1.3.4.4.2. Lattice systems

| top | pdf |

It is sometimes convenient to group together those Bravais types of lattices for which the Bravais groups belong to the same holohedry.

Definition

Two lattices belong to the same lattice system if their Bravais groups belong to the same geometric crystal class (which is thus a holohedry).

Remark : The lattice systems were called Bravais systems in earlier editions of this volume.

Example

The primitive cubic, face-centred cubic and body-centred cubic lattices all belong to the same lattice system, because their Bravais groups all belong to the holohedry with symbol $[m\bar{3}m]$ .

On the other hand, the hexagonal and the rhombohedral lattices belong to different lattice systems, because their Bravais groups are not even of the same order and lie in different holohedries (with symbols 6/mmm and $[\bar{3}m]$ , respectively).

From the definition it is obvious that lattice systems classify lattices because they consist of full Bravais types of lattices. On the other hand, the example of the geometric crystal class $[\bar{3}m]$ shows that lattice systems do not classify point groups, because depending on the chosen basis a point group in this geometric crystal class belongs to either the hexagonal or the rhombohedral lattice system.

However, since the translation lattices of space groups in the same Bravais class belong to the same Bravais type of lattices, the lattice systems can also be regarded as a classification of space groups in which full Bravais classes are grouped together.

Definition

Two Bravais classes belong to the same lattice system if the corresponding Bravais arithmetic crystal classes belong to the same holohedry.

More precisely, two space groups $[\cal G]$ and $[{\cal G}']$ belong to the same lattice system if the point groups $[{\cal P}]$ and $[{\cal P}']$ are contained in Bravais groups $[{\cal B}]$ and $[{\cal B}']$ , respectively, such that $[{\cal B}]$ and $[{\cal B}']$ belong to the same holohedry and such that $[{\cal P}]$ , $[{\cal P}']$ , $[{\cal B}]$ and $[{\cal B}']$ all have spaces of metric tensors of the same dimension.

Every lattice system contains the lattices of precisely one holohedry and a holohedry determines a unique lattice system, containing the lattices of the Bravais arithmetic crystal classes in the holohedry. Therefore, there is a one-to-one correspondence between holohedries and lattice systems. There are four lattice systems in dimension 2 and seven lattice systems in dimension 3. The lattice systems in three-dimensional space are displayed in Table 1.3.4.1. Along with the name of each lattice system, the Bravais types of lattices contained in it and the corresponding holohedry are given.

Table 1.3.4.1| top | pdf |
Lattice systems in three-dimensional space

Lattice system	Bravais types of lattices	Holohedry
Triclinic (anorthic)	aP	$[\bar{1}]$
Monoclinic	mP, mS	2/m
Orthorhombic	oP, oS, oF, oI	mmm
Tetragonal	tP, tI	4/mmm
Hexagonal	hP	6/mmm
Rhombohedral	hR	$[\bar{3}m]$
Cubic	cP, cF, cI	$[m\bar{3}m]$

1.3.4.4.3. Crystal systems

| top | pdf |

The point groups contained in a geometric crystal class can act on different Bravais types of lattices, which is the reason why lattice systems do not classify point groups. But the action on different types of lattices can be exploited for a classification of point groups by joining those geometric crystal classes that act on the same Bravais types of lattices. For example, the holohedry $[m\bar{3}m]$ acts on primitive, face-centred and body-centred cubic lattices. The other geometric crystal classes that act on these three types of lattices are 23, $[m\bar{3}]$ , 432 and $[\bar{4}3m]$ .

Definition

Two space groups $[{\cal G}]$ and $[{\cal G}']$ with point groups $[{\cal P}]$ and $[{\cal P}']$ , respectively, belong to the same crystal system if the sets of Bravais types of lattices on which $[{\cal P}]$ and $[{\cal P}']$ act coincide. Since point groups in the same geometric crystal class act on the same types of lattices, crystal systems consist of full geometric crystal classes and the point groups $[{\cal P}]$ and $[{\cal P}']$ are also said to belong to the same crystal system.

Remark : In the literature there are many different notions of crystal systems. In International Tables, only the one defined above is used.

In many cases, crystal systems collect together geometric crystal classes for point groups that are in a group–subgroup relation and act on lattices with the same number of free parameters. However, this condition is not sufficient. If a point group $[{\cal P}]$ is a subgroup of another point group $[{\cal P}']$ , it is clear that $[{\cal P}]$ acts on each lattice on which $[{\cal P}']$ acts. But $[{\cal P}]$ may in addition act on different types of lattices on which $[{\cal P}']$ does not act.

Note that it is sufficient to consider the action on lattices with the maximal number of free parameters, since the action on these lattices implies the action on lattices with a smaller number of free parameters (corresponding to metric specializations).

Example

The holohedry of type 4/mmm acts on tetragonal and body-centred tetragonal lattices. The crystal system containing this holohedry thus consists of all the geometric crystal classes in which the point groups act on tetragonal and body-centred tetragonal lattices, but not on lattices with more than two free parameters. This is the case for all geometric crystal classes with point groups containing a fourfold rotation or rotoinversion and that are subgroups of a point group of type 4/mmm. This means that the crystal system containing the holohedry 4/mmm consists of the geometric classes of types 4, $[\bar{4}]$ , 4/m, 422, 4mm, $[\bar{4}2m]$ and 4/mmm.

This example is typical for the situation in three-dimensional space, since in three-dimensional space usually all the arithmetic crystal classes contained in a holohedry are Bravais arithmetic crystal classes. In this case, the geometric crystal classes in the crystal system of the holohedry are simply the classes of those subgroups of a point group in the holohedry that do not act on lattices with a larger number of free parameters.

The only exceptions from this situation are the Bravais arithmetic crystal classes for the hexagonal and rhombohedral lattices.

Example

A point group containing a threefold rotation but no sixfold rotation or rotoinversion acts both on a hexagonal lattice and on a rhombohedral lattice. On the other hand, point groups containing a sixfold rotation only act on a hexagonal but not on a rhombohedral lattice. The geometric crystal classes of point groups containing a threefold rotation or rotoinversion but not a sixfold rotation or rotoinversion form a crystal system which is called the trigonal crystal system. The geometric crystal classes of point groups containing a sixfold rotation or rotoinversion form a different crystal system, which is called the hexagonal crystal system.

The classification of the point-group types into crystal systems is summarized in Table 1.3.4.2.

Table 1.3.4.2| top | pdf |
Crystal systems in three-dimensional space

Crystal system	Point-group types
Triclinic	$[\bar{1}]$ , 1
Monoclinic	2/m, m, 2
Orthorhombic	mmm, mm2, 222
Tetragonal	4/mmm, $[\bar{4}2m]$ , 4mm, 422, 4/m, $[\bar{4}]$ , 4
Hexagonal	6/mmm, $[\bar{6}2m]$ , 6mm, 622, 6/m, $[\bar{6}]$ , 6
Trigonal	$[\bar{3}m]$ , 3m, 32, $[\bar{3}]$ , 3
Cubic	$[m\bar{3}m]$ , $[\bar{4}3m]$ , 432, $[m\bar{3}]$ , 23

Remark : Crystal systems can contain at most one holohedry and in dimensions 2 and 3 it is true that every crystal system does contain a holohedry. However, this is not true in higher dimensions. The smallest counter-examples exist in dimension 5, where two (out of 59) crystal systems do not contain any holohedry.

1.3.4.4.4. Crystal families

| top | pdf |

The classification into crystal systems has many important applications, but it has the disadvantage that it is not compatible with the classification into lattice systems. Space groups that belong to the hexagonal lattice system are distributed over the trigonal and the hexagonal crystal system. Conversely, space groups in the trigonal crystal system belong to either the rhombohedral or the hexagonal lattice system. It is therefore desirable to define a further classification level in which the classes consist of full crystal systems and of full lattice systems, or, equivalently, of full geometric crystal classes and full Bravais classes. Since crystal systems already contain only geometric crystal classes with spaces of metric tensors of the same dimension, this can be achieved by the following definition.

Definition

For a space group $[{\cal G}]$ with point group $[{\cal P}]$ the crystal family of $[{\cal G}]$ is the union of all geometric crystal classes that contain a space group $[{\cal G}']$ that has the same Bravais type of lattices as $[{\cal G}]$ .

The crystal family of $[{\cal G}]$ thus consists of those geometric crystal classes that contain a point group $[{\cal P}']$ such that $[{\cal P}]$ and $[{\cal P}']$ are contained in a common supergroup $[\cal B]$ (which is a Bravais group) and such that $[{\cal P}]$ , $[{\cal P}']$ and $[\cal B]$ all act on lattices with the same number of free parameters.

In two-dimensional space, the crystal families coincide with the crystal systems and in three-dimensional space only the trigonal and hexagonal crystal system are merged into a single crystal family, whereas all other crystal systems again form a crystal family on their own.

Example

The trigonal and hexagonal crystal systems belong to a single crystal family, called the hexagonal crystal family, because for both crystal systems the number of free parameters of the corresponding lattices is 2 and a point group of type $[\bar{3}m]$ in the trigonal crystal system is a subgroup of a point group of type 6/mmm in the hexagonal crystal system.

A space group in the hexagonal crystal family belongs to either the trigonal or the hexagonal crystal system and to either the rhombohedral or the hexagonal lattice system. A group in the hexagonal crystal system cannot belong to the rhombohedral lattice system, but all other combinations of crystal system and lattice system are possible. The distribution of the space groups in the hexagonal crystal family over these different combinations is displayed in Table 1.3.4.3.

Table 1.3.4.3| top | pdf |
Distribution of space-group types in the hexagonal crystal family

Crystal system	Geometric crystal class	Lattice system
Crystal system	Geometric crystal class	Hexagonal	Rhombohedral
Hexagonal	6/mmm	P6/mmm, P6/mcc, ,
	$[\bar{6}2m]$	$[P\bar{6}m2]$ , $[P\bar{6}c2]$ , $[P\bar{6}2m]$ , $[P\bar{6}2c]$
	6mm	P6mm, P6cc, ,
	622	P622, , , , ,
	6/m	P6/m,
	$[\bar{6}]$	$[P\bar{6}]$
	6	P6, , , , ,
Trigonal	$[\bar{3}m]$	$[P\bar{3}1m]$ , $[P\bar{3}1c]$ , $[P\bar{3}m1]$ , $[P\bar{3}c1]$	$[R\bar{3}m]$ , $[R\bar{3}c]$
	3m	P3m1, P31m, P3c1, P31c	R3m, R3c
	32	P312, P321, , , ,	R32
	$[\bar{3}]$	$[P\bar{3}]$	$[R\bar{3}]$
	3	P3, ,	R3

Remark : Up to dimension 3 it seems exceptional that a crystal family contains more than one crystal system, since the only instance of this phenomenon is the hexagonal crystal family consisting of the trigonal and the hexagonal crystal systems. However, in higher dimensions it actually becomes rare that a crystal family consists only of a single crystal system.

For the space groups within one crystal family the same coordinate system is usually used, which is called the conventional coordinate system (for this crystal family). However, depending on the application it may be useful to work with a different coordinate system. To avoid confusion, it is recommended to state explicitly when a coordinate system differing from the conventional coordinate system is used.

References

Bieberbach, L. (1911). Über die Bewegungsgruppen der Euklidischen Räume. (Erste Abhandlung). Math. Ann. 70, 297–336.Google Scholar

Bieberbach, L. (1912). Über die Bewegungsgruppen der Euklidischen Räume. (Zweite Abhandlung). Die Gruppen mit einem endlichen Fundamentalbereich. Math. Ann. 72, 400–412. Google Scholar

Wolff, P. M. de, Belov, N. V., Bertaut, E. F., Buerger, M. J., Donnay, J. D. H., Fischer, W., Hahn, Th., Koptsik, V. A., Mackay, A. L., Wondratschek, H., Wilson, A. J. C. & Abrahams, S. C. (1985). Nomenclature for crystal families, Bravais-lattice types and arithmetic classes. Report of the International Union of Crystallography Ad-Hoc Committee on the Nomenclature of Symmetry. Acta Cryst. A41, 278–280.Google Scholar

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