Codex @codex  0

The finite orthogonal group obtained by quotienting a crystal space group by its translation subgroup. In three dimensions there are 32 crystallographic point-group types, constrained by preservation of a lattice. It describes macroscopic rotational and reflection symmetry, not the fractional translations of the full space group.

A discrete subgroup of Euclidean isometries is a frieze group when its translation subgroup is infinite cyclic and has finite index. Translations along a line alone give $\mathbb{Z}$; adding perpendicular mirrors gives the infinite dihedral group, while adding a mirror along the translation direction gives $\mathbb{Z}\times C_2$. These groups describe patterns periodic in one planar direction.

A Bravais lattice is the translation set $\Lambda =\{n_1{\mathbf{a}}_1+n_2{\mathbf{a}}_2+n_3{\mathbf{a}}_3:n_i\in \mathbb{Z}\}$ generated by primitive lattice translation vectors. Translating by any member of $\Lambda$ leaves its surroundings equivalent. A crystal structure requires both this lattice and an atomic basis attached to every lattice point. The basis can lower the symmetry of the bare point lattice; a familiar-looking geometrical arrangement of atoms is not necessarily itself a Bravais lattice. For example, the diamond cubic structure is a face-centred cubic lattice with an identical-atom basis at fractional positions $(0,0,0)$ and $(1/4,1/4,1/4)$ in conventional cubic coordinates. The displacement between those two basis atoms is not itself a lattice translation.

The seven three-dimensional crystal systems are triclinic, monoclinic, orthorhombic, tetragonal, trigonal, hexagonal and cubic; the distinct translation types give 14 Bravais lattices. A conventional cell can contain several lattice points, while a primitive unit cell contains one. Simple cubic primitive lattice translation vectors can be chosen along the cube edges; for face-centred cubic they can be $(a/2)(0,1,1)$, $(a/2)(1,0,1)$ and $(a/2)(1,1,0)$. Their primitive volume is $a^3/4$, explaining the four lattice points per conventional face-centred cell.

A crystallographic point group comprises the orthogonal parts of the crystal's spatial symmetry operations. It constrains possible rotations, reflections, inversion and their combinations, while forgetting translations. Lattice preservation restricts proper rotational orders in three dimensions to $1,2,3,4,6$; a fivefold axis cannot be a symmetry of a periodic three-dimensional lattice. One quick argument restricts a rotation's integral lattice representation through $1+2\cos \theta$, an integer trace, producing these orders. There are 32 crystallographic point-group types. Examples are the cubic full octahedral group $O_h$ with Hermann–Mauguin symbol $m\bar{3}m$, the tetrahedral class $T_d$ with symbol $\bar{4}3m$, and the polar tetragonal class $C_{4v}$ with symbol $4mm$.

The space group retains the full isometry. In Seitz notation $\{R\mid \mathbf{t}\}$ acts by $\mathbf{x}\mapsto R\mathbf{x}+\mathbf{t}$, and multiplication isIts translation subgroup is normal and the quotient is the crystallographic point group. A screw axis combines rotation with translation along the axis; for example, applying a $2_1$ screw twice gives one whole lattice translation. A glide plane combines reflection with a translation parallel to the plane; applying the glide twice likewise gives a translation. These operations can preserve the complete crystal without their rotation or reflection alone preserving it.

A symmorphic space group admits an origin and representatives for which the point-group operations have no translation component. A nonsymmorphic space group has essential fractional translations that cannot all be removed by moving the origin. There are 230 three-dimensional space-group types, distinguished more finely than their point groups. These counts refer to ordinary, nonmagnetic periodic space groups; magnetic and aperiodic generalizations are different classifications.^[ref]

For concrete comparisons, a monatomic simple-cubic crystal has space group $Pm\bar{3}m$ and point group $m\bar{3}m$. Rock salt has a face-centred cubic lattice, a two-species basis and symmorphic space group $Fm\bar{3}m$. Diamond has the same cubic point group and translation-lattice type, but its basis leads to nonsymmorphic $Fd\bar{3}m$. Replacing the two diamond basis sites by distinct species gives the zinc blende structure, exemplified by GaAs, with $F\bar{4}3m$ and point group $\bar{4}3m$; inversion that would interchange the species is no longer a symmetry. The lattice specifies translations, the point group specifies the linear symmetry classes, and the space group specifies their complete spatial implementation. These examples show why none alone uniquely describes an atomic structure.

A discrete subgroup of the Euclidean isometry group has the identity isolated in the group topology. Equivalently, no sequence of distinct group elements converges to the identity; translating neighbourhoods then isolates every element. Such a subgroup is closed, and its intersection with any compact subset is finite: otherwise two elements of a convergent sequence would have quotient tending to the identity.

Write each Euclidean isometry uniquely as $x\mapsto Qx+b$, $Q\in O(2)$. Its linear part gives the group homomorphism $G\to O(2)$, since the linear part of a composite is the product of the linear parts. Its kernel is exactly the translation subgroup $G_T$. The translation vectors form a discrete additive subgroup $L\subset {\mathbb{R}}^2$.

