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. 2.1, pp. 42-58   | 1 | 2 |
doi: 10.1107/97809553602060000542

Chapter 2.1. Guide to the subgroup tables and graphs

Hans Wondratscheka* and Mois I. Aroyob

aInstitut für Kristallographie, Universität, D-76128 Karlsruhe, Germany, and bDepartamento de Física de la Materia Condensada, Facultad de Ciencias, Universidad del País Vasco, Apartado 644, E-48080 Bilbao, Spain
Correspondence e-mail:  wondra@physik.uni-karlsruhe.de

This chapter is the users' guide to the subgroup tables and graphs of Part 2 of this volume. Sections 2.1.1[link] and 2.1.2[link] refer to the contents, arrangement and structure of the subgroup tables of Chapters 2.2[link] and 2.3[link] . In the next three sections, the data listed for the maximal translationengleiche subgroups (Section 2.1.3[link]), maximal klassengleiche subgroups (Section 2.1.4[link]) and for the series of the (infinitely many) maximal isomorphic subgroups (Section 2.1.5[link]) are described in detail with many examples. Section 2.1.6[link] describes the data listed for minimal supergroups. The last section, Section 2.1.7[link], familiarizes the user with the subgroup graphs of the space groups listed in Chapters 2.4[link] and 2.5[link] . The chapter is supplemented by the subgroup table of the space group R3[link] , which is printed inside the front cover of the volume with some explanatory text.

2.1.1. Contents and arrangement of the subgroup tables

| top | pdf |

In this chapter, the subgroup tables, the subgroup graphs and their general organization are discussed. In the following sections, the different types of data are explained in detail. For every plane group and every space group there is a separate table of maximal subgroups and minimal supergroups. These items are listed either individually, or as members of (infinite) series, or both. In addition, there are graphs of translationengleiche and klassengleiche subgroups which contain for each space group all kinds of subgroups, not just the maximal ones.

The presentation of the plane-group and space-group data in the tables of Chapters 2.2[link] and 2.3[link] follows the style of the tables of Parts 6[link] (plane groups) and 7[link] (space groups) in Vol. A of International Tables for Crystallography (2005[link]), henceforth abbreviated as IT A. The data comprise:

  • Headline

  • Generators selected

  • General position

  • I Maximal translationengleiche subgroups

  • II Maximal klassengleiche subgroups

  • I Minimal translationengleiche supergroups

  • II Minimal non-isomorphic klassengleiche supergroups.

For the majority of groups, the data can be listed completely on one page. Sometimes two pages are needed. If the data extend less than half a page over one full page and data for a neighbouring space-group table `overflow' to a similar extent, then the two overflows are displayed on the same page. Such deviations from the standard sequence are indicated on the relevant pages by a remark Continued on… . The two overflows are separated by a rule and are designated by their headlines.

The sequence of the plane groups and space groups [{\cal G}] in this volume follows exactly that of the tables of Part 6[link] (plane groups) and Part 7[link] (space groups) in IT A. The format of the subgroup tables has also been chosen to resemble that of the tables of IT A as far as possible. Examples of graphs of subgroups can also be found in Section 10.1.4.3[link] of IT A, but only for subgroups of point groups. The graphs for the space groups are described in Section 2.1.7[link].

2.1.2. Structure of the subgroup tables

| top | pdf |

Some basic data in these tables have been repeated from the tables of IT A in order to allow the use of the subgroup tables independently of IT A. These data and the main features of the tables are described in this section. More detailed descriptions are given in the following sections.

2.1.2.1. Headline

| top | pdf |

The headline contains the specification of the space group for which the maximal subgroups are considered. The headline lists from the outside margin inwards:

  • (1) The short (international) Hermann–Mauguin symbol for the plane group or space group. These symbols will be henceforth referred to as `HM symbols'. HM symbols are discussed in detail in Chapter 12.2[link] of IT A with a brief summary in Section 2.2.4[link] of IT A.

  • (2) The plane-group or space-group number as introduced in International Tables for X-ray Crystallography, Vol. I (1952[link]). These numbers run from 1 to 17 for the plane groups and from 1 to 230 for the space groups.

  • (3) The full (international) Hermann–Mauguin symbol for the plane or space group, abbreviated `full HM symbol'. This describes the symmetry in up to three symmetry directions (Blickrichtungen) more completely, see Table 12.3.4.1[link] of IT A, which also allows comparison with earlier editions of International Tables.

  • (4) The Schoenflies symbol for the space group (there are no Schoenflies symbols for the plane groups). The Schoenflies symbols are primarily point-group symbols; they are extended by superscripts for a unique designation of the space-group types, cf. IT A, Sections 12.1.2[link] and 12.2.2[link] .

2.1.2.2. Data from IT A

| top | pdf |

2.1.2.2.1. Generators selected

| top | pdf |

As in IT A, for each plane group and space group [{\cal G}] a set of symmetry operations is listed under the heading `Generators selected'. From these group elements, [{\cal G}] can be generated conveniently. The generators in this volume are the same as those in IT A. They are explained in Section 2.2.10[link] of IT A and the choice of the generators is explained in Section 8.3.5[link] of IT A.

The generators are listed again in this present volume because many of the subgroups are characterized by their generators. These (often nonconventional) generators of the subgroups can thus be compared with the conventional ones without reference to IT A.

2.1.2.2.2. General position

| top | pdf |

Like the generators, the general position has also been copied from IT A, where an explanation can be found in Section 2.2.11[link] . The general position in IT A is the first block under the heading `Positions', characterized by its site symmetry of 1. The elements of the general position have the following meanings:

  • (1) they are coset representatives of the space group [{\cal G}]. The other elements of a coset are obtained from its representative by combination with translations of [{\cal G}];

  • (2) they form a kind of shorthand notation for the matrix description of the coset representatives of [{\cal G}];

  • (3) they are the coordinates of those symmetry-equivalent points that are obtained by the application of the coset representatives on a point with the coordinates [x, y, z];

  • (4) their numbers refer to the geometric description of the symmetry operations in the block `Symmetry operations' of the space-group tables of IT A.

Many of the subgroups [{\cal H}] in these tables are characterized by the elements of their general position. These elements are specified by numbers which refer to the corresponding numbers in the general position of [{\cal G}]. Other subgroups are listed by the numbers of their generators, which again refer to the corresponding numbers in the general position of [{\cal G}]. Therefore, the listing of the general position of [{\cal G}] as well as the listing of the generators of [{\cal G}] is essential for the structure of these tables. For examples, see Sections 2.1.3[link] and 2.1.4[link].

2.1.2.3. Specification of the setting

| top | pdf |

All 17 plane-group types 1 and 230 space-group types are listed and described in IT A. However, whereas each plane-group type is represented exactly once, 44 space-group types, i.e. nearly 20%, are represented twice. This means that the conventional setting of these 44 space-group types is not uniquely determined and must be specified. The same settings underlie the data of this volume, which follows IT A as much as possible.

