International
Tables for Crystallography Volume A Space-group symmetry Edited by M. I. Aroyo © International Union of Crystallography 2016 |
International Tables for Crystallography (2016). Vol. A, ch. 1.1, pp. 9-10
Section 1.1.7. Group actions^{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 |
The concept of a group is the essence of an abstraction process which distils the common features of various examples of groups. On the other hand, although abstract groups are important and interesting objects in their own right, they are particularly useful because the group elements act on something, i.e. they can be applied to certain objects. For example, symmetry groups act on the points in space, but they also act on lines or planes. Groups of permutations act on the symbols themselves, but also on ordered and unordered pairs. Groups of matrices act on the vectors of a vector space, but also on the subspaces. All these different actions can be described in a uniform manner and common concepts can be developed.
Definition. A group action of a group on a set assigns to each pair an object of such that the following hold:
One says that the object is moved to by .
Example
The abstract group occurs as symmetry group in three-dimensional space with three different actions of :
Often, two objects and are regarded as equivalent if there is a group element moving to . This notion of equivalence is in fact an equivalence relation in the strict mathematical sense:
Via this equivalence relation, the action of partitions the objects in into equivalence classes, where the equivalence class of an object consists of all objects which are equivalent to .
Definition. Two objects lie in the same orbit under if there exists such that .
The set of all objects in the orbit of is called the orbit of under .
The set of group elements that do not move the object is a subgroup of called the stabilizer of in .
If the orbit of a group action is finite, the length of the orbit is equal to the index of the stabilizer and thus in particular a divisor of the group order (in the case of a finite group). Actually, the objects in an orbit are in a very explicit one-to-one correspondence with the cosets relative to the stabilizer, as is summarized in the orbit–stabilizer theorem.
Orbit–stabilizer theorem
For a group acting on a set let be an object in and let be the stabilizer of in .
Example
The symmetry group of the square acts on the corners of a square as displayed in Fig. 1.1.7.1. All four points lie in a single orbit under and the stabilizer of the point 1 is , i.e. a subgroup of index 4, as required by the orbit–stabilizer theorem. The stabilizers of the other points are conjugate to : The stabilizer of corner 3 equals and the stabilizer of both the corners 2 and 4 is , which is conjugate to by the fourfold rotation 4^{+} which moves corner 1 to corner 2.
An n-dimensional space group acts on the points of the n-dimensional space . The stabilizer of a point is called the site-symmetry group of P (in ). These site-symmetry groups play a crucial role in the classification of positions in crystal structures. If the site-symmetry group of a point P consists only of the identity element of , P is called a point in general position, points with non-trivial site-symmetry groups are called points in special position.
According to the orbit–stabilizer theorem, points that are in the same orbit under the space group and which are thus symmetry equivalent have site-symmetry groups that are conjugate subgroups of . This gives rise to the concept of Wyckoff positions: points with site-symmetry groups that are conjugate subgroups of belong to the same Wyckoff position. As a consequence, points in the same orbit under certainly belong to the same Wyckoff position, but points may have the same site-symmetry group without being symmetry equivalent. The Wyckoff position of a point P consists of the union of the orbits of all points Q that have the same site-symmetry group as P. For a detailed discussion of the crucial notion of Wyckoff positions we refer to Section 1.4.4 .
Example
In the symmetry group 4mm of the square the points lying on the geometric element of (i.e. the reflection line) are clearly stabilized by . The origin has the full group 4mm as its site-symmetry group, for all other points with the site-symmetry group is the group generated by the reflection .
The orbit of a point with is the four points , where both and have site-symmetry group and and have the conjugate site-symmetry group . This means that the Wyckoff position of e.g. the point consists of the set of all points and with arbitrary , i.e. of the union of the geometric elements of and with the exception of their intersection . A complete description of the distribution of points among the Wyckoff positions of the group 4mm is given in Table 3.2.3.1 .