Field

Into space

Seventeen becomes two hundred and thirty. Screw axes, glide planes, and the translations that no choice of origin can remove — the operations a flat surface has no room for.

P2₁/c, in the two diagrams the Tables print. Space group P2₁/c, number 14, projected down c on a primitive monoclinic cell. The symmetry elements drawn: 2 2₁ screw axes, 2 glide planes, 4 inversion centres. 4 general positions, the orbit of one point, each labelled with its height along c and marked with a comma where the operation that produced it reversed handedness.

The step a flat surface has no room for

Seventeen becomes two hundred and thirty, and the factor of thirteen is not a matter of having more directions to work in. It comes from an operation the plane cannot hold — a translation that no choice of origin will remove.

The round trip, on Pnma. 8 operations were generated from the standard generators of Pnma; the orbit of three points in general position was formed, the group was discarded, and 8 operations were rediscovered from the 24 points alone. The two sets are identical, which is what the figure asserts.

Forgetting a group in three dimensions

For three phases this site said its machinery was two-dimensional and decided nothing about a space group. That was true, and it was a limit rather than a principle — nothing in the decidability argument mentions the number two.

The translation of every operation, split in two. Every operation of P2, P2₁, Pm and Pc other than the identity, with its translation split into the intrinsic part — one n-th of the sum of the operation applied to itself n times, which no choice of origin can remove — and the location part, which is only a statement about where the origin was put. 2 of the 4 operations shown have a non-zero intrinsic part, and those are exactly the screws and the glides.

The half of a translation that is not a choice

Every operation's translation splits in two — a part that belongs to the operation and a part that only records where somebody put the origin. Almost everything peculiar about space groups is a consequence of that split, including why there are two hundred and thirty rather than seventy-three.

Sixteen candidates, ten groups

One point group, one lattice, and every consistent way of attaching translations to it — enumerated in full. The count comes out at sixteen, and then at ten, and the step between the two numbers is a decision about what "the same group" means rather than an arithmetic fact.

2 screw axes. 2 of the eleven screw axes a lattice permits, each drawn as the helix it is: 3₁, 3₂. A turn of 2π/n followed by an advance of m/n of the repeat, so that n turns land exactly m cells along. 0 of those drawn are its own mirror image; the rest come in left- and right-handed pairs.

Eleven groups that are their own reflection's rival

There are two hundred and thirty space groups, and there are two hundred and nineteen. Both numbers are correct and they answer different questions, and the eleven that separate them are the reason a crystal can be built one way round and not the other.

The 4₁ screw axis. 1 of the eleven screw axes a lattice permits, each drawn as the helix it is: 4₁. A turn of 2π/n followed by an advance of m/n of the repeat, so that n turns land exactly m cells along. 0 of those drawn are its own mirror image; the rest come in left- and right-handed pairs.

Turning and climbing at once

A rotation has a fixed point and a screw has none. That sounds like a small difference and it is the reason a space group is not a point group with extra letters, the reason two hundred and thirty is not seventy-three, and the reason a helix can be a crystal.

$The eleven screw axes, enumerated. An n-fold axis admits a screw for every m from 1 to n − 1, so the orders a lattice permits — 2, 3, 4, 6 — give 11 screws in all. Each row shows the fraction of a cell one turn advances, plotted between zero and one. 3 of them are their own mirror image, which happens exactly when m is half of n; the others pair off into left- and right-handed twins.$

Eleven ways to turn while climbing

Five rotation orders survive the crystallographic restriction, and each of them admits a screw for every whole number of cells its turns can amount to. That is a sum with four terms, and it is why there are eleven screw axes rather than some other number.

The five kinds of glide plane. All five glide letters: a, sliding by a/2; b, sliding by b/2; c, sliding by c/2; n, sliding by (a+b)/2, (b+c)/2 or (a+c)/2; d, sliding by (a+b)/4, (b+c)/4 or (a+c)/4. 3 of those drawn are axial — the slide is half of a single cell vector lying in the plane. A glide's square is a pure translation, so its slide can only be half of a lattice vector, and the quarter-cell d glide exists only where centring has already made the half-diagonal a lattice vector.

Reflect, then slide by half of something

A glide's slide must double to a lattice vector, which leaves three candidates in any plane and a fourth that exists only where centring has already made a half-diagonal into a lattice vector. Five letters, and the fifth is the one the enumeration explains.