There are three reasons for listing a space-group type twice:

  • (1) Each of the 13 monoclinic space-group types is listed twice, with `unique axis b' and `unique axis c', where b or c is the direction distinguished by symmetry (monoclinic axis). The tables of this Part 2 always refer to the conventional cell choice, i.e. `cell choice 1', whereas in IT A for each setting three cell choices are shown. In the graphs, the monoclinic space groups are designated by their short HM symbols.

    Note on standard monoclinic space-group symbols: In this volume, as in IT A, the monoclinic space groups are listed for two settings. Nevertheless, the short symbol for the setting `unique axis b' has been always used as the standard (short) HM symbol. It does not carry any information about the setting of the particular description. As in IT A, no other short symbols are used for monoclinic space groups and their subgroups in the present volume.

  • (2) 24 orthorhombic, tetragonal or cubic space-group types are listed with two different origins. In general, the origin is chosen at a point of highest site symmetry (`origin choice 1'); for exceptions see IT A, Section 8.3.1[link] . If there are centres of inversion and if by this rule the origin is not at an inversion centre, then the space group is described once more with the origin at a centre of inversion (`origin choice 2').

  • (3) There are seven trigonal space groups with a rhombohedral lattice. These space groups are described in a hexagonal basis (`hexagonal axes') with a rhombohedrally centred hexagonal lattice as well as in a rhombohedral basis with a primitive lattice (`rhombohedral axes').

If there is a choice of setting for the space group [{\cal G}], the chosen setting is indicated under the HM symbol in the headline. If a subgroup [{\cal H} \,\lt\, {\cal G}] belongs to one of these 44 space-group types, its `conventional setting' must be defined. The rules that are followed in this volume are explained in Section 2.1.2.5[link].

2.1.2.4. Sequence of the subgroup and supergroup data

| top | pdf |

As in the subgroup data of IT A, the sequence of the maximal subgroups is as follows: subgroups of the same kind are collected in a block. Each block has a heading. Compared with IT A, the blocks have been partly reorganized because in this volume all maximal isomorphic subgroups are listed, whereas in IT A only a few of them are described. In addition, the subgroups are described here in more detail.

The sequence of the subgroups within each block follows the value of the index; subgroups of lowest index are listed first. Subgroups having the same index are listed according to their lattice relations to the lattice of the original group [{\cal G}], cf. Section 2.1.4.3[link]. Subgroups with the same lattice relations are listed in decreasing order of space-group number.

Conjugate subgroups have the same index and the same space-group number. They are grouped together and connected by a brace on the left-hand side. Conjugate classes of maximal subgroups and their lengths are therefore easily recognized. In the series of maximal isomorphic subgroups, braces are inapplicable so here the conjugacy classes are stated explicitly.

The block designations are:

  • (1) In the block I Maximal translationengleiche subgroups, all maximal translationengleiche subgroups are listed, see Section 2.1.3[link]. None of them are isomorphic.

  • (2) Under the heading II Maximal klassengleiche subgroups, all maximal klassengleiche subgroups are listed in up to three separate blocks, each of them marked by a bullet, [\bullet]. Maximal non-isomorphic subgroups can only occur in the first two blocks, whereas maximal isomorphic subgroups are only found in the last two blocks.

    • [\bullet] Loss of centring translations. This block is described in Section 2.1.4.2[link] in more detail. Subgroups in this block are always non-isomorphic. The block is empty (and is then omitted) for space groups that are designated by an HM symbol starting with the letter P.

    • [\bullet] Enlarged unit cell. In this block, those maximal klassen­glei­che subgroups [{\cal H} \,\lt\, {\cal G}] of index 2, 3 and 4 are listed for which the conventional unit cell of [{\cal H}] is larger than that of [{\cal G}], see Section 2.1.4.3[link]. These subgroups may be non-isomorphic or isomorphic, see Section 2.1.5[link]. Therefore, it may happen that a maximal isomorphic klassengleiche subgroup of index 2, 3 or 4 is listed twice: once here explicitly and once implicitly as a member of a series.

    • [\bullet] Series of maximal isomorphic subgroups. Maximal klas­sengleiche subgroups [{\cal H} \,\lt\, {\cal G}] of indices 2, 3 and 4 may be isomorphic while those of index [i>4] are always isomorphic to [{\cal G}]. The total number of maximal isomorphic klassengleiche subgroups is infinite. These infinitely many subgroups cannot be described individually but only by a (small) number of infinite series. In each series, the individual subgroups are characterized by a few integer parameters, see Section 2.1.5[link].

  • (3) After the data for the subgroups, the data for the supergroups are listed. The data for minimal non-isomorphic supergroups are split into two main blocks with the headings

    • I Minimal translationengleiche supergroups and

    • II Minimal non-isomorphic klassengleiche supergroups.

  • (4) The latter block is split into the listings

    • [\bullet] Additional centring translations and

    • [\bullet] Decreased unit cell.

  • (5) Minimal isomorphic supergroups are not listed because they can be read immediately from the data for the maximal isomorphic subgroups.

For details, see Section 2.1.6[link].

2.1.2.5. Special rules for the setting of the subgroups

| top | pdf |

The multiple listing of 44 space-group types has implications for the subgroup tables. If a subgroup [{\cal H}] belongs to one of these types, its `conventional setting' must be defined. In many cases there is a natural choice; sometimes, however, such a choice does not exist, and the appropriate conventions have to be stated.

The three reasons for listing a space group twice will be discussed in this section, cf. Section 2.1.2.3[link].

2.1.2.5.1. Monoclinic subgroups

| top | pdf |

Rules:

  • (a) If the monoclinic axis of [{\cal H}] is the b or c axis of the basis of [{\cal G}], then the setting of [{\cal H}] is also `unique axis b' or `unique axis c'. In particular, if [{\cal G}] is monoclinic, then the settings of [{\cal G}] and [{\cal H}] agree.

  • (b) If the monoclinic axis of [{\cal H}] is neither b nor c in the basis of [{\cal G}], then for [{\cal H}] the setting `unique axis b' is chosen.

  • (c) The cell choice is always `cell choice 1' with the symbols C and c for unique axis b, and A and a for unique axis c.

Remarks (see also the following examples):

  • Rule (a) is valid for the many cases where the setting of [{\cal H}] is `inherited' from [{\cal G}]. In particular, this always holds for isomorphic subgroups.

  • Rule (b) is applied if [{\cal G}] is orthorhombic and the monoclinic axis of [{\cal H}] is the a axis of [{\cal G}] and if [{\cal H}] is a monoclinic subgroup of a trigonal group. Rule (b) is not natural, but specifies a preference for the setting `unique axis b'. This seems to be justified because the setting `unique axis b' is used more frequently in crystallographic papers and the standard short HM symbol is also referred to it.

  • Rule (c) implies a choice of that cell which is most explicitly described in the tables of IT A. By this choice, the centring type and the glide vector are fixed to the conventional values of `cell choice 1'.

The necessary adjustment is performed through a coordinate transformation, i.e. by a change of the basis and by an origin shift, see Section 2.1.3.3[link].

Example 2.1.2.5.1

[{\cal G}=P12/m1], No. 10; unique axis b.

II Maximal klassengleiche subgroups, Enlarged unit cell

  • [[2]\, {\bf a}'=2{\bf a}], both subgroups [P12/a1].

    The monoclinic axis b is retained but the glide reflection a is converted into a glide reflection c ([P12/c1] is the conventional HM symbol for cell choice 1).

  • [[2]\, {\bf b}'=2{\bf b},\, {\bf c}'=2{\bf c}], all four subgroups [A12/m1].

    The monoclinic axis b is retained but the A centring is converted into the conventional C centring ([C12/m1] is the conventional HM symbol for cell choice 1).

  • [[2]\, {\bf a}'=2{\bf a},\, {\bf c}'=2{\bf c}], both subgroups [B12/e1].

    The monoclinic axis b is retained. The glide reflection is designated by `e' (simultaneous c- and a-glide reflection in the same plane perpendicular to b). The nonconventional B centring is converted into the conventional primitive setting P, by which the e-glide reflection also becomes a c-glide reflection.

Example 2.1.2.5.2

[{\cal G}\,=\,P112/m], No. 10; unique axis c.

II Maximal klassengleiche subgroups, Enlarged unit cell

  • [[2]\, {\bf a}'=2{\bf a}], both subgroups [P112/a].

    The monoclinic axis c and the glide reflection a are retained because [P112/a] is the conventional full HM symbol for unique axis c, cell choice 1.

  • [[2]\, {\bf b}'=2{\bf b},\, {\bf c}'=2{\bf c}], all four subgroups [A112/m].

    The monoclinic axis c and the A centring are retained because [A112/m] is the conventional full HM symbol for this setting.

  • [[2]\, {\bf a}'=2{\bf a},\, {\bf b}'=2{\bf b}], both subgroups [C112/e].

    The monoclinic axis c is retained. The glide reflection is designated by `e' (simultaneous a- and b-glide reflection in the same plane perpendicular to c). The nonconventional C centring is converted into the conventional primitive setting P, by which the e-glide reflection also becomes an a-glide reflection.

Example 2.1.2.5.3

[{\cal G}\,=\,Pban], No. 50; origin choice 1.

I Maximal (monoclinic) translationengleiche subgroups

  • [[2]\, P112/n]: conventional unique axis c; nonconventional glide reflection n. The monoclinic axis c is retained but the glide reflection n is adjusted to a glide reflection a in order to conform to the conventional symbol [P112/a] of cell choice 1.

  • [[2]\, P12/a1]: conventional unique axis b; nonconventional glide reflection a. The monoclinic axis b is retained but the glide reflection a is adjusted to a glide reflection c of the conventional symbol [P12/c1], cell choice 1.

  • [[2]\, P2/b11]: nonconventional monoclinic unique axis a; nonconventional glide reflection b. The monoclinic axis a is transformed to the conventional unique axis b; the glide reflection b is adjusted to the conventional symbol [P12/c1] of the setting unique axis b, cell choice 1.

2.1.2.5.2. Subgroups with two origin choices

| top | pdf |

Altogether, 24 orthorhombic, tetragonal and cubic space groups with inversions are listed twice in IT A. There are three kinds of possible ambiguities for such groups with two origin choices:

  • (a) Only the original group [{\cal G}] is listed with two origin choices in IT A, [{\cal G}](1) and [{\cal G}](2), but the subgroup [{\cal H} \,\lt\, {\cal G}] is listed with one origin. Then the matrix parts P for the transformations [({\bi P},\,{\bi p}_{1})] and [({\bi P},\,{\bi p}_{2})] of the coordinate systems of [{\cal G}](1) and [{\cal G}](2) to that of [{\cal H}] are the same but the two columns of origin shift differ, namely [{\bi p}_{1}] from [{\cal G}](1) to [{\cal H}] and [{\bi p}_{2}] from [{\cal G}](2) to [{\cal H}]. They are related to the shift u between the origins of [{\cal G}](1) and [{\cal G}](2). However, the transformations from both settings of the space group [{\cal G}] to the setting of the space group [{\cal H}] are not unique and there is some choice in the transformation matrix and the origin shift.

    The transformation has been chosen such that

    • (i) it transforms the nonconventional description of the space group [{\cal H}] to a conventional one;

    • (ii) the description of the crystal structure in the subgroup [{\cal H}] is similar to that in the supergroup [{\cal G}].

      If it is not possible to achieve the latter aim, a transformation with simple matrix and column parts has been chosen which fulfils the first condition.

      Example 2.1.2.5.4

      [{\cal G}=Pban], No. 50, origin choice 1 and origin choice 2.

      I Maximal translationengleiche subgroups

      There are seven maximal t-subgroups of Pban, No. 50, four of which are orthorhombic, [{\cal H}=Pba2], [Pb2n], [P2an] and [P222], and three of which are monoclinic, [{\cal H}=P112/n], [P12/a1] and [P2/b11]. In the orthorhombic subgroups, the centres of inversion of [{\cal G}] are lost but at least one kind of twofold axis is retained. Therefore, no origin shift for [{\cal H}] is necessary from the setting `origin choice 1' of [{\cal G}](1), where the origin is placed at the intersection of the three twofold axes. For the column part of the transformation [({\bi P},\,{\bi p}_{1})], [{\bi p}_{1} = {\bi o}] holds. For the monoclinic maximal t-subgroups of Pban the origin is shifted from the intersection of the three twofold axes in [{\cal G}](1) to an inversion centre of [{\cal H}].

      On the other hand, the origin is situated on an inversion centre for origin choice 2 of [{\cal G}](2), as is the origin in the conventional description of the three monoclinic maximal t-subgroups. For them the origin shift is [{\bi p}_{2} = {\bi o}], while there is a nonzero column [{\bi p}_2] for the orthorhombic subgroups.

  • (b) Both [{\cal G}] and its subgroup [{\cal H} \,\lt\, {\cal G}] are listed with two origins. Then the origin choice of [{\cal H}] is the same as that of [{\cal G}]. This rule always applies to isomorphic subgroups as well as in some other cases.

    Example 2.1.2.5.5

    Maximal k-subgroups [{\cal H}]: Pnnn, No. 48, of the space group [{\cal G}]: Pban, No. 50. There are two such subgroups with the lattice relation [{\bf c}'=2{\bf c}]. Both [{\cal G}] and [{\cal H}] are listed with two origins such that the origin choices of [{\cal G}] and [{\cal H}] are either the same or are strongly related.

  • (c) The group [{\cal G}] is listed with one origin but the subgroup [{\cal H} \,\lt\, {\cal G}] is listed with two origins. This situation is restricted to maximal k-subgroups with the only exception being [Ia\overline{3}d> I4_{1}/acd], where there are three conjugate t-subgroups of index 3. In all cases the subgroup [{\cal H}] is referred to origin choice 2. This rule is followed in the subgroup tables because it gives a better chance of retaining the origin of [{\cal G}] in [{\cal H}]. If there are two origin choices for [{\cal H}], then [{\cal H}] has inversions and these are also elements of the supergroup [{\cal G}]. The (unique) origin of [{\cal G}] is placed on one of the inversion centres. For origin choice 2 in [{\cal H}], the origin of [{\cal H}] may agree with that of [{\cal G}], although this is not guaranteed. In addition, origin choice 2 is often preferred in structure determinations.

    Example 2.1.2.5.6

    Maximal k-subgroups of Pccm, No. 49. In the block

    [\bullet] Enlarged unit cell, [[2] \,\, {\bf a}' \, = \, 2{\bf a}]

    one finds two subgroups Pcna (50, Pban). One of them has the origin of [\cal{G}], the origin of the other subgroup is shifted by [{{1}\over{2}}, 0, 0] and is placed on one of the inversion centres of [{\cal G}] that is removed from the first subgroup. The analogous situation is found in the block [2] [{\bf b}'=2{\bf b}], where the two subgroups of space-group type Pncb (50, Pban) show the analogous relation. In the next block, [2] [{\bf a}'=2{\bf a},\, {\bf b}'=2{\bf b}], the four subgroups Ccce (68) behave similarly.

    For [{\cal G}] = Pmma, No. 51, the same holds for the two subgroups of the type Pmmn (59) in the block [2] [{\bf b}'=2{\bf b}].

    On the other hand, for [{\cal G}] = Immm, No. 71, in the block `Loss of centring translations' three subgroups of type Pmmn (59) and one of type Pnnn (48) are listed. All of them need an origin shift of [{{1}\over{4}}, {{1}\over{4}}, {{1}\over{4}}] because they have lost the inversion centres of the origin of [{\cal G}].

2.1.2.5.3. Space groups with a rhombohedral lattice

| top | pdf |

The seven trigonal space groups with a rhombohedral lattice are often called rhombohedral space groups. Their HM symbols begin with the lattice letter R and they are listed with both hexagonal axes and rhombohedral axes.

Rules:

  • (a) A rhombohedral subgroup [{\cal H}] of a rhombohedral space group [{\cal G}] is listed in the same setting as [{\cal G}]: if [{\cal G}] is referred to hexagonal axes, so is [{\cal H}]; if [{\cal G}] is referred to rhombohedral axes, so is [{\cal H}].

  • (b) If [{\cal G}] is a non-rhombohedral trigonal or a cubic space group, then a rhombohedral subgroup [{\cal H} \,\lt\, {\cal G}] is always referred to hexagonal axes.

  • (c) A non-rhombohedral subgroup [{\cal H}] of a rhombohedral space group [{\cal G}] is referred to its standard setting.

Remarks:

  • Rule (a) provides a clear definition, in particular for the axes of isomorphic subgroups.

  • Rule (b) has been followed in the subgroup tables because the rhombohedral setting is rarely used in crystallography.

  • Rule (c) implies that monoclinic subgroups of rhombohedral space groups are referred to the setting `unique axis b'.

  • There is a peculiarity caused by the two settings. The rhombohedral lattice appears to be centred in the hexagonal axes setting, whereas it is primitive in the rhombohedral axes setting. Therefore, there are trigonal subgroups of a rhombohedral space group [{\cal G}] which are listed in the block `Loss of centring translations' for the hexagonal axes setting of [{\cal G}] but are listed in the block `Enlarged unit cell' when [{\cal G}] is referred to rhombohedral axes. Although unnecessary and not done for other space groups with primitive lattices, the line [\bullet \,\, {\rm {\bf Loss\,\, of\,\, centring\,\, translations}} \,\, {\rm none}]is listed for the rhombohedral axes setting.

Example 2.1.2.5.7

[{\cal G}=R3], No. 146. Maximal klassenglei­che subgroups of index 2 and 3. Comparison of the subgroup data for the two settings of [R3] shows that the subgroups [P3_2] (145), [P3_1] (144) and [P3] (143) of index 3 appear in the block `Loss of centring translations' for the hexagonal setting and in the block `Enlarged unit cell' for the rhombohedral setting.

The sequence of the blocks has priority over the classification by increasing index. Therefore, in the setting `hexagonal axes', the subgroups of index 3 precede the subgroup of index 2. The complete general position is listed for the maximal k-subgroups of index 3 in the setting `hexagonal axes'; only the generator is listed for rhombohedral axes.

2.1.3. I Maximal translationengleiche subgroups (t-subgroups)

| top | pdf |

2.1.3.1. Introduction

| top | pdf |

In this block, all maximal t-subgroups [{\cal H}] of the plane groups and the space groups [{\cal G}] are listed individually. Maximal t-subgroups are always non-isomorphic.

For the sequence of the subgroups, see Section 2.1.2.4[link]. There are no lattice relations for t-subgroups because the lattice is retained. Therefore, the sequence is determined only by the rising value of the index and by the decreasing space-group number.

2.1.3.2. A description in close analogy with IT A

| top | pdf |

The listing is similar to that of IT A and presents on one line the following information for each subgroup [{\cal H}]: [[i]\ \hbox{HMS1 (No., HMS2) \hskip2em sequence \hskip2em matrix \hskip2em shift}]Conjugate subgroups are listed together and are connected by a left brace.

The symbols have the following meaning:

[i] index of [{\cal H}] in [{\cal G}];
HMS1 HM symbol of [{\cal H}] referred to the coordinate system and setting of [{\cal G}]. This symbol may be nonconventional;
No. space-group No. of [{\cal H}];
HMS2 conventional HM symbol of [{\cal H}] if HMS1 is not a conventional HM symbol;
sequence sequence of numbers; the numbers refer to those coordinate triplets of the general position of [{\cal G}] that are retained in [{\cal H}], cf. Remarks; for general position cf. Section 2.1.2.2.2[link];
matrix matrix part of the transformation to the conventional setting corresponding to HMS2, cf. Section 2.1.3.3[link];
shift column part of the transformation to the conventional setting corresponding to HMS2, cf. Section 2.1.3.3[link].

Remarks:

  • In the sequence column for space groups with centred lattices, the abbreviation `(numbers)[+]' means that the coordinate triplets specified by `numbers' are to be taken plus those obtained by adding each of the centring translations, see the comments following Examples 2.1.3.2.1[link] and 2.1.3.2.2[link].

  • The symbol HMS2 is omitted if HMS1 is a conventional HM symbol.

  • The following deviations from the listing of IT A are introduced in these tables:

    • No.: the space-group No. of [{\cal H}] is added.

    • HMS2: In order to specify the setting clearly, the full HM symbol is listed for monoclinic subgroups, not the standard (short) HM symbol as in IT A.

    • matrix, shift: These entries contain information on the transformation of [{\cal H}] from the setting of [{\cal G}] to the standard setting of [{\cal H}]. They are explained in Section 2.1.3.3[link].

The description of the subgroups can be explained by the following four examples.

Example 2.1.3.2.1

[{\cal G}]: [C1m1], No. 8, UNIQUE AXIS b

I Maximal translationengleiche subgroups

[[2] \,\, C1\,\, (1, \,\, P1) \quad 1+]

Comments:

  • HMS1: [C1] is not a conventional HM symbol. Therefore, the conventional symbol [P1] is added as HMS2 after the space-group number 1 of [{\cal H}].

  • sequence: `1[+]' means [x,y,z]; [x\, +\, {{1}\over{2}},y\, +\,{{1}\over{2}},z].

Example 2.1.3.2.2

[{\cal G}]: [Fdd2], No. 43

I Maximal translationengleiche subgroups

[\ldots]

[[2]\,\, F112\,\, (5,\, A112)\quad (1;\,2)+]

Comments:

  • HMS1: [F112] is not a conventional HM symbol; therefore, the conventional symbol [A112] is added to the space-group No. 5 as HMS2. The setting unique axis c is inherited from [{\cal G}].

  • sequence: (1, 2)[+] means:[\matrix{x,y,z\semi &x,y+{{1}\over{2}}, z+{{1}\over{2}}\semi &x+{{1}\over{2}},y,z+{{1}\over{2}}\semi &x+{{1}\over{2}}, y+{{1}\over{2}}, z\semi \cr {\bar x},{\bar y},z\semi &{\bar x},{\bar y}+{{1}\over{2}},z+{{1}\over{2}}\semi &{\bar x}+{{1}\over{2}}, {\bar y},z+{{1}\over{2}}\semi &{\bar x}+{{1}\over{2}}, {\bar y}+{{1}\over{2}}, z\semi}]

Example 2.1.3.2.3

[{\cal G}:\,\,P\,4_{2}/nmc=P4_{2}/n\, 2_{1}/m\, 2/c], No. 137, ORIGIN CHOICE 2

I Maximal translationengleiche subgroups

[[2]\,\,P2/n\ 2_{1}/m\ 1] (59, [Pmmn]) 1; 2; 5; 6; 9; 10; 13; 14

Comments:

  • HMS1: The sequence in the HM symbol for a tetragonal space group is c, a, [{\bf a-b}]. From the parts [4_{2}/n], [2_{1}/m] and [2/c] of the full HM symbol of [{\cal G}], only [2/n], [2_{1}/m] and 1 remain in [{\cal H}]. Therefore, HMS1 is [P2/n\,2_{1}/m\,1], and the conventional symbol [Pmmn] is added as HMS2.

  • No.: The space-group number of [{\cal H}] is 59. The setting origin choice 2 of [{\cal H}] is inherited from [{\cal G}].

  • sequence: The coordinate triplets of [{\cal G}] retained in [{\cal H}] are: (1) [x,y,z]; (2) [\overline{x}+{{1}\over{2}},\overline{y}+{{1}\over{2}},z]; (5) [\overline{x},y+{{1}\over{2}},\overline{z}]; (6) [x+{{1}\over{2}},\overline{y}, \overline{z}]; (9) [\overline{x}, \overline{y}, \overline{z}]; etc.

Example 2.1.3.2.4

[{\cal G}]: [P3_{1} 12], No. 151

I Maximal translationengleiche subgroups[\matrix{\phantom{xx}[2] \, P3_{1}11\,\, (144,\,P3_{1})\,\, 1\semi 2\semi 3 \hfill\cr \Biggl\{\matrix{[3]\, P112 \,\, (5,\,C121) & {1\semi 6\hfill} & {\bf b},-2{\bf a}- {\bf b}, {\bf c} &\cr [3]\, P112 \,\, (5, C121) &{1\semi 4\hfill} & -{\bf a} -{ \bf b}, {\bf a} -{\bf b}, {\bf c} & 0,0,1/3 \cr [3]\, P112 \,\, (5, C121) &{1\semi 5\hfill} &{\bf a}, {\bf a} + 2 {\bf b}, {\bf c} \hfil &0,0, 2/3 \hfil\cr}}]

Comments:

  • brace: The brace on the left-hand side connects the three conjugate monoclinic subgroups.

  • HMS1: [P112] is not the conventional HM symbol for unique axis c but the constituent `2' of the nonconventional HM symbol refers to the directions [-2{\bf a}-{\bf b}], [{\bf a}-{\bf b}] and [{\bf a} + 2{\bf b}], in the hexagonal basis. According to the rules of Section 2.1.2.5[link], the standard setting is unique axis b, as expressed by the HM symbol [C121].

  • HMS2: Note that the conventional monoclinic cell is centred.

  • matrix, shift: The entries in the columns `matrix' and `shift' are explained in the following Section 2.1.3.3[link] and evaluated in Example 2.1.3.3.2[link].

2.1.3.3. Basis transformation and origin shift

| top | pdf |

Each t-subgroup [{\cal H} \,\lt\, {\cal G}] is defined by its representatives, listed under `sequence' by numbers each of which designates an element of [{\cal G}]. These elements form the general position of [{\cal H}]. They are taken from the general position of [{\cal G}] and, therefore, are referred to the coordinate system of [{\cal G}]. In the general position of [{\cal H}], however, its elements are referred to the coordinate system of [{\cal H}]. In order to allow the transfer of the data from the coordinate system of [{\cal G}] to that of [{\cal H}], the tools for this transformation are provided in the columns `matrix' and `shift' of the subgroup tables. The designation of the quantities is that of IT A Part 5[link] and is repeated here for convenience.

In the following, columns and rows are designated by boldface italic lower-case letters. Point coordinates [{\bi x},{\bi x}'], translation parts [{\bi w}, {\bi w}'] of the symmetry operations and shifts [{\bi p}, {\bi q}=-{\bi P}^{-1}{\bi p}] are represented by columns. The sets of basis vectors [({\bf a},\,{\bf b},\,{\bf c})=({\bi a})^{\rm T}] and [({\bf a}',\,{\bf b}',\,{\bf c}')=({\bi a}')^{\rm T}] are represented by rows [indicated by [(\ldots)^{\rm T}], which means `transposed']. The quantities with unprimed symbols are referred to the coordinate system of [{\cal G}], those with primes are referred to the coordinate system of [{\cal H}].

The following columns will be used ([{\bi w}'] is analogous to w): [{\bi w} =  \left(\matrix { w_{1}\cr w_{2} \cr w_{3} } \right); \, \, {\bi x} = \left(\matrix { x \cr y \cr z } \right); \,\, {\bi x}\,'  =\left(\matrix { x' \cr y' \cr z' } \right); \,\, {\bi p} =  \left(\matrix { p_{1}\cr p_{2} \cr p_{3} } \right); \,\, {\bi q} = \left(\matrix { q_{1}\cr q_{2} \cr q_{3} } \right).]

The [(3\times3)] matrices W and [{\bi W}\,'] of the symmetry operations, as well as the matrix P for a change of basis and its inverse [{\bi Q}={\bi P}^{-1}], are designated by boldface italic upper-case letters ([{\bi W}\,'] is analogous to W): [{\bi W} = \left(\matrix {W_{11} &W_{12} &W_{13} \cr W_{21} & W_{22} & W_{23} \cr W_{31} & W_{32} & W_{33} } \right)\semi {\bi P} = \left(\matrix{P_{11} & P_{12} & P_{13} \cr P_{21} & P_{22} & P_{23} \cr P_{31} & P_{32} & P_{33} } \right)\semi {\bi Q} = \left(\matrix { Q_{11} & Q_{12} & Q_{13} \cr Q_{21} & Q_{22} & Q_{23} \cr Q_{31} & Q_{32} & Q_{33} } \right).]Let [{\bf a}, {\bf b}, {\bf c} = ({\bi a})^{\rm T}] be the row of basis vectors of [{\cal G}] and [{\bf a}', {\bf b}', {\bf c}'\,=\, ({\bi a}')^{\rm T}] the basis of [{\cal H}], then the basis [({\bi a}')^{\rm T}] is expressed in the basis [({\bi a})^{\rm T}] by the system of equations 2[\eqalignno{ {\bf a}' &=P_{11}{\bf a} +P_{21}{\bf b} + P_{31}{\bf c}& \cr {\bf b}' &=P_{12}{\bf a} +P_{22}{\bf b} + P_{32}{\bf c} &(2.1.3.1)\cr {\bf c}' &=P_{13}{\bf a} +P_{23}{\bf b} +P_{33}{\bf c}&}]or [({\bf a}', {\bf b}', {\bf c}') ^{\rm T} = ({\bf a}, {\bf b}, {\bf c}) ^{\rm T} \left(\matrix { P_{11} & P_{12} & P_{13} \cr P_{21} & P_{22} & P_{23} \cr P_{31} & P_{32} & P_{33} } \right). \eqno (2.1.3.2)]

In matrix notation, this is [({\bi a}')^{\rm T} = ({\bi a})^{\rm T} \, {\bi P}. \eqno (2.1.3.3)]

The column p of coordinates of the origin [O'] of [{\cal H}] is referred to the coordinate system of [{\cal G}] and is called the origin shift. The matrix–column pair (P, p) describes the transformation from the coordinate system of [{\cal G}] to that of [{\cal H}], for details, cf. IT A, Part 5[link] . Therefore, P and p are chosen in the subgroup tables in the columns `matrix' and `shift', cf. Section 2.1.3.2[link]. The column `matrix' is empty if there is no change of basis, i.e. if P is the unit matrix I. The column `shift' is empty if there is no origin shift, i.e. if p is the column o consisting of zeroes only.

A change of the coordinate system, described by the matrix–column pair (P, p), changes the point coordinates from the column x to the column [{\bi x}\,']. The formulae for this change do not contain the pair (P, p) itself, but the related pair [({\bi Q},\, {\bi q})=({\bi P}^{-1},\, -{\bi P}^{-1}\,{\bi p})]: [ {\bi x}\,'={\bi Q}{\bi x}+{\bi q}={\bi P}^{-1}{\bi x}- {\bi P}^{-1}{\bi p}={\bi P}^{-1}({\bi x}-{\bi p}). \eqno (2.1.3.4)]

Not only the point coordinates but also the matrix–column pairs for the symmetry operations are changed by a change of the coordinate system. A symmetry operation [\sf W] is described in the coordinate system of [{\cal G}] by the system of equations [\eqalignno{ \tilde{x}&=W_{11}\,x+W_{12}\,y+W_{13}\,z+w_1 &\cr \tilde{y}&=W_{21}\,x+W_{22}\,y+W_{23}\,z+w_2 & (2.1.3.5)\cr \tilde{z}&=W_{31}\,x+W_{32}\,y+W_{33}\,z+w_3, &}] [{\tilde {\bi x}}={\bi W}{\bi x}+{\bi w}=({\bi W,w}){\bi x}, \eqno (2.1.3.6)]i.e. by the matrix–column pair (W, w). The symmetry operation [\sf W] will be described in the coordinate system of the subgroup [{\cal H}] by the equation [\tilde{\bi{x}}\,'=\bi{W}\,'\,\bi{x}\,'+\bi{w}\,'= (\bi{W}\,',\,\bi{w}\,')\,\bi{x}\,', \eqno (2.1.3.7)]and thus by the pair [(\bi{W}\,',\,\bi{w}\,')]. This pair can be calculated from the pair [(\bi{W},\ \bi{w})] by solving the equations [ \bi{W}\,'=\bi{Q}\,\bi{W}\,\bi{P}=\bi{P}^{-1}\bi{W}\bi{P} \eqno (2.1.3.8)]and [ \bi{w}\,'=\bi{q}+ \bi{Q}\bi{w}+\bi{Q}\bi{W}\bi{p}=\bi{P}^{-1}(\bi{w}+ \bi{W}\bi{p}-\bi{p})=\bi{P}^{-1}(\bi{w}+(\bi{W}-\bi{I}) \bi{p}). \eqno (2.1.3.9)]

Example 2.1.3.3.1

Consider the data listed for the t-subgroups of [Pmn2_1], No. 31:[\matrix{{\rm Index} & {\rm HM\,\, \& \,\,No.} &{\rm sequence} &{\rm matrix} &{\rm shift} \cr [2] &P1n1\,\, (7, P1c1)\hfill &1\semi3 &{\bf c},{\bf b}, -{\bf a} -{\bf c}\hfill &\cr [2] &Pm11\,\,(6, P1m1)\hfill &1\semi4 &{\bf c}, {\bf a}, {\bf b}\hfill&\cr [2] &P112_{1}\,\,(4)\hfill &1\semi2 & &1/4, 0, 0\cr}]This means that the matrices and origin shifts are

  • (1) [{\bi P}_{1}= \left(\matrix { 0 & 0 & \overline{1} \cr 0 & 1 & 0 \cr 1 & 0 & \overline{1} } \right)\semi {\bi P}_{2} =\left(\matrix { 0 & 1 & 0 \cr 0 & 0 & 1 \cr 1 & 0 & 0 } \right)\semi {\bi P}_{3} = \left(\matrix { 1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & 1 } \right)]

  • (2) [{\bi p}_{1} = \left(\matrix { 0 \cr 0 \cr 0 } \right), \,\,{\bi p}_{2} = \left(\matrix {0 \cr 0 \cr 0 }\right), \,\,{\bi p}_{3} = \left(\matrix { {{1}\over{4}} \cr 0 \cr 0 } \right).]

  • (3) The first subgroup is monoclinic, the symmetry direction is the b axis, which is standard. However, the glide direction [{{1}\over{2}}({\bf a}+{\bf c})] is nonconventional. Therefore, the basis of [{\cal G}] is transformed to a basis of the subgroup [{\cal H}] such that the b axis is retained, the glide direction becomes the [c'] axis and the [a'] axis is chosen such that the basis is a right-handed one, the angle [\beta'\ge90^{\circ}] and the transformation matrix P is simple. This is done by the chosen matrix [{\bi P}_1]. The origin shift is the o column.

    With equations (2.1.3.8)[link] and (2.1.3.9)[link], one obtains for the glide reflection [x,\overline{y},z-{{1}\over{2}}], which is [x,\overline{y},z+{{1}\over{2}}] after standardization by [0\le w_j \,\lt\, 1].

  • (4) For the second monoclinic subgroup, the symmetry direction is the (nonconventional) a axis. The rules of Section 2.1.2.5[link] require a change to the setting `unique axis b'. A cyclic permutation of the basis vectors is the simplest way to achieve this. The reflection [\overline{x}, y, z] is now described by [x, \overline{y}, z]. Again there is no origin shift.

  • (5) The third monoclinic subgroup is in the conventional setting `unique axis c', but the origin must be shifted onto the [2_1] screw axis. This is achieved by applying equation (2.1.3.9)[link] with [{\bi p}_3], which changes [\overline{x}+{{1}\over{2}},\overline{y},z+{{1}\over{2}}] of [Pmn2_1] to [\overline{x},\overline{y},z+{{1}\over{2}}] of [P112_1].

Example 2.1.3.3.2

Evaluation of the t-subgroup data of the space group [P3_112], No. 151, started in Example 2.1.3.2.4[link]. The evaluation is now continued with the columns `sequence', `matrix' and `shift'. They are used for the transformation of the elements of [{\cal H}] to their conventional form. Only the monoclinic t-subgroups are of interest here because the trigonal subgroup is already in the standard setting.

One takes from the tables of subgroups in Chapter 2.3[link] [\displaylines{\,\,\,\,{\rm Index} \,\,\,\quad{\rm HM\,\, \& \,\, No.}\quad {\rm sequence} \quad \quad{\rm matrix} \quad\quad\quad\quad\,\,\, {\rm shift}\hfill\cr \Biggl\{\matrix{[3] &P112\,\,(5,\,C121) &\,\,1\semi6 &\quad{\bf b},-2{\bf a}- {\bf b},{\bf c} \hfill & \cr [3] &P112\,\,(5,\,C121) & \,\,1\semi4 &\quad -{\bf a}-{\bf b}, {\bf a}-{\bf b}, {\bf c}\hfill & 0,0,1/3 \cr [3] &P112\,\,(5,\,C121) & \,\,1\semi5 &\quad {\bf a},{\bf a} + 2{\bf b},{\bf c}\hfill & 0,0,2/3\cr}}]Designating the three matrices by [{\bi P}_6], [{\bi P}_4], [{\bi P}_5], one obtains [{\bi P}_{6} = \left(\matrix { 0 & -2 & 0 \cr 1 & -1 & 0 \cr 0 & 0 & 1 } \right), \,\, {\bi P}_{4} = \left(\matrix {-1 & 1 & 0 \cr -1 & -1 & 0 \cr 0 & 0 & 1 } \right), \,\, {\bi P}_{5} = \left(\matrix {1 & 1 & 0 \cr 0 & 2 & 0 \cr 0 & 0 & 1 } \right)]with the corresponding inverse matrices [{\bi Q}_{6} = \left(\matrix { -{{1}\over{2}} & 1 & 0 \cr -{{1}\over{2}} & 0 & 0 \cr 0 & 0 & 1 } \right),\,\, {\bi Q}_{4} = \left(\matrix { -{{1}\over{2}} & -{{1}\over{2}} & 0 \cr {{1}\over{2}} & -{{1}\over{2}} & 0 \cr 0 & 0 & 1 } \right),\,\, {\bi Q}_{5} = \left(\matrix { 1 & -{{1}\over{2}} & 0 \cr 0 & {{1}\over{2}} & 0 \cr 0 & 0 & 1 } \right)]and the origin shifts [{\bi p}_{6} = \left(\matrix { 0 \cr 0 \cr 0 } \right), \, \, {\bi p}_{4} = \left(\matrix { 0 \cr 0 \cr {{1}\over{3}} } \right),\, \, {\bi p}_{5} = \left(\matrix { 0 \cr 0 \cr {{2}\over{3}}} \right).]For the three new bases this means [\eqalign{ &{\bf a}_{6}' = {\bf b},\,\, {\bf b}_{6}'=-2{\bf a}-{\bf b}, \,\,{\bf c}_6'={\bf c} \cr &{\bf a}_4'=-{\bf a}-{\bf b},\,\, {\bf b}_4'={\bf a}-{\bf b}, \,\,{\bf c}_4'={\bf c}\,\, {\rm and} \cr& {\bf a}_5'={\bf a}, \,\,{\bf b}_5'={\bf a}+2{\bf b}, \,\,{\bf c}_5'={\bf c}. }]All these bases span ortho-hexagonal cells with twice the volume of the original hexagonal cell because for the matrices [\det({\bi P}_{i})=2] holds.

In the general position of [{\cal G}=P3_{1}12], No.151, one finds[(1)\,\, x,y,z; \quad (4)\,\, \overline{y},\overline{x}, \overline{z}+{\textstyle{{2}\over{3}}};\quad (5) \,\,\overline{x}+y,y, \overline{z}+{\textstyle{{1}\over{3}}};\quad (6) \,\,x,x-y,\overline{z}.]These entries represent the matrix–column pairs [({\bi W},\,{\bi w})]: [\displaylines{(1)\, \left(\matrix {1 &0 &0 \cr 0 &1 &0 \cr 0 &0 &1 } \right), \left(\matrix { 0 \cr 0 \cr 0 } \right)\semi \quad (4)\, \left(\matrix { 0&{\overline 1}&0 \cr {\overline 1}&0&0 \cr 0&0&\overline{1}} \right), \left(\matrix { 0 \cr 0 \cr {{2}\over{3}} } \right)\semi\cr\cr (5)\, \left(\matrix {\overline{1} & 1 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & \overline{1}} \right), \left(\matrix { 0 \cr 0 \cr {{1}\over{3}} } \right) \semi \quad (6)\, \left(\matrix { 1&0&0 \cr 1&\overline{1}&0 \cr 0&0&\overline{1} } \right), \left(\matrix { 0 \cr 0 \cr 0 } \right).}]Application of equations (2.1.3.8)[link] on the matrices [{\bi W}_k] and (2.1.3.9)[link] on the columns [{\bi w}_k] of the matrix–column pairs results in [{\bi W}\,'_{4} = {\bi W}\,'_{5} = {\bi W}\,'_{6} = \left(\matrix { \overline{1} & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & \overline{1} } \right)\semi \,\, {\bi w}'_{4} = {\bi w}'_{6} = {\bi o}\semi \, {\bi w}'_{5} = \left(\matrix { 0 \cr 0 \cr \overline{1} } \right).]All translation vectors of [{\cal G}] are retained in the subgroups but the volume of the cells is doubled. Therefore, there must be centring-translation vectors in the new cells. For example, the application of equation (2.1.3.9)[link] with [({\bi P}_{6},\, {\bi p}_{6})] to the translation of [{\cal G}] with the vector [-{\bf a}], i.e. [{\bi w} = -(1,0,0)], results in the column [{\bi w}' = ({{1}\over{2}}, {{1}\over{2}}, 0)], i.e. the centring translation [{{1}\over{2}}({\bf a}'+{\bf b}')] of the subgroup. Either by calculation or, more easily, from a small sketch one sees that the vectors [-{\bf b}] for [{\bi P}_4], [{\bf a}+{\bf b}] for [{\bi P}_5] (and [-{\bf a}] for [{\bi P}_6]) correspond to the cell-centring translation vectors of the subgroup cells.

Comments:

This example reveals that the conjugation of conjugate subgroups does not necessarily imply the conjugation of the representatives of these subgroups in the general positions of IT A. The three monoclinic subgroups [C121] in this example are conjugate in the group [{\cal G}] by the [3_1] screw rotation. Conjugation of the representative (4) by the [3_1] screw rotation of [{\cal G}] results in the representative (5) with the column [{\bi w}_{5} = 0,0,{{4}\over{3}}], which is not exactly the representative (5) but one of its translationally equivalent elements of [{\cal G}] retained in [{\cal H}].

2.1.4. II Maximal klassengleiche subgroups (k-subgroups)

| top | pdf |

2.1.4.1. General description

| top | pdf |

The listing of the maximal klassengleiche subgroups (maximal k-subgroups) [{\cal H}_j] of the space group [{\cal G}] is divided into the following three blocks for practical reasons:

[\bullet] Loss of centring translations. Maximal subgroups [{\cal H}] of this block have the same conventional unit cell as the original space group [{\cal G}]. They are always non-isomorphic and have index 2 for plane groups and index 2, 3 or 4 for space groups.

[\bullet] Enlarged unit cell. Under this heading, maximal subgroups of index 2, 3 and 4 are listed for which the conventional unit cell has been enlarged. The block contains isomorphic and non-isomorphic subgroups with this property.

[\bullet] Series of maximal isomorphic subgroups. In this block all maximal isomorphic subgroups of a space group [{\cal G}] are listed in a small number of infinite series of subgroups with no restriction on the index, cf. Sections 2.1.2.4[link] and 2.1.5[link].

The description of the subgroups is the same within the same block but differs between the blocks. The partition into these blocks differs from the partition in IT A, where the three blocks are called `maximal non-isomorphic subgroups IIa', `maximal non-isomorphic subgroups IIb' and `maximal isomorphic subgroups of lowest index IIc'.

The kind of listing in the three blocks of this volume is discussed in Sections 2.1.4.2[link], 2.1.4.3[link] and 2.1.5[link] below.

2.1.4.2. Loss of centring translations

| top | pdf |

Consider a space group [{\cal G}] with a centred lattice, [i.e.] a space group whose HM symbol does not start with the lattice letter P but with one of the letters A, B, C, F, I or R. The block contains those maximal subgroups of [{\cal G}] which have fully or partly lost their centring translations and thus are not t-subgroups. The conventional unit cell is not changed.

Only in space groups with an F-centred lattice can the centring be partially lost, as is seen in the list of the space group Fmmm, No. 69. On the other hand, for [F23], No. 196, the maximal subgroups [P23], No. 195, or [P2_13], No. 198, have lost all their centring translations.

For the block `Loss of centring translations', the listing in this volume is the same as that for t-subgroups, cf. Section 2.1.3[link]. The centring translations are listed explicitly where applicable, e.g. for space group [C2], No. 5, unique axis b

[[2] \,\, P12_11 \,\, (4)\quad 1; 2+({{1}\over{2}}, {{1}\over{2}}, 0)\quad 1/4,0,0.]

In this line, the representatives [1\semi \, 2 + ({{1}\over{2}}, {{1}\over{2}}, 0)] of the general position are [x,y,z\quad \overline{x} + {{1}\over{2}}, y + {{1}\over{2}}, \overline{z}].

The listing differs from that in IT A in only two points:

  • (1) the full HM symbol is taken as the conventional symbol for monoclinic space groups, whereas in IT A the short HM symbol is the conventional one;

  • (2) the information needed for the transformation of the data from the setting of the space group [{\cal G}] to that of [{\cal H}] is added. In this example, the matrix is the unit matrix and is not listed; the column of origin shift is [{{1}\over{4}}, 0, 0]. This transformation is analogous to that of t-subgroups and is described in detail in Section 2.1.3.3[link].

The sequence of the subgroups in this block is one of decreasing space-group number of the subgroups.

2.1.4.3. Enlarged unit cell

| top | pdf |

Under the heading `Enlarged unit cell', those maximal k-subgroups [{\cal H}] are listed for which the conventional unit cell is enlarged relative to the unit cell of the original space group [{\cal G}]. All maximal k-subgroups with enlarged unit cell of index 2, 3 or 4 of the plane groups and of the space groups are listed individually. The listing is restricted to these indices because 4 is the highest index of a maximal non-isomorphic subgroup, and the number of these subgroups is finite. Maximal subgroups of higher indices are always isomorphic to [{\cal G}] and their number is infinite.

The description of the subgroups with enlarged unit cell is more detailed than in IT A. In the block IIb of IT A, different maximal subgroups of the same space-group type with the same lattice relations are represented by the same entry. For example, the eight maximal subgroups of the type [Fmmm], No. 69, of space group [Pmmm], No. 47, are represented by one entry in IT A.

In the present volume, the description of the maximal subgroups in the block `Enlarged unit cell' refers to each subgroup individually and contains for each of them a set of space-group generators and the transformation from the setting of the space group [{\cal G}] to the conventional setting of the subgroup [{\cal H}].

Some of the isomorphic subgroups listed in this block may also be found in IT A in the block `Maximal isomorphic subgroups of lowest index IIc'.

Subgroups with the same lattice are collected in small blocks. The heading of each such block consists of the index of the subgroup and the lattice relations of the sublattice relative to the original lattice. Basis vectors that are not mentioned are not changed.

Example 2.1.4.3.1

This example is taken from the table of space group [C222_1], No. 20.

[\bullet] Enlarged unit cell

[3] [{\bf a}'= 3{\bf a}] [\Biggl \{ \matrix {C222_{1} \ (20) \ \langle 2\semi3 \rangle \hfill& 3 {\bf a}, {\bf b}, {\bf c}\hfill \cr C222_{1} \ (20)\ \langle (2\semi3) + (2,0,0) \rangle &3 {\bf a}, {\bf b}, {\bf c} &1,0,0 \cr C222_{1} \ (20)\ \langle (2\semi3) + (4,0,0) \rangle & 3{\bf a}, {\bf b}, {\bf c} &2,0,0 }\hfill]

[3] [{\bf b}' = 3{\bf b}] [\Biggl \{ \matrix { C222_{1} \ (20) \ \langle 2\semi3 \rangle \hfill&{\bf a}, 3{\bf b}, {\bf c} \cr C222_{1} \ (20)\ \langle 3\semi2 + (0,2,0) \rangle &{\bf a}, 3{\bf b}, {\bf c} &0,1,0 \cr C222_{1} \ (20)\ \langle 3\semi2 + (0,4,0) \rangle &{\bf a}, 3{\bf b}, {\bf c} &0,2,0 }\hfill ]

The entries mean:

Columns 1 and 2: HM symbol and space-group number of the subgroup; cf. Section 2.1.3.2[link].

Column 3: generators, here the pairs[\displaylines{\overline{x}, \overline{y}, z+{\textstyle{{1}\over{2}}}; \quad \overline{x},y,\overline{z}+{\textstyle{{1}\over{2}}};\hfill\cr\overline{x}+2, \overline{y}, z+{\textstyle{{1}\over{2}}};\quad \overline{x}+2,y, \overline{z}+{\textstyle{{1}\over{2}}};\hfill\cr \overline{x}+4, \overline{y}, z+{\textstyle{{1}\over{2}}};\quad \overline{x}+4,y, \overline{z}+{\textstyle{{1}\over{2}}};\hfill\cr \cr \overline{x}, \overline{y}, z+{\textstyle{{1}\over{2}}};\quad \overline{x},y, \overline{z}+{\textstyle{{1}\over{2}}};\hfill\cr \overline{x}, \overline{y}+2, z+{\textstyle{{1}\over{2}}};\quad \overline{x},y, \overline{z}+{\textstyle{{1}\over{2}}};\hfill\cr \overline{x}, \overline{y}+4, z+{\textstyle{{1}\over{2}}};\quad \overline{x},y, \overline{z}+{\textstyle{{1}\over{2}}};\hfill\cr}]for the six lines listed in the same order.

Column 4: basis vectors of [{\cal H}] referred the basis vectors of [{\cal G}]. [3 {\bf a}, {\bf b}, {\bf c}] means [{\bf a}'=3 {\bf a},\, {\bf b}'= {\bf b},\, {\bf c}'= {\bf c}]; [{\bf a},\,3{\bf b},\,{\bf c}] means [{\bf a}'={\bf a}, \, {\bf b}'=3 {\bf b},\, {\bf c}'= {\bf c}].

Column 5: origin shifts, referred to the coordinate system of [{\cal G}]. These origin shifts by o, a and 2a for the first triplet of subgroups and o, b and 2b for the second triplet of subgroups are translations of [{\cal G}]. The subgroups of each triplet are conjugate, indicated by the left braces.

Often the lattice relations above the data describing the subgroups are the same as the basis vectors in column 4, as in this example. They differ in particular if the sublattice of [{\cal H}] is nonconventionally centred. Examples are the H-centred subgroups of trigonal and hexagonal space groups.

The sequence of the subgroups is determined

  • (1) by the index of the subgroup such that the subgroups of lowest index are given first;

  • (2) within the same index by the kind of cell enlargement;

  • (3) within the same cell enlargement by the No. of the subgroup, such that the subgroup of highest space-group number is given first.

2.1.4.3.1. Enlarged unit cell, index 2

| top | pdf |

For sublattices with twice the volume of the unit cell, the sequence of the different cell enlargements is as follows:

  • (1) Triclinic space groups:

    • (i) [{\bf a}' = 2{\bf a}],

    • (ii) [{\bf b}' = 2{\bf b}],

    • (iii) [{\bf c}' = 2{\bf c}],

    • (iv) [{\bf b}' = 2{\bf b},\, {\bf c}' = 2{\bf c},] A-centring,

    • (v) [{\bf a}' = 2{\bf a},\, {\bf c}' = 2{\bf c},] B-centring,

    • (vi) [{\bf a}' = 2{\bf a},\, {\bf b}' = 2{\bf b},] C-centring,

    • (vii) [{\bf a}' = 2{\bf a},\, {\bf b}' = 2{\bf b},\, {\bf c}' = 2{\bf c},] F-centring.

  • (2) Monoclinic space groups:

    • (a) with P lattice, unique axis b:

      • (i) [{\bf b}' = 2{\bf b}],

      • (ii) [{\bf c}' = 2{\bf c}],

      • (iii) [{\bf a}' = 2{\bf a}],

      • (iv) [{\bf a}' = 2{\bf a},\, {\bf c}' = 2{\bf c},] B-centring,

      • (v) [{\bf a}' = 2{\bf a},\, {\bf b}' = 2{\bf b},] C-centring,

      • (vi) [{\bf b}' = 2{\bf b},\, {\bf c}' = 2{\bf c},] A-centring,

      • (vii) [{\bf a}' = 2{\bf a},\, {\bf b}' = 2{\bf b},\, {\bf c}' = 2{\bf c},] F-centring.

    • (b) with P lattice, unique axis c:

      • (i) [{\bf c}' = 2{\bf c}],

      • (ii) [{\bf a}'=2{\bf a}],

      • (iii) [{\bf b}' = 2{\bf b}],

      • (iv) [{\bf a}' = 2{\bf a},\, {\bf b}' = 2{\bf b},] C-centring,

      • (v) [{\bf b}' = 2{\bf b},\, {\bf c}' = 2{\bf c},] A-centring,

      • (vi) [{\bf a}' = 2{\bf a},\, {\bf c}' = 2{\bf c},] B-centring,

      • (vii) [{\bf a}' = 2{\bf a},\, {\bf b}' = 2{\bf b},\, {\bf c}' = 2{\bf c},] F-centring.

    • (c) with C lattice, unique axis b: There are three sublattices of index 2 of a monoclinic C lattice. One has lost its centrings such that a P lattice with the same unit cell remains. The subgroups with this sublattice are listed under `Loss of centring translations'. The block with the other two sublattices consists of [{\bf c}' = 2{\bf c}], C-centring and I-centring. The sequence of the subgroups in this block is determined by the space-group number of the subgroup.

    • (d) with A lattice, unique axis c: There are three sublattices of index 2 of a monoclinic A lattice. One has lost its centrings such that a P lattice with the same unit cell remains. The subgroups with this sublattice are listed under `Loss of centring translations'. The block with the other two sublattices consists of [{\bf a}' = 2{\bf a}], A-centring and I-centring. The sequence of the subgroups in this block is determined by the No. of the subgroup.

  • (3) Orthorhombic space groups:

    • (a) Orthorhombic space groups with P lattice: Same sequence as for triclinic space groups.

    • (b) Orthorhombic space groups with C (or A) lattice: Same sequence as for monoclinic space groups with C (or A) lattice.

    • (c) Orthorhombic space groups with I and F lattice: There are no subgroups of index 2 with enlarged unit cell.

  • (4) Tetragonal space groups:

    • (a) Tetragonal space groups with P lattice:

      • (i) [{\bf c}' = 2{\bf c}].

      • (ii) [{\bf a}' = 2{\bf a}, \,\, {\bf b}' = 2{\bf b},] C-centring. The conventional setting results in a P lattice.

      • (iii) [{\bf a}' = 2{\bf a},\, {\bf b}' = 2{\bf b},\, {\bf c}' = 2{\bf c},] F-centring. The conventional setting results in an I lattice.

    • (b) Tetragonal space groups with I lattice: There are no subgroups of index 2 with enlarged unit cell.

  • (5) For trigonal and hexagonal space groups, [{\bf c}' = 2{\bf c}] holds.

    For rhombohedral space groups referred to hexagonal axes, [{\bf a}' = -{\bf b},], [{\bf b}' = {\bf a} + {\bf b}], [{\bf c}' = 2{\bf c}] or [{\bf a}' = {\bf a} + {\bf b}], [{\bf b}' = -{\bf a}], [{\bf c}' = 2{\bf c}] holds.

    For rhombohedral space groups referred to rhombohedral axes, [{\bf a}' = {\bf a} + {\bf c}], [{\bf b}' = {\bf a} + {\bf b}], [{\bf c}' = {\bf b} + {\bf c}] or [{\bf a}' = 2{\bf a}], [{\bf b}' = 2{\bf b}], [{\bf c}' = 2{\bf c}], F-centring holds.

  • (6) Only cubic space groups with a P lattice have subgroups of index 2 with enlarged unit cell. For their lattices the following always holds: [{\bf a}' = 2{\bf a}], [{\bf b}' = 2{\bf b}], [{\bf c}' = 2{\bf c}], F-centring.

2.1.4.3.2. Enlarged unit cell, index 3 or 4

| top | pdf |

With a few exceptions for trigonal, hexagonal and cubic space groups, k-subgroups with enlarged unit cells and index 3 or 4 are isomorphic. To each of the listed sublattices belong either one or several conjugacy classes with three or four conjugate subgroups or one or several normal subgroups. Only the sublattices with the numbers (5)(a)(v), (5)(b)(i), (5)(c)(ii), (6)(iii) and (7)(i) have index 4, all others have index 3. The different cell enlargements are listed in the following sequence:

(1) Triclinic space groups:

  • (i) [{\bf a}'=3{\bf a}],

  • (ii) [{\bf a}'=3{\bf a}], [{\bf b}'={\bf a}+{\bf b}],

  • (iii) [{\bf a}'=3{\bf a}], [{\bf b}'=2{\bf a}+{\bf b}],

  • (iv) [{\bf a}'=3{\bf a}], [{\bf c}'={\bf a}+{\bf c}],

  • (v) [{\bf a}'=3{\bf a}], [{\bf c}'=2{\bf a}+{\bf c}],

  • (vi) [{\bf a}'=3{\bf a}], [{\bf b}'={\bf a}+{\bf b}], [{\bf c}'={\bf a}+{\bf c}],

  • (vii) [{\bf a}'=3{\bf a}], [{\bf b}'=2{\bf a}+{\bf b}], [{\bf c}'={\bf a}+{\bf c}],

  • (viii) [{\bf a}'=3{\bf a}], [{\bf b}'={\bf a}+{\bf b}], [{\bf c}'=2{\bf a}+{\bf c}],

  • (ix) [{\bf a}'=3{\bf a}], [{\bf b}'=2{\bf a}+{\bf b}], [{\bf c}'=2{\bf a}+{\bf c}],

  • (x) [{\bf b}'=3{\bf b}],

  • (xi) [{\bf b}'=3{\bf b}], [{\bf c}'={\bf b}+{\bf c}],

  • (xii) [{\bf b}'=3{\bf b}], [{\bf c}'=2{\bf b}+{\bf c}],

  • (xiii) [{\bf c}'=3{\bf c}].

(2) Monoclinic space groups:

(a) Space groups [P121], [P12_11], [P1m1], [P12/m1], [P12_1/m1] (unique axis b):

  • (i) [{\bf b}'=3{\bf b}],

  • (ii) [{\bf c}'=3{\bf c}],

  • (iii) [{\bf a}'={\bf a}-{\bf c}], [{\bf c}'=3{\bf c}],

  • (iv) [{\bf a}'={\bf a}-2{\bf c}], [{\bf c}'=3{\bf c}],

  • (v) [{\bf a}'=3{\bf a}].

(b) Space groups [P112], [P112_1], [P11m], [P112/m], [P112_1/m] (unique axis c):

  • (i) [{\bf c}'=3{\bf c}],

  • (ii) [{\bf a}'=3{\bf a}],

  • (iii) [{\bf a}'=3{\bf a},\ {\bf b}'=-{\bf a}+{\bf b}],

  • (iv) [{\bf a}'=3{\bf a},\ {\bf b}'=-2{\bf a}+{\bf b}],

  • (v) [{\bf b}'=3{\bf b}].

(c) Space groups [P1c1], [P12/c1], [P12_1/c1] (unique axis b):

  • (i) [{\bf b}'=3{\bf b}],

  • (ii) [{\bf c}'=3{\bf c}],

  • (iii) [{\bf a}'=3{\bf a}],

  • (iv) [{\bf a}'=3{\bf a},\ {\bf c}'=-2{\bf a}+{\bf c}],

  • (v) [{\bf a}'=3{\bf a},\, {\bf c}' = -4{\bf a} + {\bf c}].

(d) Space groups [P11a], [P112/a], [P112_1/a] (unique axis c):

  • (i) [{\bf c}'=3{\bf c}],

  • (ii) [{\bf a}'=3{\bf a}],

  • (iii) [{\bf b}'=3{\bf b}],

  • (iv) [{\bf a}'={\bf a}-2{\bf b},\, {\bf b}'=3{\bf b}],

  • (v) [{\bf a}'={\bf a}-4{\bf b},\, {\bf b}'=3{\bf b}].

(e) All space groups with C lattice (unique axis b):

  • (i) [{\bf b}'=3{\bf b}],

  • (ii) [{\bf c}'=3{\bf c}],

  • (iii) [{\bf a}'={\bf a}-2{\bf c},\ {\bf c}'=3{\bf c}],

  • (iv) [{\bf a}'={\bf a}-4{\bf c},\, {\bf c}'=3{\bf c}],

  • (v) [{\bf a}'=3{\bf a}].

(f) All space groups with A lattice (unique axis c):

  • (i) [{\bf c}'=3{\bf c}],

  • (ii) [{\bf a}'=3{\bf a}],

  • (iii) [{\bf a}'=3{\bf a},\, {\bf b}'=-2{\bf a}+{\bf b}],

  • (iv) [{\bf a}'=3{\bf a},\, {\bf b}'=-4{\bf a}+{\bf b}],

  • (v) [{\bf b}'=3{\bf b}].

(3) Orthorhombic space groups:

  • (i) [{\bf a}'=3{\bf a}],

  • (ii) [{\bf b}'=3{\bf b}],

  • (iii) [{\bf c}'=3{\bf c}].

(4) Tetragonal space groups:

  • (i) [{\bf c}'=3{\bf c}].

(5) Trigonal space groups:

(a) Trigonal space groups with hexagonal P lattice:

  • (i) [{\bf c}'=3{\bf c}],

  • (ii) [{\bf a}'=3{\bf a},\, {\bf b}'=3{\bf b},] H-centring,

  • (iii) [{\bf a}'={\bf a}-{\bf b},\, {\bf b}'={\bf a}+2{\bf b},\, {\bf c}'=3{\bf c}], R lattice,

  • (iv) [{\bf a}'=2{\bf a}+{\bf b}, {\bf b}'=-{\bf a}+{\bf b},\, {\bf c}'=3{\bf c}], R lattice,

  • (v) [{\bf a}'=2{\bf a},\, {\bf b}'=2{\bf b}].

(b) Trigonal space groups with rhombohedral R lattice and hexagonal axes:

  • (i) [{\bf a}'=-2{\bf b},\, {\bf b}'=2{\bf a}+2{\bf b}].

(c) Trigonal space groups with rhombohedral R lattice and rhombohedral axes:

  • (i) [{\bf a}'={\bf a}-{\bf b},\, {\bf b}'= {\bf b}-{\bf c},\, {\bf c}'={\bf a}+{\bf b}+{\bf c}],

  • (ii) [{\bf a}'={\bf a}-{\bf b}+{\bf c},\, {\bf b}'={\bf a}+{\bf b}-{\bf c},\, {\bf c}'= -{\bf a}+{\bf b}+{\bf c}].

(6) Hexagonal space groups:

  • (i) [{\bf c}'=3{\bf c}],

  • (ii) [{\bf a}'=3{\bf a},\, {\bf b}'=3{\bf b},] H-centring,

  • (iii) [{\bf a}'=2{\bf a},\, {\bf b}'=2{\bf b}].

(7) Cubic space groups with P lattice:

  • (i) [{\bf a}'=2{\bf a},\, {\bf b}'=2{\bf b},\, {\bf c}'=2{\bf c}], I lattice.

2.1.5. Series of maximal isomorphic subgroups

| top | pdf |
Y. Billietc

2.1.5.1. General description

| top | pdf |

Maximal subgroups of index higher than 4 have index p, [p^2] or [p^3], where p is prime, are necessarily isomorphic subgroups and are infinite in number. Only a few of them are listed in IT A in the block `Maximal isomorphic subgroups of lowest index IIc'. Because of their infinite number, they cannot be listed individually, but are listed in this volume as members of series under the heading `Series of maximal isomorphic subgroups'. In most of the series, the HM symbol for each isomorphic subgroup [{\cal H} \,\lt\, {\cal G}] will be the same as that of [{\cal G}]. However, if [{\cal G}] is an enantiomorphic space group, the HM symbol of [{\cal H}] will be either that of [{\cal G}] or that of its enantiomorphic partner.

Example 2.1.5.1.1

Two of the four series of isomorphic subgroups of the space group [P4_1], No. 76, are (the data on the generators are omitted):

[p] [{\bf c}'=p{\bf c}]    
  [P4_3\,\,(78)] [p>2]; [p\equiv 3] (mod 4) [{\bf a},{\bf b},p{\bf c}]
    no conjugate subgroups  
  [P4_1\,\,(76)] [p>4]; [p\equiv 1] (mod 4) [{\bf a},{\bf b},p{\bf c}]
    no conjugate subgroups  

On the other hand, the corresponding data for [P4_3], No. 78, are

[p] [{\bf c}'=p{\bf c}]    
  [P4_3\,\,(78)] [p>4]; [p\equiv 1] (mod 4) [{\bf a},{\bf b},p{\bf c}]
    no conjugate subgroups  
  [P4_1\,\,(76)] [p>2]; [p\equiv 3] (mod 4) [{\bf a},{\bf b},p{\bf c}]
    no conjugate subgroups  

Note that in both tables the subgroups of the type [P4_3], No. 78, are listed first because of the rules on the sequence of the subgroups.

If an isomorphic maximal subgroup of index [i \leq 4 ] is a member of a series, then it is listed twice: as a member of its series and individually under the heading `Enlarged unit cell'.

Most isomorphic subgroups of index 3 are the first members of series but those of index 2 or 4 are rarely so. An example is the space group [P4_2], No. 77, with isomorphic subgroups of index 2 (not in any series) and 3 (in a series); an exception is found in space group [P4], No. 75, where the isomorphic subgroup for [{\bf c}'=2{\bf c}] is the first member of the series [[p]\, {\bf c}'=p{\bf c}].

2.1.5.2. Basis transformation

| top | pdf |

The conventional basis of the unit cell of each isomorphic subgroup in the series has to be defined relative to the basis of the original space group. For this definition the prime p is frequently sufficient as a parameter.

Example 2.1.5.2.1

The isomorphic subgroups of the space group [P4_222], No. 93, can be described by two series with the bases of their members:

  • [[p]\quad{\bf a}, \,{\bf b}, \, p{\bf c}]

  • [[p^2]\quad p{\bf a},\ p{\bf b},\ {\bf c}].

In other cases, one or two positive integers, here called q and r, define the series and often the value of the prime p.

Example 2.1.5.2.2

In space group [P\overline{6}], No. 174, the series [q{\bf a}-r{\bf b},\, r{\bf a}+(q+r){\bf b},\, {\bf c}] is listed. The values of q and r have to be chosen such that while [q>0,\ r>0,\ p=q^2+r^2+qr] and p is prime.

Example 2.1.5.2.3

In the space group [P112_1/m], No. 11, unique axis c, the series [p{\bf a},\, -q{\bf a}+{\bf b},\, {\bf c}] is listed. Here p and q are independent and q may take the p values [0\leq q \,\lt\, p] for each value of p.

2.1.5.3. Origin shift

| top | pdf |

Each of the sublattices discussed in Section 2.1.4.3.2[link] is common to a conjugacy class or belongs to a normal subgroup of a given series. The subgroups in a conjugacy class differ by the positions of their conventional origins relative to the origin of the space group [{\cal G}]. To define the origin of the conventional unit cell of each subgroup in a conjugacy class, one, two or three integers, called u, v or w in these tables, are necessary. For a series of subgroups of index p, [p^2] or [p^3] there are p, [p^2] or [p^3] conjugate subgroups, respectively. The positions of their origins are defined by the p or [p^2] or [p^3] permitted values of u or u, v or u, v, w, respectively.

Example 2.1.5.3.1

The space group [{\cal G}], [P\overline{4}2c], No. 112, has two series of maximal isomorphic subgroups [{\cal H}]. For one of them the lattice relations are [[p^2]\, {\bf a}'=p{\bf a},{\bf b}'=p{\bf b}], listed as [p{\bf a},p{\bf b},{\bf c}] for the transformation matrix. The index is [p^2]. For each value of p there exist exactly [p^2] conjugate subgroups with origins in the points [u,\,v,\,0], where the parameters u and v run independently: [0\leq u \,\lt\, p] and [0\leq v \,\lt\, p].

In another type of series there is exactly one (normal) subgroup [{\cal H}] for each index p; the location of its origin is always chosen at the origin [0,\,0,\,0] of [{\cal G}] and is thus not indicated as an origin shift.

Example 2.1.5.3.2

Consider the space group [Pca2_1], No. 29. Only one subgroup exists for each value of p in the series [{\bf a}, {\bf b},p{\bf c}]. This is indicated in the tables by the statement `no conjugate subgroups'.

2.1.5.4. Generators

| top | pdf |

The generators of the p (or [p^2] or [p^3]) conjugate isomorphic subgroups [{\cal H}] are obtained from those of [{\cal G}] by adding translational components. These components are determined by the parameters p (or q and r, if relevant) and u (and v and w, if relevant).

Example 2.1.5.4.1

Space group [P2_13], No. 198.

In the series defined by the lattice relations [p{\bf a},p{\bf b}, p{\bf c}] and the origin shift [u,\,v,\,w] there exist exactly [p^3] conjugate subgroups for each value of p. The generators of each subgroup are defined by the parameter p and the triplet [u,\,v,\,w] in combination with the generators (2), (3) and (5) of [{\cal G}]. Consider the subgroup characterized by the basis [7{\bf a}, 7{\bf b},7{\bf c}] and by the origin shift [u=3,\ v=4,\ w=6]. One obtains from the generator (2) [\overline{x}+{{1}\over{2}},\overline{y},z+{{1}\over{2}}] of [{\cal G}] the corresponding generator of [{\cal H}] by adding the translation vector [({{p}\over{2}}-{{1}\over{2}}+2u){\bf a}+2v{\bf b}+({{p}\over{2}}- {{1}\over{2}}){\bf c}] to the translation vector [{{1}\over{2}}{\bf a}+ {{1}\over{2}}{\bf c}] of the generator (2) of [{\cal G}] and obtains [{{19}\over{2}}\,{\bf a}+8{\bf b}+{{7}\over{2}}\,{\bf c}], so that this generator of [{\cal H}] is written [\overline{x}+{{19}\over{2}},\overline{y}+8,z+{{7}\over{2}}].

2.1.5.5. Special series

| top | pdf |

For most space groups, there is only one description of their series of the isomorphic subgroups. However, if a space group is described twice in IT A, then there are also two different descriptions of these series. This happens for monoclinic space groups with the settings unique axis b and unique axis c, for some orthorhombic, tetragonal and cubic space groups with origin choice 1 and origin choice 2 and for trigonal space groups with rhombohedral lattices with hexagonal axes and rhombohedral axes.

2.1.5.5.1. Monoclinic space groups

| top | pdf |

In the monoclinic space groups, the series in the listings `unique axis b' and `unique axis c' are closely related by a simple cyclic permutation of the axes a, b and c, see IT A, Section 2.2.16[link] .

2.1.5.5.2. Trigonal space groups with rhombohedral lattice

| top | pdf |

In trigonal space groups with rhombohedral lattices, the series with hexagonal axes and with rhombohedral axes appear to be rather different. However, the `rhombohedral' series are the exact transcript of the `hexagonal' series by the same transformation formulae as are used for the different monoclinic settings. However, the transformation matrices P and [\bi{P}^{-1}] in Part 5[link] of IT A are more complicated in this case.

Example 2.1.5.5.1

Space group [R\overline{3}], No. 148. The second series is described with hexagonal axes by the basis transformation [{\bf a},\, {\bf b},\, p{\bf c}], i.e. [{\bf a}'_{\rm hex}={\bf a}_{\rm hex},\, {\bf b}'_{\rm hex}={\bf b}_{\rm hex},\, {\bf c}'_{\rm hex}=p\,{\bf c}_{\rm hex},] and the origin shift [0,0,u]. We discuss the basis transformation first. It can be written [ ({\bf a}_{\rm hex}')^{\rm T}=({\bf a}_{\rm hex})^{\rm T}\bi{X} \eqno (2.1.5.1)]in analogy to Part 5[link] , IT A. Here [({\bf a}_{\rm hex})^{\rm T}] is the row of basis vectors of the conventional hexagonal basis. The matrix X is defined by[{\bi X}=\left(\matrix { 1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 & p } \right).]With rhombohedral axes, equation (2.1.5.1)[link] would be written [({\bf a}_{\rm rh}')^{\rm T}=({\bf a}_{\rm rh})^{\rm T}{\bi Y}, \eqno (2.1.5.2)]with the matrix Y to be determined.

The transformation from hexagonal to rhombohedral axes is described by [({\bf a}_{\rm rh})^{\rm T}=({\bf a}_{\rm hex})^{\rm T}{\bi P}^{-1}, \eqno (2.1.5.3)]where the matrices[{\bi P}^{-1}=\left(\matrix { {{2}\over{3}} & -{{1}\over{3}} & -{{1}\over{3}} \cr {{1}\over{3}} & {{1}\over{3}} & -{{2}\over{3}} \cr {{1}\over{3}} & {{1}\over{3}} & {{1}\over{3}} } \right) \,\, {\rm and}\, \,{\bi P}=\left(\matrix { 1 & 0 & 1 \cr \overline{1} & 1 & 1 \cr 0 & \overline{1} & 1 } \right)]are listed in IT A, Table 5.1.3.1[link] , see also Figs. 5.1.3.6[link] (a) and (c) in IT A.

Applying equations (2.1.5.3)[link], (2.1.5.1)[link] and (2.1.5.2)[link], one gets [({\bf a}'_{\rm rh})^{\rm T}=({\bf a}'_{\rm hex})^{\rm T}{\bi P}^{-1}= ({\bf a}_{\rm hex})^{\rm T} {\bi X}{\bi P}^{-1} =({\bf a}_{\rm rh})^{\rm T} {\bi Y}= ({\bf a}_{\rm hex})^{\rm T} {\bi P}^{-1}{\bi Y}. \eqno (2.1.5.4)]From equation (2.1.5.4)[link] it follows that [{\bi X}{\bi P}^{-1}={\bi P}^{-1}{\bi Y}\,\, {\rm or }\,\, {\bi Y}={\bi P}{\bi X}{\bi P}^{-1}. \eqno (2.1.5.5)]One obtains Y from equation (2.1.5.5)[link] by matrix multiplication, [{\bi Y}= \left(\matrix { {{p+2}\over{3}} & {{p-1}\over{3}} & {{p-1}\over{3}} \cr {{p-1}\over{3}} & {{p+2}\over{3}} & {{p-1}\over{3}} \cr {{p-1}\over{3}} & {{p-1}\over{3}} & {{p+2}\over{3}} } \right),]and from Y for the bases of the subgroups with rhombohedral axes[\eqalign{{\bf a}_{\rm rh}' &=\textstyle{{1}\over{3}}[(p+2){\bf a}_{\rm rh}+(p-1){\bf b}_{\rm rh} +(p-1){\bf c}_{\rm rh}],\cr {\bf b}_{\rm rh}'&=\textstyle{{1}\over{3}}[(p-1){\bf a}_{\rm rh}+(p+2){\bf b}_{\rm rh} + (p-1){\bf c}_{\rm rh}],\cr {\bf c}_{\rm rh}'&=\textstyle{{1}\over{3}}[(p-1){\bf a}_{\rm rh}+(p-1){\bf b}_{\rm rh} +(p+2){\bf c}_{\rm rh}].}]The column of the origin shift [{\bi u}_{\rm hex}=0,0,u] in hexagonal axes must be transformed by [{\bi u}_{\rm rh}={\bi P}\,{\bi u}_{\rm hex}]. The result is the column [{\bi u}_{\rm rh}=u,\,u,\,u] in rhombohedral axes.

2.1.5.5.3. Space groups with two origin choices

| top | pdf |

Space groups with two origin choices are always described in the same basis, but origin 1 is shifted relative to origin 2 by the shift vector s. For most space groups with two origins, the appearance of the two series related by the origin shift is similar; there are only differences in the generators.

Example 2.1.5.5.2

Consider the space group [Pnnn], No. 48, in both origin choices and the corresponding series defined by [p{\bf a},\, {\bf b},\, {\bf c}] and [u,\,0,\,0]. In origin choice 1, the generator (5) of [{\cal G}] is described by the `coordinates' [\overline{x}+{{1}\over{2}},\,\overline{y}+{{1}\over{2}},\,\overline{z}+{{1}\over{2}}]. The translation part [({{p}\over{2}}-{{1}\over{2}}){\bf a}] of the third generator of [{\cal H}] stems from the term [{{1}\over{2}}] in the first `coordinate' of the generator (5) of [{\cal G}]. Because [({{p}\over{2}}-{{1}\over{2}}){\bf a}] must be a translation vector of [{\cal G}], p is odd. Such a translation part is not found in the generators (2) and (3) of [{\cal H}] because the term [{{1}\over{2}}] does not appear in the `coordinates' of the corresponding generators of [{\cal G}].

The situation is inverted in the description for origin choice 2.

The translation term [({{p}\over{2}}-{{1}\over{2}}){\bf a}] appears in the first and second generator of [{\cal H}] and not in the third one because the term [{{1}\over{2}}] occurs in the first `coordinate' of the generators (2) and (3) of [{\cal G}] but not in the generator (5).

The term [2u] appears in both descriptions. It is introduced in order to adapt the generators to the origin shift [u,\,0,\,0].

In other space groups described in two origin choices, surprisingly, the number of series is different for origin choice 1 and origin choice 2.

Example 2.1.5.5.3

In the tetragonal space group [I4_{1}/amd], No. 141, for origin choice 1 there is one series of maximal isomorphic subgroups of index [p^2], p prime, with the bases [p{\bf a},\, p{\bf b},\, {\bf c}] and origin shifts [u,\,v,\,0]. For origin choice 2, there are two series with the same bases [p{\bf a},\, p{\bf b},\, {\bf c}] but with the different origin shifts [u,\,v,\,0] and [{{1}\over{2}}+u,\,v,\,0]. What are the reasons for these results?

For origin choice 1, the term [{{1}\over{2}}] appears in the first and second `coordinates' of all generators (2), (3), (5) and (9) of [{\cal G}]. This term [{{1}\over{2}}] is the cause of the translation vectors [({{p}\over{2}}-{{1}\over{2}}){\bf a}] and [({{p}\over{2}}-{{1}\over{2}}){\bf b}] in the generators of [{\cal H}].

For origin choice 2, fractions [{{1}\over{4}}] and [{{3}\over{4}}] appear in all `coordinates' of the generator (3) [\overline{y}+{{1}\over{4}},x+{{3}\over{4}},z+{{1}\over{4}}] of [{\cal G}]. As a consequence, translational parts with vectors [({{p}\over{4}}+{{1}\over{4}}){\bf a}] and [({{3p}\over{4}}- {{5}\over{4}}){\bf b}] appear if [p\equiv3\hbox{ (mod 4)}]. On the other hand, translational parts with vectors [({{p}\over{4}}-{{1}\over{4}}){\bf a},\ ({{3p}\over{4}}-{{3}\over{4}}){\bf b}] are introduced in the generators of [{\cal H}] if [p\equiv 1\hbox{ (mod 4)}] holds.

Another consequence of the fractions [{{1}\over{4}}] and [{{3}\over{4}}] occurring in the generator (3) of [{\cal G}] is the difference in the origin shifts. They are [{{1}\over{2}}+u,\,v,\,0] for [p\equiv3\hbox{ (mod 4)}] and [u,\,v,\,0] for [p\equiv1] (mod 4). Thus, the one series in origin choice 1 for odd p is split into two series in origin choice 2 for [p\equiv 3\hbox{ (mod 4)}] and [p\equiv 1\hbox{ (mod 4)}]. 3

2.1.6. Minimal supergroups

| top | pdf |

2.1.6.1. General description

| top | pdf |

In the previous sections, the relation [{\cal H} \,\lt\, {\cal G}] was seen from the viewpoint of the group [{\cal G}]. In this case, [{\cal H}] was a subgroup of [{\cal G}]. However, the same relation may be viewed from the group [{\cal H}]. In this case, [{\cal G}> {\cal H}] is a supergroup of [{\cal H}]. As for the subgroups of [{\cal G}], cf. Section 1.2.6[link] , different kinds of supergroups of [{\cal H}] may be distinguished. The following definitions are obvious.

Definition 2.1.6.1.1. Let [{\cal H} \,\lt\, {\cal G}] be a maximal subgroup of [{\cal G}]. Then [{\cal G}> {\cal H}] is called a minimal supergroup of [{\cal H}]. If [{\cal H}] is a translationengleiche subgroup of [{\cal G}] then [{\cal G}] is a translationen­glei­che supergroup (t-supergroup) of [{\cal H}]. If [{\cal H}] is a klassengleiche subgroup of [{\cal G}], then [{\cal G}] is a klassengleiche supergroup (k-supergroup) of [{\cal H}]. If [{\cal H}] is an isomorphic subgroup of [{\cal G}], then [{\cal G}] is an isomorphic supergroup of [{\cal H}]. If [{\cal H}] is a general subgroup of [{\cal G}], then [{\cal G}] is a general supergroup of [{\cal H}].

The search for supergroups of space groups is much more difficult than the search for subgroups. One of the reasons for this difficulty is that the search for subgroups [{\cal H} \,\lt\, {\cal G}] is restricted to the elements of the space group [{\cal G}] itself, whereas the search for supergroups [{\cal G}> {\cal H}] has to take into account the whole (continuous) group [{\cal E}] of all isometries. For example, there are only a finite number of subgroups [{\cal H}] of any space group [{\cal G}] for any given index i. On the other hand, there may not only be an infinite number of supergroups [{\cal G}] of a space group [{\cal H}] for a finite index i but even an uncountably infinite number of supergroups of [{\cal H}].

Example 2.1.6.1.2

Let [{\cal H}=P1]. Then there is an infinite number of t-supergroups [P\overline{1}] of index 2 because there is no restriction for the sites of the centres of inversion and thus of the conventional origin of [P\overline{1}].

In the tables of this volume, a supergroup [{\cal G}] of a space group [{\cal H}] is listed by its type if [{\cal H}] is listed as a subgroup of [{\cal G}]. The entry contains at least the index of [{\cal H}] in [{\cal G}], the conventional HM symbol of [{\cal G}] and its space-group number. Additional data may be given for klassengleiche supergroups. More details, e.g. the representatives of the general position or the generators as well as the transformation matrix and the origin shift, would only duplicate the subgroup data. The number of supergroups belonging to one entry can neither be concluded from the subgroup data nor is it listed among the supergroup data.

Like the subgroup data, the supergroup data are also partitioned into blocks.

2.1.6.2. I Minimal translationengleiche supergroups

| top | pdf |

For each space group [{\cal H}], under this heading are listed those space-group types [{\cal G}] for which [{\cal H}] appears as an entry under the heading I Maximal translationengleiche subgroups. The listing consists of the index in brackets […], the conventional HM symbol and (in parentheses) the space-group number (…). The space groups are ordered by ascending space-group number. If this line is empty, the heading is printed nevertheless and the content is announced by `none', as in [P6/mmm], No. 191.

The supergroups listed on the line I Minimal translationen­glei­che supergroups are realized only if the lattice conditions of [{\cal H}] fulfil the lattice conditions for [{\cal G}]. For example, if [{\cal G}=P422], No. 89, is a supergroup of [{\cal H}=P222], No. 16, two of the three independent lattice parameters a, b, c of [P222] must be equal (or in crystallographic practice, approximately equal). These must be a and b if c is the tetragonal axis, b and c if a is the tetragonal axis or c and a if b is the tetragonal axis. In the latter two cases, the setting of [P222] has to be adapted to the conventional c-axis setting of [P422]. For the cubic supergroup [P23], No. 195, all three lattice parameters of [P222] must be (approximately) equal. Such conditions are always to be taken into consideration if the t-supergroup belongs to a different crystal family4 to the original group. Therefore, for [{\cal H}=P222] there is no lattice condition for the supergroup [{\cal G}=Pmmm] because [P222] and [Pmmm] belong to the same crystal family.

2.1.6.3. II Minimal non-isomorphic klassengleiche supergroups

| top | pdf |

Klassengleiche supergroups [{\cal G}> {\cal H}] always belong to the crystal family of [{\cal H}]. Therefore, there are no restrictions for the lattice parameters of [{\cal H}].

The block II Minimal non-isomorphic klassengleiche supergroups is divided into two subblocks with the headings Additional centring translations and Decreased unit cell. If both subblocks are empty, only the heading of the block is listed, stating `none' for the content of the block, as in [P6/mmm], No. 191.

If at least one of the subblocks is non-empty, then the heading of the block and the headings of both subblocks are listed. An empty subblock is then designated by `none'; in the other subblock the supergroups are listed. The kind of listing depends on the subblock. Examples may be found in the tables of [P222], No. 16, and [Fd\overline{3}c], No. 228.

Under the heading `Additional centring translations', the supergroups are listed by their indices and either by their nonconventional HM symbols, with the space-group numbers and the standard HM symbols in parentheses, or by their conventional HM symbols and only their space-group numbers in parentheses. Examples are provided by space group [Pbca], No. 61, with both subblocks non-empty and by space group [P222], No. 16, with supergroups only under the heading `Additional centring translations'.

Under the heading `Decreased unit cell' each supergroup is listed by its index and by its lattice relations, where the basis vectors [{\bf a}'], [{\bf b}'] and [{\bf c}'] refer to the supergroup [{\cal G}] and the basis vectors a, b and c to the original group [{\cal H}]. After these data are listed either the nonconventional HM symbol, followed by the space-group number and the conventional HM symbol in parentheses, or the conventional HM symbol with the space-group number in parentheses. Examples are provided again by space group [Pbca], No. 61, with both subblocks occupied and space group [F\overline{4}3m], No. 216, with an empty subblock `Additional centring translations' but data under the heading `Decreased unit cell'.

2.1.6.4. Isomorphic supergroups

| top | pdf |

Each space group [{\cal G}] has an infinite number of isomorphic subgroups [{\cal H}] because the number of primes is infinite. For the same reason, each space group [{\cal H}] has an infinite number of isomorphic supergroups [{\cal G}]. They are not listed in the tables of this volume because they are implicitly listed among the subgroup data.

2.1.7. The subgroup graphs

| top | pdf |

2.1.7.1. General remarks

| top | pdf |

The group–subgroup relations between the space groups may also be described by graphs. This way is chosen in Chapters 2.4[link] and 2.5[link] . Graphs for the group–subgroup relations between crystallographic point groups have been published, for example, in Internationale Tabellen zur Bestimmung von Kristallstrukturen (1935[link]) and in IT A (2005[link]), Fig. 10.1.4.3[link] . Three kinds of graphs for subgroups of space groups have been constructed and can be found in the literature:

  • (1) Graphs for t-subgroups, such as the graphs of Ascher (1968[link]).

  • (2) Graphs for k-subgroups, such as the graphs for cubic space groups of Neubüser & Wondratschek (1966[link]).

  • (3) Mixed graphs, combining t- and k-subgroups. These are used, for example, when relations between existing or suspected crystal structures are to be displayed. An example is the `family tree' of Bärnighausen (1980[link]), Fig. 15, now called a Bärnighausen tree.

A complete collection of graphs of the first two kinds is presented in this volume: in Chapter 2.4[link] those displaying the translationengleiche or t-subgroup relations and in Chapter 2.5[link] those for the klassengleiche or k-subgroup relations. Neither type of graph is restricted to maximal subgroups but both contain t- or k-subgroups of higher indices, with the exception of isomorphic subgroups, cf. Section 2.1.7.3[link] below.

The group–subgroup relations are direct relations between the space groups themselves, not between their types. However, each such relation is valid for a pair of space groups, one from each of the types, and for each space group of a given type there exists a corresponding relation. In this sense, one can speak of a relation between the space-group types, keeping in mind the difference between space groups and space-group types, cf. Section 1.2.5.3[link] .

The space groups in the graphs are denoted by the standard HM symbols and the space-group numbers. In each graph, each space-group type is displayed at most once. Such graphs are called contracted graphs here. Without this contraction, the more complex graphs would be much too large for the page size of this volume.

The symbol of a space group [{\cal G}] is connected by uninterrupted straight lines with the symbols of all maximal non-isomorphic subgroups [{\cal H}] or minimal non-isomorphic supergroups [{\cal S}] of [{\cal G}]. In general, the maximal subgroups of [{\cal G}] are drawn on a lower level than [{\cal G}]; in the same way, the minimal supergroups of [{\cal G}] are mostly drawn on a higher level than [{\cal G}]. For exceptions see Section 2.1.7.3[link]. Multiple lines may occur in the graphs for t-subgroups. They are explained in Section 2.1.7.2[link]. No indices are attached to the lines. They can be taken from the corresponding subgroup tables of Chapter 2.3[link] , and are also provided by the general formulae of Section 1.2.8[link] . For the k-subgroup graphs, they are further specified at the end of Section 2.1.7.3[link].

2.1.7.2. Graphs for translationengleiche subgroups

| top | pdf |

Let [{\cal G}] be a space group and [{\cal T}]([{\cal G}]) the normal subgroup of all its translations. Owing to the isomorphism between the factor group [{\cal G}/{\cal T}({\cal G})] and the point group [{\cal P}_{{\cal G}}], see Section 1.2.5.4[link] , according to the first isomorphism theorem, Ledermann (1976[link]), t-subgroup graphs are the same (up to the symbols) as the corresponding graphs between point groups. However, in this volume, the graphs are not complete but are contracted by displaying each space-group type at most once. This contraction may cause the graphs to look different from the point-group graphs and also different for different space groups of the same point group, cf. Example 2.1.7.2.1[link].

One can indicate the connections between a space group [{\cal G}] and its maximal subgroups in different ways. In the contracted t-subgroup graphs one line is drawn for each conjugacy class of maximal subgroups of [{\cal G}]. Thus, a line represents the connection to an individual subgroup only if this is a normal maximal subgroup of [{\cal G}], otherwise it represents the connection to more than one subgroup. The conjugacy relations are not necessarily transferable to non-maximal subgroups, cf. Example 2.1.7.2.2[link]. On the other hand, multiple lines are possible, see the examples. Although it is not in general possible to reconstruct the complete graph from the contracted one, the content of information of such a graph is higher than that of a graph which is drawn with simple lines only.

The graph for the space group at its top also contains the contracted graphs for all subgroups which occur in it, see the remark below Example 2.1.7.2.2[link].

Owing to lack of space for the large graphs, in all graphs of t-subgroups the group [P1], No. 1, and its connections have been omitted. Therefore, to obtain the full graph one has to supplement the graphs by [P1] at the bottom and to connect [P1] by one line to each of the symbols that have no connection downwards.

Within the same graph, symbols on the same level indicate subgroups of the same index relative to the group at the top. The distance between the levels indicates the size of the index. For a more detailed discussion, see Example 2.1.7.2.2[link]. For the sequence and the numbers of the graphs, see the paragraph below Example 2.1.7.2.2[link].

Example 2.1.7.2.1

Compare the t-subgroup graphs in Figs. 2.4.4.2[link] , 2.4.4.3[link] and 2.4.4.8[link] of [Pnna], No. 52, [Pmna], No. 53, and [Cmce], No. 64, respectively. The complete (uncontracted) graphs would have the shape of the graph of the point group [mmm] with [mmm] at the top (first level), seven point groups5 ([222], [mm2], [m2m], [2mm], [112/m], [12/m1] and [2/m11]) in the second level, seven point groups ([112], [121], [211], [11m], [1m1], [m11] and [\overline{1}]) in the third level and the point group [1] at the bottom (fourth level). The group [mmm] is connected to each of the seven subgroups at the second level by one line. Each of the groups of the second level is connected with three groups of the third level by one line. All seven groups of the third level are connected by one line each with the point group 1 at the bottom.

The contracted graph of the point group [mmm] would have [mmm] at the top, three point-group types ([222], [mm2] and [2/m]) at the second level and three point-group types ([2], m and [\overline{1}]) at the third level. The point group 1 at the bottom would not be displayed (no fourth level). Single lines would connect [mmm] with 222, [mm2] with 2, [2/m] with 2, [2/m] with m and [2/m] with [\overline{1}]; a double line would connect [mm2] with m; triple lines would connect [mmm] with [mm2], [mmm] with [2/m] and 222 with 2.

The number of fields in a contracted t-subgroup graph is between the numbers of fields in the full and in the contracted point-group graphs. The graph in Fig. 2.4.4.2[link] of [Pnna], No. 52, has six space-group types at the second level and four space-group types at the third level. For the graph in Fig. 2.4.4.3[link] of [Pmna], No. 53, these numbers are seven and five and for the graph in Fig. 2.4.4.8[link] of [Cmce], No. 64 (formerly [Cmca]), the numbers are seven and six. However, in all these graphs the number of connections is always seven from top to the second level and three from each field of the second level downwards to the ground level, independent of the amount of contraction and of the local multiplicity of lines.

Example 2.1.7.2.2

Compare the t-subgroup graphs shown in Fig. 2.4.1.1[link] for [Pm\overline{3}m], No. 221, and Fig. 2.4.1.5[link] , [Fm\overline{3}m], No. 225. These graphs are contracted from the point-group graph [m\overline{3}m]. There are altogether nine levels (without the lowest level of [P1]). The indices relative to the top space groups [Pm\overline{3}m] and [Fm\overline{3}m] are 1, 2, 3, 4, 6, 8, 12, 16 and 24, corresponding to the point-group orders 48, 24, 16, 12, 8, 6, 4, 3 and 2, respectively. The height of the levels in the graphs reflects the index; the distances between the levels are slightly distorted in order to adapt to the density of the lines. From the top space-group symbol there are five lines to the symbols of maximal subgroups: The three symbols at the level of index 2 are those of cubic normal subgroups, the one (tetragonal) symbol at the level of index 3 represents a conjugacy class of three, the symbol [R\overline{3}m], No. 166, at the level of index 4 represents a conjugacy class of four subgroups.

The graphs differ in the levels of the indices 12 and 24 (orthorhombic, monoclinic and triclinic subgroups) by the number of symbols (nine and seven for index 12, five and three for index 24). The number of lines between neighbouring connected levels depends only on the number and kind of symbols in the upper level. This property makes such graphs particularly useful.

However, for non-maximal subgroups the conjugacy relations may not hold. For example, in Fig. 2.4.1.1[link] , the space group [P222] has three normal maximal subgroups of type [P2] and is thus connected to its symbol by a triple line, although these subgroups are conjugate subgroups of the non-minimal supergroup [Pm\overline{3}m].

The t-subgroup graphs in Figs. 2.4.1.1[link] and 2.4.1.5[link] contain the t-subgroups of [Pm\overline{3}m] (221) and [Fm\overline{3}m] (225) and their relations. In addition, the t-subgroup graph of [Pm\overline{3}m] includes the t-subgroup graphs of [P432], [P\overline{4}3m], [Pm\overline{3}], [P23], [P4/mmm], [P\overline{4}2m], [P\overline{4}m2], [P4mm], [R\overline{3}m], [R3m] etc., that of [Fm\overline{3}m] includes those of [F432], [F\overline{4}3m], [Fm\overline{3}], [ I4/mmm], also [R\overline{3}m] etc. Thus, many other graphs can be extracted from the two basic graphs. The same holds for the other graphs displayed in Figs. 2.4.1.2[link] to 2.4.4.8[link] : each of them includes the contracted graphs of all its subgroups. For this reason one does not need 229 or 218 different graphs to cover all t-subgroup graphs of the 229 space-group types but only 37 ([P1] can be excluded as trivial).

The preceding Example 2.1.7.2.2[link] suggests that one should choose the graphs in such a way that their number can be kept small. It is natural to display the `big' graphs first and later those smaller graphs that are still missing. This procedure is behind the sequence of the t-subgroup graphs in this volume.

  • (1) The ten graphs of [Pm\overline{3}m], No. 221, to [Ia\overline{3}d], No. 230, form the first set of graphs in Figs. 2.4.1.1[link] to 2.4.1.10[link] .

  • (2) There are a few cubic space groups left which do not appear in the first set. They are covered by the graphs of [P4_132] (213), [P4_332] (212) and [Pa\overline{3}] (205). These graphs have large parts in common so that they can be united in Fig. 2.4.1.11[link] .

  • (3) No cubic space group is left now, but only eight tetragonal space groups of crystal class [4/mmm] have appeared up to now. Among them are all graphs for [4/mmm] space groups with an I lattice which are contained in Figs. 2.4.1.5[link] to 2.4.1.8[link] of the F-centred cubic space groups. The next 12 graphs, Figs. 2.4.2.1[link] to 2.4.2.12[link] , are those for the space groups of the crystal class [4/mmm] with lattice symbol P and different third and fourth constituents of the HM symbol. They start with [P4/mcc], No. 124, and end with [P4_2/ncm], No. 138.

  • (4) Two (enantiomorphic) tetragonal space-group types are left which are compiled in Fig. 2.4.2.13[link] .

  • (5) The next set is formed by the four graphs in Figs. 2.4.3.1[link] to 2.4.3.4[link] of the hexagonal space groups [P6/mmm], No. 191, to [P6_3/mmc], No. 194. The hexagonal and trigonal enantiomorphic space groups do not appear in these graphs. They are combined in Fig. 2.4.3.5[link] , the last one of hexagonal origin.

  • (6) Several orthorhombic space groups are still left. They are treated in the eight graphs in Figs. 2.4.4.1[link] to 2.4.4.8[link] , from [Pmma], No. 51, to [Cmce], No. 64 (formerly [Cmca]).

  • (7) For each space group, the contracted graph of all its t-subgroups is provided in at least one of these 37 graphs.

For the index of a maximal t-subgroup, Lemma 1.2.8.2.3[link] is repeated: 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}].

2.1.7.3. Graphs for klassengleiche subgroups

| top | pdf |

There are 29 graphs for klassengleiche or k-subgroups, one for each crystal class with the exception of the crystal classes 1, [\overline{1}] and [\overline{6}] with only one space-group type each: [P1], No. 1, [P\overline{1}], No. 2, and [P\overline{6}], No. 174, respectively. The sequence of the graphs is determined by the sequence of the point groups in IT A, Table 2.1.2.1[link] , fourth column. The graphs of [\overline{4}], [\overline{3}] and [6/m] are nearly trivial, because to these crystal classes only two space-group types belong. The graphs of [mm2] with 22, of [mmm] with 28 and of [4/mmm] with 20 space-group types are the most complicated ones.

Isomorphic subgroups are special cases of k-subgroups. With the exception of both partners of the enantiomorphic space-group types, isomorphic subgroups are not displayed in the graphs. The explicit display of the isomorphic subgroups would add an infinite number of lines from each field for a space group back to this field, or at least one line (e.g. a circle) implicitly representing the infinite number of isomorphic subgroups, see the tables of maximal subgroups of Chapter 2.3[link] .6 Such a line would have to be attached to every space-group symbol. Thus, there would be no more information.

Nevertheless, connections between isomorphic space groups are included indirectly if the group–subgroup chain encloses a space group of another type. In this case, a space group [{\cal X}] may be a subgroup of a space group [{\cal Y}] and [{\cal Y}'] a subgroup of [{\cal X}], where [{\cal Y}] and [{\cal Y}'] belong to the same space-group type. The subgroup chain is then [{\cal Y}][{\cal X}][{\cal Y}']. The two space groups [{\cal Y}] and [{\cal Y}'] are not identical but isomorphic. Whereas in general the label for the subgroup is positioned at a lower level than that for the original space group, for such relations the symbols for [{\cal X}] and [{\cal Y}] can only be drawn on the same level, connected by horizontal lines. If this happens at the top of a graph, the top level is occupied by more than one symbol (the number of symbols in the top level is the same as the number of symmorphic space-group types of the crystal class).

Horizontal lines are drawn as left or right arrows depending on the kind of relation. The arrow is always directed from the supergroup to the subgroup. If the relation is two-sided, as is always the case for enantiomorphic space-group types, then the relation is displayed by a pair of horizontal lines, one of them formed by a right and the other by a left arrow. In the graph in Fig. 2.5.1.5[link] for crystal class [mm2], the connections of [Pmm2] with [Cmm2] and with [Amm2] are displayed by double-headed arrows instead. Furthermore, some arrows in Fig. 2.5.1.5[link] , crystal class [mm2], and Fig. 2.5.1.6[link] , [mmm], are dashed or dotted in order to better distinguish the different lines and to increase clarity.

The different kinds of relations are demonstrated in the following examples.

Example 2.1.7.3.1

In the graph in Fig. 2.5.1.1[link] , crystal class 2, a space group [P2] may be a subgroup of index 2 of a space group [C2] by `Loss of centring translations'. On the other hand, subgroups of [P2] in the block `Enlarged unit cell', [{\bf a}'=2{\bf a},\, {\bf b}'=2{\bf b},\, C2\,\,(3)] belong to the type [C2], see the tables of maximal subgroups in Chapter 2.3[link] . Therefore, both symbols are drawn at the same level and are connected by a pair of arrows pointing in opposite directions. Thus, the top level is occupied twice. In the graph in Fig. 2.5.1.2[link] of crystal class m, both the top level and the bottom level are occupied twice.

Example 2.1.7.3.2

There are four symbols at the top level of the graph in Fig. 2.5.1.4[link] , crystal class 222. Their relations are rather complicated. Whereas one can go (by index 2) from [P222] directly to a subgroup of type [C222] and vice versa, the connection from [F222] directly to [C222] is one-way. One always has to pass [C222] on the way from [F222] to a subgroup of the types [P222] or [I222]. Thus, the only maximal subgroup of [F222] among these groups is [C222]. One can go directly from [P222] to [F222] but not to [I222] etc.

Because of the horizontal connecting arrows, it is clear that there cannot be much correspondence between the level in the graphs and the subgroup index. However, in no graph is a subgroup positioned at a higher level than the supergroup.

Example 2.1.7.3.3

Consider the graph in Fig. 2.5.1.6[link] for crystal class [mmm]. To the space group [Cmmm] (65) belong maximal non-isomorphic subgroups of the 11 space-group types (from left to right) [Ibam] (72), [Cmcm] (63), [Imma] (74), [Pmmn] (59), [Pbam] (55), [Pban] (50), [Pmma] (51), [Pmna] (53), [Cccm] (66), [Pmmm] (47) and [Immm] (71). Although all of them have index 2, their symbols are positioned at very different levels of the graph.

The table for the subgroups of [Cmmm] in Chapter 2.3[link] lists 22 non-isomorphic k-subgroups of index 2, because some of the space-group types mentioned above are represented by two or four different subgroups. This multiplicity cannot be displayed by multiple lines because the density of the lines in some of the k-subgroup graphs does not permit this kind of presentation, e.g. for [mmm]. The multiplicity may be taken from the subgroup tables in Chapter 2.3[link] , where each non-isomorphic subgroup is listed individually.

Consider the connections from [Cmmm] (65) to [Pbam] (55). There are among others: the direct connection of index 2, the connection of index 4 over [Ibam] (72), the connection of index 8 over [Imma] (74) and [Pmma] (51). Thus, starting from the same space group of type [Cmmm] one arrives at different space groups of the type [Pbam] with different unit cells but all belonging to the same space-group type and thus represented by the same field of the graph.

The index of a k-subgroup is restricted by Lemma 1.2.8.2.3[link] and by additional conditions. For the following statements one has to note that enantiomorphic space groups are isomorphic.

  • (1) A non-isomorphic maximal k-subgroup of an oblique, rectangular or tetragonal plane group or of a triclinic, monoclinic, orthorhombic or tetragonal space group always has index 2.

  • (2) In general, a non-isomorphic maximal k-subgroup [{\cal H}] of a trigonal space group [{\cal G}] has index 3. Exceptions are the pairs [P3m1][P3c1], [P31m][P31c], [R3m][R3c], [P\overline{3}1m][ P\overline{3}1c], [P\overline{3}m1][P\overline{3}c1] and [R\overline{3}m][R\overline{3}c] with space-group Nos. between 156 and 167. They have index 2.

  • (3) A non-isomorphic maximal k-subgroup [{\cal H}] of a hexagonal space group has index 2 or 3.

  • (4) A non-isomorphic maximal k-subgroup [{\cal H}] of a cubic space group [{\cal G}] has either index 2 or index 4. The index is 2 if [{\cal G}] has an I lattice and [{\cal H}] a P lattice or if [{\cal G}] has a P lattice and [{\cal H}] an F lattice. The index is 4 if [{\cal G}] has an F lattice and [{\cal H}] a P lattice or if [{\cal G}] has a P lattice and [{\cal H}] an I lattice.

2.1.7.4. Graphs for plane groups

| top | pdf |

There are no graphs for plane groups in this volume. The four graphs for t-subgroups of plane groups are apart from the symbols the same as those for the corresponding space groups: [p4mm][P4mm], [p6mm][P6mm], [p2mg][Pma2] and [p2gg][Pba2], where the graphs for the space groups are included in the t-subgroup graphs in Figs. 2.4.1.1[link] , 2.4.3.1[link] , 2.4.2.1[link] and 2.4.2.3[link] , respectively.

The k-subgroup graphs are trivial for the plane groups [p1], [p2], [p4], [p3], [p6] and [p6mm] because there is only one plane group in its crystal class. The graphs for the crystal classes [4mm] and [3m] consist of two plane groups each: [p4mm] and [p4gm], [p3m1] and [p31m]. Nevertheless, the graphs are different: the relation is one-sided for the tetragonal plane-group pair as it is in the space-group pair [P6/m\,\,(175)\hbox{--}P6_3/m\,\,(176)] and it is two-sided for the hexagonal plane-group pair as it is in the space-group pair [P\overline{4}] (81)–[I\overline{4}] (82). The graph for the three plane groups of the crystal class m corresponds to the space-group graph for the crystal class 2.

Finally, the graph for the four plane groups of crystal class [2mm] has no direct analogue among the k-subgroup graphs of the space groups. It can be obtained, however, from the graph in Fig. 2.5.1.3[link] of crystal class [2/m] by removing the fields of [C2/c] (15) and [P2_1/m] (11) with all their connections to the remaining fields. The replacements are then: [C2/m] (12) by [c2mm] (9), [P2/m] (10) by [p2mm] (6), [P2/c] (13) by [p2mg] (7) and [P2_1/c] (14) by [p2gg] (8).

2.1.7.5. Application of the graphs

| top | pdf |

If a subgroup is not maximal then there must be a group–subgroup chain [{\cal G}][{\cal H}] of maximal subgroups with more than two members which connects [{\cal G}] with [{\cal H}]. There are three possibilities: [{\cal H}] may be a t-subgroup or a k-subgroup or a general subgroup of [{\cal G}]. In the first two cases, the application of the graphs is straightforward because at least one of the graphs will permit one to find the possible chains directly. If [{\cal H}] is a k-subgroup of [{\cal G}], isomorphic subgroups have to be included if necessary. If [{\cal H}] is a general subgroup of [{\cal G}] one has to combine t- and k-subgroup graphs, but the problem is only slightly more complicated. This is because for a general subgroup [{\cal H} \,\lt\, {\cal G}], Hermann's theorem 1.2.8.1.2[link] states the existence of an intermediate group [{\cal M}] with [{\cal H} \,\lt\, {\cal M} \,\lt\, {\cal G}] and the properties [{\cal H} \,\lt\, {\cal M}] is a k-subgroup of [{\cal M}] and [{\cal M} \,\lt\, {\cal G}] is a t-subgroup of [{\cal G}].

Thus, however long and complicated the real chain may be, there is also always a chain for which only two graphs are needed: a t-subgroup graph for the relation between [{\cal G}] and [{\cal M}] and a k-subgroup graph for the relation between [{\cal M}] and [{\cal H}].

There is, however, a severe shortcoming to using contracted graphs for the analysis of group–subgroup relations, and great care has to be taken in such investigations. All subgroups [{\cal H}_j] with the same space-group type are represented by the same field of the graph, but these different non-maximal subgroups may permit different routes to a common original (super)group.

Example 2.1.7.5.1

An example for translationengleiche subgroups is provided by the group–subgroup chain [Fm\overline{3}m\,\,(225)\hbox{--}C2/m\,\,(12)] of index 12. The contracted graph may be drawn by the program Subgroupgraph from the Bilbao Crystallographic Server, http://www.cryst.ehu.es/ . It is shown in Fig. 2.1.7.1[link]; each field represents all occurring subgroups of a space-group type: [I4/mmm] (139) represents three subgroups, [R\overline{3}m] (166) represents four subgroups, [\ldots] and [C2/m] (12) represents nine subgroups belonging to two conjugacy classes. Fig. 2.1.7.1[link] is part of the contracted total graph of the translationengleiche subgroups of the space group [Fm\overline{3}m], which is displayed in Fig. 2.4.1.5[link] . With Subgroupgraph one can also obtain the complete graph between [Fm\overline{3}m] and the set of all nine subgroups of the type [C2/m]. It is too large to be reproduced here.

[Figure 2.1.7.1]

Figure 2.1.7.1 | top | pdf |

Contracted graph of the group–subgroup chains from [Fm\overline{3}m] (225) to those subgroups with index 12 which belong to the space-group type [C2/m] (12). The graph forms part of the total contracted graph of t-subgroups of [Fm\overline{3}m] (Fig.2.4.1.5[link] ).

More instructive are the complete graphs for different single subgroups of the type [C2/m] of [Fm\overline{3}m]. They can be obtained with the program Symmodes from the same server as above. In Fig. 2.1.7.2[link] such a graph is displayed for one of the six subgroups of type [C2/m] of index 12 whose monoclinic axes point in the [\langle 110 \rangle] directions of [Fm\overline{3}m]. Similarly, in Fig. 2.1.7.3[link] the complete graph is drawn for one of the three subgroups of [C2/m] of index 12 whose monoclinic axes point in the [\langle 001 \rangle] directions of [Fm\overline{3}m]. It differs markedly from the contracted graph and from the first complete graph. It is easily seen that it may be very misleading to use the contracted graph or the wrong individual complete graph instead of the right individual complete graph.

[Figure 2.1.7.2]

Figure 2.1.7.2 | top | pdf |

Complete graph of the group–subgroup chains from [Fm\overline{3}m] (225) to one representative of those six [C2/m] (12) subgroups with index 12 whose monoclinic axes are along the [\langle 110 \rangle] directions of [Fm\overline{3}m].

[Figure 2.1.7.3]

Figure 2.1.7.3 | top | pdf |

Complete graph of the group–subgroup chains from [Fm\overline{3}m] (225) to one representative of those three [C2/m] (12) subgroups with index 12 whose monoclinic axes are along the [\langle 001 \rangle] directions of [Fm\overline{3}m].

The following example deals with general subgroups.

Example 2.1.7.5.2

The crystal structures of SrTiO3 and KCuF3 both belong to the space-group type [I4/mcm], No. 140. They can be derived by different distortions from the same ideal perovskite ABX3 structure with the space group [Pm\overline{3}m], No. 221. Common to both chains is Hermann's group [{\cal M}] of space group [P4/mmm], No. 123, and the unit cell of ABX3. This is the only intermediate group for SrTiO3. For the pair ABX3–KCuF3, on the other hand, there exists another chain with an intermediate space group of type [Fm\overline{3}c], No. 226. The combination of the graph in Fig. 2.4.1.1[link] for t-subgroups with the graph in Fig. 2.5.2.7[link] for k-subgroups is thus possible for both crystal–chemical relations. The combination of the graph in Fig. 2.5.5.5[link] for k-subgroups with the graph in Fig. 2.4.1.6[link] for t-subgroups is, however, only meaningful for the chain ABX3–KCuF3. This cannot be concluded from the contracted graphs but can be seen from the complete graph, as displayed in Fig. 1 of Wondratschek & Aroyo (2001[link]).

References

Ascher, E. (1968). Lattices of equi-translation subgroups of the space groups. Geneva: Battelle Institute.
Bärnighausen, H. (1980). Group–subgroup relations between space groups: a useful tool in crystal chemistry. MATCH Comm. Math. Chem. 9, 139–175.
International Tables for Crystallography (2005). Vol. A, Space-group symmetry, edited by Th. Hahn, 5th ed. Heidelberg: Springer. (Abbreviated IT A.)
International Tables for X-ray Crystallography (1952, 1965, 1969). Vol. I, Symmetry groups, edited by N. F. M. Henry & K. Lonsdale. Birmingham: Kynoch Press.
Internationale Tabellen zur Bestimmung von Kristallstrukturen (1935). 1. Bd. Edited by C. Hermann. Berlin: Borntraeger. (In German, English and French.) (Abbreviated IT 35.)
Ledermann, W. (1976). Introduction to group theory. London: Longman. (German: Einführung in die Gruppentheorie, Braunschweig: Vieweg, 1977.)
Neubüser, J. & Wondratschek, H. (1966). Untergruppen der Raumgruppen. Krist. Tech. 1, 529–543.
Wondratschek, H. & Aroyo, M. I. (2001). The application of Hermann's group [{\cal M}] in group–subgroup relations between space groups. Acta Cryst. A57, 311–320.








































to end of page
to top of page