[Verse 1] In finite groups where symmetries reside A subgroup H lives deep inside But here's the twist that nature shows Its size must fit where order flows Each element finds its proper place In cosets spread throughout the space [Chorus] Divides or dies, that's the rule Lagrange's law, the perfect tool Cosets tile like puzzle pieces Equal chunks where chaos ceases Size of H divides size G Symmetry's constraint runs free [Verse 2] Take any g from group domain Add H's elements to its train You've built a coset, left translation Same size as H across the nation These cosets never overlap They partition with no gap [Chorus] Divides or dies, that's the rule Lagrange's law, the perfect tool Cosets tile like puzzle pieces Equal chunks where chaos ceases Size of H divides size G Symmetry's constraint runs free [Bridge] Prime order groups stand crystal clear Only trivials can appear Element orders bow the same To this divisibility game From Sylow theorems yet to come To Galois fields when we are done [Verse 3] One paragraph proves all we need Equivalence relations feed The tiling pattern, clean and tight Each coset holds the exact same might The index tells us how many ways H repeats through G's maze [Chorus] Divides or dies, that's the rule Lagrange's law, the perfect tool Cosets tile like puzzle pieces Equal chunks where chaos ceases Size of H divides size G Symmetry's constraint runs free [Outro] When structure bends to algebra's will Perfect tessellations fill Every corner, every space Divisibility finds its place
← Euler Characteristic and the Bridges of Königsberg | Noether's Theorem (Physics-Mathematics Bridge) →