Applications of Lagrange

Abstract Algebra · Axiom Academy

REAL WORLD Crystallographic Restriction Theorem Discover why Lagrange's theorem proves that only certain rotational symmetries can exist in crystals—and what this means for the structure of matter. The Mystery of Crystal Symmetries Look closely at a crystal—salt, quartz, or a snowflake. You'll notice they have rotational symmetries : you can rotate them by certain angles and they look the same. But here's something remarkable: not all rotation angles work! Why this limitation? The answer lies in Lagrange's theorem from group theory —a beautiful connection between abstract algebra and the physical world! Try building a crystal lattice with different rotational symmetries. Click each symmetry to see if it can tile the plane periodically! Notice: 5-fold and 8-fold symmetries create gaps or overlaps—they can't tile the plane periodically! Lagrange's Theorem Explains Everything The restriction comes from combining two powerful ideas: Lagrange's theorem from group theory and the requirement that crystals have translational symmetry . For a crystal with n-fold rotational symmetry to have periodic translations: Since must be an integer, we can solve: Lagrange's theorem states that in a finite group, the order of any subgroup divides the order of the group. When applied to the symmetry group of a crystal lattice with translation vectors, this severely restricts which rotation orders are possible!

This is the written version of the interactive lesson above. See the full Abstract Algebra course.