International
Tables for
Crystallography
Volume A
Space-group symmetry
Edited by M. I. Aroyo

International Tables for Crystallography (2016). Vol. A, ch. 3.1, pp. 714-718

Section 3.1.4. Further properties of lattices

B. Gruberd and H. Grimmere

3.1.4. Further properties of lattices

| top | pdf |

3.1.4.1. Further kinds of reduced cells

| top | pdf |

In Section 3.1.3.2[link], a `reduced basis' of a lattice is defined which permits a unique representation of this lattice. It was introduced into crystallography by Niggli (1928[link]) and incorporated into International Tables for X-ray Crystallography (1969[link]), Vol. I. Originating from algebra (Eisenstein, 1851[link]), a reduced basis is defined in a rather complicated manner [conditions (3.1.3.2a[link]) to (3.1.3.5f[link]) in Section 3.1.3.2[link]] and lacks any geometrical meaning. A cell spanned by a reduced basis is called the Niggli cell.

However, unique primitive cells may be introduced also in other ways that – unlike the Niggli cell3 – have significant geometrical features based mainly on extremal principles (Gruber, 1989[link]). We shall describe some of them below.

If a (primitive) cell of the lattice L fulfils the condition [a + b + c = \min]on the set of all primitive cells of L, we call it a Buerger cell. This cell need not be unique with regard to its shape in the lattice. There exist lattices with 1, 2, 3, 4 and 5 (but not more) Buerger cells differing in shape. The uniqueness can be achieved by various additional conditions. In this way, we can arrive at the following four reduced cells:

  • (i) the Buerger cell with minimum surface;4

  • (ii) the Buerger cell with maximum surface;

  • (iii) the Buerger cell with minimum deviation;5

  • (iv) the Buerger cell with maximum deviation.

Equivalent definitions can be obtained by replacing the term `surface' in (i) and (ii) by the expression [\sin \alpha + \sin \beta + \sin \gamma]or [\sin \alpha \sin \beta \sin \gamma,]and by replacing the `deviation' in (iii) and (iv) by [|\cos \alpha | + |\cos \beta | + |\cos \gamma |]or [|\cos \alpha \cos \beta \cos \gamma |.]A Buerger cell can agree with more than one of the definitions [(\hbox{i}),\ (\hbox{ii}),\ (\hbox{iii}),\ (\hbox{iv}). \eqno(3.1.4.1)]For example, if a lattice has only one Buerger cell, then this cell agrees with all the definitions in (3.1.4.1)[link]. However, there exist also Buerger cells that are in agreement with none of them. Thus, the definitions (3.1.4.1)[link] do not imply a partition of Buerger cells into classes.

It appears that case (iv) coincides with the Niggli cell. This is important because this cell can now be defined by a simple geometrical property instead of a complicated system of conditions.

Further reduced cells can be obtained by applying the definitions (3.1.4.1)[link] to the reciprocal lattice. Then, to a Buerger cell in the reciprocal lattice, there corresponds a primitive cell with absolute minimum surface6 in the direct lattice.

The reduced cells according to the definitions (3.1.4.1)[link] can be recognized by means of a table and found in the lattice by means of algorithms. Detailed mutual relationships between them have been ascertained.

3.1.4.2. Topological characterization of lattice characters

| top | pdf |

In his thorough analysis of lattice characters, de Wolff (1988[link]) remarks that so far they have not been defined as clearly as the Bravais types and that an exact general definition does not exist. Gruber (1992[link]) tried to base such a definition on topological concepts.

The crucial notion is the decomposition of a set M of points of the n-dimensional Euclidean space [{\bb E}^{n}] into equivalence classes called components of the set M. They can be defined as follows: Two points X, Y of the set M belong to the same component if they can be connected by a continuous path which lies entirely in the set M (Fig. 3.1.4.1)[link]. This partition of the set M into components is unique and is determined solely by the set M.

[Figure 3.1.4.1]

Figure 3.1.4.1 | top | pdf |

