International
Tables for Crystallography Volume A1 Symmetry relations between space groups Edited by Hans Wondratschek and Ulrich Müller © International Union of Crystallography 2006 |
International Tables for Crystallography (2006). Vol. A1, ch. 1.4, p. 27
Section 1.4.2. Basic capabilities of the Cryst package^{a}Institut für Theoretische und Angewandte Physik, Universität Stuttgart, D-70550 Stuttgart, Germany |
Before we describe in more detail the checks that have been performed, we briefly summarize the capabilities of the Cryst package and how space groups are handled by Cryst.
In Cryst, a space group is represented as a fixed group of augmented matrices , cf. Section 1.2.2.4 . The group multiplication therefore coincides with matrix multiplication. The space group is defined by an arbitrary (finite) set of generating elements. The space group consists of the set of all augmented matrices that can be obtained as products of the generating matrices. It is not important which generating elements are chosen. Different sets of generators can define the same space group.
The representation of a space group as a group of augmented matrices implicitly requires the choice of an origin and a vector basis of Euclidean space. The Cryst package does not require any particular choice of origin or vector basis. In particular, it is not necessary to work with a lattice basis; in fact, any basis can be used. This has the advantage that one can continue to use the basis chosen for the parent group when passing to a subgroup.
Space groups are conjugated by some affine coordinate transformation if they differ only in their settings, i.e. by the choice of their origins and/or vector bases. Such an affine coordinate transformation is also represented by an augmented matrix. Given a coordinate transformation and a space group , the transformed space group is simply generated by the transformed generators of .
If a space group is given by a set of generators, Cryst first needs to compute the point group of , and the translation subgroup , represented by a (canonical) basis of the translation lattice (the basis of the translation lattice chosen by Cryst is canonical in the sense that the same basis is always chosen for a given ). The point group is simply generated by the linear parts of the generators of . The mapping , which sends each element of to its linear part, is in fact a group homomorphism : . The point group is finite and each point-group element can easily be expressed as a product of generators of , which are images of generators of under . This provides a way to compute, for any , some representative pre-image of under , i.e. some element which is mapped onto by . Having expressed the element as a product of generators, one simply replaces the factors in this product by their representative pre-images under , which are known by construction, to obtain the representative pre-image of .
To compute a generating set of the translation subgroup , one first computes a set of defining relations of the point group for the given generators. For a finite group this is a standard task in GAP. These defining relations are a set of inequivalent ways to express the identity element of by the generators of . Replacing the factors in such a defining relation by their representative pre-images in yields a pre-image of the identity of , i.e. an element of . The translations so obtained generate, together with the pure translation generators of , the entire translation subgroup .
We now have all the necessary information to test whether a given augmented matrix is an element of a space group . One first tests whether the linear part of is an element of the point group of . If , is not an element of . Otherwise, some pre-image of in is computed. is then an element of if and only if and differ in their translation part by an element of the translation group . With this membership test, we can determine whether two space groups are equal, or whether one is a subgroup of the other: a space group is a subgroup of a space group if all the generators of are elements of . Two space groups are equal if either of them is a subgroup of index 1 of the other.