research papers\(\def\hfill{\hskip 5em}\def\hfil{\hskip 3em}\def\eqno#1{\hfil {#1}}\)

Journal logoFOUNDATIONS
ADVANCES
ISSN: 2053-2733

Report of a Subcommittee on the Nomenclature of n-Dimensional Crystallography. II. Symbols for arithmetic crystal classes, Bravais classes and space groups

aInstitute of Theoretical Physics, University of Nijmegen, NL-6525ED Nijmegen, The Netherlands, bDepartment of Physics, City University of New York, New York, NY 10031, USA, cLaboratoire de Physique des Solides, Batiment 510, Université Paris-Sud, 91405 Orsay CEDEX, France, dInstitute of Physics, Moscow State University, Moscow 119899, Russia, eUFR Mathématique, Institut Fourier, BP 74, St Martin d'Hères, F-38402 France, fLaboratoire de Chimie-Physique du Solide, Ecole Centrale Paris, Chatenay Malabry, F-92295 France, gAdvanced Materials Laboratory, NIMS, Tsukuba, Ibaraki, 305-0044 Japan, hPhysics Department, Southern Oregon University, Ashland, OR 97520, USA, and iInstitute of Physics, Czech Academy of Science, Na Slovance 2, Prague 8, 18040 Czech Republic
*Correspondence e-mail: ted@sci.kun.nl

(Received 22 April 2002; accepted 19 July 2002)

The Second Report of the Subcommittee on the Nomenclature of n-Dimensional Crystallography recommends specific symbols for R-irreducible groups in 4 and higher dimensions (nD), for centrings, for Bravais classes, for arithmetic crystal classes and for space groups (space-group types). The relation with higher-dimensional crystallographic groups used for the description of aperiodic crystals is briefly discussed. The Introduction discusses the general definitions used in the Report.

1. Introduction

Recommended symbols for symmetry operations, lattice systems, families and geometric crystal classes in 4D, 5D and 6D have been presented in Report I (Janssen, Birman et al., 1999[Janssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761-782.]). Similar recommendations are given in this Report for the symbols of crystallographic elements in nD, in particular for Bravais classes, centrings, arithmetic crystal classes and space-group types. We abbreviate the term `space-group type' to `space group', unless there is a reason to do otherwise. Some material that belongs to the topics of the first Report but was left out there will also be dealt with, in particular the question of symbols for (R-)irreducible point groups.

In principle, the crystallographic groups, arithmetic and geometric crystal classes, and space groups, are available in dimensions 1–6 via the program CARAT, developed in Aachen by W. Plesken and collaborators. It can be obtained via their web site http://wwwb.math.rwth-aachen.de/carat/index.html . The notation and presentation given there is not easily adapted for crystallographic use, but all the information is present. According to that source the number of various classes in dimensions up to six is

The numbers of families and Bravais classes have been published in Plesken & Schulz (2000[Plesken, W. & Schulz, T. (2000). Exp. Math. 9, 407.]) and Opgenorth et al. (1998[Opgenorth, J., Plesken, W. & Schultz, T. (1998). Acta Cryst. A54, 517-531.]), respectively. The numbers increase rapidly with the dimension. A natural consequence is that the symbols have to be more and more complex. Also, it is clear that tables of these higher-dimensional groups are impossible. Fortunately, the number of higher-dimensional space groups needed for the description of aperiodic crystals is much lower. For example, there are only 370 non-isomorphic space groups of this type in 4D. As in 3D, where there are 11 enantiomorphic pairs of space groups, enantiomorphism occurs in higher dimensions as well. The number of enantiomorphic pairs, however, is not given in the table above.

A short review of the terminology used, and the definitions of the main notions, is presented first. Definitions may also be found in Vol. A of International Tables for Crystallography (Hahn, 2002[Hahn, Th. (2002). Editor. International Tables for Crystallography, Vol. A, Space-Group Symmetry, 5th revised ed. Dordrecht: Kluwer Academic Publishers.]), referred to hereafter as ITA. The concepts are clarified by examples in the third section[link]. Nomenclature and symbols are discussed in §§4–8[link][link][link][link][link]. Recommendations are given in §9[link]. Evidently, the choice of a symbol is a compromise between information richness and conciseness. It is, for that reason, also a matter of taste. Sometimes alternatives will be given. The practice should make it clear what is the best choice.

Precise definitions are often rather dry. To be precise, a mathematical formulation is needed, but the notions have a crystallographic basis and can be described in a more heuristic way. Although we have avoided as much as possible a mathematical symbolism, the section on definitions will not be easy to digest for everybody. Therefore, we have chosen a two-track approach. In §2[link], a mathematical formulation is given and, in §3[link], the same notions are introduced in a more descriptive way, with examples. The reader could choose to skip §2[link] and go directly to §3[link]. To make the correspondence clearer, we have inserted a number of cross references.

2. Definitions and symbols

A distance exists in a Euclidean space that is invariant under rigid-motion transformations. These form the Euclidean group E(n) in the n-dimensional Euclidean space. A subgroup of E(n) is the group of translations T(n). If an origin is chosen, then the subgroup of E(n) leaving this origin invariant is the orthogonal group in n dimensions, denoted by O(n). The subgroup of E(n) leaving an arbitrary point invariant is conjugate to O(n). The elements of E(n) are pairs [\{R|t\}] of an orthogonal transformation R and a translation t. The product of two elements is given by

[\{R_1|t_1\} \{R_2|t_2 \} = \{R_1 R_2 | t_1+R_1t_2 \}. ]

This is the definition of a semi-direct product. Similarly, the affine group is the semi-direct product of the group of translations and the group of non-singular linear transformations.

Definition 1: Crystallographic space group. An n-dimensional crystallographic space group G is a subgroup of E(n) such that its subgroup of translations is generated by n independent translations.

Comment: A space group does not have a fixed point. The translations belonging to the space group form a subgroup, called the (translation) lattice. The points obtained from the origin by the translation lattice is called the (point) lattice of the space group. The set of orthogonal transformations R for all elements [\{R|t\}] in the space group leaves the origin fixed and forms a group of transformations that leaves the lattice of the space group invariant. This group is the point group associated with the space group.

There are other space-group types than crystallographic. An arbitrary subgroup of E(n) that leaves no point invariant (it is fixed-point free) is called a space group and the crystallographic space groups are just special cases. In general, the translation subgroup is not generated by n independent translations. This is the case if the translation subgroup does not span the whole space, as for band and frieze groups. It also occurs if the translation subgroup is not generated by n independent translations but by more. For example, the translation group in 2D generated by five vectors making an angle of [2\pi/5] with each other is generated by at least four translations. Then the generated point set becomes dense and the space group is not crystallographic. When there is no ambiguity, `crystallographic space group' may be abbreviated to `space group'.

Definition 2: Crystallographic point group. A subgroup of O(n) is a crystallographic point group if it leaves an n-dimensional lattice invariant.

Comment: The translation subgroup of a space group G is an invariant subgroup and the factor group is isomorphic to the point group K. Moreover, the point group leaves the lattice invariant and is for that reason a crystallographic point group. A crystallographic point group is finite.

Definition 3: Geometric crystal class. Two point groups are called equivalent if they are conjugate subgroups of the orthogonal group O(n). The equivalence classes for the crystallographic point groups are called the geometric crystal classes.

Definition 4: Equivalence of space groups. Two (crystallographic) space groups are called equivalent if they are conjugate subgroups of the affine group. By Bieberbach's theorem (Bieberbach, 1911[Bieberbach, L. (1911). Math. Ann. 72, 297-336.]), this is equivalent to stating that two crystallographic space groups are equivalent if they are isomorphic. The equivalence class of a space group is called the space-group type.

Definition 5: Holohedry. The holohedry of a lattice is the point group consisting of all orthogonal transformations leaving the lattice invariant.

Definition 6: Lattice system. Two lattices belong to the same lattice system if their holohedries are geometrically equivalent.

A lattice is spanned by n translation vectors [{\bf a}_1, {\bf a}_2,\ldots {\bf a}_n]. The lattice is then characterized by the scalar products.

Definition 7: Metric tensor. The metric tensor of a lattice is the tensor with elements [{\bf g}_{ij} = {\bf a}_i \cdot {\bf a}_j].

Under an element of a point group K, the basis [{\bf a}_i] transforms to a basis [{\bf b}_i] and the metric tensor transforms to the tensor with elements

[{\bf g}'_{ij} = {\bf b}_i\cdot {\bf b}_j = \textstyle\sum\limits_{kl} R_{ki} R_{lj} {\bf g}_{kl} \leftrightarrow {\bf g}' = R^{\rm T}{\bf g}R.]

Here the superscript T denotes the transpose.

Because point groups are subgroups of O(n), they can be presented as groups of orthogonal matrices, on an orthonormal basis. The group of all orthogonal matrices will also be denoted by O(n). A crystallographic point group leaves an n-dimensional lattice invariant. Therefore, on a basis of such an invariant lattice, they are presented as groups of (invertible) integer matrices. The group of all n-dimensional invertible integer matrices is denoted by GL([n,{\bb Z}]).

Definition 8: Arithmetic point group. An arithmetic point group is a finite group of nD integer matrices.

Comment: The group of matrices presenting the nD crystallographic point group K depends on the choice of basis for the invariant lattice. Another basis is obtained from the first by an element of GL([n,{\bb Z}]). Therefore, the point group K corresponds to the set of all arithmetic groups that are conjugate in GL([n,{\bb Z}]) to the first. This leads to a new equivalence.

Definition 9: Arithmetic crystal class. Two arithmetic point groups belong to the same arithmetic crystal class if they are conjugate subgroups of GL([n,{\bb Z}]).

Two crystallographic point groups in the same geometric crystal class correspond after a choice of invariant lattice basis to two arithmetic point groups that are conjugate by a rational matrix. If there is a conjugating integer matrix, then the two groups are arithmetically equivalent, otherwise at least geometrically equivalent. This means that we can define the geometric crystal class of an arithmetic point group as the set of all arithmetic point groups conjugate to the first by a rational matrix. This implies that each geometric crystal class consists of complete arithmetic crystal classes. In other words, if two arithmetic point groups are arithmetically equivalent they are also geometrically equivalent.

The point group of a space group becomes an arithmetic point group on a basis that is a basis for the lattice of the space group. Any other lattice basis will lead to an arithmetically equivalent arithmetic group. Therefore, a space group determines an arithmetic crystal class, and consequently also a geometric crystal class. Par abus de langage, space groups may be considered to belong to a well determined arithmetic and geometric crystal class.

In the following, we shall make no distinction between point groups as groups of transformations or as groups of matrices. Because a space-group element is a pair of an orthogonal transformation and a translation, which correspond to an n-dimensional matrix and an n-dimensional vector, respectively, the space-group element may also be associated with a pair of an integer matrix and a (real) vector. This is sometimes conveniently presented as an (n+1)-dimensional matrix

[\left(\matrix{ R & t \cr 0 & 1 }\right). ]

Definition 10: Arithmetic holohedry. The arithmetic holohedry of a lattice with metric tensor g is the group of invertible integer matrices D(R) such that [D(R)^{\rm T}{\bf g}D(R) = {\bf g}].

Comment: Because the metric is left invariant, the group is equivalent to a group of orthogonal matrices. Because the group leaves the lattice invariant, it is a finite subgroup of GL([n,{\bb Z}]).

Definition 11: Bravais class. Two lattices belong to the same Bravais class if their arithmetic holohedries are arithmetically equivalent.

Comment: Because two arithmetically equivalent (arithmetic) point groups are also geometrically equivalent, each lattice system consists of whole Bravais classes.

Definition 12: Bravais group. The set of tensors left invari­ant by an arithmetic point group D(K) is denoted by SK and defined as the set of metric tensors g for which

[D(R)^{\rm T} {\bf g} D(R) = {\bf g}]

for every R in K. Then the Bravais group of D(K) is the group of all integer matrices D(R) leaving all tensors in SK invariant:

[B(K) = \{ D(R) \in GL(n,{\bb Z}) | D(R)^{\rm T} {\bf g} D(R) = {\bf g}, {\rm all\ } {\bf g}\ {\rm in\ } S_K \}. ]

Definition 13: Bravais class of an arithmetic point group. The Bravais group of an arithmetic point group is an arithmetic holohedry. Two arithmetic point groups belong to the same Bravais class if their Bravais groups are arithmetically equivalent.

In this way, arithmetic point groups (and therefore crystallographic space groups) may be grouped together. A coarser subdivision is given by the following.

Definition 14: Point-group system. Two geometric crystal classes belong to the same point-group system if there are two representatives of these classes with geometrically equivalent Bravais groups.

Definition 15: Family. A family of point groups (and of space groups) is the smallest union of point-group systems and Bravais classes of point groups such that with each crystallographic point group both its point-group system and its Bravais class belong to the union.

Comment: Since each space group determines an arithmetic crystal class and the Bravais class of its lattice, space groups and lattices can also be assigned to a well defined family.

Definition 16: Conventional lattice. In each family, one lattice is chosen such that the arithmetic holohedry of every lattice belonging to the family is equivalent by a rational matrix with the arithmetic holohedry of the chosen lattice, or one of its subgroups.

Comment: Usually, but not always, a lattice with a holohedry of maximal order is chosen. The rational matrix in the definition is the centring matrix. The determinant of its inverse is the number of points of the lattice inside the conventional unit cell. This number is called the index of the centred lattice in the conventional lattice. The arithmetic holohedry is usually chosen to show the reducibility of the holohedry, and to have the `simplest' form. Especially the last criterion means that the choice is sometimes not unique. A basis for the conventional lattice is a conventional basis.

Definition 17: Reducibility. An arithmetic point group is [{\bb Z}]-reducible if there is an invariant sublattice of lower dimension. An arithmetic point group is R-reducible if there is a proper invariant subspace. An arithmetic point group is [{\bb Z}]- (or R-)irreducible if it is not [{\bb Z}]- (or R-)reducible.

Comment: One may distinguish between reducibility, decomposability and full reducibility. An arithmetic point group is [{\bb Z}]-reducible if by a basis transformation from GL([n,{\bb Z}]) all elements may be brought to the form

[\left(\matrix{ A & B\cr 0 & D }\right)]

simultaneously, with the same dimensions of A,B and D for all elements. The group is [{\bb Z}]-decomposable if by such a basis transformation the elements may be brought into the form

[\left(\matrix{ A & 0\cr 0 & D }\right)]

simultaneously. The group is fully reducible if the elements may be transformed by an element of GL([n,{\bb Z}]) to a direct sum of [{\bb Z}]-irreducible components. Similarly, the Q- and R-reducibility, Q- and R-decomposability and full Q- and R-reducibility are defined if the basis transformations are from GL(n,Q) and GL(n,R), respectively. [{\bb Z}]-reducibility implies Q-reducibility, and the latter implies R-reducibility. On the other hand, R-irreducibility implies Q-irreducibility, and the latter implies [{\bb Z}]-irreducibility.

Definition 18: Reducibility pattern of a crystallographic point group. The reducibility pattern is the space dimension n written as the sum of the dimensions of the irreducible components.

Comment: Generally, the reducibility pattern is different for the [{\bb Z}]-reducibility and for the R-reducibility. The R-irreducible subspaces carry a real irreducible representation of the point group. The numbers in the reducibility pattern indicating the dimension of equivalent representations are enclosed in parentheses.

3. Explanation of the definitions

The definitions given above are somewhat mathematical in character, in order to be precise. Since their meanings, however, should be quite clear for crystallographers using them, some examples are now offered in which the definitions are discussed less formally.

Rigid motions in n dimensions (nD) are pairs of nD orthogonal transformations and nD translations. After the choice of an origin and a basis of the nD space, these rigid motions correspond to n×n matrices and nD vectors.

[\left(\left(\matrix{ R_{11} & \ldots & R_{1n} \cr R_{21} & \ldots & R_{2n} \cr \vdots & \ddots & \vdots \cr R_{n1} & \ldots & R_{nn} }\right) \left| \left(\matrix{ t_1 \cr t_2 \cr \vdots \cr t_n }\right) \right)\right.. ]

An equivalent description, as used in ITA (Hahn, 2002[Hahn, Th. (2002). Editor. International Tables for Crystallography, Vol. A, Space-Group Symmetry, 5th revised ed. Dordrecht: Kluwer Academic Publishers.]), gives the transforms of an arbitrary point in the unit cell under the space-group elements, modulo the lattice translation vectors. For example, the groups Pma2 and P2cm are given as follows.

[\eqalign{ & Pma2:\quad x,y,z\quad\bar{x},\bar{y},z\quad x+\textstyle{1\over2}, \bar{y},z \quad \bar{x}+\textstyle{1\over2}, y,z \cr & P2cm:\quad x,y,z \quad x, \bar{y},\bar{z} \quad x,\bar{y},z+\textstyle{1\over2}\quad x,y,\bar{z}+\textstyle{1\over2}. }]

This is a shorter way to give the transformation if there are many zeros in the matrix. A (crystallographic) space group is a group of rigid motions [Definition 1]. The corresponding orthogonal transformations form the point group [Definition 2], the translations form an nD lattice. On a basis of this lattice, the matrices of the point group have integer entries and are, generally, not orthogonal. By a change of basis S and of origin a, the matrices R and the vectors t change according to

[R \rightarrow SRS^{-1};\quad t \rightarrow St+(1-SRS^{-1})a. ]

The 3D space groups Pma2 and P2cm are equivalent via a basis transformation interchanging x and z.

Two space groups are considered to be identical if there is an origin shift and/or basis transformation that brings the matrices and translation vectors of the first into the same form as those of the second [Definition 4]. All space groups that are equivalent in this sense form an equivalence class. If there is a real basis transformation bringing the matrices of one point group in the same form as those of another, then the point groups belong to the same geometric crystal class [Definition 3]. A crystallographic point group with respect to an invariant lattice is a group of integer matrices. Two such groups are arithmetically equivalent if there is a basis transformation for one of the lattices such that the integer matrices become the same [Definition 9]. Because such lattice basis transformations are given by integer matrices, arithmetic equivalence is stronger than geometric equivalence. Geometric crystal classes contain complete arithmetic crystal classes. In 3D, there are 32 geometric crystal classes and 73 arithmetic crystal classes. The geometric crystal class 2/m contains two arithmetic crystal classes: 2/mP and 2/mC.

The other definitions relate to the equivalence of lattices and the classification of space groups, and to the ordering of space and point groups in hierarchical structures. Lattices are characterized by the matrix of n2 scalar products of the n basis vectors. This is the metric tensor [Definition 7]. For example, the metric tensor for a 3D monoclinic lattice is

[{\bf g} = \left(\matrix{ {\bf a}_1\cdot{\bf a}_1 & {\bf a}_1\cdot{\bf a}_2 & {\bf a}_1\cdot{\bf a}_3 \cr {\bf a}_1\cdot{\bf a}_2 & {\bf a}_2\cdot{\bf a}_2 & {\bf a}_2\cdot{\bf a}_3\cr {\bf a}_1\cdot{\bf a}_3 & {\bf a}_2\cdot{\bf a}_3 & {\bf a}_3\cdot{\bf a}_3 }\right) = \left(\matrix{ a & b & 0 \cr b & c & 0\cr 0 & 0 & d }\right).]

The subgroup of the orthogonal group that leaves the lattice invariant (each lattice point is transformed into a lattice point), the symmetry of the lattice, is the holohedry of the lattice [Definition 5]. For the lattice with metric tensor given above, the holohedry is just a point group of the geometric class 2/m. Two lattices are considered to be equivalent if their symmetry groups are different settings of the same point group, which happens if the holohedries are in the same geometric crystal class. All lattices equivalent to a certain lattice form a lattice system [Definition 6]. All 3D cubic lattices (whether they are primitive, b.c.c. or f.c.c.) belong to one lattice system.

Because the holohedry leaves the lattice invariant, its matrices are integer if the chosen basis is a basis of the invariant lattice. As a group of integer matrices, it is called the arithmetic holohedry [Definition 10]. The adjective `arithmetic' is used for groups of integer matrices and their crystal classes. The term `arithmetic crystal class' is standard. Here we use the term arithmetic point group for any finite group of integer matrices [Definition 8] and arithmetic holohedry as well. Because a change of basis gives an arithmetic holohedry in the same arithmetic crystal class, one may introduce a finer classification of lattices. Two lattices are equivalent if their arithmetic holohedries are in the same arithmetic crystal class. The corresponding equivalence class of lattices is the Bravais class [Definition 11]. For example, there are 7 lattice systems but 14 Bravais classes in three dimensions.

For each arithmetic point group, there is a unique arithmetic holohedry as supergroup. It is called the Bravais group of the (arithmetic) point group [Definition 12]. The term `Bravais' is used for the equivalence of lattices or for the holohedry of a lattice invariant under a given point group [Definition 13]. Every lattice left invariant under the 3D point group mP is also invariant under 2/mP. At the same time, this is the largest group that leaves invariant all lattices invariant under mP. Therefore, 2/mP is the Bravais group of mP. It is the arithmetic holohedry of every primitive monoclinic lattice in 3D.

The lattice of a space group is invariant under its point group. Therefore, a choice of basis for the lattice gives a group of integer matrices, an arithmetic point group. A change of lattice basis gives an arithmetically equivalent group of matrices. Thus the space group determines a unique arithmetic crystal class. The classification hereafter branches, one branch going from arithmetic crystal classes to geometric crystal classes, and on to point-group systems, the other going from arithmetic crystal classes via Bravais groups to Bravais classes. Both branches come together in the most general classes: the families. (See Fig. 1 of Report I[Janssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761-782.].)

As an example, the 3D space group I41/a determines the arithmetic crystal class 4/mI, which is contained in the geometric crystal class 4/m. This belongs to the tetragonal system with holohedry 4/mmm. On the other hand, the arithmetic point group 4/mI has 4/mmmI as its Bravais group. This is the arithmetic holohedry of the body-centred tetrag­onal Bravais class. In this case, the family has lattices with holohedry 4/mmm. It is the tetragonal family.

The notions of system and family [Definitions 14–15] are exemplified by the case of the point groups in the hexagonal family in 3D. All lattices in this family have two free par­ameters. However, there are two systems, those with the rhombohedral lattice with holohedry [\bar{3}m] and those with a hexagonal lattice with holohedry 6/mmm.

The matrices of the point group on a lattice basis do not, in general, clearly show the character of the transformation. In many cases, this becomes clearer if a sublattice basis is chosen. The space-group lattice is obtained from the sublattice basis by the addition of vectors in the unit cell of the latter. This is the centring. The matrices and vectors corresponding to the orthogonal transformations and translations of the rigid motions then are given with respect to a conveniently chosen sublattice basis, the conventional basis [Definition 16].

In the 3D cubic family ([m\bar{3}m]), there are three Bravais classes: P, I and F. The reason for choosing P as the conventional lattice is to make the point-group matrices orthogonal, with each row and each column having precisely one non-zero entry. Both I- and F-lattices have a sublattice of the [m\bar{3}mP] Bravais class. Bases for the two lattices are obtained from the conventional basis by (rational) basis transformations with determinant 1/2 and 1/4 (indices 2 and 4), respectively.

[\textstyle{1\over2} \left(\matrix{\hfill-1 & \hfill1 & \hfill1 \cr \hfill1 & \hfill-1 & \hfill1 \cr \hfill1 & \hfill1 & \hfill-1 }\right)\semi\quad \textstyle{1\over2} \left(\matrix{ 0 & 1 & 1\cr 1 & 0 & 1\cr 1 & 1 & 0 }\right). ]

The centring may be given by the basis transformation or by the lattice vectors inside the conventional unit cell. For the examples, these are 0,0,0; [\textstyle{1\over2}, \textstyle{1\over2}, \textstyle{1\over2}] and 0,0,0; [\textstyle{1\over2}, \textstyle{1\over2}, 0]; [\textstyle{1\over2}, 0, \textstyle{1\over2}]; [0,\textstyle{1\over2}, \textstyle{1\over2}]. The index of the I-lattice is two, that of the F-lattice is four.

Examples of the different types of (ir)reducibility [Definition 17] are the following. The group 2/mP in 3D with generating matrices

[\left(\matrix{\hfill -1 & \hfill0 & \hfill0\cr \hfill0 & \hfill-1 & \hfill0\cr\hfill 0 & \hfill0 & \hfill1 }\right),\quad \left(\matrix{\hfill1 & \hfill0 & \hfill0\cr\hfill 0\hfill & \hfill1 & \hfill0\cr\hfill 0 & \hfill0 & \hfill-1 }\right)]

is [{\bb Z}]-reducible, [{\bb Z}]-decomposable and fully [{\bb Z}]-reducible (see the comments after Definition 17). Therefore, it is also fully Q- and R-reducible. The group mc in 2D with generating matrix

[\left(\matrix{ 0 & 1 \cr 1 & 0 }\right)]

is [{\bb Z}]-reducible, but not [{\bb Z}]-decomposable. It is Q-decomposable and fully Q-reducible, and hence also fully R-reducible. The point group [8]P4 in 4D generated by

[\left(\matrix{ \hfill0 & \hfill0 & \hfill0 & \hfill-1\cr \hfill1 & \hfill0 & \hfill0 & \hfill0\cr \hfill0 & \hfill1 & \hfill0 & \hfill0\cr \hfill0 & \hfill0 & \hfill1 & \hfill0 }\right)]

is [{\bb Z}]- and Q-irreducible, but fully R-reducible. The cubic group [m\bar{3}mP] is R-irreducible, and hence also Q- and [{\bb Z}]-irreducible.

Examples of the R-reducibility patterns [Definition 18] in 3D are the following:

In each symbol, the dimensions of the irreducible representations appearing in the point group are given, adding up to n. Equivalent irreducible components are put in parentheses.

The distinction between [{\bb Z}]- and R-reducibility patterns is illustrated with the following examples in 4D:

The first point group may be brought into reduced form by integer matrices, and hence also by real matrices. The second only by a real matrix, the third not by a real matrix and hence neither by an integer matrix.

4. Geometric crystal classes revisited

Symbols for R-reducible geometric classes were recommended in Report I[Janssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761-782.], based on the symbols for geometric crystal classes in lower dimensions but not a notation for the R-irreducible cases. As the proposed symbols were generalizations of the Hermann–Mauguin symbols, it is logical to use this same approach for the R-irreducible classes. The Hermann–Mauguin symbols are based on the choice of a set of generators for a point group in the class. These generators are given by the corresponding symbols for orthogonal transformations, as presented for arbitrary dimensions in Report I[Janssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761-782.].

The symbols should be unique, in the sense that a given symbol should correspond only to one geometric crystal class. Moreover, the symbol should give as much information about the structure of the group as is compatible with conciseness. The latter condition tends to smaller sets of generators. The mutual orientation of the symmetry operators, i.e. the mutual orientation of axes and invariant subspaces is clear for R-reducible point groups in 3D, but is not clear for R-irreducible cubic groups. The orientation of the mirror planes in the symbol [m\bar{3}m], with respect to the threefold rotation axis, is not directly specified. This same problem occurs often in higher-dimensional spaces.

More information about a point group may be given by using the property that a point group may often be constructed as the product of some of its subgroups. The product may be indicated by `×' when the product is a direct product or by a dot `.' for the general case. When the point group is the direct product of two subgroups acting in mutually perpendicular subspaces, the direct product is indicated by the symbol [\bot]. The Hermann–Mauguin symbol may be generalized by composing the symbol for the whole group from the symbols for these generating subgroups, some of which can be cyclic, in which case their symbol is just the symbol for a generator. A complicating factor now is that the symbols for orthogonal transformations often consist of more than one character. For example, the symbol 32 represents both a four-dimensional rotation (a threefold rotation in a two-dimensional subspace and a twofold rotation in a perpendicular two-dimensional subspace) and a three-dimensional point group of order six in the hexagonal family. It is important to clarify which of the two meanings the symbol represents when used for a higher-dimensional point group. We recommend placing the symbol for a point group in parentheses if it forms one of the generating point groups for the case under consideration, unless no confusion is possible. The symbol 3m only occurs for a 3D point group of order six, not as a symbol for an orthogonal transformation. In that case, parentheses are not necessary.

An example of a point group that requires parentheses is (32)×44 obtained by taking the direct product of the 3D point group 32 and the 4D cyclic group generated by an orthogonal transformation 44; 32×44 is the direct product of two cyclic groups, one with the sixfold rotation 32 as generator, the other with the fourfold rotation 44.

The order of the group is not necessarily the product of the orders of the generating subgroups. Although it is not always possible to choose subgroups generating the full group in such a way that the product of their orders is the order of the full group, it is convenient to make such a choice, whenever possible, because this immediately gives information about the group. In Table 1[link], recommendations are made for symbols of the R-irreducible point groups in four dimensions, belonging to the families 21–23 (Table 4 in Report I[Janssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761-782.]). This supplements Table 3 in Report I[Janssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761-782.]. For comparison, in addition to the recommended symbol the number in Brown et al. (1978[Brown, H., Bülow, R., Neubüser, J., Wondratschek, H. & Zassenhaus, H. (1978). Crystallographic Groups of Four-Dimensional Space. New York: Wiley.]) is given (BBNWZ No.). In Table 2[link], some examples of R-irreducible point groups are given in five and six dimensions.

Table 1
Tables of R-irreducible geometric crystal classes in four dimensions

(a) The geometric crystal classes of the four-dimensional family 21.

System Order Symbol Alternative BBNWZ No.
21_1 20 [5].[\bar{4}]   31/01
40 [5].[\bar{4}\times \bar{1}_4] [10].[\bar{4}] 31/02
60 [5].(23)   31/03
120 [5].(23)[\times\bar{1}_4] [10].(23) 31/04
120 [5].(23).[\bar{1}] [5].([\bar{4}.3.\bar{1}]) 31/05
120 [5].([\bar{4}]3m)   31/06
240 [5].([\bar{4}]3m)[\times\bar{1}_4] [10].([\bar{4}]3m) 31/07

(b) The geometric crystal classes of the four-dimensional family 22.

System Order Symbol Alternative BBNWZ No.
22_1 18 3[\bot]3.2 63.3 29/01
36 61(63).2 66.63 29/02
36 3m1(1m3).2 63.32 29/03
36 3m1(1m3).[\bar{4}_{[36]}] [\bar{4}].3[\bot]3 29/04
72 6m1(6m3).2 (66.63)[\times\bar{1}_4] 29/05
72 6m1(6m3).[\bar{4}_{[72]}] ([\bar{4}].3[\bot]3))[\times \bar{1}_4] 29/06
72 3m[\bot]3m.2 [\bar{4}]2m.(3[\bot]3) 29/07
72 6m1(m63).2[72] [\bar{4}.\bar{3}.3] 29/08
144 6m11(613m).2 (63.2).[\bar{3}]m 29/09
22_2 12 6(6).[\bar{4}_{[12]}] 44.33 30/01
24 6m(6m).44[24] (44×2).33 30/02
24 61(32).44[24] [12].63[24] 30/03
24 6m(6m).2 (66.2).63[24] 30/04
36 61(63).44[36] [12].3 30/05
48 6m1(3m2).44[48] [12].222 30/06
72 6[\bot]6.44[72] [12].6 30/07
72 6m1(6m3).2 63.62.2 30/08
72 6m1(6m3).44[72] [12].3.[12][72] 30/09
144 6m1(1m6).2 [12].(622) 30/10
144 6m1(1m6).[\bar{4}_{[144]}] (6[\bot]6).[\bar{4}] 30/11
144 6m11(613m).44[144] [12].[\bar{3}]m 30/12
288 6mm[\bot]6mm.2 ([12].2).6mm 30/13