A set M in [{\bb E}^{2}] consisting of three components.

Now let us return to lattices. To any lattice L there is attached a point in [{\bb E}^{5}] called the Niggli point of L. It is the point [\left[{{\bf a}\cdot {\bf a} \over {\bf c}\cdot {\bf c}}, {{\bf b}\cdot {\bf b} \over {\bf c}\cdot {\bf c}}, {2{\bf b}\cdot {\bf c} \over {\bf c}\cdot {\bf c}}, {2{\bf a}\cdot {\bf c} \over {\bf c}\cdot {\bf c}}, {2{\bf a}\cdot {\bf b} \over {\bf c}\cdot {\bf c}}\right] \eqno(3.1.4.2)]provided that the vectors a, b, c describe the Niggli cell of L and fulfil the conditions (3.1.3.2a)[link] to (3.1.3.5f)[link] of Section 3.1.3.2[link]. If [{\scr L}] is a set of lattices then the set of Niggli points of all lattices of [{\scr L}] is called the Niggli image of [{\scr L}].

Thus we can speak about the Niggli image of a Bravais type [{\scr T}]. This Niggli image is a part of [{\bb E}^{5}] and so can be partitioned into components. This division of Niggli points induces back a division of lattices of the Bravais type [{\scr T}]. It turns out that this division is identical with the division of [{\scr T}] into lattice characters as introduced in Section 3.1.3.5[link]. This fact, used conversely, can be considered an exact definition of the lattice characters: Two lattices of Bravais type [{\scr T}] are said to be of the same lattice character if their Niggli points lie in the same component of the Niggli image of [{\scr T}].

We can, of course, also speak about Niggli images of particular lattice characters. According to their definition, these images are connected sets. However, much more can be stated about them: these sets are even convex (Fig. 3.1.4.2)[link]. This means that any two points of the Niggli image of a lattice character can be connected by a straight segment lying totally in this Niggli image. From this property, it follows that the lattice characters may be defined also in the following equivalent way:

[Figure 3.1.4.2]

Figure 3.1.4.2 | top | pdf |

A convex set in [{\bb E}^{2}].

We say that two lattices of the same Bravais type belong to the same lattice character if one of them can be deformed into the other in such a way that the Niggli point of the deformed lattice moves linearly from the initial to the final position while the Bravais type of the lattice remains unchanged.

Unlike convexity, nothing can be said about whether the Niggli images of lattice characters are open sets (with regard to their dimension) or not. Both cases occur.

The lattice character of a lattice L can also be recognized [instead of by means of Table 3.1.3.1[link] or by Tables 1 and 3 in Gruber (1992[link])] by perpendicular projection of the c vector onto the ab plane provided the vectors a, b, c describe the Niggli cell of L and fulfil the conditions (3.1.3.2a)[link] to (3.1.3.5f)[link] in Section 3.1.3.2[link] (de Wolff & Gruber, 1991[link]). See also Figs. 3.1.3.1[link] to 3.1.3.5[link].

3.1.4.3. A finer division of lattices

| top | pdf |

The 44 lattice characters form a subdivision of the 14 Bravais types. There is another commonly known subdivision of the Bravais types, namely the 24 Delaunay sorts (Symmetrische Sorten) (Delaunay, 1933[link]; International Tables for X-ray Crystallography, 1952[link], Vol. I; cf. Section 3.1.2.3[link]). However, the two divisions, being based on quite different principles, are incompatible: the 44 lattice characters do not form a subdivision of the 24 Delaunay sorts.

A natural problem arises to construct a division of lattices which would be a subdivision of both the lattice characters and the Delaunay sorts. However, we do not admit a purely mechanical intersection of both these divisions; we insist that their common subdivision be crystallographically meaningful.

