International
Tables for Crystallography Volume A Space-group symmetry Edited by M. I. Aroyo © International Union of Crystallography 2016 |
International Tables for Crystallography (2016). Vol. A. ch. 1.3, pp. 31-41
Section 1.3.4. Classification of space groups
a
Radboud University Nijmegen, Faculty of Science, Mathematics and Computing Science, Institute for Mathematics, Astrophysics and Particle Physics, Postbus 9010, 6500 GL Nijmegen, The Netherlands |
In this section we will consider various ways in which space groups may be grouped together. For the space groups themselves, the natural notion of equivalence is the classification into space-group types, but the point groups and lattices from which the space groups are built also have their own classification schemes into geometric crystal classes and Bravais types of lattices, respectively.
Some other types of classifications are relevant for certain applications, and these will also be considered. The hierarchy of the different classification levels and the numbers of classes on the different levels in dimension 3 are displayed in Fig. 1.3.4.1.
The main motivation behind studying space groups is that they allow the classification of crystal structures according to their symmetry properties. Since many properties of a structure can be derived from its group of symmetries alone, this allows the investigation of the properties of many structures simultaneously.
On the other hand, even for the same crystal structure the corresponding space group may look different, depending on the chosen coordinate system (see Chapter 1.5
for a detailed discussion of transformations to different coordinate systems). Because it is natural to regard two realizations of a group of symmetry operations with respect to two different coordinate systems as equivalent, the following notion of equivalence between space groups is natural.
Definition
Two space groups and
are called affinely equivalent if
can be obtained from
by a change of the coordinate system.
In terms of matrix–column pairs this means that there must exist a matrix–column pair such that
The collection of space groups that are affinely equivalent with
forms the affine type of
.
In dimension 2 there are 17 affine types of plane groups and in dimension 3 there are 219 affine space-group types. Note that in order to avoid misunderstandings we refrain from calling the space-group types affine classes, since the term classes is usually associated with geometric crystal classes (see below).
Grouping together space groups according to their space-group type serves different purposes. On the one hand, it is sometimes convenient to consider the same crystal structure and thus also its space group with respect to different coordinate systems, e.g. when the origin can be chosen in different natural ways or when a phase transition to a higher- or lower-symmetry phase with a different conventional cell is described. On the other hand, different crystal structures may give rise to the same space group once suitable coordinate systems have been chosen for both. We illustrate both of these perspectives by an example.
Examples
By a famous theorem of Bieberbach (see Bieberbach, 1911, 1912
), affine equivalence of space groups actually coincides with the notion of abstract group isomorphism as discussed in Section 1.1.6
.
Bieberbach theorem
Two space groups in n-dimensional space are isomorphic if and only if they are conjugate by an affine mapping.
This theorem is by no means obvious. Recall that for point groups the situation is very different, since for example the abstract cyclic group of order 2 is realized in the point groups of space groups of type P2, Pm and , generated by a twofold rotation, reflection and inversion, respectively, which are clearly not equivalent in any geometric sense. The driving force behind the Bieberbach theorem is the special structure of space groups having an infinite normal translation subgroup on which the point group acts.
In crystallography, a notion of equivalence slightly stronger than affine equivalence is usually used. Since crystals occur in physical space and physical space can only be transformed by orientation-preserving mappings, space groups are only regarded as equivalent if they are conjugate by an orientation-preserving coordinate transformation, i.e. by an affine mapping that has a linear part with positive determinant.
Definition
Two space groups and
are said to belong to the same space-group type if
can be obtained from
by an orientation-preserving coordinate transformation, i.e. by conjugation with a matrix–column pair
with
. In order to distinguish the space-group types explicitly from the affine space-group types (corresponding to the isomorphism classes), they are often called crystallographic space-group types.
The (crystallographic) space-group type collects together the infinitely many space groups that are obtained by expressing a single space group with respect to all possible right-handed coordinate systems for the point space.
Example
We consider the space group of type
(80) which is generated by the right-handed fourfold screw rotation
(located at
), the centring translation
and the integral translations of a primitive tetragonal lattice. Conjugating the group
to
by the reflection
in the plane
turns the right-handed screw rotation
into the left-handed screw rotation
, and one might suspect that
is a space group of the same affine type but of a different crystallographic space-group type as
. However, this is not the case because conjugating
by the translation
conjugates
to
. One sees that
is the composition of
with the centring translation
and hence
belongs to
. This shows that conjugating
by either the reflection
or the translation
both result in the same group
. This can also be concluded directly from the space-group diagrams in Fig. 1.3.4.2
. Reflecting in the plane z = 0 turns the diagram on the left into the diagram on the right, but the same effect is obtained when the left diagram is shifted by
along either a or b.
The groups and
thus belong to the same crystallographic space-group type because
is transformed to
by a shift of the origin by
, which is clearly an orientation-preserving coordinate transformation.
The 219 affine space-group types in dimension 3 result in 230 crystallographic space-group types. Since an affine type either forms a single space-group type (in the case where the group obtained by an orientation-reversing coordinate transformation can also be obtained by an orientation-preserving transformation) or splits into two space-group types, this means that there are 11 affine space-group types such that an orientation-reversing coordinate transformation cannot be compensated by an orientation-preserving transformation.
Groups that differ only by their handedness are closely related to each other and share many properties. One addresses this phenomenon by the concept of enantiomorphism.
Example
Let be a space group of type
(76) generated by a fourfold right-handed screw rotation
and the translations of a primitive tetragonal lattice. Then transforming the coordinate system by a reflection in the plane z = 0 results in a space group
with fourfold left-handed screw rotation
. The groups
and
are isomorphic because they are conjugate by an affine mapping, but
belongs to a different space-group type, namely
(78), because
does not contain a fourfold left-handed screw rotation with translation part
.
Definition
Two space groups and
are said to form an enantiomorphic pair if they are conjugate under an affine mapping, but not under an orientation-preserving affine mapping.
If is the group of isometries of some crystal pattern, then its enantiomorphic counterpart
is the group of isometries of the mirror image of this crystal pattern.
The splitting of affine space-group types of three-dimensional space groups into pairs of crystallographic space-group types gives rise to the following 11 enantiomorphic pairs of space-group types: (76/78),
(91/95),
(92/96),
(144/145),
(151/153),
(152/154),
(169/173),
(170/172),
(178/179),
(180/181),
(212/213). These groups are easily recognized by their Hermann–Mauguin symbols, because they are the primitive groups for which the Hermann–Mauguin symbol contains one of the screw rotations
,
,
,
,
,
,
or
. The groups with fourfold screw rotations and body-centred lattices do not give rise to enantiomorphic pairs, because in these groups the orientation reversal can be compensated by an origin shift, as illustrated in the example above for the group of type
.
Example
A well known example of a crystal that occurs in forms whose symmetry is described by enantiomorphic pairs of space groups is quartz. For low-temperature α-quartz there exists a left-handed and a right-handed form with space groups (152) and
(154), respectively. The two individuals of opposite chirality occur together in the so-called Brazil twin of quartz. At higher temperatures, a phase transition leads to the higher-symmetry β-quartz forms, with space groups
(181) and
(180), which still form an enantiomorphic pair.
We recall that the point group of a space group is the group of linear parts occurring in the space group. Once a basis for the underlying vector space is chosen, such a point group is a group of 3 × 3 matrices. A point group is characterized by the relative positions between the rotation and rotoinversion axes and the reflection planes of the operations it contains, and in this sense a point group is independent of the chosen basis. However, a suitable choice of basis is useful to highlight the geometric properties of a point group.
Example
A point group of type 3m is generated by a threefold rotation and a reflection in a plane with normal vector perpendicular to the rotation axis. Choosing a basis such that c is along the rotation axis, a is perpendicular to the reflection plane and b is the image of a under the threefold rotation (i.e. b lies in the plane perpendicular to the rotation axis and makes an angle of 120° with a), the matrices of the threefold rotation and the reflection with respect to this basis are
A different useful basis is obtained by choosing a vector in the reflection plane but neither along the rotation axis nor perpendicular to it and taking
and
to be the images of
under the threefold rotation and its square. Then the matrices of the threefold rotation and the reflection with respect to the basis
are
Different choices of a basis for a point group in general result in different matrix groups, and it is natural to consider two point groups as equivalent if they are transformed into each other by a basis transformation. This is entirely analogous to the situation of space groups, where space groups that only differ by the choice of coordinate system are regarded as equivalent. This notion of equivalence is applied at both the level of space groups and point groups.
Definition
Two space groups and
with point groups
and
, respectively, are said to belong to the same geometric crystal class if
and
become the same matrix group once suitable bases for the three-dimensional space are chosen.
Equivalently, and
belong to the same geometric crystal class if the point group
can be obtained from
by a basis transformation of the underlying vector space
, i.e. if there is an invertible 3 × 3 matrix
such that
Also, two matrix groups and
are said to belong to the same geometric crystal class if they are conjugate by an invertible 3 × 3 matrix
.
Historically, the geometric crystal classes in dimension 3 were determined much earlier than the space groups. They were obtained as the symmetry groups for the set of normal vectors of crystal faces which describe the morphological symmetry of crystals.
Note that for the geometric crystal classes in dimension 3 (and in all other odd dimensions) the distinction between orientation-preserving and orientation-reversing transformations is irrelevant, since any conjugation by an arbitrary transformation can already be realized by an orientation-preserving transformation. This is due to the fact that the inversion on the one hand commutes with every matrix W, i.e.
, and on the other hand
. If
is orientation reversing, one has
and then
is orientation preserving because
. But
, hence the transformations by
and
give the same result and one of
and
is orientation preserving.
Remark
: One often speaks of the geometric crystal classes as the types of point groups. This emphasizes the point of view in which a point group is regarded as the group of linear parts of a space group, written with respect to an arbitrary basis of (not necessarily a lattice basis).
It is also common to state that there are 32 point groups in three-dimensional space. This is just as imprecise as saying that there are 230 space groups, since there are in fact infinitely many point groups and space groups.
What is meant when we say that two space groups have the same point group is usually that their point groups are of the same type (i.e. lie in the same geometric crystal class) and can thus be made to coincide by a suitable basis transformation.
Example
In the space group P3 the threefold rotation generating the point group is given by the matrixwhereas in the space group R3 (in the rhombohedral setting) the threefold rotation is given by the matrix
These two matrices are conjugate by the basis transformation
which transforms the basis of the hexagonal setting into that of the rhombohedral setting. This shows that the space groups P3 and R3 belong to the same geometric crystal class.
The example is typical in the sense that different groups in the same geometric crystal class usually describe the same group of linear parts acting on different lattices, e.g. primitive and centred. Writing the action of the linear parts with respect to primitive bases of different lattices gives rise to different matrix groups.
In the classification of space groups into geometric crystal classes, only the point-group part is considered and the translation lattice is ignored. It is natural that the converse point of view is also adopted, where space groups are grouped together according to their translation lattices, irrespective of what the point groups are.
We have already seen that a lattice can be characterized by its metric tensor, containing the scalar products of a primitive basis. If a point group acts on a lattice
, it fixes the metric tensor
of
, i.e.
for all
in
and is thus a subgroup of the Bravais group
of
. Also, a matrix group
is called a Bravais group if it is the Bravais group
for some lattice
. The Bravais groups govern the classification of lattices.
Definition
Two lattices and
belong to the same Bravais type of lattices if their Bravais groups
and
are the same matrix group when written with respect to suitable primitive bases of
and
.
Note that in order to have the same Bravais group, the metric tensors of the two lattices and
do not have to be the same or scalings of each other.
Example
The mineral rutile (TiO2) has a space group of type (136) with a primitive tetragonal cell with cell parameters a = b = 4.594 Å and c = 2.959 Å. The metric tensor of the translation lattice L is therefore
and the Bravais group of the lattice is generated by the fourfold rotation
around the z axis, the reflection
in the plane x = 0 and the reflection
in the plane z = 0.
The silicate mineral cristobalite also has (at low temperatures) a primitive tetragonal cell with a = b = 4.971 Å and c = 6.928 Å, and the space-group type is (92). In this case the metric tensor of the translation lattice
is
and one checks that the Bravais group of
is precisely the same as that of L. Therefore, the translation lattices L for rutile and
for cristobalite belong to the same Bravais type of lattices.
The different Bravais types of lattices, their cell parameters and metric tensors are displayed in Tables 3.1.2.1
(dimension 2) and 3.1.2.2
(dimension 3): in dimension 2 there are 5 Bravais types and in dimension 3 there are 14 Bravais types of lattices.
It is crucial for the classification of lattices via their Bravais groups that one works with primitive bases, because a primitive and a body-centred cubic lattice have the same automorphisms when written with respect to the conventional cubic basis, but are clearly different types of lattices.
Example
The silicate mineral zircon (ZrSiO4) has a body-centred tetragonal cell with cell parameters a = b = 6.607 Å and c = 5.982 Å. The body-centred translation lattice is spanned by the primitive tetragonal lattice
with basis
with
and the centring vector
. A primitive basis of
is obtained as
with
i.e.
,
,
and the metric tensor
of
with respect to the primitive basis
is
The Bravais group of the primitive tetragonal lattice
is generated (as in the previous example) by
and these matrices also generate the Bravais group of the body-centred tetragonal lattice
, but written with respect to the primitive basis
these matrices are transformed to
That the primitive and the body-centred tetragonal lattices have different types ultimately follows from the fact that the body-centred lattice does not have a primitive basis consisting of vectors
which are pairwise perpendicular and such that
and
have the same length. This would be required to have the matrices
,
and
in the Bravais group of
.
As we have seen, the metric tensors of lattices belonging to the same Bravais type need not be the same, but if they are written with respect to suitable bases they are found to have the same structure, differing only in the specific values for certain free parameters.
Definition
Let be a lattice with metric tensor
with respect to a primitive basis and let
=
=
be the Bravais group of
. Then
is called the space of metric tensors of
. The dimension of
is called the number of free parameters of the lattice
.
Analogously, for an arbitrary integral matrix group ,
is called the space of metric tensors of
. If
=
for a subgroup
of
, the spaces of metric tensors are the same for both groups and one says that
does not act on a more general lattice than
does.
It is clear that contains in particular the metric tensor
of the lattice
of which
is the Bravais group. Moreover,
is a subgroup of the Bravais group of every lattice with metric tensor in
.
Example
Let be a lattice with metric tensor
then
is a tetragonal lattice with Bravais group
of type 4/mmm generated by the fourfold rotation
and the reflections
The space of metric tensors of
is
and the number of free parameters of
is 2.
For every lattice with metric tensor
in
such that
, one can check that the Bravais group of
is equal to
, hence these lattices belong to the same Bravais type of lattices as
. On the other hand, if it happens that
in the metric tensor
of a lattice
, then the Bravais group of
is the full cubic point group of type
and
is a proper subgroup of the Bravais group of
. In this case the lattice
is of a different Bravais type to
, namely cubic.
The subgroup of
generated only by the fourfold rotation
has the same space of metric tensors as
, thus this subgroup acts on the same types of lattices as
(i.e. tetragonal lattices). On the other hand, for the subgroup
of
generated by the reflections
and
, the space of metric tensors is
and is thus of dimension 3. This shows that the subgroup
acts on more general lattices than
, namely on orthorhombic lattices.
Remark
: The metric tensor of a lattice basis is a positive definite2 matrix. It is clear that not all matrices in are positive definite [if
is positive definite, then
is certainly not positive definite], but the different geometries of lattices on which
acts are represented precisely by the positive definite metric tensors in
.
The space of metric tensors obtained from a lattice can be interpreted as an expression of the metric tensor with general entries, i.e. as a generic metric tensor describing the different lattices within the same Bravais type. Special choices for the entries may lead to lattices with accidental higher symmetry, which is in fact a common phenomenon in phase transitions caused by changes of temperature or pressure.
One says that the translation lattice of a space group
with point group
has a specialized metric if the dimension of the space of metric tensors of
is smaller than the dimension of the space of metric tensors of
. Viewed from a slightly different angle, a specialized metric occurs if the location of the atoms within the unit cell reduces the symmetry of the translation lattice to that of a different lattice type.
Example
A space group of type P2/m (10) with cell parameters a = 4.4, b = 5.5, c = 6.6 Å,
has a specialized metric, because the point group
of type 2/m is generated by
and
, and has
as its space of metric tensors, which is of dimension 4. The lattice
with the given cell parameters, however, is orthorhombic, since the free parameter
is specialized to
. The automorphism group
is of type mmm and has a space of metric tensors of dimension 3, namely
The higher symmetry of the translation lattice would, for example, be destroyed by an atomic configuration compatible with the lattice and represented by only two atoms in the unit cell located at 0.17, 1/2, 0.42 and 0.83, 1/2, 0.58. The two atoms are related by a twofold rotation around the b axis, which indicates the invariance of the configuration under twofold rotations with axes parallel to b, but in contrast to the lattice L, the atomic configuration is not compatible with rotations around the a or the c axes.
By looking at the spaces of metric tensors, space groups can be classified according to the Bravais types of their translation lattices, without suffering from complications due to specialized metrics.
Definition
Let be a lattice with metric tensor
and Bravais group
and let
be the space of metric tensors associated to
. Then those space groups
form the Bravais class corresponding to the Bravais type of
for which
when the point group
of
is written with respect to a suitable primitive basis of the translation lattice of
. The names for the Bravais classes are the same as those for the corresponding Bravais types of lattices.
The Bravais groups of lattices provide a link between lattices and point groups, the two building blocks of space groups. However, although the Bravais group of a lattice is simply a matrix group, the fact that it is expressed with respect to a primitive basis and fixes the metric tensor of the lattice preserves the necessary information about the lattice. When the Bravais group is regarded as a point group, the information about the lattice is lost, since point groups can be written with respect to an arbitrary basis. In order to distinguish Bravais groups of lattices at the level of point groups and geometric crystal classes, the concept of a holohedry is introduced.
Definition
The geometric crystal class of a point group is called a holohedry (or lattice point group, cf. Chapters 3.1
and 3.3
) if
is the Bravais group of some lattice
.
Example
Let be the point group of type
generated by the threefold rotoinversion
around the z axis and the twofold rotation
expressed with respect to the conventional basis
of a hexagonal lattice. The group
is not the Bravais group of the lattice
spanned by
because this lattice also allows a sixfold rotation around the z axis, which is not contained in
. But
also acts on the rhombohedrally centred lattice
with primitive basis
,
,
. With respect to the basis
the rotoinversion and twofold rotation are transformed to
and these matrices indeed generate the Bravais group of
. The geometric crystal class with symbol
is therefore a holohedry.
Note that in dimension 3 the above is actually the only example of a geometric crystal class in which the point groups are Bravais groups for some but not for all the lattices on which they act. In all other cases, each matrix group corresponding to a holohedry is actually the Bravais group of the lattice spanned by the basis with respect to which
is written.
In this section we summarize a number of other classification schemes which are perhaps of slightly lower significance than those of space-group types, geometric crystal classes and Bravais types of lattices, but also play an important role for certain applications.
We have already seen that every space group can be assigned to a symmorphic space group in a natural way by setting the translation parts of coset representatives with respect to the translation subgroup to . The groups assigned to a symmorphic space group in this way all have the same translation lattice and the same point group but the different possibilities for the interplay between these two parts are ignored.
If we want to collect together all space groups that correspond to symmorphic space groups of the same type, we arrive at the classification into arithmetic crystal classes. This can also be seen as a classification of the symmorphic space-group types. The distribution of the space groups into arithmetic classes, represented by the corresponding symmorphic space-group types, is given in Table 2.1.3.3
.
The crucial observation for characterizing this classification is that space groups that correspond to the same symmorphic space group all have translation lattices of the same Bravais type. This means that the freedom in the choice of a basis transformation of the underlying vector space is restricted, because a primitive basis has to be mapped again to a primitive basis. Assuming that the point groups are written with respect to primitive bases, this means that the basis transformation is an integral matrix with determinant .
Definition
Two space groups and
with point groups
and
, respectively, both written with respect to primitive bases of their translation lattices, are said to lie in the same arithmetic crystal class if
can be obtained from
by an integral basis transformation of determinant
, i.e. if there is an integral 3 × 3 matrix
with
such that
Also, two integral matrix groups and
are said to belong to the same arithmetic crystal class if they are conjugate by an integral 3 × 3 matrix
with
.
Example
Letbe reflections in the planes x = 0, y = 0 and x = y, respectively, and let
,
and
be the integral matrix groups generated by these reflections. Then
and
belong to the same arithmetic crystal class because they are transformed into each other by the basis transformation
interchanging the x and y axes. But
belongs to a different arithmetic crystal class, because
is not conjugate to
by an integral matrix
of determinant
. The two groups
and
belong, however, to the same geometric crystal class, because
and
are transformed into each other by the basis transformation
which has determinant
. This basis transformation shows that
and
can be interpreted as the action of the same reflection on a primitive lattice and on a C-centred lattice.
As explained above, the number of arithmetic crystal classes is equal to the number of symmorphic space-group types: in dimension 2 there are 13 such classes, in dimension 3 there are 73 arithmetic crystal classes. The Hermann–Mauguin symbol of the symmorphic space-group type to which a space group belongs is obtained from the symbol for the space-group type of
by replacing any screw-rotation axis symbol Nm by the corresponding rotation axis symbol N and every glide-plane symbol a, b, c, d, e, n by the symbol m for a mirror plane.
It is clear that the classification into arithmetic crystal classes refines both the classifications into geometric crystal classes and into Bravais classes, since in the first case only the point groups and in the second case only the translation lattices are taken into account, whereas for the arithmetic crystal classes the combination of point groups and translation lattices is considered. Note, however, that for the determination of the arithmetic crystal class of a space group it is not sufficient to look only at the type of the point group and the Bravais type of the translation lattice. It is crucial to consider the action of the point group on the translation lattice.
Example
Let and
be space groups of types P3m1 (156) and P31m (157), respectively. Since
and
are symmorphic space groups of different types, they must belong to different arithmetic classes. The point groups
and
of
and
both belong to the same geometric crystal class with symbol 3m and the translation lattices of both space groups are primitive hexagonal lattices, and thus of the same Bravais type. It is the different action on the translation lattice which causes
and
to lie in different arithmetic classes:
In the conventional setting, the point group of
contains the threefold rotation
and the reflections
whereas the point group
of
contains the same rotation
and the reflections
Since the threefold rotation is represented by the same matrix in both groups, the lattice basis for both groups can be taken as the conventional basis
of a hexagonal lattice, with a and b of the same length and enclosing an angle of 120° and c perpendicular to the plane spanned by a and b. One now sees that in
the reflection planes of
,
and
contain the vectors
, a and b, respectively, whereas in
these vectors are just perpendicular to the reflection planes. In the so-called hexagonally centred lattice with primitive basis
,
,
, the vectors
and
are perpendicular to the vectors a and b. The group
can thus be regarded as the action of
on the hexagonally centred lattice, showing that
and
are actions of the same group on different lattices which therefore belong to different arithmetic crystal classes.
As we have seen, the assignment of a space group to its arithmetic crystal class is equivalent to the assignment to its corresponding symmorphic space group, which in turn can be seen as an assignment to the combination of a point group and a lattice on which this point group acts. This correspondence between arithmetic crystal classes and point group/lattice combinations is reflected in the symbol for an arithmetic crystal class suggested in de Wolff et al. (1985), which is the symbol of the symmorphic space group with the letter for the lattice moved to the end, e.g. 4mmP for the arithmetic crystal class containing the symmorphic space groups of type P4mm (99) and the non-symmorphic groups derived from this symmorphic group, i.e. the groups of space-group type P4bm, P42cm, P42nm, P4cc, P4nc, P42mc and P42bc (100–106).
Recall that the members of one arithmetic crystal class are space groups with the same translation lattice and the same point group, possibly written with respect to different primitive bases. If the point group happens to be the Bravais group of the translation lattice, this is independent of the chosen primitive basis and thus being a Bravais group is clearly a property of the full arithmetic crystal class.
Definition
The arithmetic crystal class of a space group is called a Bravais arithmetic crystal class if the point group of
is the Bravais group of the translation lattice of
.
The arithmetic crystal class of an integral matrix group is a Bravais arithmetic crystal class if
is maximal among the integral matrix groups with the same space of metric tensors
, i.e. if for any integral matrix group
properly containing
as a subgroup, the space of metric tensors
is strictly smaller than that of
. This amounts to saying that
must act on a lattice with specialized metric.
Note that in the previous edition of IT A the shorter term Bravais class was used as a synonym for Bravais arithmetic crystal class. However, in this edition the term Bravais class is reserved for the classification of space-group types according to their lattices (see Section 1.3.4.3).
Since the lattice types are characterized by their Bravais groups, the Bravais arithmetic crystal classes are in one-to-one correspondence with the Bravais types of lattices. The 14 Bravais arithmetic crystal classes (given by the symbol for the arithmetic class, with the number of the associated symmorphic space-group type in brackets) and the corresponding lattice types are: P (2), triclinic; 2/mP (10), primitive monoclinic; 2/mC (12), centred monoclinic; mmmP (47), primitive orthorhombic; mmmC (65), single-face-centred orthorhombic; mmmF (69), all-face-centred orthorhombic; mmmI (71), body-centred orthorhombic; 4/mmmP (123), primitive tetragonal; 4/mmmI (139), body-centred tetragonal;
(166), rhombohedral; 6/mmmP (191), hexagonal;
(221), primitive cubic;
(225), face-centred cubic; and
(229), body-centred cubic.
In the classification of space groups according to their translation lattices, the point groups play only a secondary role (as groups acting on the lattices). From the perspective of arithmetic crystal classes, this classification can now be reformulated in terms of integral matrix groups. The crucial point is that every arithmetic crystal class can be assigned to a Bravais arithmetic crystal class in a natural way: If is a point group, there is a unique Bravais arithmetic crystal class containing a Bravais group
of minimal order with
. Conversely, a Bravais group
acting on a lattice
is grouped together with its subgroups
that do not act on a more general lattice, i.e. on a lattice
with more free parameters than
. This observation gives rise to the concept of Bravais flocks, which is mainly applied to matrix groups.
Definition
Two integral matrix groups and
belong to the same Bravais flock if they are both conjugate by an integral basis transformation to subgroups of a common Bravais group, i.e. if there exists a Bravais group
and integral 3 × 3 matrices
and
such that
for all
and
for all
. Moreover,
,
and
must all have spaces of metric tensors of the same dimension.
Each Bravais flock consists of the union of the arithmetic crystal class of a Bravais group and the arithmetic crystal classes of the subgroups of
that do not act on a more general lattice than
.
The classification of space groups into Bravais flocks is the same as that according to the Bravais types of lattices and as that into Bravais classes. If the point groups and
of two space groups
and
belong to the same Bravais flock, then the space groups are also said to belong to the same Bravais flock, but this is the case if and only if
and
belong to the same Bravais class.
Example
For the body-centred tetragonal lattice the Bravais arithmetic crystal class is the arithmetic crystal class 4/mmmI and the corresponding symmorphic space-group type is I4/mmm (139). The other arithmetic crystal classes in this Bravais flock are (with the number of the corresponding symmorphic space group in brackets): 4I (79), (82), 4/mI (87), 422I (97), 4mmI (107),
(119) and
(121).
It is sometimes convenient to group together those Bravais types of lattices for which the Bravais groups belong to the same holohedry.
Definition
Two lattices belong to the same lattice system if their Bravais groups belong to the same geometric crystal class (which is thus a holohedry).
Remark : The lattice systems were called Bravais systems in earlier editions of this volume.
Example
The primitive cubic, face-centred cubic and body-centred cubic lattices all belong to the same lattice system, because their Bravais groups all belong to the holohedry with symbol .
On the other hand, the hexagonal and the rhombohedral lattices belong to different lattice systems, because their Bravais groups are not even of the same order and lie in different holohedries (with symbols 6/mmm and , respectively).
From the definition it is obvious that lattice systems classify lattices because they consist of full Bravais types of lattices. On the other hand, the example of the geometric crystal class shows that lattice systems do not classify point groups, because depending on the chosen basis a point group in this geometric crystal class belongs to either the hexagonal or the rhombohedral lattice system.
However, since the translation lattices of space groups in the same Bravais class belong to the same Bravais type of lattices, the lattice systems can also be regarded as a classification of space groups in which full Bravais classes are grouped together.
Definition
Two Bravais classes belong to the same lattice system if the corresponding Bravais arithmetic crystal classes belong to the same holohedry.
More precisely, two space groups and
belong to the same lattice system if the point groups
and
are contained in Bravais groups
and
, respectively, such that
and
belong to the same holohedry and such that
,
,
and
all have spaces of metric tensors of the same dimension.
Every lattice system contains the lattices of precisely one holohedry and a holohedry determines a unique lattice system, containing the lattices of the Bravais arithmetic crystal classes in the holohedry. Therefore, there is a one-to-one correspondence between holohedries and lattice systems. There are four lattice systems in dimension 2 and seven lattice systems in dimension 3. The lattice systems in three-dimensional space are displayed in Table 1.3.4.1. Along with the name of each lattice system, the Bravais types of lattices contained in it and the corresponding holohedry are given.
|
The point groups contained in a geometric crystal class can act on different Bravais types of lattices, which is the reason why lattice systems do not classify point groups. But the action on different types of lattices can be exploited for a classification of point groups by joining those geometric crystal classes that act on the same Bravais types of lattices. For example, the holohedry acts on primitive, face-centred and body-centred cubic lattices. The other geometric crystal classes that act on these three types of lattices are 23,
, 432 and
.
Definition
Two space groups and
with point groups
and
, respectively, belong to the same crystal system if the sets of Bravais types of lattices on which
and
act coincide. Since point groups in the same geometric crystal class act on the same types of lattices, crystal systems consist of full geometric crystal classes and the point groups
and
are also said to belong to the same crystal system.
Remark : In the literature there are many different notions of crystal systems. In International Tables, only the one defined above is used.
In many cases, crystal systems collect together geometric crystal classes for point groups that are in a group–subgroup relation and act on lattices with the same number of free parameters. However, this condition is not sufficient. If a point group is a subgroup of another point group
, it is clear that
acts on each lattice on which
acts. But
may in addition act on different types of lattices on which
does not act.
Note that it is sufficient to consider the action on lattices with the maximal number of free parameters, since the action on these lattices implies the action on lattices with a smaller number of free parameters (corresponding to metric specializations).
Example
The holohedry of type 4/mmm acts on tetragonal and body-centred tetragonal lattices. The crystal system containing this holohedry thus consists of all the geometric crystal classes in which the point groups act on tetragonal and body-centred tetragonal lattices, but not on lattices with more than two free parameters. This is the case for all geometric crystal classes with point groups containing a fourfold rotation or rotoinversion and that are subgroups of a point group of type 4/mmm. This means that the crystal system containing the holohedry 4/mmm consists of the geometric classes of types 4, , 4/m, 422, 4mm,
and 4/mmm.
This example is typical for the situation in three-dimensional space, since in three-dimensional space usually all the arithmetic crystal classes contained in a holohedry are Bravais arithmetic crystal classes. In this case, the geometric crystal classes in the crystal system of the holohedry are simply the classes of those subgroups of a point group in the holohedry that do not act on lattices with a larger number of free parameters.
The only exceptions from this situation are the Bravais arithmetic crystal classes for the hexagonal and rhombohedral lattices.
Example
A point group containing a threefold rotation but no sixfold rotation or rotoinversion acts both on a hexagonal lattice and on a rhombohedral lattice. On the other hand, point groups containing a sixfold rotation only act on a hexagonal but not on a rhombohedral lattice. The geometric crystal classes of point groups containing a threefold rotation or rotoinversion but not a sixfold rotation or rotoinversion form a crystal system which is called the trigonal crystal system. The geometric crystal classes of point groups containing a sixfold rotation or rotoinversion form a different crystal system, which is called the hexagonal crystal system.
The classification of the point-group types into crystal systems is summarized in Table 1.3.4.2.
|
Remark : Crystal systems can contain at most one holohedry and in dimensions 2 and 3 it is true that every crystal system does contain a holohedry. However, this is not true in higher dimensions. The smallest counter-examples exist in dimension 5, where two (out of 59) crystal systems do not contain any holohedry.
The classification into crystal systems has many important applications, but it has the disadvantage that it is not compatible with the classification into lattice systems. Space groups that belong to the hexagonal lattice system are distributed over the trigonal and the hexagonal crystal system. Conversely, space groups in the trigonal crystal system belong to either the rhombohedral or the hexagonal lattice system. It is therefore desirable to define a further classification level in which the classes consist of full crystal systems and of full lattice systems, or, equivalently, of full geometric crystal classes and full Bravais classes. Since crystal systems already contain only geometric crystal classes with spaces of metric tensors of the same dimension, this can be achieved by the following definition.
Definition
For a space group with point group
the crystal family of
is the union of all geometric crystal classes that contain a space group
that has the same Bravais type of lattices as
.
The crystal family of thus consists of those geometric crystal classes that contain a point group
such that
and
are contained in a common supergroup
(which is a Bravais group) and such that
,
and
all act on lattices with the same number of free parameters.
In two-dimensional space, the crystal families coincide with the crystal systems and in three-dimensional space only the trigonal and hexagonal crystal system are merged into a single crystal family, whereas all other crystal systems again form a crystal family on their own.
Example
The trigonal and hexagonal crystal systems belong to a single crystal family, called the hexagonal crystal family, because for both crystal systems the number of free parameters of the corresponding lattices is 2 and a point group of type in the trigonal crystal system is a subgroup of a point group of type 6/mmm in the hexagonal crystal system.
A space group in the hexagonal crystal family belongs to either the trigonal or the hexagonal crystal system and to either the rhombohedral or the hexagonal lattice system. A group in the hexagonal crystal system cannot belong to the rhombohedral lattice system, but all other combinations of crystal system and lattice system are possible. The distribution of the space groups in the hexagonal crystal family over these different combinations is displayed in Table 1.3.4.3.
|
Remark : Up to dimension 3 it seems exceptional that a crystal family contains more than one crystal system, since the only instance of this phenomenon is the hexagonal crystal family consisting of the trigonal and the hexagonal crystal systems. However, in higher dimensions it actually becomes rare that a crystal family consists only of a single crystal system.
For the space groups within one crystal family the same coordinate system is usually used, which is called the conventional coordinate system (for this crystal family). However, depending on the application it may be useful to work with a different coordinate system. To avoid confusion, it is recommended to state explicitly when a coordinate system differing from the conventional coordinate system is used.
References


