International
Tables for Crystallography Volume D Physical properties of crystals Edited by A. Authier © International Union of Crystallography 2006 |
International Tables for Crystallography (2006). Vol. D. ch. 3.2, pp. 385-386
Section 3.2.3.3.1. Group action
a
Department of Physics, Technical University of Liberec, Hálkova 6, 461 17 Liberec 1, Czech Republic,bInstitut für Kristallographie, Rheinisch–Westfälische Technische Hochschule, D-52056 Aachen, Germany, and cMineralogisch-Petrologisches Institut, Universität Bonn, D-53113 Bonn, Germany |
A direct application of the set and group theory to our studies would hardly justify their presentation in the last two sections. However, an appropriate combination of these theories, called group action, forms a very useful tool for examining crystalline materials and domain structures in particular. In this section, the main concepts (action of a group on a set [a], orbits [o], stabilizers [s]) are explained and their application is illustrated with examples from crystallography, where the group G is either a crystallographic point group or space group (denoted , if necessary), and the set is the three-dimensional point space [P], a crystal [C], a property tensor [T] and a subgroup of G [S]. Letters in square brackets in front of the sequential number of examples and definitions should aid navigation in the text.
Example [aP] 3.2.3.7 . Crystals are objects in a three-dimensional space called point space. Points of this space form an infinite set which we denote . If one chooses a point O as the origin, then to each point one can assign the position vector of a vector space [see, for example, IT A (2005), Part 8 ]. There is a one-to-one correspondence between points of the point space and corresponding position vectors of the vector space, If one further selects three non-coplanar basic vectors , then the position vector r can be written as where are coordinates of the point X.
Let G be a point group. An operation (isometry) transforms (moves) the point X to a point with the position vector Coordinates of this image point are related to coordinates of the initial point by a linear relation, where are components of a matrix representing the operation g.
The described motion of the point X under the operation g can be formally expressed as a simple relation the exact meaning of which can be formulated in terms introduced in Section 3.2.3.1 as a mapping that assigns to an ordered pair a point of the set , The mapping – i.e. a prescription for how to determine from g and X the resulting point – is defined by (3.2.3.40) to (3.2.3.43). The relation (3.2.3.44) should be considered as only a shorthand version of the explicit relation (3.2.3.45).
The action of a group on a set generalizes the described procedure to any group and any set. In this section, we shall use the term `object' for an element of a set and the term `operation' for an element of a group.
Definition [a] 3.2.3.8 . Let G be a group, a set of objects and a mapping that assigns to an ordered pair , where and are objects of the set : The ordered pair can often be written simply as a product and the mapping as an equation. Then the relation (3.2.3.46) can be expressed in a simpler form: If the mapping (3.2.3.46), expressed in this condensed way, fulfils two additional conditions, where e is the identity operation (unit element) of G, andthen the mapping is called an action (or operation) of a group G on a set , or just a group action.
We must note that the replacement of the explicit mapping (3.2.3.46) by a contracted version (3.2.3.47) is not always possible (see Example [aS] 3.2.3.11).
The condition (3.2.3.49) requires that the first action followed by the second action gives the same result as if one first calculates the product and then applies it to , .
When a group G, a set , and a mapping fulfil the requirements (3.2.3.47) to (3.2.3.49), one says that G acts or operates on and the set is called a G-set.
Example [aC] 3.2.3.9 . We shall examine the action of an isometry g on an ideal infinite crystal in the three-dimensional space. Let us choose four points (atoms) of the crystal that define three non-coplanar vectors (e.g. basic lattice translations). These vectors will specify the orientation of the crystal in space. Let g be a point-group operation. This isometry g transforms (moves) points of the crystal to new positions and changes the orientation of the crystal to a new orientation specified by vectors , where are coefficients of a matrix representing the operation g. For non-trivial operations g, the resulting vectors always differ from the initial ones. If g is an improper rotation (rotoinversion), then these vectors have an opposite handedness to the vectors of the initial orientation and, for enantiomorphous crystals, the transformed crystal is an enantiomorphous form of the crystal in the initial orientation.
We choose a reference coordinate system defined by the origin O and by three non-coplanar basis vectors . By the state S of a crystal we shall understand, in a continuum description, the set of all its properties expressed by components of physical property (matter) tensors in the reference coordinate system or, in a microscopic description, the positions of atoms in the elementary unit cell expressed in the reference coordinate system. States defined in this way may change with temperature and external fields, and also with the orientation of the crystal in space. At constant temperature and external fields, the states are in one-to-one correspondence with the orientations of the crystal.
Application of an isometry on a state of a crystal can be treated as a group action: Let G be a point group and a set of all conceivable states of a crystal. We denote by the state of the crystal in an initial orientation. An operation g of G changes the orientation of the crystal and the resulting state of the crystal in a new orientation is determined by and g. This is, in mathematical terms, a mapping of a pair on a state from the set , , or in the shorthand notation, Since this mapping fulfils conditions (3.2.3.48) and (3.2.3.49), it is a group action. We note that for some g the resulting state can be identical with the initial state and that several operations can produce the same resulting state .
Group action of an isometry on a crystal applies in a natural way to domain structures, where the group G describes the symmetry of the parent (high-symmetry) phase and the states are crystallographically equivalent (G-equivalent) states of the distorted (low-symmetry) phase called domain states. This means that domain states are states that are crystallographically equivalent in G. In a continuum description, domain states differ in orientation and are called ferroic domain states or orientation states (see Section 3.4.3.2 ).
Example [aT] 3.2.3.10 . Let us consider a property tensor (e.g. polarization, permittivity, piezoelectric coefficients) and let us denote by components of this tensor expressed in a fixed reference coordinate system. This set can be represented by a point in the corresponding tensor space. Let us denote by the set of all points of this tensor space and by G a point group. The mapping is defined by the transformation law of the tensor components (see Chapter 1.1 ). This mapping fulfils conditions (3.2.3.48) and (3.2.3.49), and can therefore be treated as a group action.
Example [aS] 3.2.3.11 . Let G be a group, F a subgroup of G, , and the set of all subgroups of G. The group G can act on the set by conjugation: In this case, one has to write the mapping explicitly since the abbreviated form would mean a left coset and not a conjugate subgroup . One also has to corroborate the validity of condition (3.2.3.49): , which is the image of .
An action of a group G on a set introduces two basic notions, namely stabilizers and orbits.
References
International Tables for Crystallography (2005). Vol. A. Space-group symmetry, 5th edition, edited by Th. Hahn. Heidelberg: Springer.Google Scholar