Such a division was proposed by Gruber (1997a[link]). It uses the fact that the Niggli points of all lattices lie in two five-dimensional polyhedra, say [\Omega^{+}] and [\Omega^{-}]. The underlying idea, originating from H. Wondratschek, is based on the distribution of Niggli points among the vertices, edges, faces, three- and four-dimensional hyperfaces, and the interior of [\Omega^{+}] and [\Omega^{-}]. This leads to a natural division of Niggli points and further to a division of lattices. This division has 67 classes, but is not suitable for crystallography because it does not constitute a subdivision of the Bravais types.

A modification of the idea is necessary. It consists of representing a lattice L by several points (instead of by one Niggli point) and the addition of two minor conditions. One of them concerns the diagonals of the Niggli cell and the other the bases of L which describe the Niggli cell.

Though these conditions are of little importance in themselves, they lead to a very useful notion, viz the division of all lattices into 127 classes which is a subdivision of both the lattice characters and the Delaunay sorts. The equivalence classes of this division are called genera. They form, in a certain sense, building blocks of both lattice characters and Delaunay sorts and show their mutual relationship.

The distribution of genera along the Bravais types is the following (the number of genera is given in parentheses): cP (1), cI (1), cF (1), tP (2), tI (5), oP (1), oC (8), oI (7), oF (3), hP (3), hR (4), mP (5), mC (43), aP (43). Thus, genera seem to be especially suitable for a finer classification of lattices of low symmetry.

The genus of a given lattice L can be determined – provided that the Niggli point of L is known – by means of a table containing explicit descriptions of all genera. These descriptions are formed by open linear systems of inequalities. Consequently, the ranges of conventional parameters of genera are open unlike those concerning the lattice characters.

Genera are denoted by symbols derived from the geometrical shape of [\Omega^{+}] and [\Omega^{-}]. They can be visualized in the three-dimensional cross sections of these bodies. This gives a fairly good illustration of the relationships between genera.

However, the most important feature of genera seems to be the fact that lattices of the same genus agree in a surprisingly great number of crystallographically significant properties, such as the number of Buerger cells, the densest directions and planes, the symmetry of these planes etc. Even the formulae for the conventional cells are the same. The genus appears to be a remarkably strong bond between lattices.

3.1.4.4. Conventional cells

| top | pdf |

Conventional cells are dealt with in Section 3.1.1[link]. They are illustrated in Fig. 3.1.2.1[link] and described in Table 3.1.2.2[link]. This description, however, is not exhaustive enough for determining the Bravais type. In mathematical terms, the conditions in Table 3.1.2.2[link] are necessary but not sufficient. For example, the C-centred cell with [{a = 6,\quad b = 8,\quad c = 5,\quad \cos \beta = -7/15,\quad \alpha = \gamma = 90^{\circ}} \eqno(3.1.4.3)]has the typical shape of a conventional cell of an mC lattice. But the lattice generated by the C-centred cell (3.1.4.3)[link] is actually hR with the conventional rhombohedral basis vectors [{\bf c},\quad ({\bf a} + {\bf b})/2,\quad ({\bf a} - {\bf b})/2.]