(c) The geometric crystal classes of the four-dimensional family 23.

System Order Symbol Alternative BBNWZ No.
23_1 8 44.44 44.44[8] 32/01
16 [8].2.[8] [8].[8][16] 32/02
16 [8].44.2 [8].(44.2)[16] 32/03
16 44.44.2 44.(44×2)[16] 32/04
24 44.44.3 62.44 32/05
32 [8].2.2 ([8].2).44[32] 32/06
32 [8].[8].[8] [8].[8].[8][32] 32/07
32 [8].([4\bot 4]) [8].4 32/08
32 44.[\bar{4}].2 (44.2).[\bar{4}] 32/09
32 44.44.(222) (44×2).(44×2)[32] 32/10
48 [8].44.3 [8].62 32/11
64 [\bar{4}].[4\bot 4].[\bar{4}] [8].(422) 32/12
64 [8].[\bar{4}].m [8].mmm 32/13
64 44.44.[\bar{4}] (44.44).mmm[64] 32/14
64 ([4\bot 4]).[\bar{4}] (4[\bot]4).[\bar{4}] 32/15
96 (23).44 (44× 2).(23) 32/16
128 [8].(4[\bot 4]).m [8].(4[\bot]4) 32/17
192 ([\bar{3}]m).44 (44×2).m[\bar{3}] 32/18
192 [(\bar{4}]3m).44 (44×2).[\bar{4}]3m 32/19
192 (432).44 [8].432 32/20
384 [8].m[\bar{3}]m 4.3.2.mmmm 32/21
23_2 24 [12].[12][24]   33/01
24 [8].33   33/02
24 66.44   33/03
48 [12].[8][48]   33/04
48 [12].(44×2)[48]   33/05
48 [8].66   33/06
72 [12].62   33/07
96 ([12].[12]).222[96]   33/08
96 ([12].2).[8][96]   33/09
96 [12].(4[\bot]2)   33/10
144 ([12].[8]).3[144]   33/11
192 [12].(4[\bot]4)   33/12
288 ([12].[12]).23[288]   33/13
576 ([12].[12]).[\bar{4}]3m[576]   33/14
576 ([12].2).(432)   33/15
1152 ([12].2).m[\bar{3}]m   33/16

