Tables for
Volume A
Space-group symmetry
Edited by Th. Hahn

International Tables for Crystallography (2006). Vol. A. ch. 8.1, pp. 724-725

Section 8.1.6. Space groups and point groups

H. Wondratscheka*

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

8.1.6. Space groups and point groups

| top | pdf |

As mentioned in Section 8.1.3[link], the set of all symmetry operations of an object forms a group, the symmetry group of that object.

Definition: The symmetry group of a three-dimensional crystal pattern is called its space group. In [E^{2}], the symmetry group of a (two-dimensional) crystal pattern is called its plane group. In [E^{1}], the symmetry group of a (one-dimensional) crystal pattern is called its line group. To each crystal pattern belongs an infinite set of translations [\hbox{\sf T}_{j}] which are symmetry operations of that pattern. The set of all [\hbox{\sf T}_{j}] forms a group known as the translation subgroup [{\cal T}] of the space group [{\cal G}] of the crystal pattern. Since the commutative law [\hbox{\sf T}_{j}\hbox{\sf T}_{k} = \hbox{\sf T}_{k}\hbox{\sf T}_{j}] holds for any two translations, [{\cal T}] is an Abelian group.

With the aid of the translation subgroup [{\cal T}], an insight into the architecture of the space group [{\cal G}] can be gained.

Referred to a coordinate system [(O,{\bf a}_{1},\ldots,{\bf a}_{n})], the space group [{\cal G}] is described by the set [\{({\bi W}, {\bi w})\}] of matrices W and columns w. The group [{\cal T}] is represented by the set of elements [({\bi I}, {\bi t}_{j})], where [{\bi t}_{j}] are the columns of coefficients of the translation vectors [{\bf t}_{j}] of the lattice L. Let (W, w) describe an arbitrary symmetry operation [\hbox{\sf W}] of [{\cal G}]. Then, all products [({\bi I}, {\bi t}_{j})({\bi W}, {\bi w}) = ({\bi W}, {\bi w} + {\bi t}_{j})] for the different j have the same matrix part W. Conversely, every symmetry operation [\hbox{\sf W}] of the space group with the same matrix part W is represented in the set [\{({\bi W}, {\bi w} + {\bi t}_{j})\}]. The corresponding set of symmetry operations can be denoted by [{\cal T} \hbox{\sf W}]. Such a set is called a right coset of [{\cal G}] with respect to [{\cal T}], because the element [\hbox{\sf W}] is the right factor in the products [{\cal T} \hbox{\sf W}]. Consequently, the space group [{\cal G}] may be decomposed into the right cosets [{\cal T}, {\cal T}\hbox{\sf W}_{2}, {\cal T}\hbox{\sf W}_{3},\ldots,{\cal T}\hbox{\sf W}_{i}], where the symmetry operations of the same column have the same matrix part W, and the symmetry operations [\hbox{\sf W}_{j}] differ by their matrix parts [{\bi W}_{j}]. This coset decomposition of [{\cal G}] with respect to [{\cal T}] may be displayed by the array [\matrix{\; \hbox{\sf I} \equiv \hbox{\sf W}_{1}\hfill &\quad \hbox{\sf W}_{2} &\quad \hbox{\sf W}_{3} &\ldots &\quad \hbox{\sf W}_{i}\cr \hbox{\sf T}_{1}\hfill &\hbox{\sf T}_{1}\hbox{\sf W}_{2} &\hbox{\sf T}_{1}\hbox{\sf W}_{3} &\ldots &\hbox{\sf T}_{1}\hbox{\sf W}_{i}\cr \hbox{\sf T}_{2}\hfill &\hbox{\sf T}_{2}\hbox{\sf W}_{2} &\hbox{\sf T}_{2}\hbox{\sf W}_{3} &\ldots &\hbox{\sf T}_{2}\hbox{\sf W}_{i}\cr \hbox{\sf T}_{3}\hfill &\hbox{\sf T}_{3}\hbox{\sf W}_{2} &\hbox{\sf T}_{3}\hbox{\sf W}_{3} &\ldots &\hbox{\sf T}_{3}\hbox{\sf W}_{i}\cr \phantom{a}\vdots\hfill &\phantom{a}\vdots\hfill &\phantom{a}\vdots\hfill & &\phantom{a}\vdots\hfill\cr}] Here, [\hbox{\sf W}_{1} = \hbox{\sf I}] is the identity operation and the elements of [{\cal T}] form the first column, those of [{\cal T}\hbox{\sf W}_{2}] the second column etc. As each column may be represented by the common matrix part W of its symmetry operations, the number i of columns, i.e. the number of cosets, is at the same time the number of different matrices W of the symmetry operations of [{\cal G}]. This number i is always finite, and is the order of the point group belonging to [{\cal G}], as explained below. Any element of a coset [{\cal T}\hbox{\sf W}_{j}] may be chosen as the representative element of that coset and listed at the top of its column. Choice of a different representative element merely results in a different order of the elements of a coset, but the coset does not change its content.5

