Maximal subgroups and minimal supergroups

Hahn, Th.; Looijenga-Vos, A.

doi:10.1107/97809553602060000505

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

pdf | chapter contents | chapter index | related articles

International Tables for Crystallography (2006). Vol. A. ch. 2.2, pp. 35-38

Section 2.2.15. Maximal subgroups and minimal supergroups

Th. Hahn^a ^* and A. Looijenga-Vos^b ^‡

^a Institut für Kristallographie, Rheinisch-Westfälische Technische Hochschule, Aachen, Germany, and ^bLaboratorium voor Chemische Fysica, Rijksuniversiteit Groningen, The Netherlands
Correspondence e-mail: hahn@xtl.rwth-aachen.de

2.2.15. Maximal subgroups and minimal supergroups

| top | pdf |

The present section gives a brief summary, without theoretical explanations, of the sub- and supergroup data in the space-group tables. The theoretical background is provided in Section 8.3.3 and Part 13 . Detailed sub- and supergroup data are given in International Tables for Crystallography Volume A1 (2004).

2.2.15.1. Maximal non-isomorphic subgroups⁶

| top | pdf |

The maximal non-isomorphic subgroups $[{\cal H}]$ of a space group $[{\cal G}]$ are divided into two types: $[\eqalign{&{\bf I}\quad translationengleiche\quad \hbox{or } t\ \hbox{subgroups}\cr &{\bf II}\;\ klassengleiche\phantom{leiche\quad } \hbox{or } k\ \hbox{subgroups}.}]$ For practical reasons, type II is subdivided again into two blocks:

IIa the conventional cells of $[{\cal G}]$ and $[{\cal H}]$ are the same

IIb the conventional cell of $[{\cal H}]$ is larger than that of $[{\cal G}]$ . ⁷

