Crystallography & Symmetry
patterns derived from their groups
Generator

p4g in 4 letters and 8 relations

p4g in 4 letters and 8 relations
p4g in 4 letters and 8 relations. The presentation of p4g, derived from the group's own operations. The two translations commute; each conjugation relation is read off a column of a matrix; and the point group's relations are corrected by the translation they actually come back as, which is what makes this group an extension rather than a semidirect product. Every relator is evaluated where the group lives and must be the identity, and coset enumeration on the letters alone returns 8, which is the order of the point group.

The presentation of p4g, derived from the group's own operations. The two translations commute; each conjugation relation is read off a column of a matrix; and the point group's relations are corrected by the translation they actually come back as, which is what makes this group an extension rather than a semidirect product. Every relator is evaluated where the group lives and must be the identity, and coset enumeration on the letters alone returns 8, which is the order of the point group.

4 essays call presentation. 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 393 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.

p4g in 4 letters and 8 relations. The presentation of p4g, derived from the group's own operations. The two translations commute; each conjugation relation is read off a column of a matrix; and the point group's relations are corrected by the translation they actually come back as, which is what makes this group an extension rather than a semidirect product. Every relator is evaluated where the group lives and must be the identity, and coset enumeration on the letters alone returns 8, which is the order of the point group. Operations

A group in four letters

Every other essay here describes a symmetry group by what it does to the plane. There is a second description — a handful of letters and the words in them that are required to equal nothing — and it can be counted with no plane anywhere in the computation.

 The ball of radius 5 in p6. Every element of p6 reachable in at most 5 multiplications by a generator or its inverse, plotted at its translation part — so each dot is a lattice position and its size says how few steps reach it. The picture is the word metric's unit ball scaled up, and its shape is what fixes the growth: a diamond where the group supplies two short translations, and a hexagon where it supplies three. Every dot here required the word problem to be solved, because the search has to know when two products are the same element. Operations

Telling two words apart

There are finitely presented groups in which no algorithm can decide whether two products of the generators are the same element. The seventeen are not among them, and the procedure that settles it is short enough to state in a sentence — which then makes it possible to measure how fast each group grows.

 p4: a domain of 38 cells with 7 walls. The fundamental domain of p4 on a grid of 12ths, with the walls it shares with its neighbouring copies marked. Each wall names the element that carries this copy onto the copy across it, and there are 7 distinct such elements. Those elements generate the whole group — checked by closing them up and requiring every coset and the whole translation lattice to be reached, not assumed — which is Poincaré's theorem, and it means the generators of a wallpaper group can be read off a picture. The domain is pixelated rather than a polygon, so the wall count is a property of this domain and not of the group. Operations

Every wall names a generator

The copies of a fundamental domain tile the plane and stand in one-to-one correspondence with the elements of the group. So the elements that carry the home copy across a wall generate everything — and the generators of a wallpaper group can be read off a picture rather than looked up.

 p4: the map comes back. p4 written on two bases related by an integer matrix of determinant one, and about two origins. The two descriptions share no coordinate; they are the same group. The matrix and the origin shift were then recovered from the two operation sets alone — which is what Bieberbach's theorem promises, carried out as a search over the integer matrices and the origins the lattice permits, and checked by applying what was found. What a lattice forbids

The same group means the same pattern

Seventeen patterns is not the same statement as seventeen groups. Two patterns that look nothing alike could in principle have symmetry groups that are abstractly the same, and then the classification would be a classification of drawings. Bieberbach's theorem says they cannot — and the affine map that proves it can be recovered from the two operation sets alone.

The whole library · All essays