Analogously, a coset [\hbox{\sf W}{\cal T}] is called a left coset of [{\cal G}] with respect to [{\cal T}], and [{\cal G}] can be decomposed into the left cosets [{\cal T}, \hbox{\sf W}_{2}{\cal T}, \hbox{\sf W}_{3}{\cal T}, \ldots, \hbox{\sf W}_{i}{\cal T}]. This left coset decomposition of a space group is always possible with the same [\hbox{\sf W}_{1},\hbox{\sf W}_{2}, \ldots, \hbox{\sf W}_{i}] as in the right coset decomposition. Moreover, both decompositions result in the same cosets, except for the order of the elements in each coset. A subgroup of a group with these properties is called a normal subgroup of the group; cf. Ledermann (1976)[link]. Thus, the translation subgroup [{\cal T}] is a normal subgroup of the space group [{\cal G}].

The decomposition of a space group into cosets is the basis of the description of the space groups in these Tables. The symmetry operations of the space group are referred to a `conventional' coordinate system (cf. Section 8.3.1[link] ) and described by [(n + 1) \times (n + 1)] matrices. In the space-group tables as general position (cf. Section 8.3.2[link] ) for each column, a representative is listed whose coefficients [w_{j}] obey the condition [0 \leq w_{j} \lt 1]. The matrix is not listed completely, however, but is given in a short-hand notation. In the expression [W_{j1}x_{1} + \ldots + W_{jn}x_{n} + w_{j}], all vanishing terms and all [W_{jk} = 1] are omitted, e.g. [\left.\matrix{1x + 0y + 0z + {1 \over 2}\hfill\cr 0x + 1y + 0z + 0\hfill\cr 0x + 0y - 1z + {1 \over 2}\hfill\cr}\right\}] is replaced by [x + {1 \over 2},y,\bar{z} + {1 \over 2}]. The first entry of the general position is always the identity mapping, listed as x, y, z. It represents all translations of the space group too.

As groups, some space groups are more complicated than others. Most easy to survey are the `symmorphic' space groups which may be defined as follows:

Definition: A space group is called symmorphic if the coset representatives [\hbox{\sf W}_{j}] can be chosen in such a way that they leave one common point fixed.

In this case, the representative symmetry operations [\hbox{\sf W}_{j}] of a symmorphic space group form a (finite) group. If the fixed point is chosen as the origin of the coordinate system, the column parts [{\bi w}_{j}] of the representative symmetry operations [\hbox{\sf W}_{j}] obey the equations [{{\bi w}_{j} = {\bi o}}.] Thus, for a symmorphic space group the representative symmetry operations may always be described by the special matrix–column pairs [({\bi W}_{j}, {\bi o})].