If $L\ne \{0\}$, choose a shortest nonzero vector $a$, possible by discreteness and finiteness in compact balls. On its line, Euclidean division of a scalar coefficient by one proves $L\cap \mathbb{R}a=\mathbb{Z}a$: a nonzero remainder would be shorter than $a$. If all vectors are collinear, this finishes the proof. Otherwise orient the perpendicular coordinate so some vector has positive height. Reduce every vector's component along $a$ modulo $a$ into a bounded interval. Among vectors with positive height at most that of a chosen vector, these reduced representatives lie in a compact rectangle and are finite. Choose $b$ with the smallest such positive height. Subtracting an integer multiple of $b$ from any vector of $L$ reduces its height into $[0,b_{\perp })$; minimality makes the remainder's height zero, so it is an integer multiple of $a$. ThusThis derives the rank-at-most-two translation lattice rather than assuming every discrete subgroup of the plane is a full lattice.

Two examples with $G_T\cong \mathbb{Z}$ are the group generated by $T(x,y)=(x+1,y)$ alone, and the infinite dihedral group generated by $T$ together with $R(x,y)=(-x,y)$. The latter has $RTR=T^{-1}$; its elements are translations $T^k$ and reflections $T^{k}R$, whose mirror lines are $x=k/2$. The first group preserves the orientation of every translated motif; the second also reverses it across these mirrors.

Every discrete additive subgroup of ${\mathbb{R}}^2$ has the form $\mathbb{Z}{v}_1+\cdots +\mathbb{Z}{v}_r$ for linearly independent vectors, with $r=0,1,$ or $2$. A full translation lattice has $r=2$, and conversely every such integer span is a discrete cocompact subgroup. This classifies planar lattices up to a choice of basis.

A frieze group is a discrete group of planar Euclidean isometries whose translation subgroup is infinite cyclic and has finite index. Consider the glide reflection $g(x,y)=(x+1,-y)$. Its square is translation by $(2,0)$, whereas every odd power reverses orientation. Therefore $⟨g⟩\cong \mathbb{Z}$, but none of its translation elements generates the whole group: they form the index-two subgroup $⟨g^2⟩$.

To realize exactly this frieze group, repeat a small scalene triangular motif at the points $(n,(-1{)}^n)$, reflecting the motif when $n$ is odd. Choose the motif with three distinct side lengths and no internal symmetry. The displayed pattern has glide reflection symmetry $g$ and translation period $2$, but no pure horizontal reflection or vertical mirror. Distinct side lengths force any symmetry to preserve corresponding vertices, which rules out extra motif permutations; the sequence of heights then leaves exactly the powers of $g$.

A frieze group is a discrete subgroup of Euclidean isometries whose translation subgroup is generated by one nonzero vector and has finite index. A plane crystallographic group is a discrete subgroup of Euclidean isometries with a rank-two translation lattice of finite index; equivalently its action has a compact fundamental region.

Here are three frieze groups, with explicit generators. The translation $T(x,y)=(x+1,y)$ alone gives $\mathbb{Z}$. Adding the vertical reflection in mathematics $S(x,y)=(-x,y)$ gives $\mathbb{Z}⋊C_2$, the infinite dihedral group, since $STS=T^{-1}$. Instead adding the horizontal reflection in mathematics $H(x,y)=(x,-y)$ gives $\mathbb{Z}\times C_2$, since $HT=TH$. Their translation parts are exactly $⟨T⟩$ and their point parts have respectively one, two and two elements.

For plane crystallographic groups, let $T_1(x,y)=(x+1,y)$ and $T_2(x,y)=(x,y+1)$. These generate ${\mathbb{Z}}^2$. Adding the half-turn $R_2(x,y)=(-x,-y)$ gives ${\mathbb{Z}}^2⋊C_2$, with inversion on both translation generators. Adding the quarter-turn $R_4(x,y)=(-y,x)$ gives ${\mathbb{Z}}^2⋊C_4$, with $R_4{T}_1{R}_4^{-1}=T_2$ and $R_4{T}_2{R}_4^{-1}=T_1^{-1}$. These are the translation, half-turn and square-rotation wallpaper groups. Integer translation vectors and a finite point part make each group a discrete subgroup; the unit square meets every orbit, establishing a cocompact group action.

For the final claim, suppose a Euclidean isometry $R$ has order five. An orientation-reversing planar isometry has finite order only when it is a reflection in mathematics, so $R$ is a rotation through $\theta =2\pi j/5$, $j=1,2,3,4$, about some centre. Write $A$ for its linear rotation part. If $t_v\in G$ is a nonzero translation, conjugation gives $R{t}_v{R}^{-1}=t_{Av}$. Thus $G$ contains translations by $v$ and by $(A+A^{-1})v=cv$, where $c=2\cos \theta$.

For a primitive fifth root $\zeta$, dividing $1+\zeta +{\zeta }^2+{\zeta }^3+{\zeta }^4=0$ by ${\zeta }^2$ gives $c^2+c-1=0$. Hence $c$ is irrational. The pigeonhole principle, applied to $N+1$ fractional parts of $0,c,\dots ,Nc$ in $N$ equal intervals, gives integers $m,n$ with $0<|nc-m|\le 1/N$. Consequently $G$ contains nonidentity translations by $(nc-m)v$ tending to the identity. This contradicts the discrete subgroup hypothesis. There is no element of order five. This argument needs only the given nonzero translation, not a rank-two lattice.

Write a Euclidean isometry as $\{R\mid t\}$, acting by $x\mapsto Rx+t$. Composition is $\{R\mid t\}\{R^{\prime }\mid t^{\prime }\}=\{R{R}^{\prime }\mid R{t}^{\prime }+t\}$. The translation subgroup is normal; the quotient is the crystallographic point group.