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. 1.2, pp. 5356
Section 1.2.5. Magnetic symmetry^{a}Institute for Theoretical Physics, University of Nijmegen, 6524 ED Nijmegen, The Netherlands 
Until now, the symmetry transformations we have considered affect only spatial variables. In physics, however, time coordinates are also often essential, and time reversal is a very important transformation as well.
The timereversal operation generates a group of order 2 with as elements the unit operator E and the timereversal operator T. This transformation commutes with transformations of spatial variables. One can consider the combined operation of T and a Euclidean transformation. In other words, we consider the direct product of the Euclidean group and the timereversal group of order 2. Elements of this direct product that belong to are called orthochronous, whereas the elements of the coset which are combinations of a Euclidean transformation with T are called antichronous. We shall start by considering combinations of T and orthogonal transformations in the physical ddimensional space. Such combinations generate a subgroup of the direct product of and the timereversal group.
There are three types of such groups. First, one can have a group that is already a subgroup of . This group does not have timereversing elements. A second type of group contains the operator T and is, therefore, the direct product of a subgroup of with the timereversal group. The third type of group contains antichronous elements but not T itself. This means that the group contains a subgroup of index 2 that belongs to and one coset of this subgroup, all elements of which can be obtained from those of the subgroup by multiplication with one fixed timereversing element which is not T. If one then multiplies all elements of the coset by T, one obtains a group that belongs to and is isomorphic to the original group. This is the same situation as for subgroups of , which is the direct product of with space inversion I. Here also all subgroups of are isomorphic to point groups or to the direct product of a point group and . Magnetic groups can be used to characterize spin arrangements. Because spin inverses sign under time reversal, a spin arrangement is never invariant under T. Therefore, the point groups of the second type are also called nonmagnetic point groups. Because time reversal does not play a role in groups of the first type, these are called trivial magnetic point groups, whereas the groups of the third type are called nontrivial magnetic point groups.
Magnetic point groups are discussed in Chapter 1.5 . Orthochronous magnetic point groups (trivial magnetic groups) are denoted by their symbol as a normal point group. Magnetic point groups containing T are denoted by the symbol for the orthochronous subgroup, which is a trivial magnetic group, to which the symbol is added. Magnetic point groups that are neither trivial nor contain T are isomorphic to a trivial magnetic point group. They are denoted by the symbol of the latter in which all symbols for antichronous elements are marked with a prime (). For example, is the trivial magnetic group generated by I, is the group of four elements generated by I and T, and is the magnetic group of order 2 generated by the product .
Two magnetic point groups are called equivalent if they are conjugated in by an element in . This means that under the conjugation antichronous elements go to antichronous elements. The equivalence classes of magnetic point groups are the magnetic crystal classes. There are 32 classes of trivial crystallographic magnetic point groups, 32 classes of direct products with the timereversal group and 58 classes of nontrivial magnetic crystallographic point groups. They are given in Table 1.2.6.12.
Magnetic space groups are subgroups of the direct product of the Euclidean group with the timereversal group (this direct product is sometimes called the Shubnikov group) such that the orthochronous elements together with the products of the antichronous elements and T form a space group in d dimensions. As in the case of magnetic point groups, one can distinguish trivial magnetic groups, which are subgroups of , direct products of a trivial group with the timereversal group (nonmagnetic) and nontrivial magnetic space groups with antichronous elements but without T. The groups of the third type can be transformed into groups of the first type by multiplication of all antichronous elements by T.
The translation subgroup U of a magnetic space group G is the intersection of G and . The factor group G/U is (isomorphic to) a subgroup of . For trivial magnetic space groups, the point group is a subgroup of . For direct products with , the translation group is the direct product of an orthochronous lattice with and the point group is a subgroup of . Magnetic space groups with antichronous elements but without T have either a translation subgroup consisting of orthochronous elements or one with antichronous elements as well. In the first case, the point group is a subgroup of and contains antichronous elements; in the second case, one may always choose orthochronous elements for the coset representatives with respect to the translation group, and the point group is a subgroup of . Therefore, nontrivial magnetic space groups without T have either the same lattice or the same point group as the space group of orthochronous elements.
Two magnetic space groups are equivalent if they are affine conjugated via a transformation with positive determinant that maps antichronous elements on antichronous elements. Then there are 1656 equivalence classes: 230 classes of trivial groups with only orthochronous elements, 230 classes of direct products with and 1191 classes with nontrivial magnetic groups.
Vectors and tensors transforming in the same way under Euclidean transformations may behave differently when time reversal is taken into account. As an example, both the electric field and magnetic field transform under a rotation as a position vector. Under time reversal, the former is invariant, but the latter changes sign. Therefore, the magnetic field is called a pseudovector field under time reversal. Under spatial inversion, the field changes sign, as does a position vector, but the field does not. Therefore, the magnetic field is also a pseudovector under central inversion. The electric polarization induced by an electric field is given by the electric susceptibility, a magnetic moment induced by a magnetic field is given by the magnetic susceptibility and in some crystals a magnetic moment is induced by an electric field via the magnetoelectric susceptibility. Under the four elements of the group generated by and , the fields and susceptibility tensors transform according toHere .
In general, a vector transforms as the position vector under rotations and changes sign under , but not under . A pseudovector under or (respectively and) gets an additional minus sign. The generalization to tensors is straightforward. where and are , depending on the pseudotensor character with respect to space and time reversal, respectively.
Under a rotation [], a vector transforms according to a representation characterized by the character of the representation. In two dimensions and in three dimensions , if is the rotation angle. Under the character gets an additional minus sign, under it is the same, and under there is again an additional minus sign. For pseudovectors, either under I or T or both, there are the extra factors , and , respectively. As an example, the character of the representations corresponding to the electric and magnetic fields in two orthorhombic point groups (, and ) are given in Table 1.2.5.1.