It is a natural goal to establish a system of conditions for the conventional cells which would be not only necessary but also sufficient. This is done in Table 3.1.4.1.[link] In order to make the conditions as simple as possible, the usual mC description of the monoclinic centred lattices is replaced by the mI description. The relation between the two descriptions is simple: [{\bf a}_{I} = -{\bf c}_{C},\quad {\bf b}_{I} = {\bf b}_{C},\quad {\bf c}_{I} = {\bf a}_{C} + {\bf c}_{C}.]The exact meaning of Table 3.1.4.1[link] is as follows: Suppose that a Bravais type different from aP is given and that its symbol appears in column 1 in the ith entry of Table 3.1.4.1[link]. Then a lattice L is of this Bravais type if and only if there exists a cell (a, b, c) in L such that

  • (i) the centring of (a, b, c) agrees with the centring mode given in column 2 in the ith entry, and

    Table 3.1.4.1| top | pdf |
    Conventional cells for the three-dimensional Bravais types of lattices and their limiting cases

    All remaining lattices are covered by the anorthic (triclinic) Bravais type aP.

    Bravais type of latticeCentring mode of the cell (a, b, c)ConditionsLimiting casesConventional basis (a′, b′, c′) for limiting case
    cP P a = b = c,    
        α = β = γ = 90°    
    cI I a = b = c,    
        α = β = γ = 90°    
    cF F a = b = c,    
        α = β = γ = 90°    
    tP P [a = b \neq c] [b = c \rightarrow cP] a, b, c
        α = β = γ = 90°    
    tI I [c/\sqrt2 \neq a = b \neq c], [c/\sqrt2 = a \rightarrow cF] a + b, ba, c
        α = β = γ = 90° [b = c \rightarrow cI] a, b, c
    oP P a < b < c, [a = b \rightarrow tP] a, b, c (c′/a′ > 1)
        α = β = γ = 90° [b = c \rightarrow tP] b, c, a (c′/a′ < 1)
    oI I a < b < c, [a = b \rightarrow tI] a, b, c (c′/a′ > 1)
        α = β = γ = 90° [b = c \rightarrow tI] b, c, a (c′/a′ < 1)
    oF F a < b < c, [a = b \rightarrow tI] (a + b)/2, (ba)/2, c (c′/a′ > 1)
        α = β = γ = 90° [b = c \rightarrow tI] (b + c)/2, (cb)/2, a (c′/a′ < 1)
    oC C [a \,\lt\, b \neq a\sqrt3], [a = b \rightarrow tP] (a + b)/2, (ba)/2, c
        α = β = γ = 90° [b = a\sqrt3 \rightarrow hP] a, (ba)/2, c
    hP P a = b    
        α = β = 90°, γ = 120°    
    hR P a = b = c, [\alpha = 60^\circ \rightarrow cF] a + b + c, ab + c, a + bc
        α = β = γ [\alpha = 90^\circ \rightarrow cP] a, b, c
        [\alpha \neq 60^\circ, \alpha\neq 90^\circ, \alpha \neq \omega] α = ω → cI b + c, c + a, a + b
    mP P −2c cos β < a < c,§ [\beta = 90^\circ \rightarrow oP] b, a, c if a > b
        α = γ = 90° < β   a, b, c if a < b < c
            a, c, −b if b > c
          [-2c \cos\beta = a \rightarrow oC] a, −2ca, b [(a'\sqrt3 \,\lt\, b')]
          [a = c \rightarrow oC] a + c, ac, b [(a'\sqrt3 \,\gt\, b')]
    mI I c cos β < a < c, [\beta = 90^\circ \rightarrow oI] b, a, c if a > b
        α = γ = 90° < β   a, b, c if a < b < c
            a, c, −b if b > c
          [-c \cos\beta = a \rightarrow oC] b, c + a, a if b < |c + a|
            c + a, −b, a if b > |c + a|
          [a = c \rightarrow oF] b, a + c, ac if |a + c| > b
            a + c, b, ca if |a + c| < b < |ac|
            a + c, ac, b if b > |ac|
             
        but not†† a2 + b2 = c2, a2 + ac cos β = b2 [\rightarrow hR] a, (abc)/2, (a + bc)/2 (α′ < 60°)
             
        nor a2 + b2 = c2, b2 + ac cos β = a2 [\rightarrow hR] a, (a + b + c)/2, (ab + c)/2 (60° < α′ < 90°)
             
        nor c2 + 3b2 = 9a2, c = −3a cos β [\rightarrow hR] a, (ab + c)/2, (a + b + c)/2 (90° < α′ < ω)
        nor a2 + 3b2 = 9c2, a = −3c cos β [\rightarrow hR] c, (a + b + c)/2, (ab + c)/2 (ω < α′)
    The labelling of the basis vectors according to their length is the reason for unconventional Hermann–Mauguin symbols: for example, the Hermann–Mauguin symbol Pmna may be changed to Pncm, Pbmn, Pman, Pcnm or Pnmb. Analogous facts apply to the oI, oC, oF, mP and mI Bravais types of lattices.
    [\omega=\arccos(-1/3)=109^\circ28^\prime16^{\prime\prime}].
    §This means that a, c are the shortest non-coplanar lattice vectors in their plane.
    This means that a, c are the shortest non-coplanar lattice vectors in their plane on condition that the cell (a, b, c) is body-centred.
    ††The reason that the limiting cases of hR lattices require two additional equalities is that hR lattices have only two independent parameters (a, α), whereas mI lattices have four (a, b, c, β). A similar situation holds for the transition from anorthic (triclinic) to monoclinic lattices. See Fig. 3.1.4.3[link].
  • (ii) the parameters of the cell (a, b, c) fulfil the conditions listed in column 3 in the ith entry of Table 3.1.4.1[link].

