Crystallography & Symmetry
patterns derived from their groups
Concept

Screw axis — where it appears

An operation that turns about a line and slides along it at once, and so fixes no point of space at all. Five rotation orders each admit a screw for every whole number of cells their turns can amount to, which is why there are eleven of them and not some other number.

Named by 44 essays across 6 fields — each of them below, with the objects they name alongside it.

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.

space-groups · Space groups What pg scatters. The diffraction pattern computed from the atom positions alone. Where a glide plane is present, alternate reflections along a row cancel exactly — and those missing spots are how the glide is identified in an experiment, since the glide itself is never seen.

Systematic absences

The most informative part of a diffraction pattern is the part that is not there. A glide plane cancels alternate reflections along a row, exactly, and those missing spots are how a symmetry nobody can see is identified.

diffraction · Diffraction 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.

space-groups · Space groups The 48 point symmetries of a cubic lattice. Every operation that maps a cubic lattice onto itself, built as the integer matrices preserving that system's metric: 48 of them, of which 24 are proper rotations and 24 reverse handedness. The orders occurring among the rotations are 1, 2, 3, 4 — the same list the plane gives, so the crystallographic restriction does not change in three dimensions, and there is no six anywhere. The 13 rotation axes are counted from the rotations they carry rather than drawn from memory, and every rotation but the identity is checked to belong to exactly one of them.

The restriction in three dimensions

Space is roomier than the plane in every other respect, so the natural expectation is that it permits more rotation orders. It permits exactly the same five, and seeing why is more interesting than the result.

restriction · Restriction The space groups in class mm2 (P), counted. Every way of attaching translations to the generators of mm2 (P): 64 assignments close into a group of the right size, 16 survive moving the origin, and 10 survive relabelling the axes — which is the number the International Tables record for this class. the ten primitive orthorhombic groups with a polar axis.

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.

space-groups · Space groups 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.

space-groups · Space groups 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.

space-groups · Screws and glides 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.

space-groups · Screws and glides The h0l layer of P2₁/c. The h0l reflections of P2₁/c out to 4 in each index, with each spot decided by summing the structure factor over the group's operations: 44 survive and 36 vanish identically, whatever the atoms are. The pattern of holes is the condition h0l: l even, read back off the spots rather than imposed on them.

The reflections that are not there

A screw axis and a glide plane leave no mark on the intensity of any reflection. What they do is delete some, exactly, for every possible arrangement of atoms — and the pattern of deletions is computed here from the sum a crystallographer writes down, rather than read from a table.

diffraction · Diffraction 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.

space-groups · Screws and glides P2₁2₁2₁: the sections its symmetry forces. The Patterson cell of P2₁2₁2₁ with the sections marked. Each operation (M, t) sends an atom at x to Mx + t, so the vector between them is (I − M)x − t; where I − M is singular that vector cannot leave a plane, and the plane's equation comes from the left null space in integers. This group has 3 such operations, giving the sections w = 0.5, u = 0.5, v = 0.5. A heavy atom's vector to its own image is somewhere on one of them, which is what made structure solution possible before computers: a plane can be searched by eye and a volume cannot.

Where symmetry stacks the vectors

A Patterson map of a real structure is a blur with thousands of overlapping peaks. A screw axis rescues it: the vectors between symmetry-related atoms cannot leave a plane, so the search for a heavy atom is a search of a section rather than of a volume — and which plane it is falls out of the operation's matrix in integers.

diffraction · The Patterson function Each arithmetic class holds exactly one symmorphic group. The arithmetic crystal classes counted here 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 each one is computed from the class, not copied from a table. 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.

space-groups · Space groups The symmetry of a cut through Pnma. Every height in one cell, and the number of operations of Pnma that map the plane at that height to itself. The answer is 2 almost everywhere and rises to 4 at the special heights, where the plane group named above the spike is what a reader looking down at that surface would see. The rule is two conditions and no more: the operation must not tilt the plane, and the plane must come back to its own height — so a twofold axis lying in the plane survives at two heights per cell and a screw axis along the normal survives nowhere.

What a cleave leaves

A surface is a crystal that has been cut, and the symmetry it presents is what the space group leaves of itself on that plane. Two conditions decide it — the plane must not tilt, and it must come back to its own height — and the answer changes with where the cut was made.

