Crystallography & Symmetry
patterns derived from their groups
Concept

Polynomial — where it appears

A finite sum of products of the coordinates with numerical coefficients. The polynomials a point group leaves unchanged form a ring, and how many there are of each degree is what a symmetry argument about a physical property is ultimately counting.

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

Where a homometric pair comes from. A set that factors as a sumset gives its own partner. If every point of A is a sum b + c with b in B and c in C, and every sum arises once, then reversing C produces a different set with the same vectors — because reversing a factor and reversing its conjugate cancel in the product that the vector set is. Both factors must be asymmetric, which is the constraint that decides where the construction can be used: a two-point set is its own reflection up to a translation, so the smallest useful factorisation is three points by three points, and the smallest structure it builds has nine atoms.

Where the pairs come from

A structure whose atoms are the sums of two smaller sets has a partner: reverse one factor and the interatomic vectors do not notice. The construction is Patterson's own, it explains why homometry exists, and the smallest structure it can build has nine atoms for a reason worth following.

diffraction · Homometry 12 of the thirty-two classes have a free invariant ring. Every crystal class with its order, the number of its operations that are reflections, whether its ring of invariant polynomials is free, and the degrees of the generators when it is. A reflection here is an operation of determinant minus one whose fixed set is a plane; an inversion centre has determinant minus one and fixes only the origin and is not one. The classes with a free ring are exactly the classes generated by their reflections, which is Chevalley's theorem checked rather than quoted.

Twelve of the thirty-two are free

A crystal class leaves some polynomials alone, and the ones it leaves alone form a ring. For twelve of the thirty-two classes that ring is generated by three polynomials with no relation between them, and for the other twenty it is not — and the twelve are exactly the classes generated by their mirror planes. The two verdicts are computed by routes sharing no code, and an inversion centre is not a mirror.

point-groups · Invariants

Named alongside it

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

AutocorrelationCentrosymmetryCharacterConvolutionCrystal classEnumerationGroupHomometryInteratomic vectorInvarianceInvariantThe Patterson function

All concepts