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

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

Section 1.2.4. Subgroups

Hans Wondratscheka*

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

1.2.4. Subgroups

| top | pdf | Definition

| top | pdf |

There may be sets of elements [{\sf g}_k\in {\cal G}] that do not constitute the full group [{\cal G}] but nevertheless fulfil the group postulates for themselves.

Definition A subset [{\cal H}] of elements of a group [{\cal G}] is called a subgroup [{\cal H}] of [{\cal G}] if it fulfils the group postulates with respect to the law of composition of [{\cal G}].


  • (1) The group [{\cal G}] is considered to be one of its own subgroups. If subgroups [{\cal H}_j] are discussed where [{\cal G}] is included among the subgroups, we write [{\cal H}_j\le{\cal G}\,\, {\rm or } \,\, {\cal G}\ge{\cal H}_j]. If [{\cal G}] is excluded from the set [\{{\cal H}_j\}] of its subgroups, we write [{\cal H}_j \,\lt\, {\cal G}] or [{\cal G}>{\cal H}_j]. A subgroup [{\cal H}_j \,\lt\, {\cal G}] is called a proper subgroup of [{\cal G}].

  • (2) In a relation [{\cal G}\ge{\cal H}] or [{\cal G}>{\cal H}], [{\cal G}] is called a supergroup of [{\cal H}]. The symbols [\le,\ \ge,\ \lt] and [>] are used for supergroups in the same way as they are used for subgroups, cf. Section 2.1.6[link] .

  • (3) A subgroup of a finite group is finite. A subgroup of an infinite group may be finite or infinite.

  • (4) A subset [{\cal K}] of elements [{\sf g}_k\in{\cal G}] which does not necessarily form a group is designated by the symbol [{\cal K}\subset{\cal G}].

Definition A subgroup [{\cal H} \,\lt\, {\cal G}] is a maximal subgroup if no group [{\cal Z}] exists for which [{\cal H} \,\lt\, {\cal Z} \,\lt\, {\cal G}] holds. If [{\cal H}] is a maximal subgroup of [{\cal G}], then [{\cal G}] is a minimal supergroup of [{\cal H}].

This definition is very important for the tables of this volume, as only maximal subgroups of space groups are listed. If all maximal subgroups are known for any given space group, then any general subgroup [{\cal H} \,\lt\, {\cal G}] can be obtained by a (finite) chain of maximal subgroups between [{\cal G}] and [{\cal H}], see Section[link]. Moreover, the relations between a space group and its maximal subgroups are particularly transparent, cf. Lemma[link]. Coset decomposition and normal subgroups

| top | pdf |

Let [{\cal H} \,\lt\, {\cal G}] be a subgroup of [{\cal G}] of order [|{\cal H}|]. Because [{\cal H}] is a proper subgroup of [{\cal G}] there must be elements [{\sf g}_q\in{\cal G}] that are not elements of [{\cal H}]. Let [{\sf g}_2\in{\cal G}] be one of them. Then the set of elements [{\sf g}_2\,{\cal H}=\{{\sf g}_2\,{\sf h}_j\,|\, {\sf h}_j\in{\cal H}\}]3 is a subset of elements of [{\cal G}] with the property that all its elements are different and that the sets [{\cal H}] and [{\sf g}_2\,{\cal H}] have no element in common. Thus, the set [{\sf g}_2\,{\cal H}] also contains [|{\cal H}|] elements of [{\cal G}]. If there is another element [{\sf g}_3\in{\cal G}] which belongs neither to [{\cal H}] nor to [{\sf g}_2\,{\cal H}], one can form another set [{\sf g}_3{\cal H}=\{{\sf g}_3{\sf h}_j\,|\,{\sf h}_j\in{\cal H}\}]. All elements of [{\sf g}_3{\cal H}] are different and none occurs already in [{\cal H}] or in [{\sf g}_2\,{\cal H}]. This procedure can be continued until each element [{\sf g}_r\in{\cal G}] belongs to one of these sets. In this way the group [{\cal G}] can be partitioned, such that each element [{\sf g}\in{\cal G}] belongs to exactly one of these sets.