The symmetry elements of Ccmm. Space group Ccmm, number 63, projected down c on a C-centred orthorhombic cell. The symmetry elements drawn: 4 2-fold rotation axes, 6 glide planes, 12 2₁ screw axes, 2 mirror planes, 8 inversion centres. 2 kind(s) of element in this group have no line or mark in a projection down c — an axis at an angle to the page, or a plane lying parallel to it — and are not in the picture.

The operations nobody put in

A group is not a list of generators. Compose two of them and something arrives that neither contained — a screw where there were only mirrors, a glide where there was only a mirror and a centring vector — and in three dimensions most of a group's operations get there this way.

P2₁/c under every cell choice. One group, described in each of the 6 bases that keep its cell the shape its system requires, with the symbol derived from the operations each time. The distinct symbols are P2₁/c, P2₁/a, P2₁/n — 3 names for one group. Nothing about the crystal has changed: the basis changes all have determinant ±1, so the lattice is untouched, and the census of rotations, screws, mirrors and glides is identical in every row, since conjugation cannot turn one kind into another. What changes is which lattice vector a glide's translation is half of, and the glide letter names exactly that.

One group, three symbols

P2₁/c, P2₁/a and P2₁/n are the same space group written on three choices of axes, and the literature contains all three as though they were different. Deriving a symbol from a group's own operations shows why — and found an entry on this site that had been carried under another setting's name for two phases.

Fddd has two published origins. The two conventions, computed from the operations. The International Tables place the origin at the point of highest site symmetry, and also at a centre of inversion, and for this group those are different points — so the group is printed twice, with every coordinate in the second table shifted by (-0.125, 0.125, -0.125) from the first. A structure published on one and read on the other has every atom in the wrong place by that vector, the refinement fails in a way that looks like bad data, and nothing in the symbol says which was used.

Two origins for one group

The International Tables place the origin at the point of highest site symmetry, and also at a centre of inversion. For twenty-four of the two hundred and thirty those are different points, so the group is printed twice with every coordinate shifted — and nothing in the symbol says which table a structure was written against.

Each arithmetic class holds exactly one symmorphic group. The arithmetic crystal classes this site enumerates in full, with the number of space groups each produces and the number of those that are symmorphic — that is, that have an origin at which every operation's translation part vanishes. The right-hand column is one in every row, over 25 groups in all, and the figure asserts it rather than reporting it. That is the bijection behind the number 73: there are seventy-three arithmetic crystal classes in three dimensions and seventy-three symmorphic space groups, and the correspondence is this one, class by class.

One symmorphic group per class

Every arithmetic crystal class holds exactly one space group in which some origin clears every translation part at once. That bijection is why there are seventy-three symmorphic space groups and seventy-three arithmetic classes, and it is checked here class by class rather than counted.

Aem2: one plane, two glides. The plane of Aem2 that carries two operations, drawn edge-on with each slide beside it. The two differ by the A-centring translation, which lies inside this plane — that is the whole condition for a plane to carry two, and it is why no primitive group has one. Both slides are axial, b and c, so neither letter has a claim on the symbol, and before 1992 the Tables simply chose. The letter e is the choice being refused.

The plane that carries two glides

A plane can hold two glide operations at once, with slides that have no claim on each other. Every symbol printed before 1992 chose one of them, so the name recorded a convention rather than a group — and the International Tables invented a letter to stop it.

Pnma has 6 names. The group Pnma with its three axes relabelled in each of the six possible ways. Every row is the same group, and each row is checked as it is drawn: the change of basis has determinant one, conjugating back gives the original operations exactly, and the census of screws, glides, mirrors and rotations is unchanged — and 6 different symbols come out. Each symbol is derived from the conjugated operations, not looked up, by the same routine that has to reproduce the symbol every group was entered under.

Six ways to name one group

Pnma is also Pmnb, Pbnm, Pcmn, Pmcn and Pnam. Nothing about the crystal changes between those six; what changes is which axis was called a. In an orthorhombic group the axes are inequivalent and unlabelled, and naming them is a choice made six ways.

P2₁/c from 27 marks. The marks of P2₁/c's plan, counted by kind, and what they rebuild to. Each mark is reduced to what a reader can see and handed to a closure with the matrices withheld: an axis gives its direction, its position and how far one turn advances along it; a plane gives its normal, its position and its slide. The lattice supplies the candidate matrices, the closure supplies the rest, and what comes back is the group — 4 operations against 4, with nothing missing and nothing extra.

The plan contains the group

