Crystal classes — the series · Crystallography & Symmetry

The thirty-two crystal classes. Every crystallographic point group, as a stereogram. Each was found by enumerating the subgroups of m3̅m and of 6/mmm, and each diagram is the orbit of one general direction under the group, filled where the pole is in the upper hemisphere and open where it is in the lower — which is the only thing in the picture that tells a rotation from a rotoinversion.

Thirty-two, and no others

There are exactly thirty-two ways a crystal can be symmetric about a point. Not thirty-two that anybody has catalogued — thirty-two that a finite search produces, from two starting groups, with every step of the reduction counted separately so that no two of them can quietly compensate.

part 1 · point-groups

The merge, and what witnesses it. The two holohedries are enumerated separately and their class lists merged where the element signatures agree. That returns the right total, which is not the same as being right: 33 merges are made and every one of them is checked by constructing an explicit change of basis carrying one group onto the other.

A fingerprint that gave the right answer

The thirty-two classes were merged on a fingerprint — the census of operation types — and the fingerprint returned thirty-two, which is correct. Returning the correct answer is not the same as being entitled to it, and the difference took three wrong constructions to close.

part 2 · point-groups

The crystal classes 4, 4̅, 3̅, 6̅. 4, 4̅, 3̅, 6̅: the orbit of a general direction under each group, giving 4, 4, 6, 6 poles, with general positions and symmetry elements. Filled marks are poles above the plane of the page and open ones below it.

What a trace decides

Ten kinds of operation, and two integers tell them apart. The determinant and the trace name a symmetry operation completely — which is why the classification can be run on integer matrices in a lattice basis and never once ask what angle anything turns through.

part 2 · point-groups

Reading 4/mmm off its own directions. Each position of 4/m2/m2/m reports one symmetry direction of the tetragonal system: the highest-order axis lying along it, and whether a mirror is perpendicular to it. Nothing is looked up — every row is computed from the group's own matrices.

Reading a class off its own axes

A Hermann–Mauguin symbol is not a name that was assigned. It is a report on three directions, read in order, and the whole of it can be derived from the group's matrices — with one genuine convention and one exception, and the exception is orthorhombic.

part 3 · point-groups

The thirty-two, by crystal system. 32 classes in 7 crystal systems. Each column is one crystal system and each cell one class, ordered by the number of operations it holds. Nothing here is tabulated: the classes come from the enumeration and the marking from a character sum over each group.

The holohedry is the ceiling

A crystal never has more point symmetry than its lattice. That single containment decides which system a class belongs to, why there are seven systems and not thirty-two, and why a lattice can be more symmetric than the crystal sitting on it — which is the usual case rather than the exception.

part 3 · point-groups

The crystal classes 3m, 3̅m, 6̅2m. 3m, 3̅m, 6̅2m: the orbit of a general direction under each group, giving 6, 12, 12 poles, with general positions and symmetry elements. Filled marks are poles above the plane of the page and open ones below it.

3m1 and 31m are one class

This site has an essay arguing that p3m1 and p31m are genuinely different groups. As point groups the same two objects are one class — and the two subgroups are each normal in the hexagonal holohedry, so nothing in the lattice relates them. What does is a rotation of thirty degrees.

part 4 · point-groups

The thirty-two, in both notations. Each class with the symbol crystallography uses and the symbol spectroscopy uses, both derived from the class's own matrices. The Hermann–Mauguin symbol is a report on three families of directions, read in an order the lattice system fixes. The Schoenflies symbol is a report on a construction: a principal axis of order n, whether there are n twofold axes across it, and which mirrors were added. Neither can be computed from the other without going back to the group, which is why the two lists are set beside each other rather than one derived from the other.

One class, two names

Hermann–Mauguin names directions and Schoenflies names a construction, and the two are derived here from the same integer matrices by computations that share no step. Neither can be obtained from the other without going back to the group — which is why a molecule has one kind of symbol and a crystal has both.

part 5 · point-groups

Thirty-two classes, eighteen groups

An inversion centre, a mirror and a two-fold rotation are three of the most different things a crystal can have, and they are the same group of order two. Forget the matrices and keep the multiplication table, and the thirty-two classes collapse to eighteen.

part 6 · point-groups

Cubic means the Sylow 3-subgroup is not normal. The thirty-two sorted two ways at once: by crystal system and by whether the Sylow 3-subgroup is normal. Two of the four boxes are empty, so the two properties coincide exactly. That gives 'cubic' a definition with no geometry in it — a class is cubic when its threefold subgroups are conjugate to each other rather than unique — and it explains why a cubic class has no principal axis: a group cannot single out one member of a conjugate family.

How many axes there are is a Sylow count

Sylow's theorems say that the subgroups of prime-power order in a finite group are all conjugate and that how many there are is congruent to one modulo the prime. Applied to the thirty-two crystal classes that arithmetic counts axes: the number of Sylow 3-subgroups is the number of equivalent threefold directions, it is four in exactly five classes, and those five are the cubic ones. So cubic has a definition with no geometry in it.

part 9 · point-groups