Block IIa has no entries for space groups $[{\cal G}]$ with a primitive cell. For space groups $[{\cal G}]$ with a centred cell, it contains those maximal subgroups $[{\cal H}]$ that have lost some or all centring translations of $[{\cal G}]$ but none of the integral translations (`decentring ' of a centred cell).

Within each block, the subgroups are listed in order of increasing index [i] and in order of decreasing space-group number for each value of i.

(i) Blocks I and IIa

In blocks I and IIa, every maximal subgroup $[{\cal H}]$ of a space group $[{\cal G}]$ is listed with the following information:

[i] HMS1 (HMS2, No.) Sequence of numbers.

The symbols have the following meaning:

[i]: index of $[{\cal H}]$ in $[{\cal G}]$ (cf. the footnote to Section 8.1.6);

HMS1: Hermann–Mauguin symbol of $[{\cal H}]$ , referred to the coordinate system and setting of $[{\cal G}]$ ; this symbol may be unconventional;

(HMS2, No.): conventional short Hermann–Mauguin symbol of $[{\cal H}]$ , given only if HMS1 is not in conventional short form, and the space-group number of $[{\cal H}]$ .

Sequence of numbers: coordinate triplets of $[{\cal G}]$ retained in $[{\cal H}]$ . The numbers refer to the numbering scheme of the coordinate triplets of the general position of $[{\cal G}]$ (cf. Section 2.2.9). The following abbreviations are used:

Block I (all translations retained):
Number	Coordinate triplet given by Number, plus those obtained by adding all centring translations of $[{\cal G}]$ .
(Numbers)	The same, but applied to all Numbers between parentheses.
Block IIa (not all translations retained):
$[Number + (t_{1},t_{2},t_{3})]$	Coordinate triplet obtained by adding the translation $[t_{1},t_{2},t_{3}]$ to the triplet given by Number.
$[(Numbers) + (t_{1},t_{2},t_{3})]$	The same, but applied to all Numbers between parentheses.

In blocks I and IIa, sets of conjugate subgroups are linked by left-hand braces. For an example, see space group $[R\bar{3}]$ (148) below.

Examples

(1) $[{\cal G}\!\!: C1m1\;(8)]$ $[\displaylines{\quad\;\;{\matrix{{\bf I}\hfill\cr {\bf IIa}\hfill\cr\cr}\quad\matrix{[2]\;C1\;(P1,1)\hfill\cr [2]\;P1a1\;(Pc,7)\hfill\cr[2]\;P1m1\;(Pm,6)\hfill\cr}\qquad\matrix{1+\hfill\cr 1{\hbox{;}}\;2+(1/2,1/2,0)\hfill\cr 1{\hbox {;}}\;2\hfill\cr}\hfill}\hfill}]$ where the numbers have the following meaning: $[\eqalign{\matrix{1 + \hfill &x, y, z{\hbox{;}} &x + 1/2, y + 1/2, z\cr 1{\hbox{;}}\;2 \hfill &x, y, z{\hbox{;}} &x, \bar{y}, z\hfill \cr 1{\hbox{;}}\;2 + (1/2, 1/2, 0) &x, y, z{\hbox{;}} &x + 1/2, \bar{y} + 1/2, z.\cr}}]$
(2) $[{\cal G}\!\!: Fdd2\;(43)]$ $[\;\;{\bf I}\quad [2]\;F112 \;(C2, 5)\qquad \qquad (1;2) +]$ where the numbers have the following meaning: $[\phantom{\;\;{\bf I}}\quad\eqalign{\matrix{(1{\hbox{; }}2) + &x, y, z{\hbox{;}}\; \quad x + 1/2, y + 1/2, z{\hbox {;}}\hfill \cr & x + 1/2, y, z + 1/2{\hbox{;}}\;\quad x, y + 1/2, z + 1/2{\hbox{;}}\hfill\cr& \bar{x}, \bar{y}, z{\hbox {;}}\;\quad \bar{x} + 1/2, \bar{y} + 1/2, z{\hbox{;}}\hfill\cr& \bar{x} + 1/2, \bar{y}, z + 1/2{\hbox{;}}\;\quad \bar{x}, \bar{y} + 1/2, z + 1/2.\hfill\cr}}\hfill]$
(3) $[{\cal G}\!\!: P4_{2}/nmc = P4_{2}/n 2_{1}/m 2/c\ (137)]$ $[\quad\;\;{\bf I}\quad [2]\; P2/n2_{1}/m1\ (Pmmn, 59)\ 1{\hbox{;}}\; 2{\hbox{;}}\; 5{\hbox{;}}\; 6{\hbox{;}}\; 9{\hbox{;}}\; 10{\hbox{;}}\; 13{\hbox{;}}\; 14.]$

Operations $[4_{2}, 2]$ and c, occurring in the Hermann–Mauguin symbol of $[{\cal G}]$ , are lacking in $[{\cal H}]$ . In the unconventional `tetragonal version' $[P2/n2_{1}/m 1]$ of the symbol of $[{\cal H}, 2_{1}/m]$ stands for two sets of $[2_{1}/m]$ (along the two orthogonal secondary symmetry directions), implying that $[{\cal H}]$ is orthorhombic. In the conventional `orthorhombic version', the full symbol of $[{\cal H}]$ reads $[P2_{1}/m 2_{1}/m 2/n]$ and the short symbol Pmmn.

(ii) Block IIb

Whereas in blocks I and IIa every maximal subgroup $[{\cal H}]$ of $[{\cal G}]$ is listed, this is no longer the case for the entries of block IIb. The information given in this block is:

[i] HMS1 (Vectors) (HMS2, No.)

The symbols have the following meaning:

[i]: index of $[{\cal H}]$ in $[{\cal G}]$ ;

HMS1: Hermann–Mauguin symbol of $[{\cal H}]$ , referred to the coordinate system and setting of $[{\cal G}]$ ; this symbol may be unconventional;⁸

(Vectors): basis vectors a′, b′, c′ of $[{\cal H}]$ in terms of the basis vectors a, b, c of $[{\cal G}]$ . No relations are given for unchanged axes, e.g. $[{\bf a}' = {\bf a}]$ is not stated;

(HMS2, No.): conventional short Hermann–Mauguin symbol, given only if HMS1 is not in conventional short form, and the space-group number of $[{\cal H}]$ .

In addition to the general rule of increasing index [i] and decreasing space-group number (No.), the sequence of the IIb subgroups also depends on the type of cell enlargement. Subgroups with the same index and the same kind of cell enlargement are listed together in decreasing order of space-group number (see example 1 below).

In contradistinction to blocks I and IIa, for block IIb the coordinate triplets retained in $[{\cal H}]$ are not given. This means that the entry is the same for all subgroups $[{\cal H}]$ that have the same Hermann–Mauguin symbol and the same basis-vector relations to $[{\cal G}]$ , but contain different sets of coordinate triplets. Thus, in block IIb, one entry may correspond to more than one subgroup,⁹ as illustrated by the following examples.

Examples

(1) $[{\cal G}\!\!: Pmm2\ (25)]$ $[\displaylines{\quad\;\; \eqalign{{\bf IIb}\;\; &\ldots [2]\; Pbm2\; ({\bf b}' = 2{\bf b})\; (Pma2, 28); [2]\;Pcc2\;({\bf c}' = 2{\bf c})\; (27);\cr &\ldots [2]\;Cmm2\;({\bf a}' = 2{\bf a}, {\bf b}' = 2{\bf b})\; (35);\;\ldots\cr}\hfill}]$

Each of the subgroups is referred to its own distinct basis a′, b′, c′, which is different in each case. Apart from the translations of the enlarged cell, the generators of the subgroups, referred to a′, b′, c′, are as follows: $[{\hbox to -4pt{}}\matrix{Pbm2 \hfill &x,y,z{\hbox{;}}\; \hfill &\bar{x},\bar{y},z{\hbox{;}}\; \hfill &x,\bar{y} + 1/2,z &\hbox{or} \hfill &\cr &x,y,z{\hbox{;}}\; &\bar{x},\bar{y} + 1/2,z{\hbox{;}}\; \hfill &{\hbox to 2.5pt{}}x,\bar{y},z \hfill & &\cr Pcc2 \hfill &x,y,z{\hbox{;}}\; \hfill &\bar{x},\bar{y},z{\hbox{;}}\; \hfill &x,\bar{y},z + 1/2 & &\cr Cmm2 &x,y,z{\hbox{;}}\; &x + 1/2,y + 1/2,z{\hbox{;}}\; &{\hbox to 2.5pt{}}\bar{x},\bar{y},z{\hbox{;}}\; \hfill &x,\bar{y},z \hfill &\hbox{or}\cr &x,y,z{\hbox{;}}\; &x + 1/2,y + 1/2,z{\hbox{;}}\; &{\hbox to 2.5pt{}}\bar{x},\bar{y},z{\hbox{;}}\; \hfill &x,\bar{y} + 1/2,z &\hbox{or}\cr &x,y,z{\hbox{;}}\; &x + 1/2,y + 1/2,z{\hbox{;}}\; &{\hbox to 2.5pt{}}\bar{x},\bar{y} + 1/2,z{\hbox{;}}\; &x,\bar{y},z \hfill &\hbox{or}\cr &x,y,z{\hbox{;}}\; &x + 1/2,y + 1/2,z{\hbox{;}}\; &{\hbox to 2.5pt{}}\bar{x},\bar{y} + 1/2,z{\hbox{;}}\; &x,\bar{y} + 1/2,z. &\cr}]$

There are thus 2, 1 or 4 actual subgroups that obey the same basis-vector relations. The difference between the several subgroups represented by one entry is due to the different sets of symmetry operations of $[{\cal G}]$ that are retained in $[{\cal H}]$ . This can also be expressed as different conventional origins of $[{\cal H}]$ with respect to $[{\cal G}]$ .

(2) $[{\cal G}: P3m1\ (156)]$ $[{\bf IIb}\ \ldots [3] \;H3m1\; ({\bf a}' = 3{\bf a}, {\bf b}' = 3{\bf b})\; (P31m, 157)]$

The nine subgroups of type P31m may be described in two ways:

(i) By partial `decentring' of ninetuple cells ( $[{\bf a}' = 3{\bf a}]$ , $[{\bf b}' = 3{\bf b}]$ , $[{\bf c}' = {\bf c}]$ ) with the same orientations as the cell of the group $[{\cal G}({\bf a},{\bf b},{\bf c})]$ in such a way that the centring points 0, 0, 0; ; (referred to a′, b′, c′) are retained. The conventional space-group symbol P31m of these nine subgroups is referred to the same basis vectors $[{\bf a}'' = {\bf a} - {\bf b}]$ , $[{\bf b}'' = {\bf a} + 2{\bf b}]$ , $[{\bf c}'' = {\bf c}]$ , but to different origins; cf. Section 2.2.15.5. This kind of description is used in the space-group tables of this volume.
(ii) Alternatively, one can describe the group $[{\cal G}]$ with an unconventional H-centred cell ( $[{\bf a}' = {\bf a} - {\bf b}]$ , $[{\bf b}' = {\bf a} + 2{\bf b}]$ , $[{\bf c}' = {\bf c}]$ ) referred to which the space-group symbol is H31m. `Decentring ' of this cell results in the conventional space-group symbol P31m for the subgroups, referred to the basis vectors a′, b′, c′. This description is used in Section 4.3.5 .

(iii) Subdivision of k subgroups into blocks IIa and IIb

The subdivision of k subgroups into blocks IIa and IIb has no group-theoretical background and depends on the coordinate system chosen. The conventional coordinate system of the space group $[{\cal G}]$ (cf. Section 2.1.3 ) is taken as the basis for the subdivision. This results in a uniquely defined subdivision, except for the seven rhombohedral space groups for which in the space-group tables both `rhombohedral axes' (primitive cell) and `hexagonal axes' (triple cell) are given (cf. Section 2.2.2). Thus, some k subgroups of a rhombohedral space group are found under IIa (klassengleich, centring translations lost) in the hexagonal description, and under IIb (klassengleich, conventional cell enlarged) in the rhombohedral description.

Example: $[{\cal G}\!\!:R\bar{3}\ (148)\qquad {\cal H}\!\!:P\bar{3}\ (147)]$

Hexagonal axes

$[\matrix{{\bf I}\hfill &\; \; \>\;[2]\;R3\;(146)\hfill&(1; 2; 3)+\hfill\cr&\; \; \>\;[3]\;R\bar{1}\;(P\bar{1},2)\hfill&(1;4)+\hfill\cr{\bf IIa}\hfill\cr \noalign{\vskip-9pt} &\cases{[3]\; P\bar{3}\; (147) \cr [3]\; P\bar{3}\; (147) \cr [3]\; P\bar{3}\; (147) \cr}\hfill\cr\noalign{\vskip-35pt} &&1 ; 2 ; 3 ; 4 ; 5 ; 6\hfill\cr&&1 ; 2 ; 3 ; (4 ; 5 ; 6) + ({1\over 3},{2\over 3},{2\over 3})\hfill\cr&&1 ; 2 ; 3 ; (4 ; 5 ; 6) + ({2\over 3},{1\over 3},{1\over 3})\hfill\cr\noalign{\vskip2pt}{\bf IIb}&\; \; \>\;\hbox{none}\hfill&\cr}]$

Rhombohedral axes

$[\matrix{{\bf I}\hfill&[2]\;R3\;(146)\quad\ \ 1;2;3\hfill\cr&[3]\;R\bar{1}\;(P\bar{1},2)\quad1;4\hfill\cr{\bf IIa}\hfill&\hbox{none}\hfill&\cr{\bf IIb}\hfill&[3]\;P\bar{3}\;({\bf a}'={\bf a}-{\bf b}, {\bf b}'={\bf b}-{\bf c},{\bf c}'={\bf a}+{\bf b}+{\bf c})\;(147).\hfill\cr}]$

Apart from the change from IIa to IIb, the above example demonstrates again the restricted character of the IIb listing, discussed above. The three conjugate subgroups $[P\bar{3}]$ of index [3] are listed under IIb by one entry only, because for all three subgroups the basis-vector relations between $[{\cal G}]$ and $[{\cal H}]$ are the same. Note the brace for the IIa subgroups, which unites conjugate subgroups into classes.

2.2.15.2. Maximal isomorphic subgroups of lowest index (cf. Part 13 )

| top | pdf |

Another set of klassengleiche subgroups are the isomorphic subgroups listed under IIc, i.e. the subgroups $[{\cal H}]$ which are of the same or of the enantiomorphic space-group type as $[{\cal G}]$ . The kind of listing is the same as for block IIb. Again, one entry may correspond to more than one isomorphic subgroup.

As the number of maximal isomorphic subgroups of a space group is always infinite, the data in block IIc are restricted to the subgroups of lowest index. Different kinds of cell enlargements are presented. For monoclinic, tetragonal, trigonal and hexagonal space groups, cell enlargements both parallel and perpendicular to the main rotation axis are listed; for orthorhombic space groups, this is the case for all three directions, a, b and c. Two isomorphic subgroups $[{\cal H}_{1}]$ and $[{\cal H}_{2}]$ of equal index but with cell enlargements in different directions may, nevertheless, play an analogous role with respect to $[{\cal G}]$ . In terms of group theory, $[{\cal H}_{1}]$ and $[{\cal H}_{2}]$ then are conjugate subgroups in the affine normalizer of $[{\cal G}]$ , i.e. they are mapped onto each other by automorphisms of $[{\cal G}]$ .¹⁰ Such subgroups are collected into one entry, with the different vector relationships separated by `or' and placed within one pair of parentheses; cf. example (4).

Examples

(1) $[{\cal G}\!\!: P\bar{3}1c\ (163)]$ $[{\bf IIc}\ [3] \;P\bar{3}1c \;({\bf c}' = 3{\bf c})\; (163); [4] \;P\bar{3}1c\; ({\bf a}' = 2{\bf a}, {\bf b}' = 2{\bf b})\; (163).]$

The first subgroup of index [3] entails an enlargement of the c axis, the second one of index [4] an enlargement of the mesh size in the a,b plane.
(2) $[{\cal G}\!\!: P23\ (195)]$ $[{\bf IIc}\ [27] \;P23\; ({\bf a}' = 3{\bf a},{\bf b}' = 3{\bf b},{\bf c}' = 3{\bf c})\; (195).]$ It seems surprising that [27] is the lowest index listed, even though another isomorphic subgroup of index [8] exists. The latter subgroup, however, is not maximal, as chains of maximal non-isomorphic subgroups can be constructed as follows: $[\eqalign{&P23 \rightarrow [4] \;I23 \;({\bf a}' = 2{\bf a},{\bf b}' = 2{\bf b},{\bf c}' = 2{\bf c}) \rightarrow [2] \;P23 \;({\bf a}',{\bf b}',{\bf c}')\cr \hbox{ or}&\cr &P23 \rightarrow [2]\; F23\; ({\bf a}' = 2{\bf a},{\bf b}' = 2{\bf b},{\bf c}' = 2{\bf c}) \rightarrow [4] \;P23\; ({\bf a}',{\bf b}',{\bf c}').}]$
(3) $[{\cal G}\!\!: P3_{1} 12\ (151)]$ $[\eqalign{{\bf IIc}\ &[2]\; P3_{2} 12\; ({\bf c}' = 2{\bf c})\; (153){\hbox {;}}\; [4]\; P3_{1} 12\; ({\bf a}' = 2{\bf a},{\bf b}' = 2{\bf b})\; (151){\hbox {;}}\; \cr &[7] \;P3_{1} 12\;({\bf c}' = 7{\bf c})\; (151).}]$ Note that the isomorphic subgroup of index [4] with $[{\bf c}' = 4{\bf c}]$ is not listed, because it is not maximal. This is apparent from the chain $[P3_{1} 12 \rightarrow [2]\; P3_{2} 12 \;({\bf c}' = 2{\bf c}) \rightarrow [2]\; P3_{1} 12\; ({\bf c}'' = 2{\bf c}' = 4{\bf c}).]$
(4) $[{\cal G}_{1}\!\!: Pnnm\ (58)]$ $[\openup1pt\eqalign{&{\bf IIc}\ [3]\; Pnnm\; ({\bf a}' = 3{\bf a} \hbox{ or } {\bf b}' = 3{\bf b})\ (58){\hbox {;}}\; [3] \;Pnnm \;({\bf c}' = 3{\bf c})\; (58){\hbox {;}}\; \cr &\hbox {but}\ {\cal G}_{2}\!\!: Pnna\; (52)\cr &{\bf IIc}\ [3] \;Pnna\; ({\bf a}' = 3{\bf a})\; (52){\hbox{;}}\; [3]\; Pnna\; ({\bf b}' = 3{\bf b})\; (52){\hbox{;}}\; \cr&\phantom{{\bf IIc}\ } [3] \;Pnna\; ({\bf c}' = 3{\bf c})\; (52).\cr\cr}]$ For $[{\cal G}_{1} = Pnnm]$ , the x and y directions are analogous, i.e. they may be interchanged by automorphisms of $[{\cal G}_{1}]$ . Such an automorphism does not exist for $[{\cal G}_{2} = Pnna]$ because this space group contains glide reflections a but not b.

2.2.15.3. Minimal non-isomorphic supergroups

| top | pdf |

If $[{\cal G}]$ is a maximal subgroup of a group $[{\cal S}]$ , then $[{\cal S}]$ is called a minimal supergroup of $[{\cal G}]$ . Minimal non-isomorphic supergroups are again subdivided into two types, the translationengleiche or t supergroups I and the klassengleiche or k supergroups II. For the minimal t supergroups I of $[{\cal G}]$ , the listing contains the index [i] of $[{\cal G}]$ in $[{\cal S}]$ , the conventional Hermann–Mauguin symbol of $[{\cal S}]$ and its space-group number in parentheses.

There are two types of minimal k supergroups II: supergroups with additional centring translations (which would correspond to the IIa type) and supergroups with smaller conventional unit cells than that of $[{\cal G}]$ (type IIb). Although the subdivision between IIa and IIb supergroups is not indicated in the tables, the list of minimal supergroups with additional centring translations (IIa) always precedes the list of IIb supergroups. The information given is similar to that for the non-isomorphic subgroups IIb, i.e., where applicable, the relations between the basis vectors of group and supergroup are given, in addition to the Hermann–Mauguin symbols of $[{\cal S}]$ and its space-group number. The supergroups are listed in order of increasing index and increasing space-group number.

The block of supergroups contains only the types of the non-isomorphic minimal supergroups $[{\cal S}]$ of $[{\cal G}]$ , i.e. each entry may correspond to more than one supergroup $[{\cal S}]$ . In fact, the list of minimal supergroups $[{\cal S}]$ of $[{\cal G}]$ should be considered as a backwards reference to those space groups $[{\cal S}]$ for which $[{\cal G}]$ appears as a maximal subgroup. Thus, the relation between $[{\cal S}]$ and $[{\cal G}]$ can be found in the subgroup entries of $[{\cal S}]$ .

Example: $[{\cal G}\!\!: Pna2_{1}\ (33)]$

Minimal non-isomorphic supergroups $[\;\;\eqalign{{\bf I}\phantom{I\ldots}&[2]\; Pnna\; (52); [2]\; Pccn\; (56); [2]\; Pbcn\; (60); [2] \;Pnma\; (62).\cr \ {\bf II} \ldots &[2]\; Pnm2_{1}\; ({\bf a}' = {\textstyle{1 \over 2}}{\bf a})\;(Pmn2_{1}, 31); \ldots.\cr}]$ Block I lists, among others, the entry [2] Pnma (62). Looking up the subgroup data of Pnma (62), one finds in block I the entry [2] $[Pn2_{1}a\ (Pna2_{1})]$ . This shows that the setting of Pnma does not correspond to that of $[Pna2_{1}]$ but rather to that of $[Pn2_{1}a]$ . To obtain the supergroup $[{\cal S}]$ referred to the basis of $[Pna2_{1}]$ , the basis vectors b and c must be interchanged. This changes Pnma to Pnam, which is the correct symbol of the supergroup of $[Pna2_{1}]$ .

Note on R supergroups of trigonal P space groups: The trigonal P space groups Nos. 143–145, 147, 150, 152, 154, 156, 158, 164 and 165 each have two rhombohedral supergroups of type II. They are distinguished by different additional centring translations which correspond to the `obverse ' and `reverse ' settings of a triple hexagonal R cell; cf. Chapter 1.2 . In the supergroup tables of Part 7 , these cases are described as [3] R3 (obverse) (146); [3] R3 (reverse) (146) etc.

2.2.15.4. Minimal isomorphic supergroups of lowest index

| top | pdf |

No data are listed for isomorphic supergroups IIc because they can be derived directly from the corresponding data of subgroups IIc (cf. Part 13 ).

2.2.15.5. Note on basis vectors

| top | pdf |

In the subgroup data, a′, b′, c′ are the basis vectors of the subgroup $[{\cal H}]$ of the space group $[{\cal G}]$ . The latter has the basis vectors a, b, c. In the supergroup data, a′, b′, c′ are the basis vectors of the supergroup $[{\cal S}]$ and a, b, c are again the basis vectors of $[{\cal G}]$ . Thus, a, b, c and a′, b′, c′ exchange their roles if one considers the same group–subgroup relation in the subgroup and the supergroup tables.

Examples

(1) $[{\cal G}\!\!: Pba2\ (32)]$

Listed under subgroups IIb, one finds, among other entries, $[[2]\;Pna2_{1}\;({\bf c}' = {\bf 2c})\ (33)]$ ; thus, $[{\bf c}(Pna2_{1}) = {\bf 2c}(Pba2)]$ .

Under supergroups II of $[Pna2_{1}\ (33)]$ , the corresponding entry reads $[[2]\; Pba2 \;({\bf c}' = {1 \over 2} {\bf c})\; (32)]$ ; thus $[{\bf c}(Pba2) = {1\over 2}{\bf c}(Pna2_{1})]$ .
(2) Tetragonal k space groups with P cells. For index [2], the relations between the conventional basis vectors of the group and the subgroup read (cf. Fig. 5.1.3.5 ) $[{\bf a}' = {\bf a} + {\bf b},{\hbox to 19pt{}} {\bf b}' = - {\bf a} + {\bf b}{\hbox to 21pt{}}({\bf a}', {\bf b}' \hbox{ for the subgroup}).\hfill]$ Thus, the basis vectors of the supergroup are $[{\bf a}' = {\textstyle{1 \over 2}} ({\bf a} - {\bf b}),\quad {\bf b}' = {\textstyle{1 \over 2}} ({\bf a} + {\bf b}){\hbox to 17pt{}} ({\bf a}', {\bf b}' \hbox{ for the supergroup}).\hfill]$ An alternative description is $[\displaylines{{\bf a}' = {\bf a} - {\bf b},{\hbox to 19pt{}}{\bf b}' = {\bf a} + {\bf b}\quad \quad\quad ({\bf a}', {\bf b}' \hbox{ for the subgroup})\hfill\cr {\bf a}' = {\textstyle{1 \over 2}} ({\bf a} + {\bf b}), {\hbox to 9pt{}}{\bf b}' = {\textstyle{1 \over 2}} (-{\bf a}+{\bf b})\quad ({\bf a}', {\bf b}' \hbox{ for the supergroup}).\hfill}]$
(3) Hexagonal k space groups. For index [3], the relations between the conventional basis vectors of the sub- and supergroup read (cf. Fig 5.1.3.8 ) $[{\bf a}' = {\bf a} - {\bf b},{\hbox to 19pt{}}{\bf b}' = {\bf a} + 2{\bf b}{\hbox to 23pt{}}({\bf a}', {\bf b}' \hbox{ for the subgroup}).\hfill]$ Thus, the basis vectors of the supergroup are $[{\bf a}' = {\textstyle{1 \over 3}} (2{\bf a} + {\bf b}),{\hbox to 4pt{}}{\bf b}' = {\textstyle{1 \over 3}}(-{\bf a} + {\bf b}){\hbox to 7pt{}}({\bf a}', {\bf b}' \hbox{ for the supergroup}).\hfill]$ An alternative description is $[\displaylines{{\bf a}' = 2{\bf a} + {\bf b},{\hbox to 14pt{}}{\bf b}' = - {\bf a} + {\bf b} \quad\quad\ ({\bf a}', {\bf b}' \hbox{ for the subgroup})\hfill\cr {\bf a}' = {\textstyle{1 \over 3}} ({\bf a} - {\bf b}),{\hbox to 8pt{}}{\bf b}' = {\textstyle{1 \over 3}} ({\bf a} + 2{\bf b}){\hbox to 14pt{}}({\bf a}', {\bf b}' \hbox{ for the supergroup}).\hfill}]$

References

International Tables for Crystallography (2004). Vol. A1, edited by H. Wondratschek & U. Müller. Dordrecht: Kluwer Academic Publishers.Google Scholar

International Tables for Crystallography (2006). Vol. A. ch. 2.2, pp. 35-38

Section 2.2.15. Maximal subgroups and minimal supergroups

2.2.15. Maximal subgroups and minimal supergroups

2.2.15.1. Maximal non-isomorphic subgroups6

Examples

Examples

Example:

2.2.15.2. Maximal isomorphic subgroups of lowest index (cf. Part 13 )

Examples

2.2.15.3. Minimal non-isomorphic supergroups

Example:

2.2.15.4. Minimal isomorphic supergroups of lowest index

2.2.15.5. Note on basis vectors

Examples

References

2.2.15.1. Maximal non-isomorphic subgroups⁶

Example: $[{\cal G}\!\!:R\bar{3}\ (148)\qquad {\cal H}\!\!:P\bar{3}\ (147)]$

Example: $[{\cal G}\!\!: Pna2_{1}\ (33)]$