A space-group diagram has always been treated here as a picture of the group. It is more than that: hand back the marks alone — no matrices, no operations, not even the centring — and the group comes out exactly, forty-five times out of forty-five.

At which indices a group contains a copy of itself. A filled circle where the group has a subgroup of that index which is the same plane group again. The groups with no rotation past a half-turn take every index — the lattice can be stretched along one direction by any factor. The four-fold groups take the sums of two squares and the three- and six-fold groups take the Loeschian numbers, because a sublattice invariant under a quarter or a third of a turn is an ideal in the Gaussian or Eisenstein integers and its index is a norm. The groups with mirrors take fewer still, and p4g takes only the squares.

The same group in a bigger cell

A subgroup usually gives something up. An isomorphic subgroup gives up nothing but scale — the same plane group again, on a coarser lattice — and the indices at which that is possible turn out to be the values of a quadratic form.

Ten ways for space to be flat

Thirteen of the two hundred and thirty space groups hold no point still, and folding space along one of them gives a shape with no curvature anywhere. There are ten such shapes, not thirteen, and the difference is the same eleven pairs that separate 230 from 219.

p4m: 4 and 4. The standard motif — three points in no particular arrangement — repeated by p4m, with each copy coloured by the sign of the area of the triangle it makes. 4 copies have one sign and 4 the other, because the group contains an operation that reverses orientation. A structure built from one enantiomer cannot sit here: the group would put its mirror image in the same crystal. The colours were computed from the coordinates rather than assigned.

The groups a single hand may sit in

A protein is built from one enantiomer of every amino acid, and a crystal of it contains nothing else. That single fact deletes most of the classification at a stroke: any operation reversing orientation would put the other hand in the same crystal. The criterion is one line of arithmetic, and in the plane the enumeration is complete — five of the seventeen.

4_1: which index gives which group. The isomorphic subgroups of a 4₍1₎ screw group, index by index. An index sharing a factor with 4 gives nothing — the translation cannot be written on the new cell at all — and the rest give a screw whose index is the old one times the inverse of p modulo the axis order. So the answer alternates: some indices give the group back and others give its mirror image, and which is which is decided by p modulo the order of the axis.

A bigger cell, and sometimes the mirror

An isomorphic subgroup gives up nothing but scale — the same group again on a coarser lattice. In space the screw axes sharpen the question, and the answer contains a surprise: a cell three times taller holds the group's enantiomorphic partner, so a left-handed screw contains a right-handed one with nothing done to the crystal but a change of description.

The star of a wavevector

A plane group acts on the plane, and this collection has spent two hundred essays watching it. It also acts on the reciprocal lattice, where the action is different in one decisive way: the translations move no wavevector at all, and come back instead as a phase.

p3m1 at (0, 0): the levels the little group requires, and the ones measured. The levels of the p3m1 model at (0, 0), with degenerate ones drawn thick. The little group there has order 6, and its characters predict levels of dimensions 1, 1, 2, 2. The measurement is 1, 2, 2, 1, and the account is "unitary". The values are numerical and the multiplicities are read at a stated gap; the prediction they are compared against is exact.

Where two levels must meet

At most wavevectors nothing of a crystal's symmetry survives, and its levels are as unconstrained as any operator's. At a handful of them a whole point group survives, and where that group has a two-dimensional representation, two levels are obliged to coincide — before anything about the material is known.

A glide sticks two levels together

The translation attached to a glide moves no wavevector at all. It comes back as a phase factor, and at the edge of the zone the factor is minus one — after which the operators of the little group no longer multiply the way the group does, and no rephasing repairs it.

The honeycomb's two levels meet at K, exactly. The two levels of the honeycomb net along a line from the centre of the zone to its corner. The off-diagonal entry of its two-by-two matrix is the sum of the phases of three bonds, and at the corner those phases are the three cube roots of unity, whose sum is zero — exactly, as an identity in the ring the phases live in rather than as a number that came out small. So the matrix there is the zero matrix and both levels are zero. It is the shortest exact statement of a crossing in this collection.

The crossing at the corner

The honeycomb's two levels meet at the corner of its zone, and the meeting is not approximate. Three phases sum to zero there — an identity between cube roots of unity — so the matrix is the zero matrix, and making the two sites differ opens a gap of exactly that difference.

