Reading the symbols
Hermann–Mauguin symbols are the standard way to name a crystallographic group, and they
are opaque on first meeting in a way that puts readers off the whole subject. They are also
not names. A symbol is a positional description: each character says what
exists in a particular direction, which is why p3m1 and p31m are
different groups rather than typographic variants of one, and why pm is really
a four-character symbol with two positions left out for saying nothing.
Which of those positions the mirror occupies is a matter of which axis is called first, and
the derivation below is honest about it: it reports pm as p11m
because that is where the mirror sits in this site's tables, where the literature more often
writes p1m1. The two are the same group under a relabelling of the axes, and
the short symbol is identical either way — the position carrying the choice is
exactly the position the short form drops, which is the notation quietly declining
to record a decision that has no content.
Every decoding on this page is computed. The group's operations are generated from its generators, each reflection is sorted into a family of directions by the direction it reverses, and the letter for that family is read off what is present — a mirror if there is one, otherwise a glide, otherwise nothing. The symbol assembled that way is then required to equal the group's standard name. Seventeen derivations, seventeen agreements; a wrong convention anywhere would surface as a symbol that failed to match, and the build would stop.
The long-form argument for why the notation is built this way, what it costs and what it cannot say is the essay on reading Hermann–Mauguin. This page is the reference that essay implies: every symbol the site uses, decoded in one place.
The three conventions everything below rests on
A letter names the direction it is perpendicular to. An m in
a position means a mirror across that family of directions, so the mirror line runs
at right angles to the direction the position names. This is the convention that makes the
symbol useful to an experimenter, because directions are what a diffraction pattern is
indexed by.
A position is a family, not a single direction. The four mirrors of p4m fall into two families of two: the fourfold rotation carries one axis onto the other, so both share a position. Each family below is generated by taking one direction and carrying it round by the lattice's own rotations, rather than by listing what is in it.
A mirror outranks a glide in the same family. Every mirror composes with a lattice translation to give a glide parallel to it, so a family containing a mirror always contains glides as well. The symbol names the mirror — which is why p3m1 is not written "p3g1" even though its glide lines are perfectly visible in any drawing of it.
The seventeen, decoded
Each row gives the short symbol as it is normally written, the full symbol with every position restored, and what each character claims — followed by the operations the derivation actually found. The mirror and glide counts are per cell.
p1
oblique lattice
p- a primitive cell — one lattice point per cell
1- no rotation beyond the identity
p2
oblique lattice
p- a primitive cell — one lattice point per cell
2- 2-fold rotation, the highest order present
pm
strictly p11m · rectangular lattice
p- a primitive cell — one lattice point per cell
1- no rotation beyond the identity
1- neither a mirror nor a glide perpendicular to the first axis — dropped from the short symbol
m- a mirror perpendicular to the second axis — 1 of them in the cell, one family
pg
strictly p11g · rectangular lattice
p- a primitive cell — one lattice point per cell
1- no rotation beyond the identity
1- neither a mirror nor a glide perpendicular to the first axis — dropped from the short symbol
g- a glide perpendicular to the second axis, and no mirror there — 1 in the cell
cm
strictly c11m · rhombic lattice
c- a centred cell — the conventional description carries a lattice point at its centre
1- no rotation beyond the identity
1- neither a mirror nor a glide perpendicular to the axes of the centred cell — dropped from the short symbol
m- a mirror perpendicular to the other pair of axes — 1 of them in the cell, one family
pmm
strictly p2mm · rectangular lattice
p- a primitive cell — one lattice point per cell
2- 2-fold rotation, the highest order present
m- a mirror perpendicular to the first axis — 1 of them in the cell, one family
m- a mirror perpendicular to the second axis — 1 of them in the cell, one family
pmg
strictly p2mg · rectangular lattice
p- a primitive cell — one lattice point per cell
2- 2-fold rotation, the highest order present
m- a mirror perpendicular to the first axis — 1 of them in the cell, one family
g- a glide perpendicular to the second axis, and no mirror there — 1 in the cell
pgg
strictly p2gg · rectangular lattice
p- a primitive cell — one lattice point per cell
2- 2-fold rotation, the highest order present
g- a glide perpendicular to the first axis, and no mirror there — 1 in the cell
g- a glide perpendicular to the second axis, and no mirror there — 1 in the cell
cmm
strictly c2mm · rhombic lattice
c- a centred cell — the conventional description carries a lattice point at its centre
2- 2-fold rotation, the highest order present
m- a mirror perpendicular to the axes of the centred cell — 1 of them in the cell, one family
m- a mirror perpendicular to the other pair of axes — 1 of them in the cell, one family
p4
strictly p411 · square lattice
p- a primitive cell — one lattice point per cell
4- 4-fold rotation, the highest order present
1- neither a mirror nor a glide perpendicular to the cell axes — dropped from the short symbol
1- neither a mirror nor a glide perpendicular to the diagonals — dropped from the short symbol
p4m
strictly p4mm · square lattice
p- a primitive cell — one lattice point per cell
4- 4-fold rotation, the highest order present
m- a mirror perpendicular to the cell axes — 2 of them in the cell, one family
m- a mirror perpendicular to the diagonals — 2 of them in the cell, one family
p4g
strictly p4gm · square lattice
p- a primitive cell — one lattice point per cell
4- 4-fold rotation, the highest order present
g- a glide perpendicular to the cell axes, and no mirror there — 2 in the cell
m- a mirror perpendicular to the diagonals — 1 of them in the cell, one family
p3
strictly p311 · hexagonal lattice
p- a primitive cell — one lattice point per cell
3- 3-fold rotation, the highest order present
1- neither a mirror nor a glide perpendicular to the lattice axes — dropped from the short symbol
1- neither a mirror nor a glide perpendicular to the directions bisecting them — dropped from the short symbol
p3m1
hexagonal lattice
p- a primitive cell — one lattice point per cell
3- 3-fold rotation, the highest order present
m- a mirror perpendicular to the lattice axes — 3 of them in the cell, one family
1- neither a mirror nor a glide perpendicular to the directions bisecting them — dropped from the short symbol
p31m
hexagonal lattice
p- a primitive cell — one lattice point per cell
3- 3-fold rotation, the highest order present
1- neither a mirror nor a glide perpendicular to the lattice axes — dropped from the short symbol
m- a mirror perpendicular to the directions bisecting them — 3 of them in the cell, one family
p6
strictly p611 · hexagonal lattice
p- a primitive cell — one lattice point per cell
6- 6-fold rotation, the highest order present
1- neither a mirror nor a glide perpendicular to the lattice axes — dropped from the short symbol
1- neither a mirror nor a glide perpendicular to the directions bisecting them — dropped from the short symbol
p6m
strictly p6mm · hexagonal lattice
p- a primitive cell — one lattice point per cell
6- 6-fold rotation, the highest order present
m- a mirror perpendicular to the lattice axes — 3 of them in the cell, one family
m- a mirror perpendicular to the directions bisecting them — 3 of them in the cell, one family
The seven friezes
A strip has one translation direction and two others that matter — across the strip and
along it — and neither can be carried onto the other by anything in the group. So a frieze
symbol drops nothing except when there is nothing to say: p1m1 keeps its
trailing 1, where p4mm is allowed to become p4m.
p1
p- a strip repeating in one direction
1- no rotation beyond the identity
1- nothing across the strip
1- nothing along it
p11g
p- a strip repeating in one direction
1- no rotation beyond the identity
1- nothing across the strip
g- a glide along it, and no mirror
p1m1
p- a strip repeating in one direction
1- no rotation beyond the identity
m- a mirror across the strip
1- nothing along it
p2
p- a strip repeating in one direction
2- half turns, centred on the strip
1- nothing across the strip
1- nothing along it
p2mg
p- a strip repeating in one direction
2- half turns, centred on the strip
m- a mirror across the strip
g- a glide along it, and no mirror
p11m
p- a strip repeating in one direction
1- no rotation beyond the identity
1- nothing across the strip
m- a mirror along it
p2mm
p- a strip repeating in one direction
2- half turns, centred on the strip
m- a mirror across the strip
m- a mirror along it
What a symbol does not fix
The origin. The symbol says which operations exist and in which directions, not where the origin sits, which is why the International Tables list more than one origin choice for many groups.
The setting. Which axis is called first is a choice, and the short symbols
are deliberately insensitive to it — p1m1 and p11m both shorten to
pm because the position carrying the choice is exactly the position that gets
dropped. Where the two families are genuinely inequivalent, nothing may be dropped, and the
symbol distinguishes two real arrangements: that is the hexagonal pair, and it is the whole
reason the notation is positional rather than a list of names.
The pattern. A symbol names a group, and a group is a set of motions. Two patterns with nothing visually in common can carry the same symbol, and a drawing can have more symmetry than its recipe asked for — which is what the round trip behind every figure here is for.
The group index · The essay on the notation · The pair the positions exist for