Crystallography & Symmetry
patterns derived from their groups
Concept

Algebraic independence — where it appears

The property of a set of polynomials that they satisfy no polynomial relation at all. Three functions of two variables can never have it, which is why a plane point group with three invariant generators carries exactly one relation between them.

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

Also named here as chevalley theorem, hypersurface, syzygy — the same set of essays touches all of them, so they are one junction rather than several.

Six of the ten plane classes have a free invariant ring, and four do not. Every plane point group, with the degrees of the generators of its invariant ring, whether the ring is free, and the relation where it is not. The six generated by their own reflections — 1, m, 2mm, 4mm, 3m and 6mm — have two generators whose degrees multiply to the order of the group, which is Chevalley's theorem checked rather than quoted. The four without reflections — 2, 4, 3 and 6 — need three generators in two variables, so one polynomial relation ties them together, and the degree that relation appears at is printed at the right of its row. Nothing here is a lookup: the generators are found degree by degree as the invariants the earlier ones do not reach, and the relation is the kernel of the map back to polynomials.

The groups whose invariants are free

Six of the ten plane classes have an invariant ring generated by two polynomials with no relation between them, and the six are exactly those generated by their own reflections. The degrees of those generators multiply to the order of the group, and their excess counts the reflections.

point-groups · Invariants 4: three generators in two variables, and the one relation between them. The invariant ring of 4 needs 3 generators, of degrees 2, 4, 4, and three functions of two variables cannot be algebraically independent. The relation between them is found rather than quoted: every monomial in the generators of the degree at which they can first be dependent is written out, the map back to polynomials in x and y is formed, and its kernel is the relation. It is then evaluated at points of the lattice, where all three generators take integer values and the combination comes to exactly zero. A group with a reflection has no such relation, which is the same statement as its ring being free.

Three invariants and one relation

Four of the ten plane classes need three invariants where two variables can only support two, so exactly one polynomial identity ties them together. The identity is not recognised or recalled: it is the kernel of a linear map, computed and then checked at lattice points where every term is an integer.

point-groups · Invariants

Named alongside it

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

Chevalley theoremHypersurfaceInvariant ringMolien seriesReflection groupSyzygyCubic invariantInvariant degreesInvariant polynomialPoint group

All concepts