Table 2
Some R-irreducible point groups in 2–6 dimensions

Dim. Order Generators Symbol
2 12 3,m,2 6mm
3 48 [\bar{4}],3,m m[\bar{3}]m
4 240 m,3,[\bar{4}],[5] [10].[\bar{4}]3m
5 1440 m,3,[\bar{4}],[5],[\overline{63}],[\overline{1_5}] [\overline{63}].[\overline{[5]}].[\bar{4}]3m
6 10080 m,3,[\bar{4}],[5],[\overline{63}],[7],[\overline{1_4}] [\overline{[7]}].[\overline{63}].[5].[\bar{4}]3m
4 384 [\bar{4}],3,2,mx,my,mz,mu 4.3.2.mmmm
5 3840 [5],[\bar{4}],3,2,mx,my,mz,mu,mv [5].4.3.2.mmmmm
6 46080 [\overline{63}],[5],[\bar{4}],3,2,mx,my,mz,mu,mv,mw 63.[5].4.3.2.mmmmmm

There are several infinite series of R-irreducible groups with very similar structure in various dimensions. The use of similar symbols is recommended in these cases. The first series is that of hypercubic groups, generated by the permutations of the n axes and the n mirrors perpendicular to the axes. Their order is hence 2n.n!. The first members of the series are the 2D group 4mm and the 3D group [m\bar{3}m]. A second series is that of the symmetry groups of the generalized (n+1)D rhombohedral lattices, of order 2.(n+1)!. The lattice is the projection of a generalized rhombohedral lattice on a hyperplane perpendicular to the diagonal of the unit cell. The first members are 6mm and [m\bar{3}m]. The third series is that of the symmetry groups of lattices that are the direct sum of a number of identical lower-dimensional lattices. An example is related to the group [6mm\bot6mm], the symmetry group of the sum of two 2D hexagonal lattices, of order 144. In case the two hexagonal lattices have the same lattice constant, there is a symmetry operation in 4D that exchanges the two lattices. The full symmetry group then is a group of order 288, with subgroup [6mm\bot6mm] of index two. Subgroups in this point-group system all have a subgroup of index 2 that is the subdirect product of two subgroups of 6mm. This subgroup is (2+2)-reducible, and has been assigned a symbol in Report I[Janssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761-782.]. In addition, there is one additional generator, exchanging the two invariant subspaces.

The hypercubic lattice in 4D has the special property that there is a centred lattice for which the holohedry is of higher order than the hypercubic lattice. There is a threefold rotation permuting the 3 centring axes that belongs to the holohedry of the centred lattice but not to that of the hypercubic lattice. This threefold rotation is an additional generator which raises the order of the holohedry from 384 to 1152. Because the matrices of the group of order 384 on an orthonormal basis of the hypercubic lattice are simpler, the latter is chosen as the conventional lattice.

Proposals for the symbols of all R-irreducible geometric classes in 4D and for some in 5D and 6D are given in Tables 1[link] and 2[link]. These are based on the considerations given above. For an alternative view, cf. Weigel et al. (2001[Weigel, D., Veysseyre, R., Phan, T., & Veysseyre, H. (2001). Advances in Structure Analysis, edited by R. Kužel & J. Hašek, pp. 319-333. Czech and Slovak Crystallographic Association.]) and, specifically for 5D, Veysseyre & Veysseyre (2002[Veysseyre, R. & Veysseyre, H. (2002a). Acta Cryst. A58, 429-433.]) and Veysseyre et al. (2002[Veysseyre, R., Weigel, D., Phan, T. & Veysseyre, H. (2002b). Acta Cryst. A58, 434-440.]).

First example. The third group of system 21_1 in Table 1[link](a) has order 60. There are 12 group elements that, on the chosen basis, correspond to orthogonal matrices. These 12 form a subgroup, generated by

[A = \left(\matrix{ 0 & 1 & 0 & 0\cr 0 & 0 & 0 & 1\cr 0 & 0 & 1 & 0\cr 1 & 0 & 0 & 0 }\right), \quad B = \left(\matrix{ 0 & 0 & 0 & 1\cr 0 & 0 & 1 & 0\cr 0 & 1 & 0 & 0\cr 1 & 0 & 0 & 0 }\right), ]

with relations A3 = B2 = (AB)3 = E. They form a 3D tetrahedral group 23 in the space perpendicular to the invariant vector (1,1,1,1). In addition, the group has a generator

[C = \left(\matrix{ 0 & 0 & 0 & -1\cr 1 & 0 & 0 & -1\cr 0 & 1 & 0 & -1\cr 0 & 0 & 1 & -1 }\right). ]

This element generates a cyclic subgroup [5]. The two subgroups generate the full 4D point group with symbol [5].(23). Because the product of the orders of the two groups (5 and 12) is equal to the order of the group, the latter does not have to be given explicitly.

Second example. The second point group in the system 22_2 in Table 1[link](b) has order 24. There is an R-reducible subgroup generated by the matrices

[\left(\matrix{ \hfill0 & \hfill1 & \hfill0 & \hfill0\cr \hfill-1 & \hfill1 & \hfill0 & \hfill0\cr \hfill0 & \hfill0 & \hfill1 & \hfill-1\cr \hfill0 & \hfill0 & \hfill1 & \hfill0 }\right),\quad \left(\matrix{ \hfill1 & \hfill-1 & \hfill0 & \hfill0\cr\hfill0 & \hfill-1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill-1 & \hfill0\cr\hfill0 & \hfill0 & \hfill-1\hfill & 1}\right),]

of order 12. It is the group 6m(6m). In addition, there is a generator

[\left(\matrix{ \hfill0 & \hfill0 & \hfill0 & \hfill-1\cr\hfill 0 & \hfill0 & \hfill-1 & \hfill0\cr\hfill 0 & \hfill1 & \hfill0 & \hfill0\cr\hfill 1 & \hfill0 & \hfill0 & \hfill0 }\right). ]

The last matrix generates a cyclic group of order 4. It is the group 44. The symbol for the full group then is 6m(6m).44 but, because the product of the orders of the two subgroups is 48, the order of the group may be indicated explicitly: 6m(6m).44[24].

5. Bravais classes and centrings

The symbol for a Bravais class is the symbol for the arithmetic holohedry of the Bravais class (de Wolff et al., 1985[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). Acta Cryst. A41, 278-280.], 1989[Wolff, P. M. de, Billiet, Y., Donnay, J. D. H., Fischer, W., Galiulin, R. B., Glazer, A. M., Senechal, M., Shoemaker, D. P., Wondratschek, H., Hahn, Th., Wilson, A. J. C. & Abrahams, S. C. (1989). Acta Cryst. A45, 494-499.], 1992[Wolff, P. M. de, Billiet, Y., Donnay, J. D. H., Fischer, W., Galiulin, R. B., Glazer, A. M., Senechal, M., Shoemaker, D. P., Wondratschek, H., Hahn, Th., Wilson, A. J. C. & Abrahams, S. C. (1992). Acta Cryst. A48, 727-732.]). This consists of the symbol for the geometric class followed by a symbol for the centring, the latter being the basis transformation from a standard basis for the conventional cell to a primitive cell of a lattice from the Bravais class.

Centrings are given by the basis transformation from a conventional basis for the family to a primitive basis of the Bravais class. If the basis transformation is S, then the number of lattice translations in a unit cell of the conventional lattice is called the index of the centring, which is equal to the determinant of S. Conventionally, the basis transformation is given by a lower-case letter for 2D and an upper-case letter for 3D. We also recommend using one or more capital letters in higher dimensions.