classification · Subperiodic P4_1: a screw of 90°. One operation of P4_1, reduced to Chasles' three numbers: an axis, an angle of 90°, and a pitch of 1.25 along it. The points are the orbit of one position under repeated application, which climbs because the pitch is not zero — and it is not zero for any choice of origin, which is what makes this a screw rather than a rotation. It needs 4 mirrors, and their product was checked against the operation before this was drawn.

Every motion of space is a screw

A rigid motion of space that preserves handedness turns about some axis and slides along that same axis, and there is nothing else it can do. Rotations and translations are the two ends of that one description, the axis and the pitch are computed rather than recognised, and the operations a space group is made of stop being a list of kinds.

operations · What symmetry is 75 rod groups over 27 axial classes. Each axial crystal class, with the number of rod groups it carries: every consistent choice of translation along the axis, in every way the class can sit on the rod, with two groups counted as one when a shift of the origin along the rod or a turn about it carries one onto the other. The total is 75, and every row as well as the total agrees with the International Tables, which are compared with this enumeration rather than used to produce it.

Seventy-five ways to be a thread

Eighty layer groups and seventy-five rod groups are usually quoted, both as numbers from the literature. The second is derived here, class by class — and the total alone turned out to be no check at all, because two errors of six groups each give seventy-five as well.

classification · Subperiodic 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.

space-groups · Space groups Ten ways for space to be flat. The thirteen groups, with each mirror-image pair counted once, because a shape and its mirror image are the same shape. 3 of the ten arrive that way — the three-fold, four-fold and six-fold screws, which are the enantiomorphic pairs this collection already counts among the two hundred and thirty. Six of the ten are orientable and four are one-sided.

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.

space-groups · Flat space 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.

space-groups · Isomorphic subgroups The cross, from the selection rule alone. The layer lines of a helix with the first maximum of each marked on both sides. Nothing here is a picture of a photograph: each mark is at the radius where the Bessel function of the lowest order the selection rule permits on that layer line first peaks, and that radius is proportional to the order. The order rises by one per layer line until the middle of the repeat, so the maxima lie on two straight lines through the origin — the X — and the larger marks are the layer lines that reach the axis.

What a thread scatters

A helix with ten subunits in a turn is not a screw axis a crystal may have, and nothing about its diffraction pattern is lawless. The pattern lies on layer lines, and on each one only certain angular orders may contribute — a selection rule as hard as any extinction condition. The lowest permitted order rises by one per layer line, a Bessel function of order n does nothing until its argument is about n, and the maxima therefore lie on two straight lines through the origin.

classification · Subperiodic 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 proper motion turns a right-handed screw axis into a left-handed one; only a reflection can — 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.

space-groups · Isomorphic subgroups The rectangle a (4, 2) tube is rolled from. A patch of honeycomb turned so that the rolling vector C = 4a₁ + 2a₂ lies along the page. C has length √28 ≈ 5.292; the shortest lattice vector perpendicular to it, T, has length 4.583; and the rectangle on the two holds 28 hexagons and 56 atoms. Rolling the rectangle so that its left and right edges meet makes one repeat of the tube. The two lines through the corner are the sheet's mirror directions nearest C: the zigzag direction along a₁ and the armchair direction thirty degrees from it. C makes an angle of 19.11° with the first and lies on neither.

The tube has a screw no lattice allows

Roll a honeycomb along one of its lattice vectors and the tube turns and climbs with a screw of order 14, 98 or 794 — orders the flat sheet could never have. The rolling keeps the sheet's translations and spends them on turns, and it keeps the sheet's mirrors only along two directions, which is why almost every carbon nanotube comes in two hands.

restriction · Finite groups Whether a rolled sheet ever comes back round. Three plane lattices, each with the same rolling vector C = 3a₁ + a₂ drawn from the origin and the line through the origin perpendicular to it. A translation of the rolled pattern straight up the tube, with no turn, is a lattice vector on that line. The square lattice has one, marked T, and the tube repeats every 10 turns. The general rectangular lattice has none in this direction — only along its cell edges — and the general oblique lattice has none in any direction at all, so its rolled pattern climbs forever without returning to the same angle.

Most sheets roll into a tube that never repeats

Rolling the honeycomb along a lattice vector always gives a tube with a repeat, and that is a property of the honeycomb rather than of rolling. Over the seventeen plane groups, 567 of 1,008 rolling directions give a tube with no translation along its axis at all — and every direction of an oblique pattern is one of them.

