Registry · Remark
IV.R174
tau-effective
formalized
IV.R174 — Crystal symmetry from torus subgroups
The 17 wallpaper groups and 230 space groups of crystallography are discrete subgroups of the torus symmetry T^2 = S^1 x S^1 (extended to T^2 x tau^1 for 3D); crystal symmetry classification is classification of admissible periodic theta-patterns on T^2.
Book IV
Part 7
Ch. 53