p6m: freezing Γ2 leaves p31m. The same crystal three times. On the left, a pattern with the full symmetry of p6m. In the middle, the displacement each atom takes under the order parameter — the arrows are the mode, drawn in the first colour for one set of atoms and the second for the other where there are two. On the right, the atoms moved by a small multiple of those displacements. The group of the right-hand pattern is p31m, of index 2 in the parent, and it was found by the detector from the point set alone. The prediction — which operations carry the displacement field to itself — is made separately, from the mode and not from the points, and the two lists of operations are identical.

An order parameter is a representation

The quantity that measures a lost symmetry is not a number the physics chooses freely: the parent group mixes its components, so it carries a representation, and the symmetry that survives is what leaves its value alone. Every prediction here is checked by moving the atoms and asking the detector.

4mm: which phase depends on where the order parameter points. The plane of a two-dimensional order parameter, with each sampled direction marked by the symmetry that survives when the parameter points that way. The directions along which some operation is preserved are drawn large with a spoke to the centre; the general directions, where nothing survives, are the small faint marks between them. One representation, several phases — and the symmetry does not say which of them a crystal takes. That is decided by terms in an energy, which no symmetry argument supplies: what symmetry supplies is the list a material must choose from.

Which way the order parameter points

A two-component order parameter has a direction as well as a size, and the symmetry that survives depends on where it points. One representation therefore offers several low-symmetry phases — and symmetry, having produced the list, has nothing to say about which one a crystal takes.

p4m: freezing Γ3 leaves pmg. The same crystal three times. On the left, a pattern with the full symmetry of p4m. In the middle, the displacement each atom takes under the order parameter — the arrows are the mode, drawn in the first colour for one set of atoms and the second for the other where there are two. On the right, the atoms moved by a small multiple of those displacements. The group of the right-hand pattern is pmg, of index 4 in the parent, and it was found by the detector from the point set alone. The prediction — which operations carry the displacement field to itself — is made separately, from the mode and not from the points, and the two lists of operations are identical.

The cell a zone-boundary mode doubles

An order parameter that alternates from cell to cell keeps only half the translations, so the frozen structure has a cell twice as large and reflections that were never there before. The phases at such a wavevector are ±1, so the whole computation stays in exact integers.

How chiral, as a number

A group answers one bit: a set either has an improper symmetry or it does not. Two shapes can both be chiral and one of them be a mirror-symmetric thing with a substituent out of place while the other is a helix, and nothing in the classification says which is which. A distance does.

Compatibility at (0, 0) in p4m. Every representation of the little group at (0, 0) in p4m, and what it becomes along two lines out of that point. A one-dimensional representation stays one level and acquires a label; a two-dimensional one splits into two levels of opposite label. The rows where the two columns differ are the point: the same level is even under the mirror that survives along one line and odd under the mirror that survives along the other, so which bands may cross and which must repel is different in the two directions out of one point. Labels are the characters on the classes, computed rather than named.

Which levels join which, on the way out of a point

A degeneracy at a symmetry point is forced by the little group there. Move off the point and the little group shrinks, the degeneracy is free to split, and which pieces it splits into is decided by restricting a character. That restriction is what joins a table of isolated points into a band structure.

Where time reversal does something, and what. Every wavevector of every plane group at which time reversal changes the answer, with the square of each antiunitary operator, the unitary prediction, Herring's corrected prediction and the measured degeneracies. Case (b) is Kramers' theorem in a crystal with no spin, and it happens exactly where a glide's operator squares to −1. Case (c) is a representation being carried to a different one by the antiunitary operator, so the two become one level. Nine of these rows were open before the criterion was built — three the earlier census called unaccounted and six it could not reach at all.

The degeneracy time reversal forces

A crystal with a glide has levels that stick together at the edge of its zone for a reason no character table contains. The operation responsible is antiunitary, it squares to minus one, and Kramers' theorem then applies to a model with no spin anywhere in it — which closes nine rows an earlier census in this collection had to leave open.

Which indices a screw axis contains itself at. The fifteen kinds of axis a space group may have, against the index of the sublattice taken along the axis. A filled cell is an index at which the axis contains a copy of its own kind; the darker cells are the indices at which what comes back is the mirror image instead. A pure rotation axis is filled everywhere and a screw is not, and which indices a screw loses is decided by one congruence rather than by any geometry.

A screw that contains its own mirror image

No operation of a crystal turns a right-handed screw axis into a left-handed one — that is what makes the eleven enantiomorphic pairs pairs. And yet a 4₁ axis contains copies of 4₃ as subgroups, at every index congruent to three modulo four. One congruence decides both which indices are possible and which hand comes back, and it is the same congruence for all fifteen kinds of axis.