restriction · Finite groups 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.

space-groups · Chirality 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.

space-groups · Screws and glides Fifty-four of the seventy-five rod groups are a rolled plane pattern. Every rod group, one dot each, grouped by its crystal class. A dot is filled when some plane pattern rolled along some lattice vector has exactly that group, and the 106 crystallographic rollings of the seventeen plane groups fill 54 of them. The eighteen improper classes are full: every one of the 43 achiral rod groups is reached. The nine proper classes are not, and the twenty-one groups named on the right are what is missing — the sixteen whose screw is one of a left- and right-handed pair, and the five bare axes with no climb at all, p1, p112, p3, p4 and p6.

A rolled sheet is never one of a pair

Rolled up along every lattice vector that gives a crystallographic tube, the seventeen plane groups reach fifty-four of the seventy-five rod groups: every achiral one and eleven of the chiral. Not one of the sixteen screws that come in left- and right-handed pairs is among them, and the reason is a single fact about how far a rolled lattice can climb.

restriction · Finite groups Identical layers, each turned by an angle no number of turns undoes. Plan views of 4 layers of a stack. Each layer is the same square lattice with one cell shaded and one direction drawn, and each is turned from the one below through the angle whose cosine is three fifths, about 53.13 degrees. That angle is not a rational part of a full turn, so no number of layers brings the drawn direction back to where it started. A tiling of space with this structure has a symmetry that turns one layer onto the next and climbs one layer, and it has no translation.

Aperiodic is two words in space

A tile is aperiodic when none of its tilings is periodic, and periodic has been read two ways: a tiling with a translation, or a tiling with infinitely many symmetries. In the plane those are one condition, provably. In space they come apart, and a prism found in 1988 sits exactly in the gap.

aperiodic · Monotile The turns a rolled sheet can make are square roots. Every primitive rolling of a square and of a hexagonal sheet with at most 66 cells in a repeat, one mark per distinct turn. Across is the number of cells n₀ in one repeat of the tube; up is the turn, as a fraction of a circle, of the screw that climbs one n₀-th of the repeat. Most columns are empty, and the occupied ones hold two or four marks rather than anything up to n₀: on the square sheet the turns are exactly the square roots of minus one modulo n₀, on the hexagonal sheet the roots of the corresponding congruence for minus three. The pattern is symmetric about half a turn because a root and its negative are the two hands of one tube.

A rolled sheet turns by a square root

Roll a square sheet into a tube of thirteen cells and its screw could, on paper, turn by any of twelve fractions of a circle. It turns by five thirteenths or eight, and nothing else, because five squared plus one is a multiple of thirteen. Every rolled tube's screw is a square root of minus the sheet's determinant — which is why handed tubes appear only at the orders Fermat allows, why they always come in both hands, and why the crystallographic ones need an accident.

restriction · Finite groups 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.

space-groups · Isomorphic subgroups All thirteen families of line groups, reached by rolling. Each of the seventeen plane groups, on its generic lattice, rolled into a tube along every lattice vector that gives a repeat, with a mark under each of the thirteen families of line groups some rolling lands in. The band above each column is the family's translational part: a general screw for families 1 and 5, a half-step screw for 4, 8 and 13, pure translations or glide planes for the rest. Every family is reached, six of them by a single plane group, and the two oblique groups reach nothing because an oblique lattice rolled in any direction never repeats.

The centring that turns into a screw

Rolled with no limit on the order, the seventeen plane patterns reach every one of the thirteen families of line groups — six of them through a single pattern each. And the families' translations are decided by one integer: a tube that keeps any reflection holds one or two cells of its sheet in a repeat, never more, and it holds two exactly when the sheet is centred along the rolling direction. The centring vector of the flat lattice is the half-step screw of the tube.

restriction · Finite groups Six matrices and eight: a monoclinic normaliser modulo two. For P2/m and C2/m, every 3 × 3 matrix over the field of two elements that preserves the reductions of the two eigen-sublattices of the class's two-fold or mirror — six on the primitive lattice and eight on the centred one — each drawn as a tile of nine squares filled where the entry is one. The whole infinite normaliser reduces into this set, and a dot under each tile marks that some normaliser element with entries −1, 0 and 1 reduces to it. Every tile is realised, and the same holds in all six monoclinic classes.