For most entries the conditions contain one or more signs of type < or [\neq]. If one of these signs is replaced by the equality sign, a Bravais type of higher symmetry is obtained. These limiting cases are listed in column 4. A particular situation occurs for the Bravais type mI. The conditions given for this type in the first two lines of column 3 exclude the limiting cases oI, oC and oF but not hR. The latter case is excluded if none of the four pairs of equalities listed in column 4 is satisfied.

In the present section a cell of an oP, oI or oF lattice is considered conventional if it satisfies not only the conditions given in column 2 of Table 3.1.2.2[link] but also a < b < c. Similarly, the additional requirement a < b is made for oC and the additional requirements a < c and β > 90° for mP and mI. Column 5 gives a conventional basis (a′, b′, c′) for the limiting case expressed in terms of the conventional basis (a, b, c) for the original Bravais type. The basis is chosen such that handedness is conserved, i.e. all bases considered in this section may be regarded as right-handed. Lattices of the same type obtained from a given original Bravais type by a different limit condition differ in the shape of their conventional cell. For example, both limit conditions for the original type oP lead to lattices of type tP with axial ratios c′/a′ > 1 and < 1, respectively, as shown in column 5.

The following examples illustrate the meaning of the information on limiting cases given in Table 3.1.4.1[link].

  • (1) Consider the original Bravais type oF. If a face-centred cell satisfies α = β = γ = 90° and a < b = c, the lattice will be of type tI with conventional basis (a′, b′, c′) = [(b + c)/2, (cb)/2, a] and axial ratio c′/a′ < 1.

  • (2) Consider the original Bravais type mI. If a body-centred cell satisfies −c cos β < a < c, α = γ = 90° < β, a2 + b2 = c2 and a2 + ac cos β = b2, the lattice will be of type hR with conventional basis (a′, b′, c′) = [a, (abc)/2, (a + b - c)/2] and rhombo­hedral angle α′ < 60°.

The limiting cases given in Table 3.1.4.1[link] are illustrated in Fig. 3.1.4.3[link].

[Figure 3.1.4.3]

Figure 3.1.4.3 | top | pdf |

The Bravais-lattice type of the three-dimensional lattice at the upper end of a line is a limiting case of the type at the lower end.

Figures similar to Fig. 3.1.4.3[link] were first published by Hosoya (1979)[link] and, independently, by Klemm (1982)[link]. The additions made to this section in this present edition are based on Grimmer (2015)[link].

Conventional cells for the five Bravais types of two-dimensional lattices are described and illustrated in Table 3.1.2.1[link]. The conditions given in column 2 of this table are necessary but not always sufficient. Consider the Bravais type whose symbol appears in Table 3.1.4.2[link] in the ith entry of column 1. A two-dimensional lattice L is of this Bravais type if and only if there exists a cell (a, b) with centring mode indicated by the second letter of the Bravais-type symbol and which satisfies the conditions given in the ith entry of column 2.

Table 3.1.4.2| top | pdf |
Conventional cells for the five two-dimensional Bravais types of lattices and their limiting cases

The centring mode of the cell, p or c, is indicated in the symbol of the Bravais type.

