search

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Creative Commons Attribution Share Alike 4.0 International
370 stars 22 forks source link

crystallographic groups #2

Open DanGrayson opened 5 years ago

DanGrayson commented 5 years ago

I wonder whether to write a chapter on crystallographic groups. Here are some references:

https://www.jstor.org/stable/2974820 https://www.amazon.com/X-ray-Crystallography-Gregory-S-Girolami/dp/1891389777 https://en.wikipedia.org/wiki/Space_group

UlrikBuchholtz commented 5 years ago

As a warm-up (and already a worthwhile result in itself), there's the classification of wallpaper groups.

Another intermediate result is the classification of the crystallographic point groups, or rather all point groups, which itself is a stepping-stone towards Klein's solution of the quintic via the symmetries of the icosahedron.