Crystallography & Symmetry
patterns derived from their groups
Generator

Two half-turns make a translation

Two half-turns make a translation
Two half-turns make a translation. The half-turn about (0.25, 0.25) followed by the half-turn about (0.75, 0.5) is the translation by (1, 0.5) — twice the vector between the two centres, and not the vector itself. The open lens is a third centre, and it is not the midpoint of the two drawn: it is where the half-turn about the first lands when it is composed with one repeat vector of the lattice, which is half a repeat along. That is the step that puts two-fold centres on the half lattice and gives a p2 cell four inequivalent ones. Both the translation and the forced centre are computed from the operations and compared with the construction in exact rational arithmetic.

The half-turn about (0.25, 0.25) followed by the half-turn about (0.75, 0.5) is the translation by (1, 0.5) — twice the vector between the two centres, and not the vector itself. The open lens is a third centre, and it is not the midpoint of the two drawn: it is where the half-turn about the first lands when it is composed with one repeat vector of the lattice, which is half a repeat along. That is the step that puts two-fold centres on the half lattice and gives a p2 cell four inequivalent ones. Both the translation and the forced centre are computed from the operations and compared with the construction in exact rational arithmetic.

6 essays call product. The drawing above is what it returns with no arguments at all; every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about. Every one of this site's 522 essays names its parameters at the call site, which the standard pass of 2026-08-09 established and param-floor holds.

Where it is called

Changing this generator changes every one of these figures.

Two half-turns make a translation. The half-turn about (0.25, 0.25) followed by the half-turn about (0.75, 0.5) is the translation by (1, 0.5) — twice the vector between the two centres, and not the vector itself. The open lens is a third centre, and it is not the midpoint of the two drawn: it is where the half-turn about the first lands when it is composed with one repeat vector of the lattice, which is half a repeat along. That is the step that puts two-fold centres on the half lattice and gives a p2 cell four inequivalent ones. Both the translation and the forced centre are computed from the operations and compared with the construction in exact rational arithmetic. Operations

Where the product is

Composing two symmetries lands on a third — and the third one is somewhere. Two half-turns make a translation by twice the distance between their centres, and that single fact puts the lattice into a pattern before anybody chooses one.

 The closure is a lattice exactly when the orders allow one. Twelve pairs of rotation orders, with a centre of each order placed one unit apart and the group they generate closed out to words of length 6. The linear parts reached are exactly the least common multiple of the two orders, every time — two rotations generate rotations, and the angles they generate are the multiples of the smaller of two fractions of a turn. A lattice admits rotations of order one, two, three, four and six and no others, so the closure can be a plane group exactly when that multiple is one of those five. The pairs where it is not are the pairs where the translations keep getting shorter. Operations

Closing the plane from two centres

Put two rotation centres down and close under composition: the result is a plane group or is not discrete, and nothing in between. What decides it is the least common multiple of the two orders, because two rotations generate rotations and the angles add — so the crystallographic restriction arrives as a condition on a closure rather than as one on a lattice.

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

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.

 The turns that keep the join discrete. Two copies of p4 on one square lattice, one turned against the other, with the shortest translation their union generates. At a turn whose cosine and sine are both rational the translations are a lattice, and its shortest vector is one over the square root of Σ — where Σ is the odd part of p² + q² for the rational point (p, q) — which the measurement reproduces to six places at every one tried. At a whole number of degrees other than a multiple of ninety there is no such point, and the search finds shorter translations the further it runs. Operations

Two patterns laid over one another

Compose two plane groups rather than two operations. The group generated by both is one of the seventeen or is not discrete at all, with nothing between — and it takes two conditions, one on the rotation orders and one on the turn between the lattices. The turns that work have rational cosines, which by a theorem of Niven's means none of them is a whole number of degrees.

 Three mirrors of a 30–30–120 triangle, closed. A triangle with angles of thirty, thirty and a hundred and twenty degrees, shaded, and every image of it under the group its three side-mirrors generate, within a window. The images alternate between the triangle and its mirror image, and they tile the plane — so the closure is discrete. But the group it produces has a mirror along the triangle's own altitude, drawn dashed, that is none of the three given: the triangle is two copies of the thirty–sixty–ninety triangle, and the group is that triangle's, p6m. The closure found a mirror the generators did not name. Operations

Four groups are made of mirrors

Close the plane from located mirrors instead of rotation centres and the closure is discrete only for four triangles of mirrors — and one of those four manufactures a mirror along its own altitude. Of the ten plane groups that contain a reflection, exactly four are generated by their mirrors; three hold a kaleidoscope at index two, three and four, which are the numbers in front of the star in their orbifold symbols; and three have mirrors in one direction only, which generate nothing along themselves.

 Six groups are made of glides, four of mirrors, eleven of both. For each of the twelve plane groups that contain a reflection, what its mirrors generate on their own, what its glides generate, and what both together generate, counting lattice translations as something the generators must produce. Four groups are generated by their mirrors alone, six by their glides alone — pg, pgg, p4g, p3m1, p31m and p6m — and eleven by the two kinds together; pm is the one they cannot make, because its mirrors are parallel and nothing produces the translation along them. Where a set falls short the cell says how: every coset reached but only part of the lattice, translations in one direction only, or a proper subgroup. Operations

Six groups are made of glides

Four plane groups are generated by their mirrors. Six are generated by their glides, and they are mostly different ones, because a glide done twice is a translation where a mirror done twice is nothing. Closing the plane from located glide lines with their slides reaches six of the seventeen; mirrors and glides together reach eleven, every group with a reflection except pm. The classification does not fall out of the closure, and where it stops says what each kind of reflection can and cannot make.

The whole library · All essays