Generator

Thirty-two classes, eighteen groups — the abstract type generator

Thirty-two classes, eighteen groups
Thirty-two classes, eighteen groups. Every abstract group the thirty-two crystal classes realise, with the classes that realise it. 8 of the eighteen carry more than one class, and the largest collision is the four hexagonal classes that are all the dihedral group of order twelve. Nothing here is looked up: two classes are put in the same row when a search over images of a generating set finds a bijection preserving multiplication, and the search is finite because a generating set is small and the elements it may map to are the ones of the same order.

Every abstract group the thirty-two crystal classes realise, with the classes that realise it. 8 of the eighteen carry more than one class, and the largest collision is the four hexagonal classes that are all the dihedral group of order twelve. Nothing here is looked up: two classes are put in the same row when a search over images of a generating set finds a bijection preserving multiplication, and the search is finite because a generating set is small and the elements it may map to are the ones of the same order.

1 essay calls abstract-type. 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.

The whole library · All essays