Crystallography & Symmetry
patterns derived from their groups
Concept

Wallpaper group — where it appears

One of the seventeen groups of symmetries a pattern repeating in two independent directions can have. The number is a theorem with a finite proof rather than a tally, and every pattern on this site is generated from one and then handed back to a detector to check.

Named by 5 essays across one field — each of them below, with the objects they name alongside it.

The seventeen wallpaper groups. Every way of repeating a pattern across the plane, one cell of each. Each tile was generated from its group's operations and then examined independently to confirm it has exactly those symmetries and no others.

The seventeen

Every way of repeating a pattern across a flat surface, exhibited rather than tabulated. The number is a theorem with a finite proof, and the proof is walkable in an afternoon.

classification · Seventeen The friezes inside the seventeen. Every plane group contains frieze groups: keep only the operations that map one lattice row onto itself and what is left is a group on a strip, which must be one of the seven. Across all seventeen plane groups and their principal directions, all seven frieze groups appear. The commonest is p2, in 9 of the 32 rows examined.

The friezes inside the seventeen

Take one lattice row of a wallpaper pattern and keep only the symmetries that leave that row where it is. What survives is a frieze group — and which of the seven it turns out to be is a fact about the plane group that its symbol does not state.

classification · Friezes Every way regular polygons can fill a turn. The seventeen multisets of regular polygons whose interior angles add to exactly 360°, listed with the sum that qualifies each of them. They are found by a search over sizes from three upward: the largest polygon that can appear is the forty-two-gon, which needs a triangle and a heptagon beside it, and the search stops there because the smallest interior angle is a third of a turn so at most six polygons can meet. Nothing here is a table looked up — the list is the output of the search, and every count on the page downstream of it is counted from this one.

Twenty-one vertices, eleven tilings

Regular polygons meeting at a point must fill exactly a turn, which is a Diophantine equation with seventeen answers and twenty-one cyclic arrangements. Ten of the twenty-one tile nothing at all — and the argument that kills them counts places round a polygon rather than measuring anything.

classification · Tilings The cell of 3.4.6.4, and the vertices in it. 3.4.6.4 drawn with the cell its own translations define. The lattice is hexagonal and the cell holds 6 vertexes, marked. Neither was chosen: the translations are the vertex-to-vertex vectors that carry every polygon of the patch onto a polygon of the patch, and the cell is the shortest independent pair of them. Expressed in that basis the vertices have coordinates that are exact and are not fractions — a vertex of this tiling sits at 1/(1 + √3) of a cell — which is why the detector that decides its group works in ℚ(√3) rather than in the rationals.

Eleven tilings, five groups

Hand each of the eleven uniform tilings to a detector that has never heard of tilings and ask what its symmetry is. Six of them answer p6m. Twelve of the seventeen wallpaper groups never appear at all — and the coordinates the question has to be asked in are not fractions.

classification · Tilings 3.4.6.4 and its dual. The tiling in pale outline with its dual drawn over it: one dual vertex at the centre of every tile, one dual edge across every shared edge, and one dual tile round every vertex. 3.4.6.4 has 3 kinds of tile and one kind of vertex; its dual has one kind of tile and 3 kinds of vertex, and the congruence of those tiles is checked rather than eyeballed — every dual face presents the same cyclic sequence of squared edge lengths, compared exactly. That swap is what the eleven duals are for: read one way the list classifies tilings with all vertices alike, read the other it classifies tilings with all tiles alike.

Eleven duals, one tile each

Swap the vertices of a uniform tiling for its tiles and the eleven come back as eleven tilings by a single repeated shape. Three of those shapes are pentagons — which is worth pausing over on a site whose other essays prove that five-fold symmetry cannot exist.

classification · Tilings

Named alongside it

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

Archimedean tilingClassificationEdge to edgeEnumerationStabiliserUniform tilingVertex speciesAccidental symmetryCase analysisCrystallographic restrictionDecidabilityDetection

All concepts