The normaliser only acts modulo two

The space groups were counted as orbits of a small, finite set of changes of basis — only those with entries −1, 0 and 1 — out of normalisers that are infinite in the monoclinic classes. That the counts came out right was evidence, not proof. It becomes proof in two steps. A missing change of basis can only leave the count too high, never too low, so the published totals already force every class. And in the monoclinic classes the infinite normaliser acts on the cohomology only through its reduction modulo two, where the small set already reaches everything.

restriction · Finiteness A screw out of two rotations that have none. Four pairs of located rotations of space, composed, with the result read back as a screw: its angle, and its pitch, which is the part of its translation lying along its own axis. Axes that meet give a rotation and no translation at all, because the point where they meet is fixed by both. Parallel half-turns give a translation. Skew axes give a screw — a motion with a translation in it, out of two motions with none — and the translation is twice the distance between the two axes. Nothing in either factor moves anything along the product's axis, and the product does.

The axis a product lies on

Two rotations of space about axes that do not meet compose to a screw — a motion with a translation in it, out of two that have none. The translation is twice the distance between the axes and the angle twice the angle between them, and the screw's own axis is not somewhere arbitrary: it lies on the two axes' common perpendicular, at a place the arithmetic gives.

operations · Composition One group without an axis, and as many as the order with one. For a rotation of each order that an integer matrix can have in a small dimension, the number of space groups its arithmetic class admits — computed from the cohomology rather than enumerated. A rotation acting on the smallest lattice that will hold it fixes no direction and admits exactly one group: the symmorphic one, with no screw. Add a direction it leaves alone and the count becomes the order of the rotation, and the extra groups are its screws. The four-fold with an axis gives four, which are P4, P4₁, P4₂ and P4₃; the five-fold with an axis gives five, in five dimensions, where no published table exists to check it against.

The screw a dimension does not have

The extension count is a machine that runs in any dimension, and the seventeen were the case where every step could be checked against a list arrived at four other ways. Run on a cyclic point group it has a closed form two lines long — and it says a five-fold screw axis does not exist in four dimensions, which is a prediction rather than a check.

classification · Cohomology One sheet with two faces rolled into two scrolls. The cross-section of a sheet with different atoms on its two faces, rolled three turns into an Archimedean spiral, once with face A outward and once with face B outward. Unlike a tube, a scroll has an inner edge and an outer edge and a radius that grows with every turn, so an isometry of space can neither turn it about its axis nor reverse the direction along the spiral: it can only slide it along the axis, reflect it across the axis, or reflect the spiral itself.

A scroll cannot be turned end for end

A sheet with two different faces rolls into two tubes, face A out and face B out, and for forty-six of the eighty layer groups the two tubes are one object whichever way the sheet is rolled. Roll the same sheets into scrolls, spirals with an inner edge and an outer one, and only seventeen keep that. A spiral cannot be turned about its axis or run backwards, so the half-turns and screws that joined the tubes have nothing to act on. What survives is a mirror lying in the sheet, and a two-fold axis lying along the roll.

restriction · Finite groups Tight where there is an axis and vacuous where there is not. The order of a point group annihilates its cohomology, so every intrinsic translation is a multiple of one over that order — the bound every account of the subject quotes. What occurs is one over the exponent of the cohomology, which divides the bound. For a rotation with a direction it fixes the two agree exactly: a four-fold screw does need quarters and a six-fold sixths. For a rotation acting with no fixed direction the exponent is one — the cohomology is trivial and no fraction occurs at all — so the bound is slack by the whole order. The same bound is sharp and useless in the same table.

The denominator a group actually needs

The order of a point group annihilates its cohomology, so every intrinsic translation is a multiple of one over that order — a bound every account of the subject quotes. What occurs is one over the exponent, which divides it. The same bound turns out to be attained exactly and to be slack by its whole size, in two rows of one table, and what decides which is whether the rotation fixes a direction.

classification · Cohomology I222 and I2₁2₁2₁: the same axes, apart. The two-fold rotation axes of the two space groups on the body-centred class of 222, drawn in one conventional cell seen down its third edge: axes along that edge as diamonds, axes along the first edge as solid lines and along the second as dashed lines, with the height of each written beside it. Both groups have pure two-fold rotation axes in all three directions. In the symmorphic group some axes of different directions cross, at the origin among other places; in the other none does, because the heights of the axes in each direction are a quarter out of step with the positions of the axes in the others.

