Crystallography & Symmetry
patterns derived from their groups
Concept

Index two subgroup — where it appears

A subgroup that leaves exactly one coset over, so its elements and their complement are equal in number. A lattice has seven of them however it is shaped, since each is the kernel of a map sending the basis to zeros and ones, and the seven are the candidate colourings of the lattice before its symmetry rejects any.

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

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 Twenty-two halvings the fourteen lattices permit. Every lattice has exactly seven subgroups of index two, whatever its shape. The third column is how many of the seven the lattice's own group carries onto themselves, and the fourth is how many of those survive as distinct types once a change of basis within the type is allowed to identify them. The running total ends at twenty-two, which with the fourteen grey lattices is the thirty-six magnetic Bravais lattices — and the row that ends at zero is the face-centred cubic lattice.

The halving a lattice will not permit

Admit time reversal and a lattice splits into points that leave the moments alone and points that reverse them. The second set is a coset of a subgroup of index two, and every lattice has exactly seven of those, whatever its shape. What differs is how many of the seven the lattice's own symmetry survives — and the face-centred cubic lattice survives none of them.

lattices · Magnetic Every crystal class is a rotation group, read one of three ways. The 32 crystal classes sorted by their rotations. Each row is one of the 11 proper classes; beside it is the class obtained by adjoining the inversion, which doubles the order, and the classes obtained by negating the half of the group outside a subgroup of index two, which keeps it. The columns hold 11, 11 and 10 classes, and every class appears exactly once. 3 rows have nothing in the last column, because 1, 3, 23 have no subgroup of index two to leave alone. At most 2 classes share a row, which happens where a proper class has halves of two different kinds.

Eleven, eleven and ten

Twenty-one of the thirty-two crystal classes contain a mirror, a centre or a rotoinversion, and not one of them is a new group. Each is a group of rotations with the inversion added, or a group of rotations with half of itself negated — and which half is left alone is the whole of the choice.

restriction · Finite groups

Named alongside it

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

HomomorphismShubnikov groupsAffine normaliserBravais latticeColour groupCounterchangeCrystal classDeterminantEquivalenceFinite groupGram matrixHolohedry

All concepts