Crystallography & Symmetry
patterns derived from their groups
Concept

Coset enumeration — where it appears

A procedure that counts the cosets of a subgroup from a presentation alone, terminating exactly when the index is finite. It turns a question about an infinite group into a finite table, and it is how the index of a plane group's translations is checked.

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

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.

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.

operations · Presentations 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.

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.

operations · Presentations

Named alongside it

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

Group extensionPresentationRelatorAbelianisationCommutatorCosetDecidabilityGeneratorsInvariantInvariant factorOrbifoldp31m

All concepts