The basis transformation can be specified either by the matrix S or by the lattice vectors inside a conventional unit cell. There are four cases that occur similarly for every dimension. One has index 1 and is indicated by P, another has index 2 and has, in addition to the origin, also the centre of the (conventional) unit cell; it is indicated by I. The third has three lattice translations along the diagonal of the unit cell and has symbol R, and the fourth has a lattice translation in the middle of each pair of conventional basis vectors. It has index 2n-1 in nD space and is indicated by F. If necessary to give the dimension explicitly, it may be added as a subindex: Pn, In, Rn and Fn. Centrings similar to R have m lattice translations along the diagonal and index m. We recommend that the centring be indicated by K for m = 4 and by Q for m = 5, or by Kn and Qn, respectively.

Centrings of an mD sublattice, such as the C centring in a 3D orthorhombic lattice with centring translation [(0,0,\textstyle{1\over2})], are given by the same symbol as in lower dimensions but the centred sublattice must be indicated. We recommend using a subindex indicating the axes involved ([x,y,z,u,v,w,\ldots]). Thus the C centring of the orthorhombic 3D lattice is given the symbol Ixy.

Finally, some centrings may be regarded as the centring of a centring. The basis transformation S is then given by the product of two basis transformations S1 and S2. The index of S is the product of the indices of S1 and S2. There is a centring with index 16 in 4D, for which the centring matrix can be viewed as the product of the centring matrix for I with that for F.

[\eqalign{ & \textstyle{1\over2} \left(\matrix{\hfill1 & \hfill1 & \hfill1 & \hfill1\cr\hfill-1 & \hfill1 & \hfill1 & \hfill1\cr\hfill1 & \hfill-1 & \hfill1 & \hfill1\cr\hfill1 & \hfill1 & \hfill-1 & \hfill1 }\right) \textstyle{1\over2} \left(\matrix{\hfill0 & \hfill1 & \hfill1 & \hfill0\cr\hfill1 & \hfill0 & \hfill1 & \hfill0\cr\hfill1 & \hfill1 & \hfill0 & \hfill0\cr\hfill-1 & \hfill-1 & \hfill-1\hfill & 1}\right) \cr & \quad= {\textstyle{1\over4}}\left(\matrix{\hfill1 & \hfill1 & \hfill1 & \hfill1\cr\hfill1 & \hfill-1 & \hfill-1 & \hfill1\cr\hfill-1 & \hfill1 & \hfill-1 & \hfill1\cr\hfill-1 & \hfill-1 & \hfill1 & \hfill1 }\right).}]

The symbol is then IF or I4F4. The basis vectors [[\textstyle{{1}\over{4}},{{1}\over{4}},{{1}\over{4}},{{1}\over{4}}]], [[{{1}\over{4}},{{3}\over{4}},{{3}\over{4}},{{1}\over{4}}]], [[{{3}\over{4}},{{1}\over{4}},{{3}\over{4}},{{1}\over{4}}]] and [[{{3}\over{4}},{{3}\over{4}},{{1}\over{4}},{{1}\over{4}}]] span a lattice with 16 basis vectors in the conventional unit cell (see Table 3[link]).

Table 3
Centrings in 4D and their symbols

Index Matrix Points in unit cell BBNWZ Recommended
         
2 [\textstyle{1\over2}\left(\matrix{\hfill1 & \hfill1 & \hfill1 & \hfill1\cr\hfill-1 & \hfill1 & \hfill1 & \hfill1\cr\hfill1 & \hfill-1 & \hfill1 & \hfill1\cr\hfill1 & \hfill1 & \hfill-1 & \hfill1}\right)] [\matrix{ 0 & 0 & 0 & 0\cr \textstyle{1\over2} & \textstyle{1\over2} & \textstyle{1\over2} & \textstyle{1\over2} }] Z I4
2 [\textstyle{1\over2} \left(\matrix{\hfill1 & \hfill1 & \hfill1 & \hfill0\cr\hfill-1 & \hfill1 & \hfill1 & \hfill0\cr\hfill1 & \hfill-1 & \hfill1 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill2}\right)] [\matrix{0 & 0 & 0 & 0\cr \textstyle{1\over2} & \textstyle{1\over2} & \textstyle{1\over2} & 0 }] I Ixyz
2 [\textstyle{1\over2}\left(\matrix{\hfill1 & \hfill-1 & \hfill0 & \hfill0\cr\hfill1 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill2 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill2}\right)] [\matrix{ 0 & 0 & 0 & 0\cr \textstyle{1\over2} & \textstyle{1\over2} & 0 & 0 }] S(1,2) Ixy
3 [{{1}\over{3}}\left(\matrix{ \hfill2 & \hfill1 & \hfill1 & \hfill0\cr\hfill-1 & \hfill1 & \hfill-1 & \hfill0\cr\hfill-1 & \hfill-2 & \hfill1 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill3}\right)] [\matrix{ 0 & 0 & 0 & 0 \cr {{2}\over{3}} & {{1}\over{3}} & {{1}\over{3}} & 0 \cr {{1}\over{3}} & {{2}\over{3}} & {{2}\over{3}} & 0 }] R(1,2,3) Rxyz
3 [{{1}\over{3}}\left(\matrix{\hfill1 & \hfill1 & \hfill1 & \hfill1\cr\hfill-2 & \hfill1 & \hfill1 & \hfill1\cr\hfill1 & \hfill-2 & \hfill1 & \hfill1\cr\hfill 1 & \hfill1 & \hfill-2 & \hfill1}\right)] [\matrix{ 0 & 0 & 0 & 0 \cr {{1}\over{3}} & {{1}\over{3}} & {{1}\over{3}} & {{1}\over{3}} \cr {{2}\over{3}} & {{2}\over{3}} & {{2}\over{3}} & {{2}\over{3}} }] RR1 R4
4 [\textstyle{1\over2} \left(\matrix{\hfill1 & \hfill0 & \hfill0 & \hfill1\cr\hfill0 & \hfill1 & \hfill1 & \hfill0\cr\hfill0 & \hfill-1 & \hfill1 & \hfill0\cr\hfill-1 & \hfill0 & \hfill0 & \hfill1}\right)] [\matrix{ 0 & 0 & 0 & 0 \cr \textstyle{1\over2} & 0 & 0 & \textstyle{1\over2} \cr 0 & \textstyle{1\over2} & \textstyle{1\over2} & 0 \cr \textstyle{1\over2} & \textstyle{1\over2} & \textstyle{1\over2} & \textstyle{1\over2} }] D(1,4)(2,3) Ixu,yz
4 [\textstyle{1\over2}\left(\matrix{\hfill0 & \hfill1 & \hfill1 & \hfill0\cr\hfill 1 & \hfill0 & \hfill1 & \hfill0\cr\hfill 1 & \hfill1 & \hfill0 & \hfill0\cr \hfill0 & \hfill0 & \hfill0 & \hfill2}\right)] [\matrix{ 0 & 0 & 0 & 0 \cr 0 & \textstyle{1\over2} & \textstyle{1\over2} & 0\cr \textstyle{1\over2} & 0 & \textstyle{1\over2} & 0 \cr \textstyle{1\over2} & \textstyle{1\over2} & 0 & 0 }] F(1,2,3) Fxyz
4 [\textstyle{1\over2}\left(\matrix{ \hfill1 & \hfill-1 & \hfill1 & \hfill0\cr\hfill0 & \hfill0 & \hfill-1 & \hfill1\cr\hfill1 & \hfill1 & \hfill0 & \hfill-1\cr\hfill1 & \hfill1 & \hfill0 & \hfill1}\right)] [\matrix{ 0 & 0 & 0 & 0 \cr \textstyle{1\over2} & \textstyle{1\over2} & \textstyle{1\over2} & 0 \cr \textstyle{1\over2} & \textstyle{1\over2} & 0 & \textstyle{1\over2} \cr 0 & 0 & \textstyle{1\over2} & \textstyle{1\over2} }] G(3,4) Ixyz,zu
5 [{{1}\over{5}}\left(\matrix{ \hfill-1 & \hfill-1 & \hfill-1 & \hfill4\cr\hfill-1 & \hfill-1 & \hfill4 & \hfill-1\cr\hfill-1 & \hfill4 & \hfill-1 & \hfill-1\cr\hfill 4 & \hfill-1 & \hfill-1 & \hfill-1}\right)] [\matrix{ 0 & 0 & 0 & 0 \cr {{1}\over{5}} & {{1}\over{5}} & {{1}\over{5}} & {{1}\over{5}} \cr {{2}\over{5}} & {{2}\over{5}} & {{2}\over{5}} & {{2}\over{5}} \cr {{3}\over{5}} & {{3}\over{5}} & {{3}\over{5}} & {{3}\over{5}} \cr {{4}\over{5}} & {{4}\over{5}} & {{4}\over{5}} & {{4}\over{5}} }] SN inverse Q4
6 [{{1}\over{6}}\left(\matrix{\hfill2 & \hfill-2 & \hfill1 & \hfill3\cr\hfill2 & \hfill4 & \hfill1 & \hfill3\cr\hfill0 & \hfill0 & \hfill3 & \hfill-3\cr\hfill0 & \hfill0 & \hfill3 & \hfill3}\right)] [\matrix{0 & 0 & 0 & 0 \cr {{1}\over{3}} & {{2}\over{3}} & {{1}\over{6}} & \textstyle{1\over2} \cr {{2}\over{3}} & {{1}\over{3}} & {{1}\over{3}} & 0\cr 0 & 0 & \textstyle{1\over2} & \textstyle{1\over2}\cr {{1}\over{3}} & {{2}\over{3}} & {{2}\over{3}} & 0 \cr {{2}\over{3}} & {{1}\over{3}} & {{5}\over{6}} & \textstyle{1\over2} }] RS(3,4)(1,2,3) RxyzIzu
8 [\textstyle{1\over2}\left(\matrix{\hfill0 & \hfill1 & \hfill1 & \hfill0\cr\hfill1 & \hfill0 & \hfill1 & \hfill0\cr\hfill1 & \hfill1 & \hfill0 & \hfill0\cr\hfill-1 & \hfill-1 & \hfill-1 & \hfill1}\right)] [\matrix{ 0 & 0 & 0 & 0 \cr \textstyle{1\over2} & \textstyle{1\over2} & 0 & 0 \cr \textstyle{1\over2} & 0 & \textstyle{1\over2} & 0\cr \textstyle{1\over2} & 0 & 0 & \textstyle{1\over2} \cr 0 & \textstyle{1\over2} & \textstyle{1\over2} & 0 \cr0 & \textstyle{1\over2} & 0 & \textstyle{1\over2} \cr 0 & 0 & \textstyle{1\over2} & \textstyle{1\over2}\cr \textstyle{1\over2} & \textstyle{1\over2} & \textstyle{1\over2} & \textstyle{1\over2} }] U F4
8 [{{1}\over{4}}\left(\matrix{\hfill2 & \hfill0 & \hfill1 & \hfill1\cr\hfill0 & \hfill2 & \hfill1 & \hfill-1\cr \hfill0 & \hfill-2 & \hfill1 & \hfill-1\cr \hfill-2 & \hfill0 & \hfill1 & \hfill1}\right)] [\matrix{ 0 & 0 & 0 & 0 \cr \textstyle{1\over2} & \textstyle{1\over2} & \textstyle{1\over2} & 0 \cr 0 & 0 & \textstyle{1\over2} & \textstyle{1\over2} \cr \textstyle{1\over2} & \textstyle{1\over2} & 0 & \textstyle{1\over2}\cr \textstyle{1\over2} & 0 & {{1}\over{4}} & {{1}\over{4}} \cr \textstyle{1\over2} & 0 & {{3}\over{4}} & {{3}\over{4}} \cr 0 & \textstyle{1\over2} & {{3}\over{4}} & {{1}\over{4}} \cr 0 & \textstyle{1\over2} & {{1}\over{4}} & {{3}\over{4}}}] KG(1,2) Ixyz,zuIxu
         
         
16 [{{1}\over{4}}\left(\matrix{\hfill1 & \hfill1 & \hfill1 & \hfill1\cr\hfill1 & \hfill-1 & \hfill-1 & \hfill1\cr\hfill-1 & \hfill1 & \hfill-1 & \hfill1\cr\hfill-1 & \hfill-1 & \hfill1 & \hfill1}\right)] [\matrix{ 0 & 0 & 0 & 0 \cr {{1}\over{4}} & {{1}\over{4}} & {{1}\over{4}} & {{1}\over{4}} \cr {{1}\over{2}} & {{1}\over{2}} & {{1}\over{2}} & {{1}\over{2}} \cr {{3}\over{4}} & {{3}\over{4}} & {{3}\over{4}} & {{3}\over{4}} \cr {{1}\over{4}} & {{1}\over{4}} & {{3}\over{4}} & {{3}\over{4}} \cr {{3}\over{4}} & {{3}\over{4}} & {{1}\over{4}} & {{1}\over{4}} \cr {{1}\over{4}} & {{3}\over{4}} & {{1}\over{4}} & {{3}\over{4}} \cr {{3}\over{4}} & {{1}\over{4}} & {{3}\over{4}} & {{1}\over{4}} \cr {{3}\over{4}} & {{1}\over{4}} & {{1}\over{4}} & {{3}\over{4}} \cr {{1}\over{4}} & {{3}\over{4}} & {{3}\over{4}} & {{1}\over{4}} \cr \textstyle{1\over2} & \textstyle{1\over2} & 0 & 0\cr 0 & 0 & \textstyle{1\over2} & \textstyle{1\over2}\cr \textstyle{1\over2} & 0 & \textstyle{1\over2} & 0\cr 0 & \textstyle{1\over2} & 0 & \textstyle{1\over2}\cr \textstyle{1\over2} & 0 & 0 & \textstyle{1\over2}\cr 0 & \textstyle{1\over2} & \textstyle{1\over2} & 0\cr }] KU I4F4
         