The number of invariant components is the multiplicity of the trivial representation in the representation to which the tensor belongs. The nonzero invariant field components are for , and for . These components can be constructed by means of projectionoperator techniques, or more simply by solving the linear equations representing the invariance of the tensor under the generators of the point group. For example, the magnetic field vector B transforms to () under and to () under , and this gives the result that all components are zero except .
In quantum mechanics, symmetry transformations act on state vectors as unitary or antiunitary operators. For the Schrödinger equation for one particle without spin, the operator that reverses time is the complex conjugation operator with satisfyingwhich is the timereversed equation.
This operator is antilinear [] and has the following commutation relations with the operators and for position and momentum: For a Euclidean transformation , the operation on the state vector is given by the unitary operator The two operators and commute. Therefore, if g is an orthochronous element of the symmetry group, the corresponding operator is , and if is an antichronous element the operator is . The operator is also antiunitary: it is antilinear and conserves the absolute value of the Hermitian scalar product: .
If the particle has a spin, the timereversal operator has to have the commutation relation with the spin operator . For a spin½ particle, the spin operators are in terms of the Pauli matrices. Then the timereversal operator is The operators corresponding to the elements of a magnetic symmetry group are generally (anti)unitary operators on the state vectors. These operators form a representation of the magnetic symmetry group. In principle, they even form a projective representation, but as discussed before for particles without spin the factor system is trivial, and for particles with spin one can take as the symmetry group the double group of the symmetry group.
Suppose the magnetic point group G has an orthochronous subgroup H and an antichronous coset for some antichronous element a. The elements of H are represented by unitary operators, those of by antiunitary operators. These operators correspond to matrices in the following way. Suppose are the elements of a basis of the state vector space. Then The matrices M do not form a matrix representation in the usual sense. They satisfy the relationsas one verifies easily. Matrices satisfying these relations are called corepresentations of the group G.
A corepresentation is irreducible if there is no proper invariant subspace. If a corepresentation is reducible, there is a basis transformation S that brings the matrices into a block form. For corepresentations, a basis transformation S with transforms the matrices according to Here a is the coset representative of the antichronous elements. The corepresentation restricted to the orthochronous subgroup H gives an ordinary representation of H which is not necessarily irreducible even if the corepresentation is irreducible. Suppose that form a basis for the irreducible corepresentation of G and that the restriction to H is also irreducible. The elements form another basis for the space, and on this basis the representation matrices of H follow from Because both bases are bases for the same irreducible space, it means that the (ordinary) representations and are equivalent.
If the representation is reducible, there is a basis for the irreducible representation . A basis for the whole space then is given by because the corepresentation of G would be reducible if the last d vectors were dependent on the first d. On this basis, the matrices for the corepresentation become because The two irreducible components for can be either equivalent or nonequivalent. If they are not equivalent the corepresentation is indeed irreducible, because a basis transformation S that leaves the matrices the same is necessarily of the form because of Schur's lemma, and such a matrix cannot bring the matrices ) into a reduced form. In this case, the corepresentation is irreducible, in agreement with the starting assumption, and the dimension m is twice the dimension of the representation : .
If the two irreducible components and are equivalent, there is a basis transformation U such that The basis transformation then gives a new matrix corepresentation for G: The most general basis transformation S that leaves in the same form is then Under this basis transformation, the matrices become with This is block diagonal if and analogous expressions for and also hold.
The transformation matrix U satisfies , as one can show as follows. From the definition follow the two relations (Notice that .) Because is irreducible, it follows that is a multiple of the identity: . The factor is real because and Hence .
The conditions for the transformed matrix to be block diagonal then read with the corresponding expressions for and . If is equal to , these equations do not have a solution. However, when there is a solution, which means that the corepresentation is reducible, contrary to the assumption. Therefore, this situation can not occur.
One can summarize these considerations in the following theorem.
Theorem 1. If the restriction of an irreducible corepresentation to the orthochronous subgroup is reducible, then either the (two) irreducible components are nonequivalent, or they are equivalent and connected by a basis transformation U for which . If the restriction is irreducible, it is equivalent to .
In the former case, the dimension of the corepresentation is twice that of the restriction, in the latter case they are equal. Therefore, one has the following corollary.
Corollary. A ddimensional irreducible representation of the orthochronous subgroup H can occur as irreducible component of the restriction of an irreducible corepresentation of G with dimension m with
The three cases from theorem (1) can be distinguished by the following theorem:
Theorem 2. The irreducible representation with character belongs to the respective cases of theorem (1) if
The proof of theorem (2) goes as follows. We have and this gives zero if and are nonequivalent, because of the orthogonality relations. If the two representations are equivalent, we take for convenience unitary representations. Then there is a unitary matrix U with Then we have This proves theorem (2).
In the special case of a group G in which the time reversal occurs as element, one may choose . In this case, is the identity and the expressions simplify. Theorem (1) now states that an irreducible ddimensional representation of an orthochronous group can occur as irreducible component in the restriction of an irreducible mdimensional corepresentation of , with which correspond to, respectively, [cf. theorem (2)]For a spinless particle, the timereversal operator is the complex conjugation . This generates a corepresentation of the group . The symmetry group is the direct product of the point group H and . Compared to the degeneracy d of a state characterized by the irreducible representation , the degeneracy is double () for the first two cases and the same for the third case. When it is a particle with spin ½, the timereversal operator is , which is of order 4. If one takes for the coset representative a the time reversal, one has . Therefore, the degeneracy is now doubled in the first and third case, and the same for the second. This is Kramer's degeneracy.