Crystallography & Symmetry
patterns derived from their groups
Generator

Seventeen groups, 10 abelianisations

Seventeen groups, 10 abelianisations
Seventeen groups, 10 abelianisations. Every plane group with the order of its letters thrown away. 10 distinct answers means the invariant separates the seventeen into that many classes: where two groups appear on one row, no conclusion follows in either direction, and where a group sits alone, it is provably not isomorphic to any of the other sixteen. 6 of the seventeen are pinned this way, including the p3m1 and p31m pair that every plate on this site draws side by side.

Every plane group with the order of its letters thrown away. 10 distinct answers means the invariant separates the seventeen into that many classes: where two groups appear on one row, no conclusion follows in either direction, and where a group sits alone, it is provably not isomorphic to any of the other sixteen. 6 of the seventeen are pinned this way, including the p3m1 and p31m pair that every plate on this site draws side by side.

3 essays call abelian. 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.

p3m1 and p31m, told apart without a picture. The two groups this site returns to most often: same point group, same lattice, same number of operations, and distinguished in every other essay here by where their mirrors sit relative to the lattice — which is a fact about the plane. Abelianised, they are ℤ2 and ℤ6, which are not isomorphic. That difference is a fact about the groups: no change of basis, no redrawing and no relabelling can carry one to the other, and the argument never mentions a mirror line. Operations

What is left when the order is forgotten

Abelianising a group throws away the order of the letters in every word and leaves a small abelian group behind. It is computed by a Smith normal form, it never mentions the plane, and it separates p3m1 from p31m — which a picture can only illustrate.

 Every plane group from at most 4 operations. For each group, the fewest operations that generate the whole of it — the point operations and both lattice translations, since a group that does not reach its own translations is a different group. The floor is the abelianisation's number of invariant factors, which no group can beat, and the search is exhaustive over the operations within one cell of the origin. 14 of the seventeen meet their floor, which settles those exactly; the other 3 need more than the abelian argument can see, and p3m1 needs three where its abelianisation is cyclic. Operations

How few operations make a pattern

A plane group is infinite, and a handful of its operations is enough to rebuild all of it. How small a handful is a question with a floor from the abelianisation and a ceiling from an exhaustive search, and for fourteen of the seventeen the two numbers meet.

 Four of the seventeen have a centre, and they are the four with no rotation. For each plane group: the order of its point group, how many of its operations are rotations, the lattice vectors every operation of the point group fixes, and the centre those vectors make. A central element must commute with every translation, which forces its linear part to be the identity — so the centre is a group of translations, and a translation is central exactly when the point group leaves it alone. A rotation leaves nothing alone but zero. Operations

The four groups with a centre

An element that commutes with everything has to commute with every translation, and that forces its linear part to be the identity. So the centre of a plane group is a group of translations — the ones its point group leaves alone — and a rotation leaves nothing alone but zero. Four of the seventeen have a centre and thirteen have nothing at all.

The whole library · All essays