Products of sublattice centrings are treated in the same way. If the centrings have the same symbol, but possibly different orientations, then the subindices are combined. A centring in 4D with four lattice translations in the conventional unit cell given by (0,0,0,0), [(\textstyle{1\over2}, \textstyle{1\over2},0,0)], [(0,\textstyle{1\over2}, \textstyle{1\over2}, \textstyle{1\over2})] and [(\textstyle{1\over2}, 0,\textstyle{1\over2}, \textstyle{1\over2})] is indicated by the centring symbol Ixy,yzu. This is, of course, the same as Ixy,xzu. As an example, all the centring symbols for 4D lattices are given in Table 3[link]. Recommendations for the notation of the Bravais classes in 4D, using these centring symbols, are given in Table 4[link]. Some examples of centring symbols for higher-dimensional (5D and 6D) spaces are given in Table 5[link].

Table 4
The 64 Bravais classes in 4D

System Holohedral point group Centrings for Bravais classes
1_1 [\overline{1_4}] P4
2_1 [\bar{1}\bot]m P4, I4
3_1 2[\bot]2 P4, I4, Ixz,yu
4_1 2[\bot]mm P4, Izu, Ixyz, I4, Ixz,yu, Fyzu
5_1 4(4) P4
6_1 6(6) P4
7_1 222[\times\overline{1_4}] F4I4
7_2 mmmm P4, Ixy, Ixyz, I4, Ixy,uz, Fxyz, Ixyz,zu, F4
8_1 4mm[\bot]2 P4, I4
9_1 [\bar{3}]m(m1) Rxyz
9_2 6mm[\bot]2 P4
10_1 4m(4m) P4, Ixyz, Ixu,yz
11_1 6m(6m) P4, R4
12_1 [\bar{4}]2m[\times\overline{1_4}] Ixyz,zuIxu
12_2 4mm[\bot]mm P4, Izu, Ixyz, I4, Ixyz,zu
13_1 [\bar{3}]m[\bot]m Rxyz, RxyzIzu
13_2 6mm[\bot]mm P4, Izu
14_1 8m(83m) P4
15_1 10m(103m) P4
16_1 12m(125m) P4
17_1 4m11(41mm) Ixu,yz
17_2 4mm[\bot]4mm P4, I4
18_1 6mm[\bot]4mm P4
19_1 m[\bar{3}]m(mm1) I4F4
19_2 m[\bar{3}]m[\bot]m P4, Ixyz, I4, Fxyz, F4
20_1 6m1(3m2) Iyz,xyu
20_2 6m11(613m) R4
20_3 6mm[\bot]6mm P4
21_1 [10].[\bar{4}]3m P4, Q4
22_1 6m11(613m).2 R4
22_2 6mm[\bot]6mm.2 P4
23_1 [8].m[\bar{3}]m P4
23_2 [12].2.m[\bar{3}]m I4

Table 5
Examples of centrings in 5D and 6D

Symbol Dimension Index Matrix
       
       
I5 5 2 [\textstyle{1\over2}\left(\matrix{ \hfill1 & \hfill1 & \hfill1 & \hfill1 & \hfill1\cr \hfill-1 & \hfill1 &\hfill 1 &\hfill 1 &\hfill 1 \cr \hfill1 &\hfill -1 &\hfill 1 &\hfill 1 &\hfill 1 \cr \hfill1 &\hfill 1 &\hfill -1 &\hfill 1 &\hfill 1 \cr\hfill1 &\hfill 1 &\hfill 1 &\hfill -1 &\hfill 1 }\right)]
I6 6 2 [\textstyle{1\over2}\left(\matrix{\hfill1 &\hfill 1 &\hfill 1 &\hfill 1 &\hfill 1 &\hfill 1\cr \hfill-1 &\hfill 1 &\hfill 1 &\hfill 1 &\hfill 1 &\hfill 1\cr\hfill 1 &\hfill -1 &\hfill 1 &\hfill 1 &\hfill 1 &\hfill 1\cr\hfill 1 &\hfill 1 &\hfill -1 &\hfill 1 &\hfill 1 &\hfill 1 \cr\hfill 1 &\hfill 1 & \hfill1 & \hfill-1 &\hfill 1 &\hfill 1 \cr\hfill 1 &\hfill 1 & \hfill1 &\hfill 1 &\hfill -1 &\hfill 1 }\right)]
F5 5 16 [\textstyle{1\over2}\left(\matrix{\hfill1 &\hfill 1 &\hfill 0 &\hfill 0 & \hfill0\cr\hfill 1 &\hfill 0 &\hfill 1 &\hfill 0 & \hfill0\cr\hfill 1 &\hfill 0 &\hfill 0 &\hfill 1 &\hfill 0\cr \hfill1 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 1 \cr\hfill 1 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill -1 }\right)]
F6 6 32 [\textstyle{1\over2}\left(\matrix{\hfill1 &\hfill 1 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 0\cr\hfill 1 &\hfill 0 &\hfill 1 &\hfill 0 &\hfill 0 &\hfill 0\cr \hfill1 &\hfill 0 &\hfill 0 &\hfill 1 &\hfill 0 &\hfill 0\cr\hfill 1 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 1 &\hfill 0\cr\hfill 1 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 1\cr\hfill -1 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 1 }\right)]
Ixy e.g. 4 2 [\textstyle{1\over2}\left(\matrix{\hfill1 &\hfill -1 &\hfill 0 &\hfill 0\cr\hfill 1 &\hfill 1 &\hfill 0 &\hfill 0\cr\hfill 0 &\hfill 0 &\hfill 2 &\hfill 0\cr\hfill0 &\hfill 0 &\hfill 0 &\hfill 2 }\right)]
Ixyzu e.g. 5 2 [\textstyle{1\over2}\left(\matrix{\hfill1 &\hfill 1 &\hfill 1 &\hfill 1 &\hfill 0\cr\hfill -1 &\hfill 1 &\hfill 1 &\hfill 1 &\hfill 0\cr\hfill 1 &\hfill -1 &\hfill 1 &\hfill 1 &\hfill 0\cr\hfill 1 &\hfill 1 &\hfill -1 &\hfill 1 &\hfill 0\cr\hfill 0 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 2 }\right)]
Ixy,zu,vw e.g. 6 8 [\textstyle{1\over2}\left(\matrix{ \hfill1 &\hfill -1 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 0\cr\hfill 1 &\hfill 1 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 0 \cr\hfill 0 &\hfill 0 &\hfill 1 &\hfill -1 &\hfill 0 &\hfill 0\cr \hfill0 &\hfill 0 &\hfill 1 &\hfill 1 &\hfill 0 &\hfill 0 \cr \hfill0 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 1 &\hfill -1 \cr\hfill 0 &\hfill 0 &\hfill 0 &\hfill 0 &\hfill 1 &\hfill 1 }\right)]
       
       

6. Arithmetic crystal classes

Two arithmetic point groups that are geometrically equivalent can be obtained from each other by a conjugation with a rational matrix. In other words, they are related by a centring matrix. As in the case for arithmetic crystal classes in one, two and three dimensions, the symbol for an arithmetic crystal class is the geometric crystal class symbol followed by a symbol for the centring of the lattice. However, a Bravais group may contain several subgroups that are geometrically equivalent but not arithmetically. A well known example in two dimensions is given by the pair of arithmetic groups 3m1p and 31mp of order 6. The difference between the two groups is the orientation of the mirror planes (m). In the first case, these are perpendicular to the crystal axes, in the second these are along the crystal axes. There are hence two ways to indicate point groups in the same geometric crystal class that are arithmetically different: either by the centring symbol or by indicating the orientation in the Bravais group.

Both approaches are used in 2D and 3D. In 3D, the point groups in the arithmetic crystal classes 3m1P, 31mP and 3mR are geometrically equivalent. We recommend using the same system in higher dimensions, with the introduction of symbols for the centrings to distinguish between Bravais classes. The same symbols are used for the arithmetic crystal classes. In principle, there are more symbols than strictly needed for the Bravais classes. In 3D, the 14 Bravais classes would have the proposed general notation symbols [ \bar{1}P_3], 2/mP3, 2/mIxz, mmmP3, mmmI3, mmmF3, mmmIxy, [\bar{3}mR_3], 6/mmmP3, 4/mmmP3, 4/mmmI3, [m\bar{3}mP_3], [m\bar{3}mI_3], [m\bar{3}mF_3]. Symbols such as Iyz are available for distinguishing between arithmetic crystal classes.

Different orientations of subgroups of the Bravais groups are indicated by the invariant spaces of the generators. This may be achieved by giving the axes in the invariant space of the element as superscripts.

A special case occurs if a generator of an R-reducible point group is the sum of mirrors in the various invariant subspaces. If the group is [{\bb Z}]-reducible with components of dimension less than 4, the orientation of the mirrors with respect to the crystal axes may be given. If the mirror plane is perpendicular to a crystal axis, the mirror is indicated by a dot ([\dot{m}]), otherwise by a double dot ([\ddot{m})]. This corresponds to the notation m1 and 1m, respectively. The positional notation cannot be used here because combinations of a mirror of the first type in one subspace can be combined with one of the other type in another subspace. If the group is [{\bb Z}]-irreducible, but R-reducible, the same notation can be used with respect to the projection of the crystal axes on the invariant subspace. The case of twofold rotations instead of mirrors can be treated in the same way.

Example 1. The five arithmetic crystal classes in the geometric crystal class [m\bar{3}m\bot m] are distinguished by the centrings. They are denoted as [m\bar{3}m\bot mP_4], [m\bar{3}m\bot mI_4], [m\bar{3}m\bot mI_{xyz}], [m\bar{3}m\bot mF_{xyz}] and [m\bar{3} m\bot mF_4].

Example 2. In the geometric class 3m(3m), there are three arithmetic crystal classes. If the elements 33 and 2( = mm) are given by

[\eqalign{A & = \left(\matrix{ \hfill0 & \hfill-1 & \hfill0 & \hfill0\cr\hfill1 & \hfill-1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill-1\cr\hfill0 & \hfill0 & \hfill1 & \hfill-1}\right), \cr B_2 & = \left(\matrix{\hfill1 & \hfill-1 & \hfill0 & \hfill0\cr\hfill0 & \hfill-1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill1 & \hfill-1\cr\hfill0 & \hfill0 & \hfill0 & \hfill-1}\right), }\quad\eqalign{B_1 & = \left(\matrix{\hfill-1 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill-1 & \hfill1\cr\hfill0 & \hfill0 & \hfill0 & \hfill1}\right),\cr B_3 & = \left(\matrix{\hfill-1 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill1 & \hfill-1\cr\hfill0 & \hfill0 & \hfill0 & \hfill-1}\right), }]

then three point groups, one from each class, are generated by A, B1, or by A, B2, or by A, B3. The centring is primitive in all cases. Therefore, the symbols are, respectively, [3\dot{m}(3\dot{m})P_4], [3\ddot{m}(3\ddot{m})P_4], and [3\dot{m}(3\ddot{m})P_4]. Correspondingly, the two arithmetic classes in the geometric crystal class 6m(6m) are 6m(6m)P4 and [6\dot{m}(6\ddot{m})P_4].

Example 3. The 4D geometric class [\bar{4}2m{\times}\bar{1}_4] has 11 arithmetic classes. These correspond to the centrings P4, I4, Izu, Ixyu, Ixyz,xyu and N4. For each of these centrings, except the last, there are two different orientations of the point group with respect to the crystal axes. One is generated by

[\displaylines{A = \left(\matrix{\hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill-1 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill-1 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill1}\right), \quad B = \left(\matrix{\hfill1 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill-1 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill-1 }\right),\cr C = \left(\matrix{\hfill-1 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill-1 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill1 }\right), }]

and the other by A, B and

[D = \left(\matrix{\hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill1 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill-1 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill1 }\right).]

The two arithmetic classes with P-centring are [\bar{4}2m{\times}\bar{1}_4P_4] and [\bar{4}m2{\times}\bar{1}_4P_4]. The other arithmetic classes are similar, with other centrings, except the N-centring. In the latter case, only the second orientation occurs.

Example 4. The geometric crystal class [5].2 = 5m(52m) contains two arithmetic classes. A representative is generated by

[A = \left(\matrix{ \hfill0 & \hfill0 & \hfill0 & \hfill-1\cr\hfill1 & \hfill0 & \hfill0 & \hfill-1\cr\hfill0 & \hfill1 & \hfill0 & \hfill-1\cr\hfill0 & \hfill0 & \hfill1 & \hfill-1 }\right),\quad B = \left(\matrix{ \hfill0 & \hfill0 & \hfill0 & \hfill1\cr\hfill0 & \hfill0 & \hfill1 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill1 & \hfill0 & \hfill0 & \hfill0}\right), ]

and another by A and C = -B. The groups are [{\bb Z}]-irreducible, but R-reducible, and arithmetically non-equivalent. B and C are composed of two mirrors, one in each R-irreducible subspace. The mirrors in both subspaces go either through the projection of basis vectors of the lattice basis or they are both perpendicular. Therefore, the two arithmetic groups can be given the symbols 51m(521m) and 5m1(52m1), or [5\dot{m}]([5^2\dot{m}]) and [5\ddot{m}]([5^2\ddot{m}]).

Example 5. All arithmetic crystal classes for the two 4D families [6mm\bot2] and mmmm are given in Table 6[link] with their recommended symbols.

Table 6
Examples of arithmetic crystal classes in four dimensions

