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

International Tables for Crystallography (2006). Vol. A1, ch. 1.2, pp. 22-23   | 1 | 2 |

Section 1.2.8. Lemmata on subgroups of space groups

Hans Wondratscheka*

aInstitut für Kristallographie, Universität, D-76128 Karlsruhe, Germany
Correspondence e-mail: wondra@physik.uni-karlsruhe.de

1.2.8. Lemmata on subgroups of space groups

| top | pdf |

There are several lemmata on subgroups [{\cal H} \,\lt\, {\cal G}] of space groups [{\cal G}] which may help in getting an insight into the laws governing group–subgroup relations of plane and space groups. They were also used for the derivation and the checking of the tables of Part 2[link] . These lemmata are proved or at least stated and explained in Chapter 1.5[link] . They are repeated here as statements, separated from their mathematical background, and are formulated for the three-dimensional space groups. They are valid by analogy for the (two-dimensional) plane groups.

1.2.8.1. General lemmata

| top | pdf |

Lemma 1.2.8.1.1. A subgroup [{\cal H}] of a space group [{\cal G}] is a space group again, if and only if the index [i=\vert{\cal G}:{\cal H}\vert] is finite.

In this volume, only subgroups of finite index i are listed. However, the index i is not restricted, i.e. there is no number I with the property [i \,\lt\, I] for any i. Subgroups [{\cal H} \,\lt\, {\cal G}] with infinite index are considered in International Tables for Crystallography, Vol. E (2002[link]).

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

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

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

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

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

Lemma 1.2.8.1.4. For any space group, the number of subgroups with a given finite index i is finite.

This number of subgroups can be further specified, see Chapter 1.5[link] . Although for each index i the number of subgroups is finite, the number of all subgroups with finite index is infinite because there is no upper limit for the number i.

1.2.8.2. Lemmata on maximal subgroups

| top | pdf |

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

Lemma 1.2.8.2.1. The index i of a maximal subgroup of a space group is always of the form [p^n], where p is a prime number and n =1 or 2 for plane groups and n = 1, 2 or 3 for space groups.

An index of [p^2,\;p>2,] occurs only for isomorphic subgroups of tetragonal, trigonal and hexagonal space groups when the basis vectors are enlarged to pa, pb. An index of [p^3] occurs for and only for isomorphic subgroups of cubic space groups with cell enlargements of pa, pb, pc ([p>2]).

This lemma means that a subgroup of, say, index 6 cannot be maximal. Moreover, because of the infinite number of primes, the set of all maximal subgroups of a given space group cannot be finite.

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

Lemma 1.2.8.2.2. The index of a maximal non-isomorphic subgroup of a plane group is 2 or 3; for a space group the index is 2, 3 or 4.

This lemma can be specified further:

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

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

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

Examples are:

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

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

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

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

Lemma 1.2.8.2.5. The number of isomorphic subgroups of each space group is infinite and this applies even to the number of maximal isomorphic subgroups.

Nevertheless, their listing is possible in the form of infinite series. The series are specified by parameters.

Lemma 1.2.8.2.6. For each space group, each maximal isomorphic subgroup [{\cal H}] can be listed as a member of one of at most four series of maximal isomorphic subgroups. Each member is specified by a set of parameters.

The series of maximal isomorphic subgroups are discussed in Section 2.1.5[link] .

References

International Tables for Crystallography (2005). Vol. A, Space-group symmetry, edited by Th. Hahn, 5th ed. Heidelberg: Springer. (Abbreviated IT A.)








































to end of page
to top of page