Two groups no single operation reveals

A space group is non-symmorphic when no choice of origin removes all of its translations at once, and every textbook example has a screw or a glide to show for it. Two of the two hundred and thirty do not need one. Every operation of I2₁2₁2₁, taken on its own, is also a plain rotation about some axis; so is every operation of I2₁3. What makes them non-symmorphic is that their rotation axes never meet — and no diffraction extinction can tell them from I222 and I23.

classification · Cohomology The seventy-five rod groups by what fixes the axis and what moves along it. Every rod group sorted by its kernel, the plane point group of operations that leave every point of the axis in place, and by the group of the line it maps onto: translations only, or translations and reversals. Each chip counts the rods with that kernel, that line group and a given number of steps to the repeat. 29 never reverse the axis and 46 do, seventy-five in all, derived from the kernel and the rule that joins it to the line and agreeing cell by cell with the rods counted class by class.

Seventy-five is twenty-nine and forty-six

The eighty layer groups came out as a plane group with a sign on each operation. The seventy-five rod groups have an account of the same shape turned round: a finite group of the plane across the rod, which is what leaves the axis alone, extended by a group of the line, which is what moves along it. Twenty-nine rods never turn their axis over and forty-six do, and the count comes out cell by cell as the rods counted class by class. The screw of a rod is the turn its smallest step gives the plane, and the kernel decides its subscript.

classification · Subperiodic Two hundred and twelve of the 219 are made of their own operations. The 219 affine space-group types divided by which of their own operations generate them, lattice translations included. 110 are generated both by their screws and glides alone and by their rotations, mirrors and inversions alone; 67 by their screws and glides only; 29 by their point operations only; 6 only by the two kinds together; and 7 by nothing they contain — P1, P2, Pm, Pmm2, P4, P3, P6 — which need a translation given outright.

Seven space groups cannot make their own translations

Every space group contains a lattice of translations, and for all but seven of the 219 types those translations are products of the group's other operations. A screw done twice climbs its axis and a glide done twice slides along its plane, so the non-symmorphic operations make lattices by themselves. The seven that cannot are exactly the seven plane groups with no glide, repeated along a line they all fix, and the reason is a difference between a glide line and a glide plane.

space-groups · Screws and glides How few of their own operations the space groups need. The 212 space-group types that their own rotations, screws, mirrors, glides and inversions generate, by the fewest of those operations that suffice: 64 need 2, 93 need 3, 46 need 4, 8 need 5, 1 need 6. For 198 the number equals a lower bound read off the group's largest elementary abelian quotient; for the other 14 a finite quotient proves that one more is needed, and a set of that size is found.

Two operations make rock salt's group, and Pmmm needs six

Every space group that its own rotations, screws, mirrors, glides and inversions can build is built by a handful of them, and how small a handful is now known for all 212. A quotient of each group says how many it cannot do without, a search finds that many for 198, and for the other fourteen a finite quotient proves that one more is needed. Rock salt's group needs two operations, Pmmm six, and P312 needs four where its abelian quotient allows two.

space-groups · Screws and glides Three kinds of three-fold axis in one coset. Two space groups of the primitive cubic lattice, each seen down a body diagonal, with one cell of the lattice projected and the three-fold axes parallel to that diagonal marked by type and coloured by class in the group. Every axis has the same linear part, and the lattice places a rotation, a 3₁ screw and a 3₂ screw in one coset of it. P23 keeps all three apart; Pm3̄, whose inversion reverses a screw's hand, joins the 3₁ and the 3₂.

Where the plane had places, space has pitches

Conjugacy in a plane group came down to one lattice, and it counted four families of half-turn to a cell, three of three-fold rotation, two of quarter-turn and one of sixth. In space the same lattice gives the same four numbers for every one of the 219 space-group types. What changes is what the families are. In a centred lattice, and along some directions of a primitive one, they are not rotations in different places but screws of different pitch, and a right-hand screw and a left-hand one in the same coset are one symmetry exactly when the group contains a reflection.

operations · What symmetry is Where the four-fold screws of one crystal cross a plane. A space group of the body-centred class I4/m that has a centre of symmetry, seen along the direction of its four-fold axes: the points where the special lines along that direction cross a plane, over four cells of the projection. A rod cut along the large filled lines is p4₃, a four-fold screw of one hand; along the other large lines, p4₁, its mirror image. The crystal's centre of symmetry carries each kind onto the other, so both are there and neither hand is favoured.