(a) The arithmetic crystal classes of family [6mm\bot2\,].

Geometric class Order Arithmetic classes
3 3 3P4, 3R4
3m 6 3m1P4, 31mP4, 31mR4
[\bar{3}](m) 6 [\bar{3}](m)P4, [\bar{3}](m)R4
32(1m) 6 312(11m)P4, 312(11m)R4, 321(1m1)P4
[\bar{3}]m(m1) 12 [\bar{3}]m1(m11)P4, [\bar{3}]1m(m11)P4, [\bar{3}]1m(m11)R4
6 6 6P4
3[\bot]2 6 3[\bot]2P4
6mm 12 6mmP4
6[\bot]2 12 6[\bot]2P4
3m[\bot]2 12 3m1[\bot]2P4, 31m[\bot]2P4
6m(12) 12 6m(12)P4
6mm[\bot]2 24 6mm[\bot]2P4

(b) The arithmetic crystal classes of family mmmm.

Geometric class Order Arithmetic classes
222 4 222P4, 222I4, 222F4, 222I4F4, 222Izu, 222Iyz,
222Ixyu, 222Ixzu, 222Ixz,yu, 222Ixyz,zu, 222Ixyu,yz,
222Fxyz, 222Fxyu
222[\times\overline{1_4}] 8 222[\times\overline{1_4}]P4, 222[\times\overline{1_4}]I4, 222[\times\overline{1_4}]F4, 222[\times\overline{1_4}]I4F4,
222[\times\overline{1_4}]Izu, 222[\times\overline{1_4}]Ixyu, 222[\times\overline{1_4}]Ixz,yu, 222[\times\overline{1_4}]Ixyz,zu,
222[\times\overline{1_4}]Fxyz
mmm 8 mmmP4, mmmI4, mmmF4, mmmIzu, mmmIyz,
mmmIxyu, mmmIxzu, mmmIxz,yu, mmmIxyz,zu,
mmmIxyu,yz, mmmFxyz, mmmFxyu
222[\bot]m 8 222[\bot]mP4, 222[\bot]mI4, 222[\bot]mF4, 222[\bot]mIzu,
222[\bot]mIyu, 222[\bot]mIxyu, 222[\bot]mIxyz, 222[\bot]mIxz,yu
222[\bot]mIxyz,zu, 222[\bot]mIxyz,yu, 222[\bot]mFxyz, 222[\bot]mIxzu
mmmm 16 mmmmP4, mmmmI4, mmmmF4, mmmmIzu,
mmmmIxyu, mmmmIxz,yu, mmmmIxyz,zu, mmmmFxyz

7. Space groups