Bravais type of latticeConditionsLimiting casesConventional basis (a′, b′) for limiting case
hp a = b,    
  γ = 120°    
tp a = b,    
  γ = 90°    
oc [a \,\lt\, b \neq a\sqrt3], [a = b \rightarrow tp] (a + b)/2, (ba)/2
  γ = 90° [a\sqrt3 = b \rightarrow hp] a, (ba)/2
op a < b, a = btp a, b
  γ = 90°    
mp −2b cos γ < a < b, [\gamma = 90^\circ \rightarrow op] a, b
  90° < γ −2b cos γ = aoc a, 2b + a [(a'\sqrt3 \,\lt\, b')]
    a = boc a + b, ba [(a'\sqrt3 \,\gt\, b')]

The conditions in the last three entries of column 2 contain one or more signs of type < or [\neq]. If one of these signs is replaced by the equality sign, a Bravais type of higher symmetry is obtained. These limiting cases are listed in column 3 of Table 3.1.4.2[link]. Column 4 gives a conventional basis for the limiting case expressed in terms of the conventional basis for the original Bravais type.

Consider, for example, the original Bravais type mp. If a primitive cell satisfies −2b cos γ = a < b and γ > 90°, the lattice will be of type oc with conventional basis (a′, b′) = (a, 2b + a) and cell parameters satisfying [a'\sqrt3\,\lt\,b'].

The limiting cases given in Table 3.1.4.2[link] are illustrated in Fig. 3.1.4.4[link].

[Figure 3.1.4.4]

Figure 3.1.4.4 | top | pdf |

The Bravais-lattice type of the two-dimensional lattice at the upper end of a line is a limiting case of the type at the lower end.

3.1.4.5. Conventional characters

| top | pdf |

Lattice characters were defined in Section 3.1.4.2[link] by dividing the Niggli image of a certain Bravais type [{\scr T}] into components. Doing the same – instead of with the Niggli points – with the parameters of conventional cells7 of lattices of the Bravais type [{\scr T}] we obtain a division of the range8 of these parameters into components. This leads to a further division of lattices of the Bravais type [{\scr T}] into equivalence classes. We call these classes – in analogy to the Niggli characters – conventional characters. There are 22 of them.

Two lattices of the same Bravais type belong to the same conventional character if and only if one lattice can be deformed into the other in such a way that the conventional parameters of the deformed lattice change continuously from the initial to the final position without change of the Bravais type. The word `continuously' cannot be replaced by the stronger term `linearly' because the range of conventional parameters of the monoclinic centred lattices is not convex.

Conventional characters form a superdivision of the lattice characters. Therefore, no special notation of conventional characters need be invented: we write them simply as sets of lattice characters which constitute the conventional character. Denoting the lattice characters by integral numbers from 1 to 44 (according to the convention in Section 3.1.3.5[link]), we obtain for the conventional characters symbols like [\{8,19,42\}] or [\{7\}].

Conventional characters are described in Table 3.1.4.3[link].

Table 3.1.4.3| top | pdf |
Conventional characters

Bravais type of latticeConditionsConventional character
cP   {3}
cI   {5}
cF   {1}
tP [a \,\lt\, c] {11}
  [c \,\lt\, a] {21}
tI [a \,\lt\, c/\sqrt2] {15}
  [c/\sqrt2 \,\lt\, a \,\lt\, c] {7}
  [c \,\lt\, a] {6, 18}
oP   {32}
oI   {8, 19, 42}
oF   {16, 26}
oC [b \,\lt\, a\sqrt3] {13, 23}
  [a\sqrt3 \,\lt\, b] {36, 38, 40}
hP   {12, 22}
hR [\alpha \,\lt\, 60^{\circ}] {9}
  [60^{\circ} \,\lt\, \alpha \,\lt\, 90^{\circ}] {2}
  [90^{\circ} \,\lt\, \alpha \,\lt\, \omega] {4}
  [\omega\, \lt\, \alpha] {24}