A crystal with no hand holds rods of both hands

Rolling a flat pattern into a tube reaches fifty-four of the seventy-five rod groups and never a screw that comes in a pair of hands. Cutting a column out of a crystal reaches all seventy-five. Sixteen of them are handed screws, and half of those can be cut from a crystal that has a centre of symmetry, from a line that happens to be a screw of one hand, with its mirror image a short distance away. A handed thread does not need a handed crystal, only a handed place in one.

space-groups · Chirality Which two kinds of operation make each of the 64 two-generator space groups. For each of the fifteen pairs of kinds of operation, rotation, screw, mirror, glide and rotoinversion (the inversion included), the number of the 64 space-group types generated by two of their own operations that some pair of those kinds generates. Every one of the 960 cases is decided: by a generating pair found, by the pair's linear parts failing to generate the point group, or by a proof in a finite quotient of the group. A screw and a glide make 32 types; two mirrors and a rotation with a mirror make none.

Two mirrors never make a crystal

Sixty-four space groups are generated by two of their own operations. Which two kinds can do it is a finite question, and it has been settled for all sixty-four and all fifteen pairs of kinds. A screw and a glide make thirty-two of them. Two mirrors make none, and neither does a rotation with a mirror, for reasons that need no computation: two operations that undo themselves generate a dihedral group, and an axis and a plane always share a point or a direction. Two plain rotations make six groups, every one of them cubic and without a mirror.

space-groups · Screws and glides Which three kinds of operation make each of the 93 three-generator space groups. For each of the 35 triples of kinds of operation (rotation, screw, mirror, glide, rotoinversion with the inversion), how many of the 93 space-group types that need three of their own operations some triple of those kinds generates. Of the 3255 cases 978 are generating triples found, 2275 are refuted (by the point group or in a finite quotient) and 2 remain undecided. Three mirrors make none; a screw and two glides make the most, 53.

Three mirrors never make a crystal either

Ninety-three space groups need three of their own operations to generate them, and which three kinds can do it is a finite question with 3,255 cases. All but two are now decided. Three mirrors make none of the ninety-three, as a theorem about reflection groups requires. A rotation with two mirrors makes exactly three, all cubic. Three plain rotations make thirteen, every one without a mirror. One group can be made thirty ways and three can be made only one.

space-groups · Screws and glides Eight of the thirty-two classes allow a gradient term at the zone centre. The thirty-two crystal classes, marked by whether any order parameter at the centre of the zone has a term linear in its gradient. In the plane none does. In space eight do: 3, 4, 6, 32, 422, 622, 23 and 432. All eight are among the eleven classes with no operation that reverses hand, and the other three, 1, 2 and 222, have only one-dimensional order parameters.

A screw keeps a line and a glide keeps a plane

The census of the seventeen zones left two predictions for space. A transition at the zone boundary should meet a gradient term where one screw or glide is active, along that operation's direction, and a second should remove it. Across all 219 types, the first half holds without exception in the monoclinic groups and the direction is wrong: a glide's term fills its plane. The second half fails from the orthorhombic groups on. And the zone centre, empty in the plane, is not empty in space.

space-groups · Landau Two positions in three can be lifted, and more than one in three can lose their cell. All 1694 Wyckoff positions of the 219 affine types by crystal system. On 1132 a motif with more symmetry than its site can raise the group of the crystal, and on 606 of those, across 126 types, some such motif makes the true cell smaller than the group's.

In space a motif can lift two positions in three

A molecule with more symmetry than its site can raise the group of the whole crystal, or not, and which one is decided by the site. In the plane twenty-nine positions of seventy-two allow it. In space it is 1,132 of 1,694, and 606 of them allow a lift that shrinks the cell, the case a structure solution meets as a warning. General positions can be lifted only in polar groups, as predicted, but eleven polar groups refuse: a mirror turns their screws over.

classification · Accidental symmetry

Named alongside it

The objects these essays reach for when they reach for this one.

Glide planeSpace groupEnantiomorphIntrinsic translationRod groupChiralityHelixCrystallographic restrictionEnumerationArithmetic crystal classGroup extensionCentring

All concepts