Definition The partition just described is called a decomposition ([{\cal G}] : [{\cal H}]) into left cosets of the group [{\cal G}] relative to the group [{\cal H}]. The sets [{\sf g}_p\,{\cal H},\ p=1,\ \ldots,\ i] are called left cosets, because the elements [{\sf h}_j\in {\cal H}] are multiplied with the new elements from the left-hand side. The procedure is called a decomposition into right cosets [{\cal H}{\sf g}_s] if the elements [{\sf h}_j\in{\cal H}] are multiplied with the new elements [{\sf g}_s] from the right-hand side. The elements [{\sf g}_p] or [{\sf g}_s] are called the coset representatives. The number of cosets is called the index [i=|{\cal G}:{\cal H}|] of [{\cal H}] in [{\cal G}].


  • (1) The group [{\cal H}={\sf g}_1{\cal H}] with [{\sf g}_1={\sf e}] is the first coset for both kinds of decomposition. It is the only coset which forms a group by itself.

  • (2) All cosets have the same length, i.e. the same number of elements, which is equal to [|{\cal H}|], the order of [{\cal H}].

  • (3) The index i is the same for both right and left decompositions. In IT A and in this volume, the index is frequently designated by the symbol [[i]].

  • (4) A coset does not depend on its representative element; starting from any of its elements will result in the same coset. The right cosets may be different from the left ones and the representatives of the right and left cosets may also differ.

  • (5) If the order [|{\cal G}|] of [{\cal G}] is infinite, then either the order [|{\cal H}|] of [{\cal H}] or the index [i=|{\cal G}:{\cal H}|] of [{\cal H}] in [{\cal G}] or both are infinite.

  • (6) The coset decomposition of a space group [{\cal G}] relative to its translation subgroup [{\cal T}]([{\cal G}]) is fundamental in crystallography, cf. Section[link].

From its definition and from the properties of the coset decomposition mentioned above, one immediately obtains the fundamental theorem of Lagrange (for another formulation, see Chapter 1.5[link] ):

Lemma Lagrange's theorem: Let [{\cal G}] be a group of finite order [|{\cal G}|] and [{\cal H} \,\lt\, {\cal G}] a subgroup of [{\cal G}] of order [|{\cal H}|]. Then [|{\cal H}|] is a divisor of [|{\cal G}|] and the equation [|{\cal H}|\times{}i=|{\cal G}|] holds where [i=|{\cal G}:{\cal H}|] is the index of [{\cal H}] in [{\cal G}].