Ten chains, two phases. The Zak phase of the lower band of a two-site chain, as the ratio of the two hoppings is swept. Every value is exactly zero or exactly π and nothing lies between them, because the chain has an inversion centre and inversion maps the zone loop to itself reversed — which forces the phase to equal its own negative modulo a full turn. The switch happens where the two hoppings are equal, which is the one place the band gap closes and the phase belongs to no band.

The phase a symmetry turns into a number

Carry a band's state once across the Brillouin zone and it returns with a phase. In a chain with an inversion centre that phase is exactly zero or exactly π and never anything else — and the two values turn out to be the two positions in the cell that an inversion centre fixes. Remove the centre and the phase moves continuously, which is what a quantisation claim has to be able to lose.

One achiral motif in p4, chiral along one line and achiral along two. The same motif — three points with a mirror and no other symmetry — repeated by p4, the plane group of quarter-turns with no mirror, and placed with its mirror along three different lines of the square lattice. Along the first line the pattern has no operation that reverses orientation: it is chiral, although every piece of it is achiral. Along the second and third the motif's mirror is also a mirror of the whole pattern, and the detected groups are p4m and p4g; the mirror lines of each pattern are drawn. All three verdicts come from detecting the symmetry of the points and agree with whether the motif's mirror normalises p4.

A hand made of pieces that have none

Quartz is built from tetrahedra that have no handedness, and every quartz crystal is left-handed or right-handed anyway. Put a piece with a mirror into a pattern whose group has none, and the pattern keeps the piece's mirror only if that mirror lies on one of a few lines the group's normaliser draws. Anywhere else, the arrangement has a hand its parts do not.

Seventeen plane groups, and one chiral sheet over each. The seventeen plane groups, whether each is chiral as a pattern in the plane, how many sheets can be built over it by giving each operation a sign on the sheet's normal — 63 in all — and which of those sheets is chiral in space. There is always exactly one. For the five groups chiral in the plane it is the sheet whose two faces differ and nothing turns it over. For the twelve achiral in the plane it is the sheet turned over by exactly the operations that reverse orientation in the plane, so that every mirror line becomes a half-turn axis lying in the sheet.

Chiral in the plane is not chiral in the room

A pattern with mirrors all over it can be a sheet with a hand, and a pattern with no mirror can be a sheet without one. Whether a layer is chiral depends on what each of its operations does to the side of the sheet, and over every one of the seventeen plane groups exactly one sheet is chiral in space.

What lies between a group and its copies at index 25. For each group, the lattices carried to themselves by its point group that contain a copy of the group at index 25, arranged by index, with lines for containment; each lattice is labelled by the Gaussian or Eisenstein integer that generates it. Copies are the bottom row, drawn large when nothing lies between them and the whole lattice. p4: 3 copies at index 25, 0 maximal, with invariant lattices between of index 5; p4m: 1 copies at index 25, 1 maximal, with invariant lattices between of index none.

The primes a cell can grow by

A plane group contains copies of itself in bigger cells, and the International Tables list the ones that are maximal — the copies nothing else sits between. For p4 they come at 2, at 5, 13, 17 and 29 twice each, and at 9 and 49 once, and the list is the list of primes of the Gaussian integers. Put mirrors on the pattern and the copies at 5 and 13 vanish while 25 becomes maximal: a mirror cannot keep one factor of a prime without the other.

One matrix, four rules

Changing the setting of a structure is one matrix and one origin shift — and the cell, the coordinates, the indices and the operations each obey a different rule under it. Three of the four ways of getting it wrong still leave a closed group of the right order, so closure catches none of them.

A thread's two signs, and the four kinds of operation. Every operation of a rod group carries the axis to itself, so it does two independent things: it keeps or reverses the direction along the thread, by a sign σ, and it keeps or reverses the handedness of the plane across the thread, by the determinant of a 2 × 2 matrix. The determinant in space is the product, so the shaded cells are the proper operations — a turn or screw about the axis, and a half-turn crossing it — and the unshaded ones are the improper. A rod group is chiral when all of its operations sit on the shaded diagonal, and polar along its axis when all of them sit on the top row. The two conditions pick out different diagonals of the same square, which is why neither implies the other.

A thread's hand is not a choice