Space-group symbols are conveniently chosen as the symbols for the arithmetic crystal class corresponding to the space group, with additional information on the translation parts of the space-group elements. The intrinsic part of the corresponding translation in the space-group element is given in the symbol for every generator of the point group. This is the translation component that is invariant under origin shifts. In the symbols used up to the 3D case, a subindex represents the intrinsic part of the translation for a screw axis (e.g. P21), and for a glide reflection (e.g. P2/a) the mirror symbol `m' is replaced by a letter that corresponds to the translation. With the de Wolff et al. (1992[Wolff, P. M. de, Billiet, Y., Donnay, J. D. H., Fischer, W., Galiulin, R. B., Glazer, A. M., Senechal, M., Shoemaker, D. P., Wondratschek, H., Hahn, Th., Wilson, A. J. C. & Abrahams, S. C. (1992). Acta Cryst. A48, 727-732.]) nomenclature, the centring symbol for the arithmetic crystal class is placed at the beginning of the space-group symbol.

The same scheme can be adopted in higher dimensions. Each character in the symbol for a point group stands for a generator of the point group or a component of a generator. The latter occurs if an orthogonal transformation is indicated by more than one digit, as e.g. the 4D rotation 43 of order 12, or the element 6(6) in a 4D reducible point group. The intrinsic translations only appear in invariant subspaces. Therefore, the examples given [43 and 6(6)] hence have intrinsic translations only in spaces of dimension higher than 4. We recommend appending an index to the symbol to indicate the intrinsic translation. The position of the index is:

– for series of subsequent characters indicating an orthog­onal transformation (such as 3 or 43), directly after the last character;

– for characters separated by paren­theses, directly after the last character of the corresponding component, followed by an eventual component in other directions.

The intrinsic translation of a space-group element is always a rational fraction of a lattice translation in the invariant subspace. It can be given by that fraction and the lattice translation. Suppose the fraction is p/q and the order of the orthogonal transformation is n. Then np/q corresponds to a lattice translation. We take the order of the element (n) as the denominator. With respect to a primitive basis, np/q would be an integer, but, because translations are given with respect to the conventional basis, np/q still may be a fraction. This fraction is placed before the lattice translation vector indicated by [x {\bf e}_1 +y {\bf e}_2 +z {\bf e}_3 + \ldots], where [{\bf e}_i] is the ith basis vector.

It is sufficient to indicate the translation part for a set of generators because the other space-group elements including their translation parts are the result of multiplications. However, the intrinsic parts are not always sufficient. There are non-symmorphic space groups for which a set of generators may be chosen without an intrinsic translation part. An example is the 3D group I212121. For every element of the point group, the associated translation in the space-group element may be changed by adding a lattice translation or by a change of origin. In the case of I212121, there is an origin for which the rotation along the z axis has a translation ([\textstyle{1\over2} 0\textstyle{1\over2}]) and the space-group element is a screw rotation. However, because ([\textstyle{1\over2} \textstyle{1\over2}\textstyle{1\over2}]) is a lattice translation, the translation in the screw rotation may be changed to ([0\textstyle{1\over2} 0]), which may be changed to zero by an origin shift. This holds for all three twofold rotations. However, the non-primitive translations cannot simultaneously be eliminated. The choice of generators of the point group without intrinsic translations would lead to the symbol I222, which is already the symbol for the symmorphic group. Therefore, the symbol I212121 is used. We recommend choosing in similar situations translation components for which the intrinsic part is non-zero.

A similar situation occurs for the group [P5\bar{3}m(5^2\bar{3}m)]. Strictly speaking, the elements 5(52) = [5] and [\bar{3}(\bar{3}) = 662] generate the point group. However, this choice leads to a notational problem. There is a non-symmorphic space group with generators [\{[5]|(0\textstyle{1\over2}\textstyle{1\over2} 000)\}] and [\{\bar{3}(\bar{3})|(00\textstyle{1\over2} 0\textstyle{1\over2} 0)\}]. Both translation parts may be eliminated by an origin shift. However, their product m(m) has a translation part ([00\textstyle{1\over2} \textstyle{1\over2} 00]), which is intrinsic. Therefore, it is advisable to use the symbol [P5\bar{3}m_{zu}(5^2\bar{3}m)]. The non-symmorphic character can only be made evident by choosing m(m) = 2 as a (superfluous) generator of the point group. We recommend using more generators for the point group than strictly necessary, if that is a way to indicate the character of the non-symmorphic space group.

1: The space group with generators

[\displaylines{ \left(\left(\matrix{ \hfill-1 & 0 & 0 & 0\cr\hfill0 & 1 & 0 & 0\cr\hfill0 & 0 & 1 & 0\cr\hfill0 & 0 & 0 & 1 }\right) \left| \left(\matrix{ 0\cr0\cr \textstyle{1\over2} \cr0 }\right) \right. \right), \quad \left(\left(\matrix{ 1 & \hfill0 & 0 & 0\cr0 & \hfill-1 & 0 & 0\cr0 & \hfill0 & 1 & 0\cr0 & \hfill0 & 0 & 1 }\right) \left| \left(\matrix{ 0\cr0\cr 0\cr \textstyle{1\over2} }\right) \right. \right), \cr \left(\left(\matrix{ 1 & 0 & \hfill0 & \hfill0\cr0 & 1 & \hfill0 & \hfill0\cr0 & 0 & \hfill-1 & \hfill0\cr0 & 0 & \hfill0 & \hfill-1 }\right) \left| \left(\matrix{ \textstyle{1\over2} \cr \textstyle{1\over2} \cr 0 \cr0 }\right) \right. \right)}]

(and the lattice translations) has arithmetic point group [mm\bot2P] and symbol [Pm_zm_u\bot2_{xy}].

2. The space group with the lattice translations and

[\displaylines{\left(\left(\matrix{ \hfill0 & \hfill-1 & \hfill0 & \hfill0 & \hfill0\cr\hfill1 & \hfill0 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill-1 & \hfill0\cr\hfill0 & \hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill0 & \hfill1 }\right) \left| \left(\matrix{ 0\cr0\cr0 \cr0\cr \textstyle{1\over2} }\right) \right. \right), \cr\left(\left(\matrix{ \hfill-1 & \hfill0 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill-1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill1 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill0 & \hfill1 }\right) \left| \left(\matrix{ 0\cr0\cr0 \cr0\cr \textstyle{1\over2} }\right) \right. \right).}]

as generators has arithmetic point group 4m(4m)P. Because the order of the first rotation is four, the fraction np/q = 2 and four times the translation part is [2{\bf e}_5]. Although the translation part of the second generator is the same, the order of the second rotation is two and np/q = 1. Therefore, the symbol is P42vmv(4m).

Lists of space groups may be found in Brown et al. (1978[Brown, H., Bülow, R., Neubüser, J., Wondratschek, H. & Zassenhaus, H. (1978). Crystallographic Groups of Four-Dimensional Space. New York: Wiley.]) for 4D (a complete list), in Martinais (1987[Martinais, D. (1987). C. R. Acad. Sci. Paris Ser. I Math. 305, 509-512.]) for 6D and in Janssen (1988[Janssen, T. (1988). Phys. Rep. 168, 55-113.]) for 5D and 6D.

This is not the place to give full lists of the recommended symbols for all space groups in dimensions higher than three. As examples, all space groups are given for a selected number of arithmetic crystal classes in 4D (Table 7[link]), 5D (Table 8[link]) and 6D (Tables 9[link] and 10[link]). Generators for the space groups are given either by generating matrices for the arithmetic point group together with the associated translations (Table 8[link]) or by the action of the generators on a point (x,y,z,u,v) in 5D or (x,y,z,u,v,w) in 6D (Tables 7[link], 9[link] and 10[link]). For example, one generator of the space group P5x32(5232) can be written as

[(x+\textstyle{1\over5},z,u+{{1}\over{5}},v,w,y-{{1}\over{5}})]

or as A, [{{1}\over{5}}0{{1}\over{5}}00-\!{{1}\over{5}}] with

[A = \left(\matrix{1 & 0 & 0 & 0 & 0 & 0\cr0 & 0 & 1 & 0 & 0 & 0\cr0 & 0 & 0 & 1 & 0 & 0\cr0 & 0 & 0 & 0 & 1 & 0\cr0 & 0 & 0 & 0 & 0 & 1\cr0 & 1 & 0 & 0 & 0 & 0}\right). ]

Table 7
Examples of 4D space groups

Arithmetic crystal class Symbol Generators
[8].2.2P P[8].2.2 (z,u,-y,x),(x,y,-z,-u),(x,-y,u,z)
  P[8].2.2x [(z,u,-y,x+\textstyle{1\over2}),(x,y,-z+\textstyle{1\over2}, -u+\textstyle{1\over2}),(x+\textstyle{1\over2}, -y,u,z)]
  P[8].2xy.2 [(z,u,-y,x),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z+\textstyle{1\over2}, -u+\textstyle{1\over2}),(x,-y,u,z)]
[8].2P P[8].2 (-u,x,y,z),(-x,u,z,y)
  P[8].2z [(-u,x,y,z+\textstyle{1\over2}),(-x,u,z+\textstyle{1\over2}, y)]
4m[\bot]2P P4m[\bot]2 (-y,x,z,u),(-x,y,z,u),(x,y,-z,-u)
  P42um[_{yu}\bot2_{xy}] [(-y+\textstyle{1\over2}, x,z,u+\textstyle{1\over2}),(-x,y+\textstyle{1\over2}, z,u+\textstyle{1\over2}),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P4zmyu[\bot]2xy [(-y+\textstyle{1\over2}, x,z+\textstyle{1\over2}, u),(-x,y+\textstyle{1\over2}, z,u+\textstyle{1\over2}),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P4m[\bot]2xy [(-y,x,z,u),(-x,y,z,u),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P4m[_y\bot]2 [(-y+\textstyle{1\over2}, x,z,u),(-x,y+\textstyle{1\over2}, z,u),(x,y,-z,-u)]
  P42um[\bot]2 [(-y,x,z,u+\textstyle{1\over2}),(-x,y,z,u),(x,y,-z,-u)]
  P4m[_y\bot]2xy [(-y+\textstyle{1\over2}, x,z,u),(-x,y+\textstyle{1\over2}, z,u),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P42um[\bot]2xy [(-y,x,z,u+\textstyle{1\over2}),(-x,y,z,u),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P42um[_z\bot]2xy [(-y,x,z,u+\textstyle{1\over2}),(-x,y,z+\textstyle{1\over2}, u),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P4m[_u\bot]2 [(-y,x,z,u),(-x,y,z,u+\textstyle{1\over2}),(x,y,-z,-u)]
  P42um[_y\bot]2 [(-y+\textstyle{1\over2}, x,z,u+\textstyle{1\over2}),(-x,y+\textstyle{1\over2}, z,u),(x,y,-z,-u)]
  P42um[_u\bot]2 [(-y,x,z,u+\textstyle{1\over2}),(-x,y,z,u+\textstyle{1\over2}),(x,y,-z,-u)]
  P4m[_u\bot]2xy [(-y,x,z,u),(-x,y,z,u+\textstyle{1\over2}),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P42um[_y\bot]2xy [(-y+\textstyle{1\over2}, x,z,u+\textstyle{1\over2}),(-x,y+\textstyle{1\over2}, z,u),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P42um[_u\bot]2xy [(-y,x,z,u+\textstyle{1\over2}),(-x,y,z,u+\textstyle{1\over2}),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P42um[_{yz}\bot]2 [(-y+\textstyle{1\over2}, x,z,u+\textstyle{1\over2}),(-x,y+\textstyle{1\over2}, z+\textstyle{1\over2}, u),(x,y,-z,-u)]
  P4m[_{yu}\bot]2 [(-y+\textstyle{1\over2}, x,z,u),(-x,y+\textstyle{1\over2}, z,u+\textstyle{1\over2}),(x,y,-z,-u)]
  P42um[_{yu}\bot]2 [(-y+\textstyle{1\over2}, x,z,u+\textstyle{1\over2}),(-x,y+\textstyle{1\over2}, z,u+\textstyle{1\over2}),(x,y,-z,-u)]
  P4m[_{yu}\bot]2xy [(-y+\textstyle{1\over2}, x,z,u),(-x,y+\textstyle{1\over2}, z,u+\textstyle{1\over2}),(x+\textstyle{1\over2}, y+\textstyle{1\over2}, -z,-u)]
  P42um[_z\bot]2 [(-y,x,z,u+\textstyle{1\over2}),(-x,y,z+\textstyle{1\over2}, u),(x,y,-z,-u)]

Table 8
Space groups in five dimensions: system [10m(10^3m)\bot m]

Generating matrices for the 5D groups below:

[A = \left(\matrix{ 0 & 1 & 0 & 0 & 0\cr0 & 0 & 1 & 0 & 0\cr0 & 0 & 0 & 1 & 0\cr0 & 0 & 0 & 0 & 1\cr1 & 0 & 0 & 0 & 0}\right),\quad B = \left(\matrix{ 1 & 0 & 0 & 0 & 0\cr0 & 0 & 0 & 0 & 1\cr0 & 0 & 0 & 1 & 0\cr0 & 0 & 1 & 0 & 0\cr 0 & 1 & 0 & 0 & 0 }\right),\quad F = \left(\matrix{1 & 0 & 0 & 0 & \hfill0\cr0 & 1 & 0 & 0 & \hfill0\cr0 & 0 & 1 & 0 & \hfill0\cr0 & 0 & 0 & 1 & \hfill0\cr0 & 0 & 0 & 0 & \hfill-1} \right),\quad C = \left(\matrix{ \hfill0 & \hfill1 & \hfill-1 & \hfill0 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill-1 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill0 & \hfill0\cr\hfill-1 & \hfill1 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill0 & \hfill1}\right),]

[D = \left(\matrix{ \hfill0 & \hfill0 & \hfill0 & \hfill1 & \hfill0\cr\hfill0 & \hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill0 & \hfill0\cr\hfill1 & \hfill0 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill0 & \hfill1}\right),\quad G = \left(\matrix{\hfill-1 & \hfill0 & \hfill0 & \hfill0 & \hfill0\cr\hfill-1 & \hfill0 & \hfill0 & \hfill1 & \hfill0\cr\hfill-1 & \hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill-1 & \hfill1 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill0 & \hfill1}\right),\quad A' = \left(\matrix{ \hfill-1 & \hfill-1 & \hfill-1 & \hfill-1 & \hfill0\cr\hfill1 & \hfill0 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill1 & \hfill0 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill1 & \hfill0 & \hfill0\cr\hfill0 & \hfill0 & \hfill0 & \hfill0 & \hfill1 }\right)\quad {I\ \rm is }\ \overline{1_5}.]

(a) Examples of space groups in the five- and tenfold system in 5D: Q-centring.

Arithmetic crystal class Generators Translations Space-group symbol Alternative
5(52)Q A 00000 Q5(52) Q5(52)
5m(52m)Q A, B 00000 00000 Q5m(52m) Q5m(52m)
00000 0000[\textstyle{1\over2}] Q5mv(52m) Q5c(52m)
5m(52m)(1m)Q A, −B 00000 00000 Q5m(52m) (1m) Q52(52m)
10(103)(m)Q A 00000 Q10(103)(m) Q[\bar{5}](103)
10m(103m)(m)Q A, B 00000 00000 Q10m(103m)(m) Q[\bar{5}]m(103m)
    00000 0000[\textstyle{1\over2}] Q10mv(103m)(m) Q[\bar{5}]c(103m)

(b) Examples of space groups in the five- and tenfold system in 5D: P-centring.

Arithmetic crystal class Generators Translations Space-group symbol Alternative
5(52)P A 00000 P5(52) P5(52)
0000[{{1}\over{5}}] P5v(52) P51(52)
5m(52m)P A′, D 00000 00000 P5m(52m) P5m1(52m1)
00000 0000[\textstyle{1\over2}] P5mv(52m) P5c1(52m1)
5[\dot{m}](52m)P A′, G 00000 00000 P5[\dot{m}](52m) P51m(521m)
    00000 0000[\textstyle{1\over2}] P5[\dot{m}_v](52m) P51c(521m)
5m(52m)(1m)P A′, −D 00000 00000 P5m(52m)(1m) P521(52m1)
0000[{{1}\over{5}}] 00000 P5vm(52m)(1m) P5121(52m1)
5[\dot{m}](52m)(1m)P A′, −G 00000 00000 P5[\dot{m}](52m)(1m) P512(521m)
0000[{{1}\over{5}}] 00000 P5[_v\dot{m}](52m)(1m) P5112(521m)
10(103)(m)P A 00000 P10(103)(m) P[\bar{5}](103)
10m(103m)(m1)P A′, D 00000 00000 P10m(103m)(m1) P[\bar{5}]m1(103m1)
00000 0000[\textstyle{1\over2}] P10mv(103m)(m1) P[\bar{5}]c1(103m1)
10[\dot{m}](103m)(m1)P A′, D 00000 00000 P10[\dot{m}](103m)(m1) P[\bar{5}]21(103m1)
00000 0000[\textstyle{1\over2}] P10[\dot{m}_v](103m)(m1) P[\bar{5}]211(103m1)
10(103)P C 00000 P10(103) P10(103)
0000[{{1}\over{10}}] P10v(103) P101(103)
0000[{{1}\over{5}}] P102v(103) P102(103)
0000[{{1}\over{2}}] P105v(103) P105(103)
5(52)(m)P C 00000 P5(52)(m) P[\overline{10}](52)
10(103)[\bot]m C, F 00000 00000 P10(103)[\bot]m P10/m(103)
0000[\textstyle{1\over2}] 00000 P105v(103)[\bot]m P105/m(103)
10m(103m)P C, D 00000 00000 P10m(103m) P10mm(103mm)
00000 0000[\textstyle{1\over2}] P10mv(103m) P10cc(103mm)
0000[\textstyle{1\over2}] 00000 P105vm(103m) P105mc(103mm)
0000[\textstyle{1\over2}] 0000[\textstyle{1\over2}] P105vmv(103m) P105cm(103mm)
10m(103m)(m)P C, −B 00000 00000 P10m(103m)(m) P1022(103mm)
0000[{{1}\over{10}}] 00000 P10vm(103m)(m) P10122(103mm)
0000[{{1}\over{5}}] 00000 P102vm(103m)(m) P10222(103mm)
0000[{{1}\over{2}}] 00000 P105em(103m)(m) P10522(103mm)
5m(52m)(m1)P C, B 00000 00000 P5m(52m)(m1) P[\overline{10}]m1(52m1)
0000[\textstyle{1\over2}] 00000 P5vm(52m)(m1) P[\overline{10}]c1(52m1)
5[\dot{m}](52m)(m1)P C, B 00000 00000 P5[\dot{m}](52m)(m1) P[\overline{10}]1m(521m)
0000[\textstyle{1\over2}] 00000 P5[_v\dot{m}](52m)(m1) P[\overline{10}]1c(521m)
10m(103m)[\bot]mP C, D, I 00000 00000 00000 P10m(103m)[\bot]m P10/mmm(1031mm)
0000[\textstyle{1\over2}] 0000 00000 P105vm(103m)[\bot]m P105/mmc(1031mm)
00000 0000[\textstyle{1\over2}] 00000 P10mv(103m)[\bot]m P10/mcm(1031mm)
0000[\textstyle{1\over2}] 0000[\textstyle{1\over2}] 00000 P10vmv(103m)[\bot]m P105/mcm(1031mm)

Table 9
Space groups in six dimensions; space groups for the arithmetic class [m\bar{3}m(m\bar{3}m)P_6]

Generators Symbol Alternative
(-y,x,z,-v,u,w) Pm[\bar{3}]m(m[\bar{3}]m) P4(4).662.2
(-y,-z,-x,-v,-w,-u)    
[(-y,x+\textstyle{1\over2},z+\textstyle{1\over2},-v+\textstyle{1\over2},u,w]) Pn[\bar{3}]n(n[\bar{3}]n) P4z(4w).662.2
(-y,-z,-x,-v,-w,-u)    
[(-y,x,z,-v+\textstyle{1\over2},u,w]) Pm[\bar{3}]m(n[\bar{3}]n) P4(4w).662.2
(-y,-z,-x,-v,-w,-u)    
[(-y,x,z,-v,u+\textstyle{1\over2},w+\textstyle{1\over2}]) Pm[\bar{3}]m(n[\bar{3}]m) P4(4).662.2u
(-y,-z,-x,-v,-w,-u)    
[(-y,x,z,-v +\textstyle{1\over2}, u +\textstyle{1\over2}, w +\textstyle{1\over2}]) Pm[\bar{3}]m(m[\bar{3}]n) P4(4w).662.2u
(-y,-z,-x,-v,-w,-u)    

Table 10
The space groups for the system [5\bar{3}m(5^2\bar{3}m)]

Generators Centring Symbol
(x,z,u,v,w,y) P6 P532(5232)
(w,x,v,-z,-u,y)    
(x+1/5,z,u+1/5,v,w,y-1/5) P6 P5x32(5232)
(w,x,v,-z,-u,y)    
(x,z,u,v,w,y) I6 I532(5232)
(w,x,v,-z,-u,y)    
(x+1/5,z+1/5,u-1/5,v+2/5,w-1/5,y-1/5) I6 I5x32(5232)
(w,x,v,-z,-u,y)    
(x,z,u,v,w,y) F6 F532(5232)
(w,x,v,-z,-u,y)    
(x-3/10,z+1/10,u+1/5,v,w-1/5,y-1/5) F6 F5x32(5232)
(w,x,v,-z,-u,y)    
(x,z,u,v,w,y) P6 P5[\bar{3}]m(5[^2\bar{3}]m)
(w,x,v,-z,-u,y)    
(-x,-y,-z,-u,-v,-w)    
(x,z+1/2,u+1/2,v+1/2,w+1/2,y) P6 P5[\bar{3}]mzu(5[^2\bar{3}]m)
(w,x,v,-z,-u,y)    
(-x,-y,-z,-u,-v,-w)    
(x,z,u,v,w,y) I6 I5[\bar{3}]m(5[^2\bar{3}]m)
(w,x,v,-z,-u,y)    
(-x,-y,-z,-u,-v,-w)    
(x,z,u,v,w,y) F6 F5[\bar{3}]m(5[^2\bar{3}]m)
(w,x,v,-z,-u,y)    
(-x,-y,-z,-u,-v,-w)    
(x,z+1/4,u,v,w+1/4,y+1/2) F6 F5[\bar{3}]mz/2u/2(5[^2\bar{3}]m)
(w,x,v,-z,-u,y)    
(-x,-y,-z,-u,-v,-w)    

8. Symmetries of aperiodic crystals

Higher-dimensional crystallographic symmetry groups have been adopted in specifying the symmetry of quasiperiodic crystals, i.e. the aperiodic crystals for which the diffraction spots can be labelled by a finite set of integer indices. There are at least three different, but partly overlapping, classes among these aperiodic crystals: the incommensurate displacively/occupationally modulated phases, the incommensurate composites and the quasicrystals.

The symmetry groups of these structures are (3+d)-dimensional space groups, called superspace groups. These are space groups in a space that is the sum of the 3D physical space and a dD internal or perpendicular space. The dimension d is determined by the number n = 3+d of basis vectors of the Fourier module of the structure. This is the set of reciprocal-lattice vectors spanned with integer coefficients by the positions of the diffraction spots of the aperiodic crystal.

The point groups of these superspace groups are R-reducible in 3D and dD components, both possibly R-reducible themselves. Affine conjugation or isomorphism may be used as coarsest equivalence relation of superspace groups. For modulated structures, this relation may be refined. For these structures, there is a basis such that the matrices of the point group belong to the group [{\rm GL}(3,d,{\bb Z})], the subgroup of the general group [{\rm GL}(n, {\bb Z})] with matrices of the form

[\left(\matrix{ A & v\cr 0 & B }\right), ]

where A is a 3×3, v a d×3 and B a d×d matrix. Two superspace groups for modulated structures are equivalent if they are conjugate subgroups in the subgroup of the affine group that is the semi-direct product of the translation group and GL(n,d,R).

The superspace groups form a subset of all the nD space groups, but two non-equivalent superspace groups under this equivalence relation may still be isomorphic, and thus equivalent as nD space groups. The (3+1)D superspace groups for modulated crystals are given in Janssen, Janner et al. (1999[Janssen, T., Janner, A., Looijenga-Vos, A. & de Wolff, P. M. (1999). International Tables for Crystallography, Vol. C, Mathematical, Physical and Chemical Tables, edited by A. J. C. Wilson & E. Prince, 2nd revised ed., pp. 899-937. Dordrecht: Kluwer Academic Publishers.]). In Table 11[link], the space-group symbols are given for the symmorphic superspace groups corresponding to the Bravais groups of the (3+1)D space. Superspace groups for 3+d dimensions (d = 1,2,3) can be found on the internet at the web site http://quasi.nims.go.jp/yamamoto/index.html . The Bravais classes for modulated structures in 3+d dimensions are given in Janner et al. (1983[Janner, A., Janssen, T. & de Wolff, P. M. (1983). Acta Cryst. A39, 658-666.]).

Table 11
Space-group symbols for the superspace groups for modulated crystals in (3+1)D for the symmorphic groups of the Bravais groups

Superspace symbol Space-group symbol Equivalent symbol
P[\bar{1}(\alpha\beta\gamma]) [P_4\overline{1_4}]  
P2/m([\alpha\beta 0]) [P_4\bar{1}\bot m]  
P2/m([\alpha \beta \textstyle{1\over2}]) [I_{zu}\bar{1}\bot m]  
B2/m([\alpha\beta 0]) [I_{xz}\bar{1}\bot m] [I_{zu}\bar{1}\bot m ]
P2/m([00\gamma]) [P_4 2\bot2]  
P2/m([\textstyle{1\over2} 0\gamma]) [I_{xu}2\bot2]  
B2/m([00\gamma]) [I_{xz}2\bot2] [I_{xu}2\bot2]
[B2/m(0\textstyle{1\over2}\gamma) ] [I_{xz,yu}2\bot2]  
[Pmmm(00\gamma)] [P_4mm\bot2]  
Pmmm([0\textstyle{1\over2}\gamma]) [I_{yu}mm\bot2] [I_{yz}mm\bot2 ]
Pmmm([\textstyle{1\over2}\textstyle{1\over2}\gamma]) [F_{xyu}mm\bot2] [F_{xyz}mm\bot2]
Immm([00\gamma]) [I_{xyz}mm\bot2]  
Cmmm([00\gamma]) [I_{xy}mm\bot2]  
Cmmm([10\gamma]) [I_{xyu}mm\bot2] [I_{xyz}mm\bot2 ]
Ammm([00\gamma]) [I_{yz}mm\bot2]  
Ammm([\textstyle{1\over2} 0\gamma]) [I_{yz,xu}mm\bot2]  
Fmmm([00\gamma]) [F_{xyz}mm\bot2]  
Fmmm([10\gamma]) [I_{yz,xyu}mm\bot2] [I_{yz,xu}mm\bot2 ]
[P4/mmm(00\gamma) ] [P_44mm\bot2]  
P4/mmm([\textstyle{1\over2}\textstyle{1\over2}\gamma]) [I_{xyu}4mm\bot2] [I_{xyz}4mm\bot2]
[I4/mmm(00\gamma) ] [I_{xyz}4mm\bot2]  
[R\bar{3}m(00\gamma) ] [R_{xyz}\bar{3}m(m1)]  
[P\bar{3}1m({{1}\over{3}}{{1}\over{3}}\gamma) ] [I_{xyu}4mm\bot2] [I_{xyz}4mm\bot2 ]
[P6/mmm(00\gamma) ] [P_46mm\bot m]  

A brief introduction to the notation for superspace groups follows. The components of point-group elements and translations in physical space form a 3D space group, with symbol S. In reciprocal space, the diffraction spots can be distinguished as main reflections and satellites. A basis set of satellite vectors may be obtained from a subset [\{ {\bf q}_1, \ldots, {\bf q}_s \}] by the action of the point group. Finally, each point-group element present in the symbol S may have translation components in the internal (or perpendicular) space symbolized by alpha-numerical characters a. The symbol for the superspace group then is S([\{ {\bf q}_1, \ldots, {\bf q}_s \})a]. For more details, see IT Vol. C (Janssen, Janner et al., 1999[Janssen, T., Janner, A., Looijenga-Vos, A. & de Wolff, P. M. (1999). International Tables for Crystallography, Vol. C, Mathematical, Physical and Chemical Tables, edited by A. J. C. Wilson & E. Prince, 2nd revised ed., pp. 899-937. Dordrecht: Kluwer Academic Publishers.]). An example of such a symbol is [Pcmn(00\gamma)1s1], the symbol for a (3+1)D superspace group with component Pcmn in physical space and satellites [\gamma {\bf c}^*]. The mirror m in Pcmn accompanies an internal translation [1/2 {\bf d}] given by the symbol `s'. The glide planes `c' and `n' do not have an associated internal translation. This is given by `1'. Generators for this space-group transform (x,y,z,u) into ([-x+\textstyle{1\over2},y,z+\textstyle{1\over2},u]), ([x,-y+\textstyle{1\over2},z,u+\textstyle{1\over2}]) and ([x+\textstyle{1\over2},y+\textstyle{1\over2},-z+\textstyle{1\over2},-u]). This group would be denoted in the recommended notation for nD as [m_zm_u\bot2P].