Symmorphic space groups may be easily identified by their Hermann–Mauguin symbols because these do not contain any glide or screw operation. For example, the monoclinic space groups with the symbols P2, C2, Pm, Cm, [P2/m] and [C2/m] are symmorphic, whereas those with the symbols [P2_{1}], Pc, Cc, [P2_{1}/m, P2/c, P2_{1}/c] and [C2/c] are not.

Unlike most textbooks of crystallography, in this section point groups are treated after space groups because the space group of a crystal pattern, and thus of a crystal structure, determines its point group uniquely.

The external shape (morphology) of a macroscopic crystal is formed by its faces. In order to eliminate the influence of growth conditions, the set of crystal faces is replaced by the set of face normals, i.e. by a set of vectors. Thus, the symmetry group of the macroscopic crystal is the symmetry group of the vector set of face normals. It is not the group of motions in point space, therefore, that determines the symmetry of the macroscopic crystal, but the corresponding group of linear mappings of vector space; cf. Section 8.1.2[link]. This group of linear mappings is called the point group of the crystal. Since to each macroscopic crystal a crystal structure corresponds and, furthermore, to each crystal structure a space group, the point group of the crystal defined above is also the point group of the crystal structure and the point group of its space group.

To connect more formally the concept of point groups with that of space groups in n-dimensional space, we consider the coset decomposition of a space group [{\cal G}] with respect to the normal subgroup [{\cal T}], as displayed above. We represent the right coset decomposition by [{\cal T}, {\cal T}\hbox{\sf W}_{2}, \ldots, {\cal T}\hbox{\sf W}_{i}] and the corresponding left coset decomposition by [{\cal T},\hbox{\sf W}_{2}{\cal T}, \ldots, \hbox{\sf W}_{i}{\cal T}]. If [{\cal G}] is referred to a coordinate system, the symmetry operations of [{\cal G}] are described by matrices W and columns w. As a result of the one-to-one correspondence between the i cosets [{\cal T}\hbox{\sf W}_{j} = \hbox{\sf W}_{j}{\cal T}] and the i matrices [{\bi W}_{j}], the cosets may alternatively be represented by the matrices [{\bi W}_{j}]. These matrices form a group of (finite) order i, and they describe linear mappings of the vector space [{\bf V}^{n}] connected with [E^{n}]; cf. Section 8.1.2[link]. This group (of order i) of linear mappings is the point group [{\cal P}] of the space group [{\cal G}], introduced above.

The difference between symmetry in point space and that in vector space may be exemplified again by means of some monoclinic space groups. Referred to conventional coordinate systems, space groups Pm, Pc, Cm and Cc have the same [(3 \times 3)] matrices [{\bi W}_{j}] of their symmetry operations. Thus, the point groups of all these space groups are of the same type m. The space groups themselves, however, show a rather different behaviour. In Pm and Cm reflections occur, whereas in Pc and Cc only glide reflections are present.

Remark: The usage of the term `point group' in connection with space groups is rather unfortunate as the point group of a space group is not a group of motions of point space but a group acting on vector space. As a consequence, the point group of a space group may contain operations which do not occur in the space group at all. This is apparent from the example of monoclinic space groups above. Nevertheless, the term `point group of a space group' is used here for historical reasons. A more adequate term would be `vector point group' of a space group or a crystal. It must be mentioned that the term `point group' is also used for the `site-symmetry group', defined in Section 8.3.2[link] . Site-symmetry groups are groups acting on point space.

It is of historic interest that the 32 types of three-dimensional crystallographic point groups were determined more than 50 years before the 230 (or 219) types of space group were known. The physical methods of the 19th century, e.g. the determination of the symmetry of the external shape or of tensor properties of a crystal, were essentially methods of determining the point group, not the space group of the crystal.


First citationLedermann, W. (1976). Introduction to group theory. London: Longman.Google Scholar
First citationSouvignier, B. (2003). Enantiomorphism of crystallographic groups in higher dimensions with results in dimensions up to 6. Acta Cryst. A59, 210–220.Google Scholar

to end of page
to top of page