International
Tables for Crystallography Volume D Physical properties of crystals Edited by A. Authier © International Union of Crystallography 2013 
International Tables for Crystallography (2013). Vol. D, ch. 1.2, pp. 3471
doi: 10.1107/97809553602060000901 Chapter 1.2. Representations of crystallographic groups^{a}Institute for Theoretical Physics, University of Nijmegen, 6524 ED Nijmegen, The Netherlands This chapter defines the representations of finite groups and considers successively the cases of crystallographic point groups in one, two and three dimensions and of space groups. It introduces the notions of irreducible representations. The character tables and irreducible representations are given for the 32 crystallographic point groups in three dimensions. The transformation properties of tensors are also considered. In the last section, the accompanying software Tenχar is introduced. This software can be used to determine the irreducible representations of finite point groups in three dimensions (the 32 crystallographic groups and the groups of the quasicrystalline phases) and the independent components of a tensor of any rank for each of these groups. 
Symmetry arguments play an important role in science. Often one can use them in a heuristic way, but the correct formulation is in terms of group theory. This remark is in fact superfluous for crystallographers, who are used to point groups and space groups as they occur in the description of structures. However, besides these structural problems there are many others where group theory may play a role. A central role in this context is played by representation theory, which treats the action of a group on physical quantities, and usually this is done in terms of linear transformations, although nonlinear representations may also occur.
To start with an example, consider a spin system, an arrangement of spins on sites with a certain symmetry, for example spacegroup symmetry. The elements of the space group map the sites onto other sites, but at the same time the spins are rotated or transformed otherwise in a well defined fashion. The spins can be seen as elements of a vector space (spin space) and the transformation in this space is an image of the spacegroup element. In a similar way, all symmetric tensors of rank 2 form a vector space, because one can add them and multiply them by a real factor. A linear change of coordinates changes the vectors, and the transformations in the space of tensors are the image of the coordinate transformations. Probably the most important use of such representations is in quantum mechanics, where transformations in coordinate space are mapped onto linear transformations in the quantum mechanical space of state vectors.
To see the relation between groups of transformations and the use of their representations in physics, consider a tensor which transforms under a certain point group. Let us take a symmetric rank 2 tensor in three dimensions. We take as example the point group 222. From Section 1.1.3.2 one knows how such a tensor transforms: it transforms into a tensor according tofor all orthogonal transformations R in the group 222. This action of the point group 222 is obviously a linear one:The transformations on the tensors really form an image of the group, because if one writes for , one has for two elements and the relationorThis property is said to define a (linear) representation. Because of the representation property, it is sufficient to know how the tensor transforms under the generators of a group. In our example, one could be interested in symmetric tensors that are invariant under the group 222. Then it is sufficient to consider the rotations over 180° along the x and y axes. If the point group is a symmetry group of the system, a tensor describing the relation between two physical quantities should remain the same. For invariant tensors one hasand the solution of these equations isThe matrices of rank 2 form a ninedimensional vector space. The rotation over 180° around the x axis can also be written asThis ninedimensional matrix together with the one corresponding to a rotation along the y axis generate a representation of the group 222 in the ninedimensional space of threedimensional rank 2 tensors. The invariant tensors form the subspace (). In this simple case, group theory is barely needed. However, in more complex situations, the calculations may become quite cumbersome without group theory. Moreover, group theory may give a wealth of other information, such as selection rules and orthogonality relations, that can be obtained only with much effort without group theory, or in particular representation theory. Tables of tensor properties, and irreducible representations of point and space groups, have been in use for a long time. For point groups see, for example, Butler (1981) and Altmann & Herzig (1994); for space groups, see Miller & Love (1967), Kovalev (1987) and Stokes & Hatch (1988).
In the following, we shall discuss the representation theory of crystallographic groups. We shall adopt a slightly abstract language, which has the advantage of conciseness and generality, but we shall consider examples of the most important notions. Another point that could give rise to some problems is the fact that we shall consider in part the theory for crystallographic groups in arbitrary dimension. Of course, physics occurs in threedimensional space, but often it is useful to see what is general and what is special for one, two or three dimensions. In Section 1.2.2, the point groups are discussed, together with their representations. In Section 1.2.3, the same is done for space groups. Tensors for point and space groups are then treated in terms of representation theory in Section 1.2.4. Besides transformations in space, transformations involving time reversal are important as well. They are discussed in Section 1.2.5. Information on crystallographic groups and their representations is presented in tabular form in Section 1.2.6. This section can be consulted independently.
The crystallographic point groups are treated in Volume A of International Tables for Crystallography (2005). Here we just give a brief summary of some important notions. To maintain generality, we consider the case of ndimensional point groups.
Point groups in n dimensions are subgroups of the orthogonal group O(n) in n dimensions. By definition they leave a point, the origin, invariant. They are of importance in physics because physical laws are invariant under such transformations. In this case n = 1, 2 or 3. For crystallography, the crystallographic point groups are the most relevant ones. A crystallographic point group is a subgroup of O(n) that leaves an ndimensional lattice invariant. A lattice is a collection of pointswhere the n vectors form a basis of ndimensional space. In other words, the points of the lattice can be obtained by the action of translationson the lattice origin . These translations form a lattice translation group in ndimensional space, i.e. a discrete subgroup of the group of all translations T(n) in n dimensions, generated by n linearly independent translations.
Because a crystallographic point group leaves a lattice of points invariant, (a) it is a finite group of linear transformations and (b) on a basis of the lattice it is represented by integer matrices. On the other hand, as will be shown in Section 1.2.2.2, there is for every finite group of matrices an invariant scalar product, i.e. a positive definite metric tensor left invariant by the group. If one uses this metric tensor for the definition of the scalar product, the matrices represent orthogonal transformations. Moreover, when the matrices are integer, the group of matrices can be considered to be a crystallographic point group. In this sense, every finite group of integer matrices is a crystallographic point group. Consider as an example the group of matriceswhich leaves invariant the metric tensorThe lattice points go over into lattice points and the transformation leaves the scalar product of two such vectors the same if the scalar product of the two vectors and is defined asAfter a basis transformation,the metric tensor is in standard form (see Section 1.1.2.2 ):This means that with respect to the basis , the three transformations become orthogonal matrices.
To be able to give a list of all crystallographic point groups in n dimensions it is necessary to state which point groups should be considered as different. Two point groups belong to the same geometric crystal class if they are conjugated subgroups of O(n). This means that and belong to the same class if there is an element such that , which implies that there are two orthonormal bases in the vector space related by an orthogonal transformation R such that the matrices of K for one basis are the same as those for on the second basis.
In onedimensional space, there are only two different point groups, the first consisting of the identity, the second of the numbers . These groups are isomorphic to and , respectively, where is the cyclic group of integers modulo m (also denoted by ). Both are crystallographic because their `matrices' are the integers .
In twodimensional space, the orthogonal group O(2) is the union of the subgroup SO(2), consisting of all orthogonal transformations with determinant , and the coset O(2)\SO(2), consisting of all orthogonal transformations with determinant . The group SO(2) is Abelian, and therefore all its subgroups are Abelian. The finite ones are the rotation groups denoted by n (). Every element of O(2)\SO(2) is of order two, and corresponds to a mirror line. Therefore, all the other finite point groups are (n even) or (n odd). The rotation groups are isomorphic with the cyclic groups and the others with the dihedral groups . Only the groups 1, 2, 3, 4, 6, m, , , and leave a lattice invariant and are crystallographic.
The isomorphism class of a group can be given by its generators and defining relations. For example, the elements of the group 4mm can be written as products (with generally more than two factors) of the two matriceswhich satisfy the relations , and every group whose elements are products of two generating elements with the same and not more independent relations is isomorphic. One calls the relations the defining relations. The set of generators and defining relations is not unique. In an extreme case, one can consider all elements of the group as generators, and the product rules as the defining relations.
For the twodimensional groups, the generators and defining relations are
The determination of all finite point groups in threedimensional space is more involved. A derivation can, for example, be found in Janssen (1973). The group O(3) is again the union of SO(3) and O(3)\SO(3), and in fact the direct product of SO(3) and the group generated by the inversion . One may distinguish between three different classes of finite point groups:
The list of threedimensional finite point groups is given in Table 1.2.6.1. All isomorphism classes of twodimensional point groups occur in three dimensions as well. The isomorphism classes occurring here for the first time are:The crystallographic groups among them are given in Table 1.2.6.2.
As stated in Section 1.2.1, elements of point groups act on physical properties (like tensorial properties) and on wave functions as linear operators. These linear operators therefore generally act in a different space than the threedimensional configuration space. We denote this new space by V and consider a mapping D from the point group K to the group of nonsingular linear operators in V that satisfiesIn other words D is a homomorphism from K to the group of nonsingular linear transformations on the vector space V. Such a homomorphism is called a representation of K in V. Here we only consider finitedimensional representations.
With respect to a basis () the linear transformations are given by matrices . The mapping from K to the group of nonsingular matrices GL() (for a real vector space V) or GL() (if V is complex) is called an ndimensional matrix representation of K.
If one chooses another basis for V connected to the former one by a nonsingular matrix S, the same group of operators is represented by another matrix group , which is related to by S according to (). Two such matrix representations are called equivalent. On the other hand, two such equivalent matrix representations can be considered to describe two different groups of linear operators [ and ] on the same basis. Then there is a nonsingular linear operator T such that (). In this case, the representations and are also called equivalent.
It may happen that a representation in V leaves a subspace W of V invariant. This means that for every vector and every element one has . Suppose that this subspace is of dimension . Then one can choose m basis vectors for V inside the invariant subspace. With respect to this basis, the corresponding matrix representation has elementswhere the matrices form an mdimensional matrix representation of K. In this situation, the representations and are called reducible. If there is no proper invariant subspace the representation is irreducible. If the representation is a direct sum of subspaces, each carrying an irreducible representation, the representation is called fully reducible or decomposable. In the latter case, a basis in V can be chosen such that the matrices are direct sums of matrices such that the form an irreducible matrix representation. If in (1.2.2.4) is zero and and form irreducible matrix representations, is fully reducible. For finite groups, each reducible representation is fully reducible. That means that if is reducible, there is a matrix S such thatIn this way one may proceed until all matrix representations are irreducible, i.e. do not have invariant subspaces. Then each representation can be written as a direct sumwhere the representations are all nonequivalent and the multiplicities are the numbers of times each irreducible representation occurs. The nonequivalent irreducible representations for which the multiplicity is not zero are the irreducible components of .
We first discuss two special representations. The simplest representation in onedimensional space is obtained by assigning the number 1 to all elements of K. Obviously this is a representation, called the identity or trivial representation. Another is the regular representation. To obtain this, one numbers the elements of K from 1 to the order N of the group (). For a given there is a onetoone mapping from K to itself defined by . Consider the matrix , which has in the ith column zeros except on line j, where the entry is unity. The matrix then has as only entries 0 or 1 and satisfiesThese matrices form a representation, the regular representation of K of dimension N, as one sees from
A representation in a real vector space that leaves a positive definite metric invariant can be considered on an orthonormal basis for that metric. Then the matrices satisfy[^{T} denotes transposition of the matrix: ] and the representation is orthogonal. If V is a complex vector space with positive definite metric invariant under the representation, the latter gives on an orthonormal basis matrices satisfying[ denotes Hermitian conjugation: ] and the representation is unitary. A real representation of a finite group is always equivalent with an orthogonal one, a complex representation of a finite group is always equivalent with a unitary one. As a proof of the latter statement, consider the standard Hermitian metric on V: . Then the positive definite formis invariant under the representation. To show this, take an arbitrary element . ThenWith respect to an orthonormal basis for this metric , the matrices corresponding to are unitary. The complex representation can be put into this unitary form by a basis transformation. For a real representation, the argument is fully analogous, and one obtains an orthogonal transformation.
From two representations, in and in , one can construct the sum and product representations. The sum representation acts in the direct sum space , which has elements () with and . The representation is defined byThe matrices are of dimension .
The product representation acts in the tensor space, which is the space spanned by the vectors (; ). The dimension of the tensor space is the product of the dimensions of both spaces. The action is given byFor bases () for and () for , a basis for the tensor product of spaces is given byand with respect to this basis the representation of K is given by matricesAs an example of these operations, consider
If two representations and are equivalent, there is an operator S such thatThis relation may also hold between sets of operators that are not necessarily representations. Such an operator S is called an intertwining operator. With this concept we can formulate a theorem that strictly speaking does not deal with representations but with intertwining operators: Schur's lemma.
Proposition. Let M and N be two sets of nonsingular linear transformations in spaces V (dimension n) and W (dimension m), respectively. Suppose that both sets are irreducible (the only invariant subspaces are the full space and the origin). Let S be a linear transformation from V to W such that . Then either S is the null operator or S is nonsingular and .
Proof: Consider the image of V under S: . That means that for all . This implies that . Therefore, is an invariant subspace of W under N. Because N is irreducible, either or . In the first case, S is the null operator. In the second case, notice that the kernel of S, the subspace of V mapped on the null vector of W, is an invariant subspace of V under M: if then . Again, because of the irreducibility, either is the whole of V, and then S is again the null operator, or . In the latter case, S is a onetoone mapping and therefore nonsingular. Therefore, either S is the null operator or it is an isomorphism between the vector spaces V and W, which are then both of dimension n. With respect to bases in the two spaces, the operator S corresponds to a nonsingular matrix and .
This is a very fundamental theorem. Consequences of the theorem are:
Suppose a group K acts linearly on a ddimensional space V: for any one hasFor a basis in V this gives a matrix group viaThe matrix group is a matrix representation of the group K.
Consider now a linear function f on V. Becausethe function is completely determined by its value on the basis vectors . A second point is that these linear functions form a vector space because for two functions and the function is a well defined linear function. The vector space is called the dual space and is denoted by . A basis for this space is given by functions such thatbecause any linear function f can be written as a linear combination of these vectors with as coefficients the value of f on the basis vectors :Therefore, the space also has d dimensions. If V has in addition a nonsingular scalar product, there is for each linear function f a vector such thatand the vectors corresponding to the basis functions above satisfyThe vectors (with ) form the reciprocal basis (see also Section 1.1.2.4 ).
The transformation properties of the vectors in dual (or reciprocal) space can be derived from those of the vectors in V if one putsThenfrom which follows the relationThe matrices form also a representation of K, the contragredient representation. In general, the latter is not equivalent with the former. The elements of the space are dual vectors.
One can generalize the procedure that gave the dual space, and this leads to a more abstract definition of a tensor. Consider a bilinear function on V.Again, such bilinear functions form a vector space of dimension . Any function is fixed by its value on the pairs of basis vectors, and these values are the coefficients of the function on a basisOne hasAnalogously to the former case, one can determine the transformation properties of the elements of the tensor space :The space carries the product representation of the contragredient representation with itself.
That this is really the same concept of tensor as usually used in physics can be seen from the example of the dielectric tensor . For an electric field , the energy is given by and this is a bilinear function .
The most general situation occurs if one considers all multilinear functions of p vectors and q dual vectors. The functionis linear in each of its arguments. Again, the function is determined by its value on the basis vectors of V and of . The ()linear functions form a vector space with basis vectors given byThe dimensional space carries a representation of the group K:Therefore, the space of () tensors carries a representation which is the tensor product of the pth tensor power of and the qth tensor power of the contragredient representation .
If the () tensor ) is symmetric in its arguments, the space of such tensors carries the symmetrized tensor product of the representation with itself. Similarly the (anti)symmetric () tensors form a space that carries the symmetrized, respectively antisymmetrized, tensor product of with itself. This can be generalized to () tensors with all kinds of symmetry. One can have a () tensor that is symmetric in all its four arguments. Such tensors form a space that not only carries a representation of K, but one of the symmetric group (the permutation group on four letters) as well. We shall come back to such symmetric tensors in Section 1.2.2.7.
Important consequences from symmetry for physical systems are related to orthogonality relations. The vanishing of matrix elements is one example. Consider two irreducible representations and of dimensions and , respectively. Then take an arbitrary matrix M and construct with this a new matrix S:For this matrix one hasBecause and are supposed to be irreducible, it follows from Schur's lemma that either and are not equivalent and S is the null matrix, or they are equivalent. If they are not equivalent one hasBecause we have taken an arbitrary matrix M, this implies thatwhenever and are not equivalent.
When the two irreducible representations are equivalent we assume them to be identical. Then S commutes with all matrices of an irreducible representation and is thus a multiple of the identity (in case one considers complex representations). Its trace is then if the dimension of the representation is denoted by d, but on the other hand it isTherefore,HenceThis leads to the following proposition.
Proposition. If and are irreducible complex representations of the finite group K one haswhere is zero if the representations are not equivalent, unity if they are identical and undefined if they are equivalent but not identical.
For unitary representations the orthogonality relations can be written asAccording to Section 1.2.2.2 for finite groups K, there is always an equivalent unitary representation.
Two equivalent representations of a group K are conjugate subgroups in the group of nonsingular linear transformations. Corresponding matrices therefore have the same invariants. It is a remarkable fact that one of these invariants suffices for characterizing the equivalence class of a representation, namely the trace. The character of an element in a representation is the trace . It is a complex function on the group: for every there is a complex number .
The character only depends on the conjugacy class: if two elements R and belong to the same class there is an element such that . Hence . Notice that for the identity element one has the ddimensional unit matrix and . For the same reason, the character for two equivalent representations is the same.
From the orthogonality relations for the matrix elements of two irreducible representations follow those for characters.
Proposition. For two irreducible complex representations of a finite group K, one hasHere one can use the Kronecker delta because characters of equivalent representations are equal, even if they are not identical.
The character of the sum of two representations is the sum of the characters. More generally, the character of the sum of irreducible representations , each with multiplicity , isThis gives a formula for the multiplicity of an irreducible component:
From the expression for the multiplicities follows:
Proposition. The representations and are equivalent if and only if their characters are the same: . Two equivalent representations obviously have the same character. Nonequivalent irreducible representations have different characters because of the orthogonality relations and the multiplicities and irreducible components are uniquely determined by the formula (1.2.2.30).
Because the character is constant on a conjugacy class, (1.2.2.30) can also be written aswhere denotes the ith conjugacy class () and the number of its elements.
Proof: For a representation that is equivalent to the sum of irreducible representations with multiplicities one hasIf the representation is irreducible, there is exactly one value of for which , whereas all other multiplicities vanish. If the representation is reducible, .
Proposition. (Burnside's theorem.) The sum of the squares of the dimensions of all nonequivalent irreducible representations is equal to the order of the group.
Proof: Consider the regular representation. The value of its character in an element R is given by the number of elements for which . Therefore,The multiplicity formula (1.2.2.30) then givesEach irreducible representation occurs in the regular representation with a multiplicity equal to its dimension. Therefore,
Proposition. The number of nonequivalent irreducible representations of a finite group K is equal to the number of its conjugacy classes.
Proof: Take from each equivalence class of irreducible representations of K one unitary representative . The matrix elements are complex functions on the group. The number of these functions is the sum over of and that is equal to the order of the group according to Burnside's theorem. The number of independent functions on K is, of course, also equal to the order N of the group. If one considers the usual scalar product of functions on the group,the scalar product of two of the N functions isaccording to the orthogonality relations. This means that the N functions indeed form an orthogonal basis in the space of all functions on the group. In particular, consider a function that is constant on conjugacy classes. This function can be expanded in the basis functions.This implies that every class function can be written as a linear combination of the character functions. Therefore, the number of such character functions must be equal to or larger than the number of conjugacy classes. On the other hand, the number of dimensions of the space of class functions is k, the number of conjugacy classes. For the scalar product in this space given bythe character functions are orthogonal:There are at most k mutually orthogonal functions, and consequently the number of nonequivalent irreducible characters is exactly equal to the number of conjugacy classes.
As additional result one has the following proposition.
Proposition. The functions with and form an orthogonal basis in the space of complex functions on the group K. The characters form an orthogonal basis for the space of all class functions.
The characters of a group K can be combined into a square matrix, the character table, with entries . Besides the orthogonality relations mentioned above, there are also relations connected with class multiplication constants. Consider the conjugacy classes of the group K. Formally one can introduce the sum of all elements of a class:It can be proven that the multiplication of two such class sums is the sum of class sums, where such a class sum may occur more than once:The coefficients are called the class multiplication constants. The elements of the character table then have the following properties.
As an example, consider the permutation group on three letters . It consists of six permutations. It is a group that is isomorphic with the point group 32. The character table is a array, because there are three conjugacy classes (, ), and consequently three irreducible representations (, ) (see Table 1.2.2.1).

The two onedimensional representations are equal to their character. A representative representation for the third character is generated by matricesand the group of matrices is equivalent to an orthogonal group with generatorsThe character table is in agreement with the class multiplication table
For the irreducible representations of the point groups, it is necessary to know something about the structure of these groups. Since the representations of isomorphic groups are the same, one can restrict oneself to representatives of the isomorphism classes. In the following, we give a brief description of the structure of the point groups in spaces up to three dimensions. The character tables are given in Section 1.2.6. For the infinite series of groups ( and ), the crystallographic members are given explicitly separately.
In general, if K and H are finite groups with irreducible representations and , the outer tensor product acts on the tensor product of representation spaces as With the irreducibility criterion, one checks that this is an irreducible representation of . Moreover, is equivalent with if and only if and . This means that one obtains all nonequivalent irreducible representations of from the outer tensor products of the irreducible representations of K and H. If the group H is , there are two irreducible representations of , both onedimensional. That means that the tensor product simplifies to a normal product. If and is the trivial representation, one has from (1.2.2.38)The letters g and u come from the German gerade (even) and ungerade (odd). They indicate the sign of the operator associated with the generator A of : for g representations, for u representations. The number of nonequivalent irreducible representations of is twice that of K.
Schur's lemma and the orthogonality relations and theorems derived above are formulated for complex representations and are, generally, not valid for integer or real representations. Nevertheless, many physical properties can be described using representation theory, but being real quantities they sometimes require a slightly different treatment. Here we shall discuss the relation between the complex representations and physical or real representations. Consider a real matrix representation . If it is reducible over complex numbers, it can be fully reduced. When is an irreducible component itself real? A first condition is clearly that its character is real. This is, however, not sufficient. A real representation can by a complex basis transformation be put into a complex form and such a transformation does not change the character. Therefore, a better question is: which complex irreducible representations can be brought into real form? Consider a complex irreducible representation with a real character. Then it is equivalent with its complex conjugate via a matrix S:Here one has to distinguish two different cases. To make the distinction between the two cases one has the following:
Proposition. Suppose that is a complex irreducible representation with real character, and S a matrix intertwining and its complex conjugate. Then S satisfies either or . In the former case, there exists a basis transformation that brings into real form, in the latter case there is no such basis transformation.
Proposition. If is a complex irreducible representation with real character , the latter satisfies If the righthand side is , the representation can be put into real form, if it is it cannot. (Proofs are given in Section 1.2.5.5.)
Consequently, a complex irreducible representation is equivalent with a real one if and . If that is not the case, a real representation containing as irreducible component is the matrix representationThe basis transformation is given by The dimension of the physically irreducible representation is 2d, if d is the dimension of the complex irreducible representation . In summary, there are three types of irreducible representation:
Examples of the three cases:
All complex irreducible representations of the finite point groups in up to three dimensions with real character can be put into a real form. This is not true for higher dimensions, as we have seen in the example of the quaternion group.
When are linear vector spaces, one may construct tensor products of these spaces. There are many examples in physics where this notion plays a role. Take the example of a particle with spin. The wave function of the particle has two components, one in the usual threedimensional space and one in spin space. The proper way to describe this situation is via the tensor product. In normal space, a basis is formed by spherical harmonics , in spin space by the states . Spin–orbit interaction then plays in the dimensional space with basis . Another example is a physical tensor, e.g. the dielectric tensor of rank 2. It is a symmetric tensor that transforms under orthogonal transformations exactly like a symmetric bivector with components , where and () are the components of vectors and . A basis for the space of symmetric bivectors is given by the six vectors () (). The space of symmetric rank 2 tensors has the same transformation properties.
A basis for the tensor space is given by , where ; ; ; . Therefore the dimension of the tensor product is the product of the dimensions of the spaces (see also Section 1.1.3.1.2 ). The tensor space consists of all linear combinations with real or complex coefficients of the basis vectors. In the summation one has the multilinear property In many cases in practice, the spaces are all identical and then the dimension of the tensor product is simply .
The tensor product of n identical spaces carries in an obvious way a representation of the permutation group of n elements. A permutation of n elements is always the product of pair exchanges. The action of the permutation (12), that interchanges spaces 1 and 2, is given by Two subspaces are then of particular interest, that of the tensors that are invariant under all elements of and those that get a minus sign under pair exchanges. These spaces are the spaces of fully symmetric and antisymmetric tensors, respectively.
If the spaces carry a representation of a finite group K, the tensor product space carries the product representation. The matrix of the tensor representation is the tensor product of the matrices . In general, this representation is reducible, even if the representations are irreducible. The special case of has already been discussed in Section 1.2.2.3.
From the definition of the action of on vectors in the tensor product space, it is easily seen that the character of R in the tensor product representation is the product of the characters of R in the representations :The reduction in irreducible components then occurs with the multiplicity formula.If the tensor product representation is a real representation, the physically irreducible components can be found by first determining the complex irreducible components, and then combining with their complex conjugates the components that cannot be brought into real form.
The tensor product of the representation space V with itself has a basis (). The permutation (12) transforms this into . This action of the permutation becomes diagonal if one takes as basis (, spanning the space ) and (, spanning the space ). If one considers the action of K, one has with respect to the first basis if V carries the representation with character . With respect to the second basis, one sees that the character of the permutation is given by . The action of the element on the second basis is This implies that both and are invariant under R. The character in the subspace is for the symmetric subspace and for the antisymmetric one. Consequently one has
For , the tensor product space does not carry just a symmetric and an antisymmetric subspace, but also higherdimensional representations of the permutation group . The derivation of the character of the fully symmetric and fully antisymmetric subspaces remains rather similar. The formulae for the character of the representation of K carried by the fully symmetric () and fully antisymmetric (−) subspace, respectively, for are From this follows immediately the dimension of the two subspaces:These expressions are based on Young diagrams. The procedure will be exemplified for the case of . In the expression for occur the partitions of n in groups of integers: . Each partition corresponds with a Young diagram with as many rows as there are terms in the sum, and in each row the corresponding number of boxes. The total number of boxes is n. Each partition corresponds with a term such that . Here is the number of boxes in the first row etc. The prefactor then is the number of possible permutations compatible with the partition. For example, the partition allows the permutationsThe sign of all these permutations is even: they are the product of an even number of pair interchanges. The prefactor for the term is then .
It is useful to consider a more general type of representation, one that gives only a homomorphism from a group to linear transformations up to a factor. In quantum mechanics, the relevance of such representations is a consequence of the freedom of the phase of the wave function, but they also occur in classical physics. In particular, we shall need this generalized concept for the determination of representations of crystallographic space groups.
A projective representation of a group K is a mapping from K to the group of nonsingular linear transformations of a vector space V such that where is a nonzero real or complex number. The name stems from the fact that the mapping is a homomorphism if one identifies linear transformations that differ by a factor. Then one looks at the transformations of the lines through the origin, and these form a projective space. Other names are multiplier or ray representations. The mapping from to the real or complex numbers is called the factor system of the projective representation. An ordinary representation is a projective representation with a trivial factor system that has only the value unity. A projective representation that can be identified with is one with for some real or complex function u on the group. It gives the same transformations of projective space. The projective representations and are called associated. Their factor systems are related by as one can check easily. Two factor systems that are related in this way are also called associated.
Not every mapping complex numbers can be considered as a factor system. There is the following proposition:
Proposition. A mapping from to the complex numbers can occur as factor system for a projective representation if and only if one has
If one has two mappings and satisfying this relation, the product also satisfies the relation. Therefore, factor systems form an Abelian multiplicative group. A subgroup is formed by all factor systems that are associated with the trivial one: for some function u on the group. These form another Abelian group and the factor group consists of all essentially different factor systems. This factor group is called Schur's multiplicator group.
A projective representation is called reducible if there is a proper invariant subspace. It is fully reducible if there is a basis on which the representation matrices form the direct sum of two representations. This is exactly as for ordinary representations. Equivalence of projective representations is slightly more subtle. Two projective representations are called associated if their factor systems are associated. They are weakly equivalent if there is a complex function on the group and a nonsingular linear transformation S such that This implies that their factor systems are associated. Two projective representations are strongly equivalent if their factor systems are identical and there exists a nonsingular linear transformation S such that . Therefore, strong equivalence implies weak equivalence, which in turn implies association. The reason for this distinction will soon become clear.
For projective representations with identical factor systems there exist orthogonality relations for matrix elements and for characters. It is important to notice that for projective representations the character is generally not a class function, because one can multiply every operator with a separate constant.
Proposition. For given factor system there is a finite number r of strong equivalence classes of irreducible projective representations. The dimensions of the nonequivalent irreducible representations satisfy
Proposition. For two irreducible projective matrix representations with the same factor system, the following holds:
Notice that, in general, for projective representations ! Every projective representation of a finite group is strongly equivalent with a unitary representation, for which one has and for the characters
For projective representations with the same factor system, one can construct the sum representation, which still has the same factor system: . On the other hand, a reducible projective representation can be decomposed into irreducible components with the same factor system and multiplicities as follows directly from the orthogonality conditions.
Projective representations of a group K may be constructed from the ordinary representations of a larger group R. Suppose that R has a subgroup A in the centre, which means that all its elements commute with all elements of R. Suppose furthermore that the factor group is isomorphic with K. Therefore, the order of R is the product of the orders of A and K. Because K is the factor group, each element of R corresponds to a unique element of K and the elements of the subgroup A correspond to the unit element in K. Then consider an irreducible representation D of R. For two elements and of R there are elements and in K. Define linear operators . Then corresponds to up to an element . This means Because a commutes with all elements of R, the operator commutes with all the operators of the irreducible representation . From Schur's lemma it follows that it is a multiple of the unit operator. Moreover, this multiple depends on and : . Therefore, an irreducible representation of R gives a projective representation of K. It has been shown by Schur that one obtains all projective representations of K, i.e. one representative from each strong equivalence class for each class of nonassociated factor systems, in the way presented if one takes for the group A the multiplicator group. The way to find all projective representations of K is then: determine the multiplicator group, determine R, determine the ordinary irreducible representations of R. We shall not go into detail, but only present a way to characterize projective representations (Janssen, 1973).
First we consider an example, the group , isomorphic to . It can be shown that the multiplicator group is the group of two elements. Therefore, the representation group R has eight elements and one can show that it is isomorphic to or to the quaternion group (in general there is not a unique R). The character table of is given in Table 1.2.2.2.

The centre is generated by . If the elements of the factor group are e, a, b and , then E and correspond to e, A and to a, B and to b, and and to . Because is represented by the unit element for the four onedimensional representations, each element of the factor group corresponds to a unique element of the representation. can be chosen to be or , but because for the onedimensional representations these are equal. Therefore, the onedimensional representations of have a trivial factor system. For the twodimensional representation one may choose It is easily checked that this forms a projective representation with a nontrivial factor system. One can characterize the projective representation starting from the defining relations . One has , , . It is easily seen that one cannot achieve a trivial factor system by multiplication of the P matrices by suitably chosen factors. Therefore, the factor system is not associated with the trivial one either. This is the general situation. The ordinary representations of R can be partitioned into groups, each group corresponding with one class of associated factor systems, and within each group one finds representatives of each strong equivalence class. For the example above, there is only one such class for the nontrivial factor system as one sees from .
The general procedure then is to characterize a factor system with expressions stemming from defining relations for the group K. Defining relations are expressions (words) in the generators that fix the isomorphism class of the group. They are of the form if the are the generators. For a projective representation the corresponding product is a multiple of the identity operator. The defining relations are not unique for a group. Therefore, there is arbitrariness here. The complex numbers that correspond to the defining relations may be changed by multiplying the operators by factors . This changes the factor system to an associated one. If in a table the factor systems are given by the numbers , one can identify the class of a given factor system by calculating the corresponding words and solving the problem of finding the table values by taking into account additional factors . For example, the factor system that gives the values of for above is associated with one that gives , if one multiplies by i.
Threedimensional rotation point groups are subgroups of SO(3). In quantum mechanics, rotations act according to some representation of SO(3). Because wave functions can be multiplied by an arbitrary phase factor, in principle projective representations play a role here. The projective representations of SO(3) can be obtained from the ordinary representations of the representation group, which is SU(2), the group of all matrices For example, in spin space for a particle with spin ½, a rotation over along the z axis acts according to and in general the representation for a rotation over along an axis is where is a vector with the three Pauli spin matrices as components. Because the matrices for become , the representation has a nontrivial factor system. As a representation of SU(2), however, it is an ordinary representation.
To each rotation correspond two elements . To a point group corresponds a subset of SU(2) which is in fact a subgroup, because . This group is the double group . It contains both E and , which are both mapped to the unit element of SO(3) under the homomorphism SU(2) SO(3). Because commute with all elements of , this group is an invariant subgroup and the factor group is isomorphic to K. Therefore, every representation of K is a representation of , but in general there are other representations as well, the extra representations. Notice that the double group of K does not only depend on the isomorphism class of K, but also on the geometric class, because the realization as subgroup of O(3) comes in.
As an example, we take the group . The two generators and correspond, respectively, to the matrices These matrices generate a group of order eight, which can also be presented by This group is isomorphic with , a group with five irreducible representations: four onedimensional and one twodimensional. The former are the four ordinary representations of because both E and are represented by the unit matrix. The twodimensional representation has and is, therefore, not an ordinary representation for 222. It is an extra representation for the double group , or a projective representation of 222. Choosing one element from SU(2) for each generator of 222 one obtains The factor system fixed in this way is not associated to a trivial one (otherwise the irreducible representation could not be twodimensional). The extra representation of the double group corresponds to a nontrivial projective representation of the point group itself.
To construct the character table of the double group, it is worthwhile to note that the elements of mapped on one class of K form two classes, except when the class in K consists of 180° rotations and there exists for one element of this class another 180° rotation in K with its axis perpendicular to that of the former element. The example above illustrates this: there are four classes in and five classes in . The identity in K corresponds to in , and these form two classes. The other pairs , and are mapped each on one class. This is, however, not the most general case. only belong to the same class if there is an element such that . If one brings into diagonal form, one sees that this is only possible if the diagonal elements are , i.e. when the rotation angle of R is . In this case one has thenwhich is a twofold rotation with axis perpendicular to the z axis. Therefore, in general, if a class in K of 180° rotations does not exist or if there is not a perpendicular 180° rotation, the class in K corresponds to two classes in .
As a second example, we consider the group of order six. It is generated by a threefold rotation along the z axis and a twofold rotation perpendicular to the first one. Corresponding elements of SU(2) are The group generated by these elements is of order 12 with six classes: E, , (), (), () and (), which are mapped on the three classes of . Therefore, there are six irreducible representations for : four onedimensional ones and two twodimensional ones. Two onedimensional and one twodimensional representations are the ordinary representations of K, the other ones are extra representations and have . As projective representations of , they are associated with ordinary representations: for the onedimensional ones this is obvious; for the twodimensional one, generated by A and B, one can find an associated one , such that and, consequently, this representation has a trivial factor system. This shows that, although 32^{d} has three extra representations, there are no nontrivial projective representations.
The characters for the double point groups are given in Table 1.2.6.7.
The Euclidean group E(n) in n dimensions is the group of all distancepreserving inhomogeneous linear transformations. In Euclidean space, an element is denoted bywhere and is an ndimensional translation. On a point in ndimensional space, g acts according to Therefore, . The group multiplication law is given by The elements form an Abelian subgroup, the group of ndimensional translations T(n).
An ndimensional space group is a subgroup of E(n) such that its intersection with T(n) is generated by n linearly independent basis translations. This means that this lattice translation subgroup A is isomorphic to the group of ntuples of integers: each translation in A can be written as The lattice translation subgroup A is an invariant subgroup because The factor group , of the space group G and the lattice translation group A, is isomorphic to the group K formed by all elements R occurring in the elements . This group is the point group of the space group G. It is a subgroup of O(n).
The unit cell of the space group is a domain in ndimensional space such that every point in space differs by a lattice translation from some point in the unit cell, and such that between any two points in the unit cell the difference is not a lattice translation. The unit cell is not unique. One choice is the ndimensional parallelepiped spanned by the n basis vectors. The points in this unit cell have coordinates between 0 (inclusive) and 1. Another choice is not basis dependent: consider all points generated by the lattice translation group from an origin. This produces a lattice of points . Consider now all points that are closer to the origin than to any other lattice point. This domain is a unit cell, if one takes care which part of the boundary belongs to it and which part not, and is called the Wigner–Seitz cell. In mathematics it is called the Voronoi cell or Dirichlet domain (or region).
Because the point group leaves the lattice of points invariant, it transforms the Wigner–Seitz cell into itself. This implies that points inside the unit cell may be related by a pointgroup element. Similarly, spacegroup elements may connect points inside the unit cell, up to lattice translations. A fundamental region or asymmetric unit is a part of the unit cell such that no points of the fundamental region are connected by a spacegroup element, and simultaneously that any point in space can be related to a point in the fundamental region by a spacegroup transformation.
Because belongs to the lattice translation group for every and every lattice translation , the lattice generated by the vectors () is invariant under the point group K. Therefore, the latter is a crystallographic point group. On a basis of the lattice , the point group corresponds to a group of integer matrices. One has the following situation. The space group G has an invariant subgroup A isomorphic to , the factor group is a crystallographic point group K which acts according to the integer representation on A. In mathematical terms, G is an extension of K by A with homomorphism from K to the group of automorphisms of A.
The vectors occurring in the elements are called primitive translations. They have integer coefficients with respect to the basis . However, not all vectors in the spacegroup elements are necessarily primitive. One can decompose the space group G according to To every element there is a coset with as representative. Such a representative is unique up to a lattice translation. Instead of , one could as well have as representative for any lattice translation . For a particular choice, the function from the point group to the group T(n) is called the system of nonprimitive translations or translation vector system. It is a mapping from the point group K to , modulo A. Such a system of nonprimitive translations satisfies the relations This follows immediately from the product of two representatives .
If the lattice translation subgroup A acts on a point , one obtains the set . One can describe the elements of G as well as combinations of an orthogonal transformation with as centre and a translation. This can be seen from where now leaves the point invariant. The new system of nonprimitive translations is given by This is the effect of a change of origin. Therefore, for a space group, the systems of nonprimitive translations are only determined up to a primitive translation and up to a change of origin.
It is often convenient to describe a space group on another basis, the conventional lattice basis. This is the basis for a sublattice with the same, or higher, symmetry and with the same number of free parameters. Therefore, the sublattice is also invariant under K and with respect to the conventional basis, which is obtained from the original one via a basis transformation S, the point group has the form where S is the centring matrix. It is a matrix with determinant equal to the inverse of the number of lattice points of the primitive lattice inside the unit cell of the conventional lattice. As an example, consider the primitive and centred rectangular lattices in two dimensions. Both have symmetry , and two parameters a and b. The transformation from a basis of the conventional lattice [() and ()] to a basis of the primitive lattice [() and ()] is given by S, and the relations between the generators of the point groups are
The lattice translation group A is isomorphic to the group of ntuples of integers. This is an infinite group and, therefore, the usual techniques for finite groups cannot be applied. A way past this is the following. If are the basis vectors of the lattice , the lattice translation group generated by the translations forms an Abelian subgroup of A. The factor group is a finite group isomorphic to the direct product of n cyclic groups of order N. Each representation of this group is a representation of A with the property that the elements of are represented by the unit operator. This procedure is in fact that of periodic boundary conditions in solidstate physics. In the following, we shall consider only the representations of A that satisfy this condition.
The irreducible representations of the direct product of n cyclic groups of order N are all onedimensional. According to Section 1.2.2.6 they can be characterized by n integers and read because a representation of the cyclic group is determined by its value on the basis translations: There are exactly nonequivalent irreducible representations.
If are basis vectors of the lattice , its dual basis consists of vectors defined by These vectors span the reciprocal lattice . The scalar product of an arbitrary lattice vector and a reciprocallattice vectors is thenThe expression (1.2.3.9) then can be written more concisely if one introduces an ndimensional vector : Then (1.2.3.9) simplifies toBecause , the vector belongs to the unit cell of the reciprocal lattice. If one chooses that unit cell as the Voronoi cell for the reciprocal lattice, which in direct space would be the Wigner–Seitz cell, it is called the Brillouin zone. Therefore, representations of the lattice translation subgroup are characterized by a vector in the Brillouin zone. In fact, the vectors form a mesh inside the Brillouin zone, but this mesh becomes finer if N increases. In the limit of N going to , the wavevectors fill the Brillouin zone.
Just like the direct lattice, the reciprocal lattice is invariant under the point group K. The Brillouin zone, or at least its interior, is invariant under K as well. A fundamental domain in the Brillouin zone is a part of the zone such that no two points of the fundamental region are related by a pointgroup transformation from K and that any point in the Brillouin zone can be obtained from a point in the fundamental region by a pointgroup transformation.
For representations of space groups, we use the same argumentation as for the lattice translation subgroup. Notice that the group generated by the vectors is an invariant Abelian subgroup of the space group G as well. The factor group is a finite group of order times the order of the point group K. Representations of this factor group are representations of G with the property that all elements of are mapped on the unit operator. We shall consider here only such spacegroup representations.
Suppose that is an irreducible representation of the space group G. Its restriction to the lattice translation subgroup is then reducible, unless it is onedimensional. Each irreducible representation of A is characterized by a vector in the Brillouin zone. Therefore, Some of the vectors may be identical. Therefore, the matrix representation can be written as It can be shown that the dimensions of the unit matrices E are all the same (and equal to d). Then With respect to the basis on which the translation is of this form, every basis vector in the pth block is multiplied by a factor .
Suppose that is an element of the space group G. Consider a basis vector v of the representation space that gets a factor under the translation . Then one has and because also belongs to the representation space there are vectors that transform with the vector as well as vectors that transform with . This means that for every vector occurring in a block in (1.2.3.5), there is also a block for each vector as R runs over the point group K. The vectors form the star of . Vectors that differ by a reciprocallattice vector ( with ) correspond to the same representation and are therefore considered to be the same. Generally, a vector may be left invariant by a subgroup of the point group K. This point group is the point group of .Then there are s pointgroup elements such that and each element corresponds to a vector in the star: Therefore, the blocks in (1.2.3.15) for an irreducible representation of the space group G correspond to the s branches of the star of . They are all of the same dimension d. If the vectors in (1.2.3.15) belonged to two or more different stars, the representation would be reducible.
To the point group of corresponds a subgroup of the space group G that has as point group. It is called the group of and is defined by Analogously to (1.2.3.17), one can write for elements of the space group G.
As one sees from (1.2.3.15), there is a subspace of vectors v that get a factor ) for any lattice translation . If one considers the action of with , it follows immediately that a vector from this space is transformed into a vector of the same space: the subspace corresponding to a vector is invariant under . Therefore this space carries a representation of . It can be seen as follows that one may construct the irreducible representation of the whole group G as soon as one knows the representation of in . To that end, consider a basis in . The vectors form a basis of the whole representation space. Under a latticetranslation vector , the vector gets a factor . On this basis, one can determine the matrix representation . Take an element . It belongs to a certain coset in the decomposition of G. In addition, the element belongs to a well defined . This means that there is an element in the group such that Then one can writeThis means that the representation matrix can be decomposed into blocks of dimension d. In each row of blocks there is exactly one that is not a block of zeros, and the same is true for each column of blocks. Moreover, the only nonzero block in the ith column and in the jth row is where i and j are uniquely related by It can be shown that is irreducible if and only if is irreducible. From the construction, it is obvious that one may obtain all irreducible representations of G in this way. Moreover, one obtains all representations of G if one takes for the construction all stars and for each star all irreducible representations of .
So the final step is to determine all nonequivalent irreducible representations of . Notice that the lattice translation subgroup is a subgroup of . Therefore, If one makes a choice for the system of nonprimitive translations , every element can be written uniquely as for a lattice translation . Therefore, one has if one defines It is important to notice that this definition of does not depend on the choice of the system of nonprimitive translations. If one takes (), the result for is the same. The product of two matrices and then becomes One sees that the matrices form a projective representation of the point group of . The factor system is given bySuch a factor system may, however, be equivalent to a trivial one.
If the space group is symmorphic, one may choose the system of nonprimitive translations to be zero. Consequently, in this case the factor system is unity and the matrices form an ordinary representation of the space group . This is also the case if is not on the Brillouinzone boundary. If is inside the Brillouin zone and , one has only for . So inside the Brillouin zone one has for all . This implies that A nontrivial factor system can therefore only occur for a nonsymmorphic group and for a on the Brillouinzone boundary. But even then, it is possible that one may redefine the matrices with an appropriate phase factor such that they form an ordinary representation. This is, for example, always the case if is cyclic, because cyclic groups do not have genuine projective representations. These are always associated with an ordinary representation.
If the factor system is not associated with a trivial one, one has to find the irreducible projective representations with the given factor system. As seen in the previous section, one may do this by using the defining relation for the point group . If these are words in the generators , the corresponding expressions in the representation are multiples of the unit operator. The values of fix the class of the factor system completely. By multiplying the operators by proper phase factors, the values of can be transformed into those tabulated. Then the tables give all irreducible representations for this factor system.
In summary, the procedure for finding all irreducible representations of a space group G is as follows.
The irreducible representations of space groups are characterized by a star of vectors in the Brillouin zone, and by the irreducible, possibly projective, representations of the point group of one point from that star.
The stars are sets of vectors in the Brillouin zone related mutually by transformations from the point group K of the space group G modulo reciprocallattice vectors. To obtain all stars, it is sufficient to take all vectors in the fundamental domain of the Brillouin zone, i.e. a part of the Brillouin zone such that no vectors in the domain are related by pointgroup elements (modulo ) and such that every point in the Brillouin zone is related to a vector in the fundamental domain by a pointgroup operation.
From each star one takes one point and determines the nonequivalent irreducible representations of the point group , the ordinary representations if the group is symmorphic or is inside the Brillouin zone, or the projective representations with factor system [equation (1.2.3.26)] otherwise. These representations are labelled . There are several conventions for the choice of this label, but an irreducible representation of G is always characterized by a pair (, where fixes the star and the irreducible pointgroup representation.
The projective representations of the group of , i.e. of , can be obtained from the ordinary representations of a larger group. If the factor system is of order m [ for all ], the order of this larger group is m times the order of . Then the irreducible representations of the space group are labelled by the vector in the Brillouin zone and an irreducible ordinary representation of , where follows from (1.2.3.26).
Two stars such that one branch of the first one has the same as one branch of the other determine representations that are quite similar. The only difference is the numerical value of the factors , the form of the representation matrices being the same. Such irreducible representations of the space group are said to belong to the same stratum. Strata are denoted by a symbol for one vector in the Brillouin zone. For example, the origin, conventionally denoted by , belongs to one stratum that corresponds to the ordinary representations of the point group K. For a simple cubic space group, the point [] is denoted by X. Its is the tetragonal group . All points [] with and form one stratum with point group . This stratum is denoted by etc. The strata can be compared with the Wyckoff positions in direct space. There a Wyckoff position is a manifold in the unit cell for which all points have the same site symmetry, modulo the lattice translations. Here it is a manifold of k vectors with the same symmetry group modulo the reciprocal lattice. The action of does not involve the nonprimitive translations. Therefore, the strata correspond to Wyckoff positions of the corresponding symmorphic space group. The stratum symbols for the various threedimensional Bravais classes are given in Table 1.2.6.11.
As an example, we consider here the orthorhombic space group . The orthorhombic Brillouin zone has a fundamental domain with volume that is oneeighth of that of the Brillouin zone. The various choices of in this fundamental domain, together with the corresponding point groups , are given in Table 1.2.3.1. The vectors correspond to Wyckoff positions of the group .

In the tables, the vectors and their corresponding Wyckoff positions are given for the holohedral space groups. In general, the number of different strata is smaller for the other groups. One can still use the same symbols for these groups, or take the symbols for the Wyckoff positions for the groups that are not holohedral. Consider as an example the group . Its holohedral space group is . The strata of irreducible representations can be labelled by the symbols for Wyckoff positions of as well as those of . This is shown in Table 1.2.3.2.

The defining relations for the point group areFor the subgroups, the defining relations follow from these. The corresponding expressions in the representation matrices for the generators of the point groups give expressionsIn the example one hasThe values for characterize the projective representation factor system and are given in Table 1.2.3.3. They are unity for ordinary representations.

By putting factors i in front of the representation matrices in the appropriate places, some of the values of can be changed from to . In this way, one obtains either ordinary representations, which are necessarily onedimensional for these Abelian groups, or projective representations, which are in this case twodimensional. This is indicated as well in Table 1.2.3.3. The onedimensional irreducible representations are ordinary representations of the group . The twodimensional ones are projective representations, but correspond to ordinary representations of the larger groups isomorphic to and .
In Section 1.2.2.9, it was mentioned that the transformation properties of spin particles under rotations are not given by the orthogonal group O(3), but by the covering group SU(2). Hence, the transformation of a spinor field under a Euclidean transformation g is given by where the SU(2) operator is given bywhen the rotation R has angle and axis . When R does not belong to SO(3) one has to take ).
For an ordinary space group, one can construct the double space group bywith multiplication rule An invariant subgroup of the double space group is the translation group A. The factor group is the double point group of the point group K.
The representations of the double space groups can be constructed in the same way as those of ordinary space groups. They are characterized by a vector in the Brillouin zone and a label for an irreducible, generally projective, representation of the (double) point group of , which is the double group of . Again, for nonsymmorphic space groups or wavevectors inside the Brillouin zone, the relevant irreducible representations of are ordinary representations with a trivial factor system.
For an element g of the space group G, there are two elements of the double space group . If one considers an irreducible representation for the double space group and takes for each one of the two corresponding elements in , the resulting set of linear operators forms a projective representation of the space group. It is also characterized by a vector in the Brillouin zone and a projective representation of the point group (not its double) . This projective representation does not have the same factor system as discussed in Section 1.2.3.3, because the factor system now stems partly from the nonprimitive translations and partly from the fact that a double point group gives a projective representation of the ordinary point group .
The projective representations of a space group corresponding to ordinary representations of the double space group again are characterized by the star of a vector . The projective representation of the group then is given by where the projective representation has the factor system where is the spin factor system for and is the nonprimitive translation of the spacegroup element with orthogonal part S. The factor system can be characterized by the defining relations of . If these are the words then the factor system is characterized by the factors in The factors are the product of the values found from the spin factor system and those corresponding to the factor system for an ordinary representation [equation (1.2.3.26)].
A vector is an element of an Ndimensional vector space that transforms under an orthogonal transformation, an element of ), as A tensor of rank r under is an object with components () that transforms as (see Section 1.1.3.2 )A rankzero tensor is a scalar, which is invariant under . A pseudovector (or axial vector) has components and transforms according to and analogously for pseudotensors (or axial tensors – see Section 1.1.4.5.3 ).
A vector field is a vectorvalued function in ndimensional space. Under an orthogonal transformation it transforms according to Under a Euclidean transformation, the function transforms according to In a similar way, one has (pseudo)tensor functions under the orthogonal group or the Euclidean group. So it is important to specify under what group an object is a tensor, unless no confusion is possible.
The ndimensional vectors form a vector space that carries a representation of the group O(n). Moreover, it is an irreducible representation space. To stress this fact, one could speak of irreducible tensors and vectors. Vectors are here just rankone tensors. The threedimensional Euclidean vector space carries in this way an irreducible representation of O(3). Such representations are characterized by an integer l and are dimensional. The usual threedimensional space is therefore an irreducible space for O(3).
Since point groups are subgroups of the orthogonal group and space groups are subgroups of the Euclidean group, tensors inherit their transformation properties from their supergroups. As we have seen in Sections 1.2.2.3 and 1.2.2.7, one can also define tensors in a quite abstract way. Irreducible tensors under a group are then elements of a vector space that carries an irreducible representation of that group. Generally, tensors are elements of a vector space that carries a tensor product representation and (anti)symmetric tensors belong to a space with an (anti)symmetrized tensor product representation.
Because the point groups one usually considers in physics are subgroups of O(2) or O(3), it is useful to consider the irreducible representations of these groups. The groups O(2) and O(3) are not finite, but they are compact, and for compact groups most of the theorems for finite groups are still valid if one replaces sums over group elements by integration over the group.
The group O(3) is the direct product . Therefore, there are even and odd representations. They have the property The irreducible representations are labelled by nonnegative integers and have character if R is a rotation with rotation angle . From the character it follows that the dimension of the representation is equal to .
The tensor product of two irreducible representations of SO(3) is generally reducible: and the symmetrized and antisymmetrized tensor products are
If the components of the tensor are taken with respect to an orthonormal basis, the tensor is called a Cartesian tensor. The orthogonal transformation R then is represented by an orthogonal matrix . Cartesian tensors of higher rank than one are generally no longer irreducible for the group O(n). For example, the ranktwo tensors in three dimensions have nine components . Under SO(3), they transform according to the tensor product of two representations. Because the space of rank 2 Cartesian tensors is the direct sum of three invariant subspaces. This corresponds to the fact that a general rank 2 tensor can be written as the sum of a diagonal tensor, an antisymmetric tensor and a symmetric tensor with trace zero. These three tensors are irreducible tensors, in this case also called spherical tensors, i.e. irreducible tensors for the orthogonal group.
An irreducible tensor with respect to the group transforms, in general, according to some reducible representation of a point group . If the group K is a symmetry of the physical system, the tensor should be invariant under K, i.e. it should transform according to the identity representation of K.
Consider, for example, a symmetric secondrank tensor under . This means that it belongs to the space that transforms according to the representation [see (1.2.4.6)]. If the symmetry group of the system is the point group , the representation has characterand is equivalent to the direct sumThe multiplicity of is one. Therefore, the space of tensors invariant under K is onedimensional. Consequently, there is only one parameter left to describe such a symmetric secondrank tensor invariant under the cubic group . Noninvariant symmetric secondrank tensors are sums of tensors which transform according to the and representations. Here we are especially interested in invariant tensors.
The dimension of the space of tensors of a certain type which are invariant under a point group K is equal to the number of free parameters in such a tensor. This number can be found as the multiplicity of the identity representation in the tensor space. For the 32 threedimensional point groups this number is given in Table 1.2.6.9 for general secondrank tensors, symmetric secondrank tensors and a number of higherrank tensors.
Invariant tensors, i.e. tensors of a certain type left invariant by a given group, may be constructed in several ways. The first way is a direct calculation. Take as an example again a secondrank symmetric tensor invariant under the cubic group 432. This means that which is a concise notation for The group has two generators. Because each element of K is the product of generators, a tensor is left invariant under a group if it is left invariant by the generators. Therefore, one has in this case for the equation These equations form a system of 12 linear algebraic equations for the coefficients of f with the solution Up to a factor there is only one such tensor: in agreement with the finding that the space of invariant secondrank symmetric tensors is onedimensional. An overview of these relations for the 32 point groups can be found in Section 1.1.4 in this volume.
This method can always be used for groups with a finite number of generators. Another method for determining invariant tensors is using projection operators.
If a group, for example a point group, acts in some linear vector space, for example the space of tensors of a certain type, this space carries a representation. Then it is possible to construct a basis such that the representation corresponds to a choice of matrix representation. In particular, if the representation is reducible, it is possible to construct a basis such that the matrix representation is in reduced form. This can be achieved with projection operators.
Suppose the element acts in a space as an operator such that the representation is equivalent with a matrix representation which has irreducible components . Then choose a vector v in the representation space and construct the vectorswith j fixed. If v does not have a component in the invariant space of the irreducible representation , these vectors are all zero, but for a sufficiently general vector the vectors form a basis for the irreducible representation. This property follows from the orthogonality relations.
Using this relation one can write for an invariant symmetric secondrank tensor for an arbitrary symmetric secondrank tensor . For the group this would give a tensor with components . Of course, this is a rather impractical method if the order of the group is large. A simple example for a very small group is the construction of the symmetrical and antisymmetrical components of a function: .
The tensor product of two irreducible representations of a group K is, in general, reducible. If is a basis for the irreducible representation () and one for ( ), a basis for the tensor product space is given byOn this basis, the matrix representation is, in general, not in reduced form, even if the product representation is reducible. Suppose that This means that there is a basis on which the representation is in reduced form. The multiplicity gives the number of times the irreducible component occurs in the tensor product. The basis transformation is given byThe basis transformation is unitary if one starts with orthonormal bases and has coefficients called Clebsch–Gordan coefficients. For the group O(3) they are the original Clebsch–Gordan coefficients; for bases and of the () and ()dimensional representations and , respectively, of O(3) one has The multiplicity here is always zero or unity, which is the reason why one leaves out the number in the notation.
If the multiplicity is unity, the coefficients for given are unique up to a common factor for all . This is no longer the case if the multiplicity is larger, because then one can make linear combinations of the basis vectors belonging to . Anyway, one has to follow certain conventions. In the case of O(3), for example, there are the Condon–Shortley phase conventions. The degree of freedom of the Clebsch–Gordan coefficients for given matrix representations can be seen as follows. Suppose that there are two basis transformations, S and , in the tensor product space which give the same reduced form: Then the matrix commutes with every matrix (). If all multiplicities are zero or unity, it follows from Schur's lemma that is the direct sum of unit matrices of dimension . If the multiplicities are larger, the matrix is a direct sum of blocks which are of the form such that , and the E's are dimensional unit matrices. This means that for multiplicityfree () cases, the Clebsch–Gordan coefficients are unique up to a common factor for all coefficients involving one value of .
The Clebsch–Gordan coefficients satisfy the following rules:For the basis vectors of the invariant space belonging to the identity representation , one has . Consequently,
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 1651 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 for 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.
In the following, a short description of the tables is given in order to facilitate consultation without reading the introductory theoretical Sections 1.2.2 to 1.2.5.
Table 1.2.6.1. Finite point groups in three dimensions. The point groups are grouped by isomorphism class. There are four infinite families and six other isomorphism classes. (Notation: for the cyclic group of order n, for the dihedral group of order 2n, T, O and I the tetrahedral, octahedral and icosahedral groups, respectively). Point groups of the first class are subgroups of SO(3), those of the second class contain −E, and those of the third class are not subgroups of SO(3), but do not contain −E either. The families and are also isomorphism classes of twodimensional finite point groups.

Table 1.2.6.2. Among the infinite number of finite threedimensional point groups, 32 are crystallographic.

Table 1.2.6.3. Character table for the cyclic groups . The generator is denoted by . The number of elements in the conjugacy classes () is one for each class. The order is the smallest nonnegative power p for which . The n irreducible representations are denoted by .

Table 1.2.6.4. Character tables for the dihedral groups of order . is the number of elements in the conjugacy class . The irreducible representations are denoted by .

Table 1.2.6.5. The character tables for the 32 threedimensional crystallographic point groups. The groups are grouped by isomorphism class (there are 18 isomorphism classes).

For each isomorphism class, the character table is given, including the symbol for the isomorphism class, the number n of elements per conjugacy class and the order of the elements in each such class. The conjugation classes are specified by representative elements expressed in terms of the generators . The irreps are denoted by , where i takes as many values as there are conjugation classes. In each isomorphism class for each point group, given by its international symbol and its Schoenflies symbol, identification is made between the generators of the abstract group () and the generating orthogonal transformations. Notation: is a rotation of along the x axis, is a reflection from a plane perpendicular to the x axis, is a rotation over along the z axis multiplied by and is a reflection from a plane through the unique axis.
The notation for the irreducible representations can be given as , but other systems have been used as well. Indicated below are the relations between and a system that uses a characterization according to the dimension of the representation and (for groups of the second kind) the sign of the representative of . This nomenclature is often used by spectroscopists.The other notation for which the relation with the present notation is indicated is that of Kopský, and is used in the accompanying software.
The three functions x, y and z transform according to the vector representation of the point group, which is generally reducible. The reduction into irreducible components of this threedimensional vector representation is indicated.
The six bilinear functions , , , , , transform according to the symmetrized product of the vector representation. The basis functions of the irreducible components are indicated. Because the basis functions are real, one should consider the physically irreducible representations.
Table 1.2.6.6. The point groups of the second class containing are obtained from those of the first class by taking the direct product with the group generated by . From the point groups, one obtains nonmagnetic point groups by the direct product with the group generated by the time reversal . The relation between the characters of a point group and its direct products with groups generated by , and are given in Tables 1.2.6.6(a), (b) and (c), respectively.

Table 1.2.6.7. The representations of a point group are also representations of their double groups. In addition, there are extra representations which give projective representations of the point groups. For several cases, these are associated with an ordinary representation. As extra representations, those irreducible representations of the double point groups that give rise to projective representations of the point groups with a factor system that is not associated with the trivial one are given. These do not correspond to ordinary representations of the single group.

Table 1.2.6.8. If one chooses for each element of a point group one of the two corresponding elements, the latter form a projective representation of the point group. If one selects for the rotation the element where is the rotation angle and the rotation axis, and for the element where and are the rotation angle and axis of the rotation , the matrices form a projective representation: The factor system is the spin factor system. It is determined via the generators and defining relations of the point group K. Then and the factors fix uniquely the class of the factor system . These factors are given in the table.

Because is represented by the unit matrix in spin space, the double groups of two isomorphic point groups obtained from each other by replacing the elements by are the same.
The projective representations with factor system may sometimes be associated with one with a trivial factor system. If this is the case, there are actually no extra representations of the double group. If there are extra representations, these are irreducible representations of the double group: see Table 1.2.6.7.
Table 1.2.6.9. For the 32 threedimensional crystallographic point groups, the character of the vector representation and the number of times the identity representation occurs in a number of tensor products of this vector representation are given. This is identical to the number of free parameters in a tensor of the corresponding type. For the direct products , the character is equal to that of K on the rotation subgroup, and its opposite [] for the coset .

Table 1.2.6.10. The irreducible projective representations of the 32 threedimensional crystallographic point groups that have a factor system that is not associated to a trivial one. In three (and two) dimensions all factor systems are of order two.