For all quasiperiodic crystals, the nD point group is an R-reducible group with an invariant subspace that has the dimension of the physical space. However, the equivalence of superspace groups may depend on the type of quasi-periodic crystal. Conjugation in the semi-direct product of T(n) and GL(n,d,R) has been adopted as the equivalence relation for displacively modulated crystals. In the case of composites and quasicrystals, the coarser equivalence of the conjugation in E(n) is used conventionally. In each case, it is evident from the notation that the point group is R-reducible. This notation differs sometimes from that recommended in the present Report for nD space groups. A number of examples are given in Table 12[link] of superspace groups that are non-equivalent as superspace groups but equivalent as space groups, together with the recommended nD notation.

Table 12
Some examples of non-equivalent superspace groups that are equivalent as nD space groups

Superspace group n n-dimensional space group   Superspace group n n-dimensional space group
P21([\textstyle{1\over2} 0\gamma]) 4 Ixu2z [\sim] Bb(00[\gamma]) 4 Ixz2y
Pbnn([\textstyle{1\over2} \textstyle{1\over2} \gamma])qq0 4 Fxyumy/2u/2mx/2u/2z [\sim] Fddd(00[\gamma])s00 4 Fxyzmy/2z/2mx/2z/2u
P4/mmm([\textstyle{1\over2}\textstyle{1\over2} \gamma]) 4 Ixyu4m[\bot]m [\sim] I4/mmm(00[\gamma]) 4 Ixyz4m[\bot]m

9. Conclusions and recommendations

Symbols and notation for R-irreducible geometric crystal classes, for arithmetic crystal classes, for Bravais classes and for space groups are discussed in §§2–7[link][link][link][link][link][link], the relation between nD space groups and the symmetry groups for aperiodic crystals in §8[link]. The conclusions can be summarized in the following recommendations.

(I) R-irreducible geometric crystal classes receive a symbol that is composed of symbols for generating subgroups.

(a) The full point group is the product of the subgroups. A direct product is given by `×', a general product by a dot `.'.

(b) The symbols for the subgroups are those of a generator for a cyclic group, the conventional symbols in 2D and 3D, and the symbols given in Report I[Janssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761-782.].

(c) When the symbol of a subgroup is identical to that of an orthogonal transformation but the point group is not the corresponding cyclic group, then the symbol is placed in parentheses.

(d) By preference, the subgroups are chosen such that the product of their orders is the order of the point group; otherwise, the order is indicated by a subindex between brackets at the end.

(II) Bravais classes are indicated by the symbol of the geometric crystal class of the holohedry followed by a symbol for the centring.

(a) Symbols for nD P-, I-, F- and R-centrings are Pn, In, Fn and Rn, respectively.

(b) I, F and R centrings of sublattices are given by the same letters, but with the axes of the sublattice involved as a subindex.

(c) When I, F or R centrings occur in more than one sublattice, the various sublattices are indicated by the corresponding sets of axes, separated by a comma.

(d) When the centring can be considered as the centring of a centred lattice, it is given as a series of centring symbols.

(e) Symbols for 4D are given in Table 4[link].

(III) The symbol for an arithmetic class is the symbol for the geometric class followed by the centring symbol.

(a) When the orientation of the point group with respect to the centred basis is relevant, the orientation of the centring is explicitly given.

(b) Different orientations of the point group with respect to the lattice are given by indicating the invariant spaces for those group operators for which the orientation matters as a superscript for the corresponding symbol.

(c) Mirror operations in an invariant space are given by [\dot{m}] when the inversion operation is along the projection of a lattice basis vector, by [\ddot{m}] when it is perpendicular; for 3D components, [N\dot{m}] is conventionally denoted as Nm1 and N[\ddot{m}] by N1m.

(IV) A space group (type) is given by a centring symbol, the symbol for the arithmetic crystal class (but with the centring symbol removed) and by an indication for the intrinsic part of the translation parts of the generators corresponding to the components of the symbol.

(a) The intrinsic translation is given as a subindex at the corresponding symbol for the point-group generator.

(b) The translation is given with respect to a conventional basis.

(c) When N is the order of the orthogonal part, the translations are given as sums of 1/N of the basis vectors; the latter are indicated by [x,y,z,u,v,w,\ldots].

(d) To the symbol for the geometrical crystal class are added symbols for new generators if the intrinsic parts associated with the original generators are zero or do not give enough information about the space-group type; for these additional generators, elements are chosen with non-zero intrinsic translation.

(e) If necessary, to avoid ambiguity the translation parts of the generators are chosen in such a way that the intrinsic parts are non-zero; this may be done by adding lattice translations of the centring type.

(V) Superspace-group symbols [IT Vol. C (Janssen, Janner et al., 1999[Janssen, T., Janner, A., Looijenga-Vos, A. & de Wolff, P. M. (1999). International Tables for Crystallography, Vol. C, Mathematical, Physical and Chemical Tables, edited by A. J. C. Wilson & E. Prince, 2nd revised ed., pp. 899-937. Dordrecht: Kluwer Academic Publishers.])] may be used for the symmetry description of incommensurate modulated structures. The full n-dimensional symbol is recommended for incommensurate composites and quasicrystals.

Correction. In Table 3 of I[Janssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761-782.], the symbol [m\bar{4}3m\bot m] in 19_2 should be [m\bar{3}\bot m].

Footnotes

Subcommittee renewed by the IUCr Commission on Crystallographic Nomenclature 18 March 1999 with all present co-authors as members. Original version of the Report received by the Commission 22 April 2002, accepted 19 July 2002.

Chairman.

§Ex officio, IUCr Commissionon Crystallographic Nomenclature.

Acknowledgements

We thank Subcommittee advisors G. Chapuis, T. Phan, and R. Veysseyre for very useful comments. One of us (DW) acknowledges the computational support by H. Veysseyre.

References

First citationBieberbach, L. (1911). Math. Ann. 72, 297–336.  CrossRef Google Scholar
First citationBrown, H., Bülow, R., Neubüser, J., Wondratschek, H. & Zassenhaus, H. (1978). Crystallographic Groups of Four-Dimensional Space. New York: Wiley.  Google Scholar
First citationHahn, Th. (2002). Editor. International Tables for Crystallography, Vol. A, Space-Group Symmetry, 5th revised ed. Dordrecht: Kluwer Academic Publishers.  Google Scholar
First citationJanner, A., Janssen, T. & de Wolff, P. M. (1983). Acta Cryst. A39, 658–666.  CrossRef CAS Web of Science IUCr Journals Google Scholar
First citationJanssen, T. (1988). Phys. Rep. 168, 55–113.  CrossRef Web of Science Google Scholar
First citationJanssen, T., Birman, J. L., Koptsik, V. A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S. C. & Hahn, Th. (1999). Acta Cryst. A55, 761–782.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationJanssen, T., Janner, A., Looijenga-Vos, A. & de Wolff, P. M. (1999). International Tables for Crystallography, Vol. C, Mathematical, Physical and Chemical Tables, edited by A. J. C. Wilson & E. Prince, 2nd revised ed., pp. 899–937. Dordrecht: Kluwer Academic Publishers.  Google Scholar
First citationMartinais, D. (1987). C. R. Acad. Sci. Paris Ser. I Math. 305, 509–512.  Google Scholar
First citationOpgenorth, J., Plesken, W. & Schultz, T. (1998). Acta Cryst. A54, 517–531.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationPlesken, W. & Schulz, T. (2000). Exp. Math. 9, 407.  CrossRef Google Scholar
First citationVeysseyre, R. & Veysseyre, H. (2002a). Acta Cryst. A58, 429–433.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationVeysseyre, R., Weigel, D., Phan, T. & Veysseyre, H. (2002b). Acta Cryst. A58, 434–440.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationWeigel, D., Veysseyre, R., Phan, T., & Veysseyre, H. (2001). Advances in Structure Analysis, edited by R. Kužel & J. Hašek, pp. 319–333. Czech and Slovak Crystallographic Association.  Google Scholar
First citationWolff, 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). Acta Cryst. A41, 278–280.  CrossRef IUCr Journals Google Scholar
First citationWolff, P. M. de, Billiet, Y., Donnay, J. D. H., Fischer, W., Galiulin, R. B., Glazer, A. M., Senechal, M., Shoemaker, D. P., Wondratschek, H., Hahn, Th., Wilson, A. J. C. & Abrahams, S. C. (1989). Acta Cryst. A45, 494–499.  CrossRef Web of Science IUCr Journals Google Scholar
First citationWolff, P. M. de, Billiet, Y., Donnay, J. D. H., Fischer, W., Galiulin, R. B., Glazer, A. M., Senechal, M., Shoemaker, D. P., Wondratschek, H., Hahn, Th., Wilson, A. J. C. & Abrahams, S. C. (1992). Acta Cryst. A48, 727–732.  CrossRef Web of Science IUCr Journals Google Scholar

© International Union of Crystallography. Prior permission is not required to reproduce short quotations, tables and figures from this article, provided the original authors and source are cited. For more information, click here.

Journal logoFOUNDATIONS
ADVANCES
ISSN: 2053-2733
Follow Acta Cryst. A
Sign up for e-alerts
Follow Acta Cryst. on Twitter
Follow us on facebook
Sign up for RSS feeds