A special situation exists when the left and right coset decompositions of [{\cal G}] relative to [{\cal H}] result in the partition of [{\cal G}] into the same cosets: [{\sf g}_p\,{\cal H}={\cal H}\,{\sf g}_p \,\,{ \rm for\,\, all }\,\,1\le p\le i. \eqno (]Subgroups [{\cal H}] that fulfil equation ([link] are called `normal subgroups' according to the following definition:

Definition A subgroup [{\cal H} \,\lt\, {\cal G}] is called a normal subgroup or invariant subgroup of [{\cal G}], [{\cal H}\triangleleft{\cal G}], if equation ([link] is fulfilled.

The relation [{\cal H}\triangleleft{\cal G}] always holds for [|{\cal G}:{\cal H}|=2], i.e. subgroups of index 2 are always normal subgroups. The subgroup [{\cal H}] contains half of the elements of [{\cal G}], whereas the other half of the elements forms `the other' coset. This coset must then be the right as well as the left coset. Conjugate elements and conjugate subgroups

| top | pdf |

In a coset decomposition, the set of all elements of the group [{\cal G}] is partitioned into cosets which form classes in the mathematical sense of the word, i.e. each element of [{\cal G}] belongs to exactly one coset.

Another equally important partition of the group [{\cal G}] into classes of elements arises from the following definition:

Definition Two elements [{\sf g}_j,{\sf g}_k\in{\cal G}] are called conjugate if there is an element [{\sf g}_q\in{\cal G}] such that [{\sf g}_q^{-1}{\sf g}_j\,{\sf g}_q={\sf g}_k].


  • (1) Definition[link] partitions the elements of [{\cal G}] into classes of conjugate elements which are called conjugacy classes of elements.

  • (2) The unit element always forms a conjugacy class by itself.

  • (3) Each element of an Abelian group forms a conjugacy class by itself.

  • (4) Elements of the same conjugacy class have the same order.

  • (5) Different conjugacy classes may contain different numbers of elements, i.e. have different `lengths'.

Not only the individual elements of a group [{\cal G}] but also the subgroups of [{\cal G}] can be classified in conjugacy classes.

Definition Two subgroups [{\cal H}_j,{\cal H}_k \,\lt\, {\cal G}] are called conjugate if there is an element [{\sf g}_q\in{\cal G}] such that [{\sf g}_q^{-1}{\cal H}_j\,{\sf g}_q={\cal H}_k] holds. This relation is often written [{\cal H}_j^{{\sf g}_q}={\cal H}_k].


  • (1) The `trivial subgroup' [{\cal I}] (consisting only of the unit element of [{\cal G}]) and the group [{\cal G}] itself each form a conjugacy class by themselves.

  • (2) Each subgroup of an Abelian group forms a conjugacy class by itself.

  • (3) Subgroups in the same conjugacy class are isomorphic and thus have the same order.

  • (4) Different conjugacy classes of subgroups may contain different numbers of subgroups, i.e. have different lengths.

Equation ([link] can be written [{\cal H}={\sf g}_p^{-1}{\cal H}\,{\sf g}_p \,\, {\rm or }\,\,{\cal H}={\cal H}^{{\sf g}_p}\,\,{ \rm for \,\,all }\,\, p;\ 1\le p\le i. \eqno (]Using conjugation, Definition[link] can be formulated as

Definition A subgroup [{\cal H}] of a group [{\cal G}] is a normal subgroup [{\cal H}\triangleleft{\cal G}] if it is identical with all of its conjugates, i.e. if its conjugacy class consists of the one subgroup [{\cal H}] only. Factor groups and homomorphism

| top | pdf |

For the following definition, the `product of sets of group elements' will be used:

Definition Let [{\cal G}] be a group and [{\cal K}_j=\{{\sf g}_{j_1},\ \ldots, {\sf g}_{j_n}\}], [{\cal K}_k=\{{\sf g}_{k_1},\ \ldots, {\sf g}_{k_m}\}] be two arbitrary sets of its elements which are not necessarily groups themselves. Then the product [{\cal K}_j\,{\cal K}_k] of [{\cal K}_j] and [{\cal K}_k] is the set of all products [{\cal K}_j\,{\cal K}_k=\{{\sf g}_{j_p}\,{\sf g}_{k_q}\,|\,{\sf g}_{j_p}\in {\cal K}_j,\,{\sf g}_{k_q}\in {\cal K}_k\}].4

The coset decomposition of a group [{\cal G}] relative to a normal subgroup [{\cal H}\triangleleft{\cal G}] has a property which makes it particularly useful for displaying the structure of a group.

Consider the coset decomposition with the cosets [{\cal S}_j] and [{\cal S}_k] of a group [{\cal G}] relative to its subgroup [{\cal H} \,\lt\, {\cal G}]. In general the product [{\cal S}_j\,{\cal S}_k] of two cosets, cf. Definition[link], will not be a coset again. However, if and only if [{\cal H}\triangleleft{\cal G}] is a normal subgroup of [{\cal G}], the product of two cosets is always another coset. This means that for the set of all cosets of a normal subgroup [{\cal H}\triangleleft{\cal G}] there exists a law of composition for which the closure is fulfilled. One can show that the other group postulates are also fulfilled for the cosets and their multiplication if [{\cal H}\triangleleft{\cal G}] holds: there is a neutral element (which is [{\cal H}]), for each coset [{\sf g}\,{\cal H}={\cal H}\,{\sf g}] the coset [{\sf g}^{-1}\,{\cal H}={\cal H}\,{\sf g}^{-1}] forms the inverse element and for the coset multiplication the associative law holds.

Definition Let [{\cal H}\triangleleft\,{\cal G}]. The cosets of the decomposition of the group [{\cal G}] relative to the normal subgroup [{\cal H}\triangleleft{\cal G}] form a group with respect to the composition law of coset multiplication. This group is called the factor group [{\cal G}/{\cal H}]. Its order is [|{\cal G}:{\cal H}|], i.e. the index of [{\cal H}] in [{\cal G}].

A factor group [{\cal F}={\cal G}/{\cal H}] is not necessarily isomorphic to a subgroup [{\cal H}_j \,\lt\, {\cal G}].

Factor groups are indispensable for an understanding of the homomorphism of one group onto the other. The relations between a group [{\cal G}] and its homomorphic image are very strong and are expressed by the following lemma:

Lemma Let [{\cal G}'] be a homomorphic image of the group [{\cal G}]. Then the set of all elements of [{\cal G}] that are mapped onto the unit element [{\sf e}'\in{\cal G}'] forms a normal subgroup [{\cal X}] of [{\cal G}]. The group [{\cal G}'] is isomorphic to the factor group [{\cal G}/{\cal X}] and the cosets of [{\cal X}] in [{\cal G}] are mapped onto the elements of [{\cal G}']. The normal subgroup [{\cal X}] is called the kernel of the mapping; it forms the unit element of the factor group [{\cal G}/{\cal X}]. A homomorphic image of [{\cal G}] exists for any normal subgroup of [{\cal G}].

The most important homomorphism in crystallography is the relation between a space group [{\cal G}] and its homomorphic image, the point group [{\cal P}], where the kernel is the subgroup [{\cal T}]([{\cal G}]) of all translations of [{\cal G}], cf. Section[link] Normalizers

| top | pdf |

The concept of the normalizer [{\cal N}_{\cal G}({\cal H})] of a group [{\cal H} \,\lt\, {\cal G}] in a group [{\cal G}] is very useful for the considerations of the following sections. The size of the conjugacy class of [{\cal H}] in [{\cal G}] is determined by this normalizer.

Let [{\cal H} \,\lt\, {\cal G}] and [{\sf h}_j\in{\cal H}]. Then [{\sf h}_j^{-1}{\cal H}{\sf h}_j={\cal H}] holds because [{\cal H}] is a group. If [{\cal H}\triangleleft{\cal G}], then [{\sf g}_k^{-1}{\cal H}{\sf g}_k={\cal H}] for any [{\sf g}_k\in{\cal G}]. If [{\cal H}] is not a normal subgroup of [{\cal G}], there may nevertheless be elements [{\sf g}_p\in{\cal G},\ {\sf g}_p\not\in{\cal H}] for which [{\sf g}_p^{-1}{\cal H}{\sf g}_p={\cal H}] holds. We consider the set of all elements [{\sf g}_p\in{\cal G}] that have this property.

Definition The set of all elements [{\sf g}_p\in{\cal G}] that map the subgroup [{\cal H} \,\lt\, {\cal G}] onto itself by conjugation, [{\cal H}={\sf g}_p^{-1}{\cal H}{\sf g}_p={\cal H}^{{\sf g}_p}], forms a group [{\cal N}_{\cal G}({\cal H})], called the normalizer of [{\cal H}] in [{\cal G}], where [{\cal H}\ {\underline{\triangleleft}}\ \,{\cal N}_{\cal G}({\cal H})\leq{\cal G}].


  • (1) The group [{\cal H} \,\lt\, {\cal G}] is a normal subgroup of [{\cal G}], [{\cal H}\triangleleft{\cal G}], if and only if [{\cal N}_{\cal G}({\cal H})={\cal G}].

  • (2) Let [{\cal N}_{\cal G}({\cal H}) = \{{\sf g}_p\}]. One can decompose [{\cal G}] into right cosets relative to [{\cal N}_{\cal G}({\cal H})]. All elements [{\sf g}_p\,{\sf g}_r] of a right coset [{\cal N}_{\cal G}({\cal H})\,{\sf g}_r] of this decomposition [({\cal G}:{\cal N}_{\cal G}({\cal H}))] transform [{\cal H}] into the same subgroup [{\sf g}_r^{-1}\,{\sf g}_p^{-1}\,{\cal H}\,{\sf g}_p\,{\sf g}_r= {\sf g}_r^{-1}\,{\cal H}\,{\sf g}_r \,\lt\, {\cal G}], which is thus conjugate to [{\cal H}] in [{\cal G}] by [{\sf g}_{r\,}].

  • (3) The elements of different cosets of [({\cal G}:{\cal N}_{\cal G}({\cal H}))] transform [{\cal H}] into different conjugates of [{\cal H}]. The number of cosets of [{\cal N}_{\cal G}({\cal H})] is equal to the index [i_N=|{\cal G}:{\cal N}_{\cal G}({\cal H})|] of [{\cal N}_{\cal G}({\cal H})] in [{\cal G}]. Therefore, the number [N_{{\cal H}}] of conjugates in the conjugacy class of [{\cal H}] is equal to the index [i_N] and is thus determined by the order of [{\cal N}_{\cal G}({\cal H})]. From [{\cal N}_{\cal G}({\cal H})\geq{\cal H}], [i_N=|{\cal G}:{\cal N}_{\cal G}({\cal H})|\leq |{\cal G}:{\cal H}|=i] follows. This means that the number of conjugates of a subgroup [{\cal H} \,\lt\, {\cal G}] cannot exceed the index [i=|{\cal G}:{\cal H}|].

  • (4) If [{\cal H} \,\lt\, {\cal G}] is a maximal subgroup of [{\cal G}], then either [{\cal N}_{\cal G}({\cal H})={\cal G}] and [{\cal H}\triangleleft{\cal G}] is a normal subgroup of [{\cal G}] or [{\cal N}_{\cal G}({\cal H})={\cal H}] and the number of conjugates is equal to the index [i=|{\cal G}:{\cal H}|].

  • (5) For the normalizers of the space groups, see the corresponding part of Section[link].

to end of page
to top of page