A sheet's handedness in space depends on a sign that the plane pattern does not fix, so one plane group carries several sheets and exactly one of them is chiral. A thread has no such freedom: 32 of the 75 rod groups are chiral, they sit over 9 of the 27 axial classes, and which they are is settled before any structure is drawn. Only its direction depends on how the class lies along it.

Two dimensions to be ambiguous in, and one. Why a plane can carry two operations and a line cannot, side by side. Two reflections sharing a plane differ by a translation lying in that plane, and their slides are vectors in the plane — a two-dimensional space, in which a centring vector need not be a multiple of the slide. So the two slides can be genuinely different glides, b against c, and in 1992 the International Tables invented the letter e for the case where neither has a claim. Two rotations sharing an axis differ by a translation along that axis, because anything across it would move the line; their intrinsic parts are vectors along the line, a one-dimensional space in which every lattice vector is a whole multiple of the shortest. So the two differ by a whole number of repeats and are the same screw. The plane has one dimension of freedom left over and the line has none.

A line carries one screw

A plane can hold two glide operations at once, and in 1992 the International Tables invented a letter for the case where neither has a claim. The same question put to an axis has the opposite answer: across 3,388 axes, not one line carries two — and the reason is that a slide has two dimensions to be ambiguous in and an intrinsic translation has one.

P4₁: the lattices, as an ideal across and a multiple along. Every sublattice the point group of P4₁ carries to itself, indexed by the norm of the ideal it uses across the axis and by the multiple it takes along it. The entry is the space group that sits on it: the parent's own type in one colour, a different type in the other, and a dash where no group with the parent's point group survives at all. A dot marks a lattice that is maximal — one whose step is a single prime, across or along, with nothing between it and the whole. The rows and columns are two divisibility orders and the table is their product, which is the shape the plane's answer predicted.

An ideal across and a prime along

In the plane a copy of a group inside itself grows by a prime ideal, and the maximal indices are the norms of the primes of a ring. In space with one principal axis there are two directions to grow in, and the question the plane left was whether the two constraints multiply. They do not — and the place they fail is an index the plane calls maximal, because the step in between carries the group's mirror image.

A row of coefficients for every group. For eight of the seventeen, the number of sublattices of each index that the group's point group carries to itself. A nought means the group has no copy of itself at that index at all. p1 and p2 preserve every sublattice, so their rows are the counts of sublattices themselves — 1, 3, 4, 7, 6, 12 — which is the sum of the divisors. The rows thin out as the point group grows, and p4m and p6m have almost nothing in them. Every row is a sequence a Dirichlet series can be built on, and the next figure is what that series factors into.

A row written as a product

Every group's copies of itself sit at a row of indices, and every row so far has been read one entry at a time. Counting all of them at once turns a row into a Dirichlet series, and every one of the seventeen rows factors into a product over the primes — which is the statement that a copy is a chain of maximal steps, written as arithmetic. The plainest group of all has the most famous series in mathematics.

One lattice, two copies of pm. pm on a lattice doubled across its mirrors. The mirrors of the parent are every vertical line; a copy of pm on the doubled lattice has mirrors every other line, and there are two ways to choose which — the solid set or the dashed set. Both are copies of pm with the same lattice and the same point group, and no translation of the parent carries one onto the other, because the translation that would is exactly the one the doubling removed. So a count of invariant lattices is not a count of subgroups, and the gap is visible in the smallest case there is.

A lattice is not a subgroup

Every count of copies so far has counted lattices, and the International Tables count subgroups. One invariant lattice can carry several copies of a group that nothing in the parent carries onto one another — pm's doubled lattice carries two, with its mirrors on the even lines or the odd ones — and how many is a cohomology computation, a first where the classification of the seventeen used a second.

Seven indices in 40, and one lattice at each. For every index to 40, how many sublattices of a cubic lattice there are and how many of them the full cubic point group carries to itself. The first number runs into the hundreds; the second is nought at almost every index and one at 1, 2, 4, 8, 16, 27, 32. A cubic point group is forty-eight conditions on a sublattice, and forty-eight conditions leave very little. The richest point group in three dimensions has the poorest arithmetic of copies, and the two are the same fact.

The richest group has the poorest arithmetic

A plane group with no symmetry has seven hundred and sixty-two sublattices to grow by; one with a six-fold axis and mirrors has eight. Take the trend to its end in space and a cubic group has six to index forty — one at every cube, one at twice a cube, one at four times a cube, and nothing anywhere else. Every operation of a point group is a condition, and forty-eight conditions leave almost nothing.

All essays