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

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.CrystalSymmetryFromTorusSubgroups