Symmorphic and non-symmorphic space groups

Souvignier, B.

doi:10.1107/97809553602060000921

RELATED SITES: IUCr | IUCr Journals

| previous | next |

International
Tables for
Crystallography
Volume A
Space-group symmetry
Edited by M. I. Aroyo

International Tables for Crystallography (2016). Vol. A. ch. 1.3, p. 31

Section 1.3.3.3. Symmorphic and non-symmorphic space groups

B. Souvignier^a ^*

^a Radboud University Nijmegen, Faculty of Science, Mathematics and Computing Science, Institute for Mathematics, Astrophysics and Particle Physics, Postbus 9010, 6500 GL Nijmegen, The Netherlands
Correspondence e-mail: [email protected]

1.3.3.3. Symmorphic and non-symmorphic space groups

| top | pdf |

If a coset with respect to the translation subgroup contains an operation of the form $[({\bi W}, {\bi w})]$ with $[{\bi w}]$ a vector in the translation lattice, it is clear that the same coset also contains the operation $[({\bi W}, {\bi o})]$ with trivial translation part. On the other hand, if a coset does not contain an operation of the form $[({\bi W}, {\bi o}) ]$ , this may be caused by an inappropriate choice of origin. For example, the operation $[(-{\bi I}, (1/2,1/2,1/2))]$ is turned into the inversion $[(-{\bi I}, (0,0,0))]$ by moving the origin to Mathematical symbol (cf. Section 1.5.1.1 for a detailed treatment of origin-shift transformations).

Depending on the actual space group $[{\cal G}]$ , it may or may not be possible to choose the origin such that every coset with respect to $[{\cal T}]$ contains an operation of the form $[({\bi W}, {\bi o})]$ .

Definition

Let $[{\cal G}]$ be a space group with translation subgroup $[{\cal T} ]$ . If it is possible to choose the coordinate system such that every coset of $[{\cal G}]$ with respect to $[{\cal T}]$ contains an operation $[({\bi W}, {\bi o})]$ with trivial translation part, $[{\cal G}]$ is called a symmorphic space group, otherwise $[{\cal G}]$ is called a non-symmorphic space group.

One sees that the operations with trivial translation part form a subgroup of $[{\cal G}]$ which is isomorphic to a subgroup of the point group $[{\cal P}]$ . This subgroup is the group of operations in $[{\cal G}]$ that fix the origin and is called the site-symmetry group of the origin (site-symmetry groups are discussed in detail in Section 1.4.4 ). It is the distinctive property of symmorphic space groups that they contain a subgroup which is isomorphic to the full point group. This may in fact be seen as an alternative definition for symmorphic space groups.

Proposition. A space group $[{\cal G}]$ with point group $[{\cal P}]$ is symmorphic if and only if it contains a subgroup isomorphic to $[{\cal P}]$ . For a non-symmorphic space group $[{\cal G}]$ , every finite subgroup of $[{\cal G}]$ is isomorphic to a proper subgroup of the point group.

Note that every finite subgroup of a space group is a subgroup of the site-symmetry group for some point, because finite groups cannot contain translations. Therefore, a symmorphic space group is characterized by the fact that it contains a site-symmetry group isomorphic to its point group, whereas in non-symmorphic space groups all site-symmetry groups have orders strictly smaller than the order of the point group.

Symmorphic space groups can easily be constructed by choosing a lattice $[{\bf L}]$ and a point group $[{\cal P}]$ which acts on $[{\bf L} ]$ . Then $[{\cal G} = \{ ({\bi W}, {\bi w}) \mid {\bi W} \in {\cal P}, {\bi w} \in {\bf L} \} ]$ is a space group in which the coset representatives can be chosen as $[({\bi W}, \, {\bi o})]$ .

Non-symmorphic space groups can also be constructed from a lattice $[{\bf L}]$ and a point group $[{\cal P}]$ . What is required is a system of coset representatives with respect to $[{\cal T}]$ and these are obtained by choosing for each operation $[{\bi W} \in {\cal P}]$ a translation part $[{\bi w}]$ . Owing to the translations, it is sufficient to consider vectors $[{\bi w}]$ with components between 0 and 1. However, the translation parts cannot be chosen arbitrarily, because for a point-group operation of order k, the operation $[({\bi W}, {\bi w})^k ]$ has to be a translation $[({\bi I}, {\bi t})]$ with $[{\bi t} \in {\bf L} ]$ . Working this out, this imposes the restriction that $[ ({\bi W}^{k-1} + \ldots + {\bi W} + {\bi I}) {\bi w} \in {\bf L}. ]$ Once translation parts $[{\bi w}]$ are found that fulfil all these restrictions, one finally has to check whether the space group obtained this way is (by accident) symmorphic, but written with respect to an inappropriate origin. A change of origin by $[{\bi p}]$ is realized by conjugating the matrix–column pair $[({\bi W}, {\bi w})]$ by the translation $[({\bi I}, -{\bi p})]$ (cf. Section 1.5.1 on transformations of the coordinate system) which gives $[ ({\bi I}, -{\bi p}) ({\bi W}, {\bi w}) ({\bi I}, {\bi p}) = ({\bi W}, {\bi W} {\bi p} + {\bi w} - {\bi p}) = ({\bi W}, {\bi w} + ({\bi W} - {\bi I}) {\bi p}). ]$ Thus, the space group just constructed is symmorphic if there is a vector $[{\bi p}]$ such that $[({\bi W} - {\bi I}) {\bi p} + {\bi w} \in {\bf L} ]$ for each of the coset representatives $[({\bi W}, {\bi w})]$ .

The above considerations also show how every space group can be assigned to a symmorphic space group in a canonical way, namely by setting the translation parts of coset representatives with respect to $[{\cal T}]$ to $[{\bi o} ]$ . This has the effect that screw rotations are turned into rotations and glide reflections into reflections. The Hermann–Mauguin symbol (see Section 1.4.1 for a detailed discussion of Hermann–Mauguin symbols) of the symmorphic space group to which an arbitrary space group is assigned is simply obtained by replacing any screw rotation symbol N_m by the corresponding rotation symbol N and every glide reflection symbol a, b, c, d, e, n by the symbol m for a reflection. A space group is found to be symmorphic if no such replacement is required, i.e. if the Hermann–Mauguin symbol only contains the symbols 1, 2, 3, 4, 6 for rotations, $[\bar{1}]$ , $[\bar{3}]$ , $[\bar{4}]$ , $[\bar{6}]$ for rotoinversions and m for reflections.

Example

The space groups with Hermann-Mauguin symbols P4mm, P4bm, P4₂cm, P4₂nm, P4cc, P4nc, P4₂mc, P4₂bc are all assigned to the symmorphic space group with Hermann–Mauguin symbol Mathematical symbol .

References

International Tables for Crystallography (2016). Vol. A. ch. 1.3, p. 31