Crystallography & Symmetry
patterns derived from their groups
Concept

Conjugacy class — where it appears

A set of group elements related to one another by conjugation, so that they are one symmetry seen from different places. Counting them is how a classification decides when two subgroups are the same subgroup, and every merge on this site carries an explicit conjugating matrix.

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

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.

point-groups · Crystal classes 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.

point-groups · Crystal classes 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.

point-groups · Crystal classes A conjugacy class of p4m. One conjugacy class of p4m drawn in place: every copy of the same symmetry that the group can carry onto every other. Conjugation was applied to each of the 8 operations by each of them in turn, and the kind and order of the result was checked to match every time.

The same symmetry, somewhere else

Two mirrors in a pattern can be the same symmetry or two different ones, and looking will not settle it. Conjugation is the operation that decides, and it turns an intuition about sameness into arithmetic.

operations · What symmetry is How many ways each class can lose symmetry. Every crystal class, with the number of distinct classes it can descend to — 247 parent-and-child pairs in all across the thirty-two, counted up to conjugacy in the parent, which is the equivalence that says two descents differing only by which axis was chosen are one transition. The count rises steeply with the order of the parent, which is why the cubic and hexagonal holohedries dominate the list of materials with rich domain structures.

Two hundred and forty-seven descents, or two hundred and twelve

How many distinct ways can a crystal lose symmetry? Counting parent-and-child pairs up to conjugacy in the parent gives 247. The standard enumeration in the ferroics literature gives 212, and the operation that merges the extra thirty-five turns out to be a rotation through forty-five degrees — which no lattice may have, and which no integer matrix in a lattice basis can therefore express.

applied · Domains 6mm: 6 irreducible characters on 6 classes. The character table of the plane point group 6mm, constructed rather than quoted. The columns are its 6 conjugacy classes, with the number of operations in each; the rows are its 6 irreducible representations, of dimensions 1, 1, 1, 1, 2, 2. The dimensions satisfy 1² + 1² + 1² + 1² + 2² + 2² = 12, which is the order of the group, and that identity together with the count of classes is what proves the list complete. Every entry is an exact element of the twelfth cyclotomic ring; the decimals shown are the numerical value of an integer vector, not a computed approximation.

What a group does to a function

A symmetry operation moves points about, and two hundred essays here have watched it do so. It also acts on everything defined over those points — a density, a displacement, a wave — and that action is linear, which turns a group of motions into a set of matrices and every question about it into arithmetic.

point-groups · Representations The ten plane classes, and the dimensions they permit. Every crystallographic point group of the plane, with one block per irreducible representation and each block as wide as its dimension. Nine of the ten have only one-dimensional representations; 4mm, 3m and 6mm carry a two-dimensional one, drawn in the measured colour. Nothing is wider than two, and the sum of the squares of the widths in each row is the order of that group — the identity that says the row is complete.

How large a degeneracy may be

Symmetry can force two things to have the same value, and in a crystal it can force three. It can never force five, and the reason is a sum of squares — the same kind of arithmetic that forbids a five-fold axis, arriving at a question about levels rather than about rotations.

point-groups · Representations The kinds of line defect each breaking allows. The eleven proper crystal classes, each with the order of the binary group that covers it, the number of conjugacy classes of that group other than the identity — which is the number of kinds of line defect — and whether the group commutes. 6 of the eleven do not, and in those media two defect lines cannot pass through each other without leaving a third line behind.

The defect that needs two laps

Which defects a medium can have is not a fact about the medium. It is a fact about the space its order parameter lives in, and for a rotational symmetry broken down to a point group that space has a fundamental group twice the size of the point group. The kinds of line defect are its conjugacy classes — and in six of the eleven cases they do not commute, which means two defect lines cannot pass through each other.

applied · Defects 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.

point-groups · Crystal classes The table of marks of 4mm. Every conjugacy class of subgroup of 4mm, against every other. The entry is the number of cosets of the column's subgroup that the row's subgroup holds still. The first row is the identity, which fixes everything, so it is the size of each coset space; the last column is the whole group, whose only coset is fixed by everybody.

The table that decides every action

Burnside's lemma counts orbits and stops there — two completely different actions with the same orbit count are indistinguishable to it. The object that settles the whole question is a square table whose entries count fixed cosets: lower triangular because a subgroup fixes no coset of anything smaller, positive on the diagonal because it fixes its own, and therefore invertible. Inverting it turns a list of fixed-point counts back into the orbits themselves.

point-groups · Counting Disorder models against occupancies, site by site. Every distinct site symmetry in the space groups built here — 19 of them — with its order, its number of subgroups, the number of distinct disorder models, which are the subgroups up to conjugacy by the operations of the site symmetry, and the number of different occupancies those models can have. The last column is the largest number of models that share one occupancy. In all, 162 models share far fewer occupancies; the most crowded is 4/mmm, where 11 different models all give an occupancy of 1/4. At every site, the classes of operation a model keeps separate it from every other model with the same occupancy.

The occupancy does not name the disorder

A molecule disordered on a special position takes a number of orientations fixed by a group index, and its occupancy is the reciprocal. Many different disorders share one occupancy — eleven at a single kind of tetragonal site — and what separates them is which of the site's operations the molecule keeps, which the averaged structure records and the occupancy does not.

restriction · Local symmetry p2's symmetries, sorted into classes by the group itself. A pattern with the symmetry of p2 over 2 by 2 cells, with its rotation centres and mirror lines marked in the International Tables' shapes and coloured by conjugacy class in the infinite group: two marks share a colour exactly when some operation of the group carries one element onto the other. Where rotations of several orders share a centre, the mark is the highest order's and so is its colour. Glides are not drawn. Classes counted: half-turns: 1 in the quotient, 4 in the group.

Two mirrors a coset cannot tell apart

Taken modulo its lattice a wallpaper group is finite, and its conjugacy classes are easy to list. But a coset holds every mirror of one direction at once, and the group itself keeps apart mirrors the list merges: pm has two classes of mirror, p2 four classes of half-turn, p3 six classes of rotation. Deciding which is which is Dehn's conjugacy problem, and for these groups it comes down to whether one vector lies in one lattice.

operations · What symmetry is Subgroups, the classes a group sorts them into, and the sets its normaliser does. For every plane group, the number of subgroups of index two and of index three, the number of conjugacy classes those fall into under the group's own operations, and the number of sets they fall into under its Euclidean normaliser. Over the seventeen there are 74 subgroups of index two in 74 classes and 56 sets, and 82 of index three in 36 classes and 32 sets. 9 of the thirty-four rows have fewer sets than classes, which is where the tables' "equivalent" entries come from. Counts of subgroups and of classes agree with an independent count from transitive actions on n points.

Three of them, and they are equivalent

The subgroup tables print a count and sometimes a word beside it. Three subgroups of one type may be three copies the group itself shuffles, or three the group holds firmly apart and only a change of description exchanges. p3 has three copies of itself at index three, no operation of p3 moves any of them, and one shift by a third of a cell exchanges all three.

operations · Normalisers

Named alongside it

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

SubgroupPoint groupCrystal classSite symmetryConjugationIndexNormaliserCharacterCharacter tableCrystallographic restrictionEnumerationIrreducible representation

All concepts