Crystallography & Symmetry
patterns derived from their groups
Concept

Origin shift — where it appears

A move of the coordinate origin, which changes every translation part in a group's table and nothing about the crystal. Which parts it removes and which it leaves is the arithmetic that makes a space group more than a point group with a lattice attached.

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

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 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 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.

space-groups · Space groups 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 18 extension classes, 17 groups. Each of the thirteen arithmetic classes with the number of ways translations may be attached to it — its cohomology — the shape of that group, and how many distinct plane groups the classes come to once the changes of basis that are mere relabellings are quotiented out. The two columns differ in exactly one row, 2mmp, where four extension classes are three groups because two of them are the same group with the axes swapped. No lattice is drawn anywhere in this computation.

Seventeen, without a picture

Every other count of the plane groups has a plane in it — a pattern generated, a domain folded, an orbifold's curvature spent. The same seventeen come out of pure algebra: attach translations to a point group, keep the assignments that close, throw away the ones that differ only by where the origin was put, and add up over the thirteen arithmetic classes.

classification · Cohomology ⟨cos Φ⟩ against κ, 379 triplets. The mean cosine of the triplet, binned by the concentration κ = 2|E₁E₂E₃|/√N, for the 379 triplets of a structure of 24 atoms whose reflections all exceed |E| = 1.2. The curve is Cochran's I₁(κ)/I₀(κ), computed from the distribution and not fitted to anything; the points are measured, with the number of triplets in each bin printed above. They agree to 0.1 root-mean-square. The measured points sit slightly above the curve throughout, which is the finite structure showing: Cochran's derivation assumes atoms placed at random and there are only 24 of them.

Three phases that do not move when the origin does

A phase is a property of the description, not of the crystal: shift the origin and every one of them changes. A sum of three phases whose indices add to zero does not change, because the shifts cancel. That sum is the smallest thing about a structure that a diffraction experiment could in principle know, and it is not distributed at random.

diffraction · Direct methods 21 superspace groups in (2+1) dimensions, from 31 names. The whole count, in the order it is built. Thirteen arithmetic classes of the plane; six of them admit an incommensurate wavevector; those six give ten sign assignments; each assignment contributes the plane cohomology times the internal cohomology, which is thirty-one names; and the names are merged by the changes of basis that are relabellings — a change of the plane basis, which moves the sign assignment and the internal cocycle with it, and the choice of q against −q. The last row is what the count would be if the two factors were quotiented separately, which over-counts because the merge is not independent of the internal part.

Superspace groups in the plane

A modulated crystal has no space group, and in a space of one more dimension it has one. Counting them in the plane is the seventeen's own extension arithmetic with a third coordinate on which the point group acts by a sign — and the sign has to be plus or minus exactly, which kills the three-fold, four-fold and six-fold classes before a single extension is counted.

aperiodic · Modulation One change of setting, four rules. The four things a structure report contains and the rule each obeys under a change of setting with basis change P and origin shift p. The cell and the indices are multiplied by P; a coordinate is multiplied by its inverse, after the origin has been subtracted; and an operation is conjugated and then shifted by (W − I)p, a term the other three have no equivalent of. Applied to Pnma with the change below, the operations still close into 8, the orbit maps point for point, and every |F| is unchanged.

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.

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

space-groups · Isomorphic subgroups

Named alongside it

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

Group extensionScrew axisArithmetic crystal classCocycleIntrinsic translationCoboundaryEnumerationGlide planeSettingStructure factorSymmorphicArithmetic class

All concepts