Crystallography & Symmetry
patterns derived from their groups
Concept

Counterchange — where it appears

A design whose symmetries include exchanging two colours, described by a homomorphism onto the two-element group. A chessboard and a grid of identical squares have the same plane group, which is plainly not what anybody sees, and this is the arithmetic of the difference.

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

Two-colourings of the seventeen. How many ways each of these 17 plane groups can be two-coloured so that every symmetry either preserves the colours or exchanges them. 74 in all, each one a subgroup of index two enumerated by trying every assignment of colours to a generating set and keeping the assignments that turn out to be consistent. p3 admits none: a homomorphism onto a group of order two has nothing to send a three-fold rotation to but the identity, and once the rotation and its conjugates are killed nothing is left to reverse the colours. pmm admits the most, with 15. Every count is one less than a power of two because the homomorphisms of a group onto the two-element group are the non-zero elements of a vector space over that field.

Two colours, and a symmetry that swaps them

A chessboard and a grid of identical squares have the same group, which is plainly not what anybody sees. Admitting the colour swap as an operation gives a finer classification — and one of the seventeen turns out to admit no two-colouring at all.

classification · Ornament Subgroups of index 3, across the seventeen. Every subgroup of index 3 with cyclic quotient in each of the seventeen plane groups, sorted into the two kinds: 4 keep all the translations and lose operations, 22 keep all the operations and lose translations, and the total is 26. The split is decided by whether the homomorphism onto ℤ3 kills the two lattice translations, which is a property of the kernel and not a judgement. Every one of them is found by enumeration inside the finite quotient by 3Λ, and the count for the whole classification is a measurement.

Three colours, and why most patterns cannot have them

Seventy-four of the seventeen plane groups' subgroups have index two, and every group but one has at least one. At index three there are twenty-six, and ten of the seventeen have none at all — because a symmetry of order two cannot survive being asked to permute three colours.

classification · Colour How much a count of descriptions over-counts. For each plane group that has any two-colouring at all: how many colourings it has, how many designs those come to, and the ratio between them. Over the seventeen the ratio is 1.61, and group by group it runs from 1.00 — where nothing is identified — to 3.50 at p2, whose seven colourings fall into one class of six and one of one. The tick on each row is that row's largest single class, and it is at least the bar and usually more. The largest class anywhere is p2's 6, and that same group over-counts by only 3.50, because a factor is a mean over the group's classes and a mean reaches its largest term only when every term equals it. Reading the largest class as the over-count is therefore an over-statement, always. And the factor varies from group to group, which is why no single correction turns a count of descriptions into a count of designs after the fact.

Seventy-four colourings, forty-six groups

This site counts the two-colourings of the seventeen and gets seventy-four. The literature says there are forty-six two-colour wallpaper groups. Both numbers are right, and the gap between them is a disagreement about when two coloured patterns are the same pattern.

classification · Colour One group refuses two colours and three refuse three. The two counts side by side, with the rows that refuse a number of colours marked. p3 is the only group with no two-colouring; p4, p4m and p4g are the only ones with no three-colouring. Neither list is a subset of the other and both come from the same arithmetic — a rotation order that divides nothing the symmetric group has.

What a half-turn does to three colours

Ten of the seventeen plane groups have no three-colouring, because a half-turn cannot permute three colours cyclically — that is the first rung of this ladder and it is true. Drop the word cyclically and the answer changes completely: a half-turn permutes three colours perfectly well by swapping two and fixing one, and only the three four-fold groups refuse three colours at all.

classification · Colour

Named alongside it

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

HomomorphismColour symmetryIndexOrbitShubnikov groupsSubgroupAffine normaliserColour groupEquivalenceIndex two subgroupNormal subgroupNormaliser

All concepts