Space groups — the series
-
The step a flat surface has no room for
Seventeen becomes two hundred and thirty, and the factor of thirteen is not a matter of having more directions to work in. It comes from an operation the plane cannot hold — a translation that no choice of origin will remove.
-
Forgetting a group in three dimensions
For three phases this site said its machinery was two-dimensional and decided nothing about a space group. That was true, and it was a limit rather than a principle — nothing in the decidability argument mentions the number two.
-
The half of a translation that is not a choice
Every operation's translation splits in two — a part that belongs to the operation and a part that only records where somebody put the origin. Almost everything peculiar about space groups is a consequence of that split, including why there are two hundred and thirty rather than seventy-three.
-
Sixteen candidates, ten groups
One point group, one lattice, and every consistent way of attaching translations to it — enumerated in full. The count comes out at sixteen, and then at ten, and the step between the two numbers is a decision about what "the same group" means rather than an arithmetic fact.
-
Eleven groups that are their own reflection's rival
There are two hundred and thirty space groups, and there are two hundred and nineteen. Both numbers are correct and they answer different questions, and the eleven that separate them are the reason a crystal can be built one way round and not the other.
-
One symmorphic group per class
Every arithmetic crystal class holds exactly one space group in which some origin clears every translation part at once. That bijection is why there are seventy-three symmorphic space groups and seventy-three arithmetic classes, and it is checked here class by class rather than counted.
-
The plan contains the group
A space-group diagram has always been treated here as a picture of the group. It is more than that: hand back the marks alone — no matrices, no operations, not even the centring — and the group comes out exactly, forty-five times out of forty-five.