mP   {33, 34, 35}
mC   {10, 14, 17, 20, 25, 27, 28, 29, 30, 37, 39, 41, 43}
aP [\alpha \,\lt\, 90^{\circ}] {31}
  [90^{\circ} \leq \alpha] {44}
The angle α refers to the rhombohedral description of the hR lattices.
[\omega =] [ \arccos (-1/3) = 109^{\circ}28'16''].

3.1.4.6. Sublattices

| top | pdf |

A sublattice [{\bf L}'] of an n-dimensional lattice L is a proper subset of L which itself is a lattice of the same dimension as L. A sublattice [{\bf L}'] of L causes a decomposition of the set L into, say, i mutually congruent sublattices, [{\bf L}'] itself being one of them (Fig. 3.1.4.5)[link]. The number i is called the index of the sublattice [{\bf L}'] and indicates how many times [{\bf L}'] is `diluted' with respect to L.

[Figure 3.1.4.5]

Figure 3.1.4.5 | top | pdf |

Three possible decompositions of a two-dimensional lattice L into sublattices of index 2.

Sublattices are defined in a natural way in those lattices that have centred conventional cells, being generated by the vertices of these cells (`decentring'). They are primitive and belong to the same crystal family as the given lattice. Thus, in the cI, cF, tI, oI, oF, oC, mC and hR9 lattices, we can meet sublattices of indices 2, 4, 2, 2, 4, 2, 2 and 3, respectively.

Theoretically (though hardly in crystallographic practice), the Bravais type of centred lattices can also be determined by testing all their sublattices with the suspected index and finding in any of these sublattices the Niggli cell.

All sublattices of index i of an n-dimensional lattice L can be constructed by a procedure suggested by Cassels (1971[link]). If [{\bf a}_{1}, \ldots, {\bf a}_{n}] is a primitive basis of the lattice L then primitive bases [{\bf a}'_{1}, \ldots, {\bf a}'_{n}] of all sublattices of index i of the lattice L can be found by the relations [[{\bf a}'_{1}, \ldots, {\bf a}'_{n}] = [{\bf a}_{1}, \ldots, {\bf a}_{n}] {\bi R}^{T},]where the matrix [{\bi R} = [r_{ij}]] fulfils [\let\normalbaselines\relax\openup2pt\matrix{\hbox{0} = r_{ij}\hfill &\hbox{for}\hfill & 1 \leq i \lt j \leq n,\cr \hbox{0} \leq r_{ij} \lt r_{jj}\hfill &\hbox{for}\hfill &1 \leq j \lt i \leq n,\hfill \cr r_{11} \ldots r_{nn} = i.\hfill &\cr} \eqno(3.1.4.4)]The number [D_{n,i}] of these matrices is equal to the number of decompositions of an n-dimensional lattice L into sublattices of index i. To determine this number, it is not necessary to construct explicitly the matrices fulfilling (3.1.4.4)[link]. The following formulae (Gruber, 1997b[link]) can be used:

  • (i) If [i = p^{q}], where [p \,\gt\, 1] is a prime number, then [\displaylines{\hfill D_{n,i} = \underbrace{{p^{n} - 1 \over p - 1} \times {p^{n + 1} - 1 \over p^{2} - 1} \times {p^{n + 2} - 1 \over p^{3} - 1} \times \ldots .} \hfill \cr\hfill \quad\qquad q\ \hbox{times}\hfill }]

  • (ii) If [i = p_{1}^{q_{1}} \ldots p_{m}^{q_{m}}] ([p_{1}, \ldots, p_{m}] mutually different prime numbers, [m \,\gt\, 1]), we deal with any factor [p_{j}^{q_{j}}\ (\,j = 1, \ldots, m)] according to point (i) and multiply all these numbers to obtain the number [D_{n,i}].

For example, for [n = 3] and i = 2, 3, 4 and 6, we obtain for [D_{n,i}] the values 7, 13, 35 and 91, respectively.

In all considerations so far, the symmetry of the lattice L was irrelevant. We took L simply as a set of points and its sublattices as its subsets. [Thus, for illustrating sublattices, the `triclinic' lattices are most apt; cf. `derivative lattices' in Chapter 13.2[link] in the 5th (2002)[link] edition of this volume.]

However, this is not exactly the crystallographic point of view. If, for example, the mesh of the lattice L in Fig. 3.1.4.5[link] were a square, the sublattices in cases (a) and (b) would have the same symmetry (though being different subsets of L) and therefore would be considered by crystallographers as one case only. The number [D_{n,i}] would be reduced. From this aspect, the problem is treated in Chapter 13.1 in the 5th (2002)[link] edition of this volume in group-theoretical terms which are more suitable for this purpose than the set-theory language used here. See also Section 2.1.4[link] of International Tables for Crystallography Volume A1 (2010)[link].

References

International Tables for Crystallography (2002). Vol. A, 5th ed., edited by Th. Hahn. Dordrecht: Kluwer.
International Tables for Crystallography (2010). Vol. A1, 2nd ed., edited by H. Wondratschek & U. Müller. Chichester: Wiley.
International Tables for X-ray Crystallography (1952). Vol. I, edited by N. F. M. Henry & K. Lonsdale, pp. 530–535. Birmingham: Kynoch Press.
International Tables for X-ray Crystallography (1969). Vol. I, 3rd ed., edited by N. F. M. Henry & K. Lonsdale, pp. 530–535. Birmingham: Kynoch Press.
Cassels, J. W. S. (1971). An Introduction to the Geometry of Numbers, p. 13. Berlin: Springer.
Delaunay, B. N. (1933). Neuere Darstellung der geometrischen Kristallographie. Z. Kristallogr. 84, 109–149.
Eisenstein, G. (1851). Tabelle der reducierten positiven quadratischen Formen nebst den Resultaten neuer Forschungen über diese Formen, insbesondere Berücksichtigung auf ihre tabellarische Berechung. J. Math. (Crelle), 41, 141–190.
Grimmer, H. (2015). Partial order among the 14 Bravais types of lattices: basics and applications. Acta Cryst. A71, 143–149.
Gruber, B. (1989). Reduced cells based on extremal principles. Acta Cryst. A45, 123–131.
Gruber, B. (1992). Topological approach to the Niggli lattice characters. Acta Cryst. A48, 461–470.
Gruber, B. (1997a). Classification of lattices: a new step. Acta Cryst. A53, 505–521.
Gruber, B. (1997b). Alternative formulae for the number of sublattices. Acta Cryst. A53, 807–808.
Hosoya, M. (1979). A new group-theoretical derivation of the Bravais lattices. J. Phys. Soc. Jpn, 46, 1691–1694 and 1732.
Klemm, M. (1982). Symmetrien von Ornamenten und Kristallen. Berlin: Springer-Verlag.
Niggli, P. (1928). Kristallographische und strukturtheoretische Grund­begriffe. Handbuch der Experimentalphysik, Vol. 7, Part 1. Leipzig: Akademische Verlagsgesellschaft.
Wolff, P. M. de (1988). Definition of Niggli's lattice characters. Comput. Math. Appl. 16, 487–492.
Wolff, P. M. de, Belov, N. V., Bertaut, E. F., Buerger, M. J., Donnay, J. D. H., Fischer, W., Hahn, Th., Koptsik, V. A., Mackay, A. L., Wondratschek, H., Wilson, A. J. C. & Abrahams, S. C. (1985). Nomenclature for crystal families, Bravais-lattice types and arithmetic classes. Report of the International Union of Crystallography Ad hoc Committee on the Nomenclature of Symmetry. Acta Cryst. A41, 278–280.
Wolff, P. M. de & Gruber, B. (1991). Niggli lattice characters: definition and graphical representation. Acta Cryst. A47, 29–36.








































to end of page
to top of page