# References — Chapter ᚌ(G): The hall of mirrors *Teclam Áirme, the Mathematical Compendium — a copy for AI readers of https://www.teclamairme.com/#ref-ch-14, as of 2026-09-30. Links are relative to https://www.teclamairme.com/fortheaireaders/.* [Guide for AI readers](index.md) · [The chapter](ch14.md) *Each entry: one plain sentence saying exactly what it is cited for, its status, then every source with a note saying what that source actually carries. "Own computation" / "Own reading" entries are the author's own work, not outside sources.* ### 14.1 {#r-14.1} A Lie algebra is a vector space with a bilinear alternating bracket satisfying the Jacobi identity; matrix commutators are standard examples. Equivalently, [X, [Y, Z]] = [[X, Y], Z] + [Y, [X, Z]]. *Status: confirmed* - [Encyclopedia of Mathematics, Lie algebra](https://encyclopediaofmath.org/wiki/Lie_algebra) — Gives the defining axioms, the commutator example, and the relation to Lie groups; the classification covers “all simple (that is, non-commutative and not containing ideals other than 0 and the algebra itself) finite-dimensional Lie algebras.” - [Jacobi identity, Wikipedia](https://en.wikipedia.org/wiki/Jacobi_identity) — read as raw wikitext: the equivalent form “[X, [Y, Z]] = [[X, Y], Z] + [Y, [X, Z]].” ### 14.2 {#r-14.2} The five exceptional simple Lie algebras G₂, F₄, E₆, E₇, E₈ have dimensions 14, 52, 78, 133, 248 and ranks 2, 4, 6, 7, 8; their standard small representations and octonionic/Jordan descriptions are as stated. *Status: confirmed* - [Encyclopedia of Mathematics, Exceptional Lie algebra](https://encyclopediaofmath.org/wiki/Lie_algebra%2C_exceptional) — Lists the five types, dimensions, ranks, smallest representations, and the G₂/F₄ structural descriptions. ### 14.3 {#r-14.3} su(2) is three-dimensional with a real basis proportional to i times the Pauli matrices, and SU(2) double-covers SO(3). SU(2) is routinely used in quantum mechanics to represent spin. *Status: confirmed* - [MIT OpenCourseWare, Lie algebras lecture notes](https://ocw.mit.edu/courses/8-324-relativistic-quantum-field-theory-ii-fall-2010/dbe4c38c5bd66da22315508698db87ba_MIT8_324F10_lie_algebras3.pdf) — Defines su(2) by traceless anti-Hermitian 2 × 2 matrices and gives the Pauli-matrix basis. - [Encyclopedia of Mathematics, Cayley–Klein parameters](https://encyclopediaofmath.org/wiki/Cayley-Klein_parameters) — Describes the two-to-one homomorphism from SU(2) to SO(3). - [Special unitary group, Wikipedia](https://en.wikipedia.org/wiki/Special_unitary_group) — read as raw wikitext: “This representation is routinely used in quantum mechanics to represent the spin of fundamental particles such as electrons.” ### 14.4 {#r-14.4} Grassmann introduced the exterior algebra in 1844; Clifford’s algebra imposes the quadratic relation that makes orthogonal vectors anticommute. *Status: confirmed* - [MacTutor, Hermann Grassmann](https://mathshistory.st-andrews.ac.uk/Biographies/Grassmann/) — Dates the 1844 Ausdehnungslehre and describes Grassmann’s exterior-algebra work and its reception. - [Encyclopedia of Mathematics, Clifford algebra](https://encyclopediaofmath.org/wiki/Clifford_algebra) — gives the Clifford relations and the exterior-algebra basis construction, and supports 1876 — the algebra was “first investigated by W. Clifford in 1876.” Other accounts date it to the 1878 paper Applications of Grassmann’s Extensive Algebra; under the tilde convention the card shows the earlier year and this note carries both. ### 14.5 {#r-14.5} A Clifford algebra on an n-dimensional space has dimension 2^n; for n=3 the grade dimensions are 1,3,3,1 and the even subalgebra is quaternionic. The even subalgebra of Cl₃,₀(ℝ) is Hamilton’s quaternion algebra. *Status: confirmed* - [Encyclopedia of Mathematics, Clifford algebra](https://encyclopediaofmath.org/wiki/Clifford_algebra) — Gives the subset-indexed basis and dimension 2^n. - [John Baez, The Octonions](https://math.ucr.edu/home/baez/octonions/) — The contents page of John C. Baez’s The Octonions, which has a section on Clifford algebras; the page itself does not state the even-subalgebra result, which the Clifford algebra page carries. - [Clifford algebra, Wikipedia](https://en.wikipedia.org/wiki/Clifford_algebra) — read as raw wikitext: “Hamilton’s quaternions are constructed as the even subalgebra of the Clifford algebra Cl3,0(R),” “which shows that the even subalgebra Cl[0]3,0(R) is Hamilton’s real quaternion algebra.” ### 14.6 {#r-14.6} The n-th roots of unity are the vertices of a regular n-gon and sum to zero for n≥2; Gauss used cyclotomic/root sums in the 17-gon construction. *Status: confirmed* - [Encyclopedia of Mathematics, Root](https://encyclopediaofmath.org/wiki/Root) — Describes roots of unity as regular-polygon vertices. - [Root of unity, Wikipedia](https://en.wikipedia.org/wiki/Root_of_unity#Summation) — (§ Summation): “Let SR(n) be the sum of all the nth roots of unity, primitive or not. Then SR(n) = 1 for n = 1 and 0 for n > 1.” This is the source for the vanishing sum itself. It also carries the link to characters: “The n th roots of unity form an irreducible representation of any cyclic group of order n. The orthogonality relationship also follows from group-theoretic principles as described in Character group.” - [Stephan Ramon Garcia, Trevor Hyde and Bob Lutz, Gauss’s hidden menagerie: from cyclotomy to supercharacters, arXiv:1501.07507 (Notices AMS 62 (2015) 878–888)](https://arxiv.org/abs/1501.07507) — the same article, free on arXiv: Gauss’s study of the sums of complex exponentials known as Gaussian periods, behind the constructibility of the 17-gon. It does not state the vanishing sum. - [Wikipedia, Gaussian period](https://en.wikipedia.org/wiki/Gaussian_period) — Gaussian periods were introduced by Gauss as the basis of his compass-and-straightedge theory; “the construction of the heptadecagon … depended on the algebra of such periods.” ### 14.7 {#r-14.7} A nontrivial irreducible character of a finite group sums to zero by orthogonality with the trivial character; Frobenius introduced group characters in 1896. *Status: confirmed* - [MIT, Introduction to Representation Theory](https://math.mit.edu/~etingof/representationtheorybook.pdf) — Gives irreducible-character orthogonality; pairing with the trivial character yields the stated sum. - [MacTutor, Ferdinand Georg Frobenius](https://mathshistory.st-andrews.ac.uk/Biographies/Frobenius/) — Dates Frobenius’s first paper on group characters to 1896. ### 14.8 {#r-14.8} A₅ has order 60, is the smallest nonabelian simple group, and is the icosahedral rotation group; S₅ has order 120 and is not solvable. The icosahedral rotation group has order 60 and is isomorphic to A₅; since S₅ is not solvable, the general quintic has no solution in radicals. *Status: confirmed* - [Encyclopedia of Mathematics, Symmetric group](https://encyclopediaofmath.org/wiki/Symmetric_group) — States simplicity of Aₙ for n≥5 and nonsolvability of Sₙ for n≥5. - [Cambridge, An aspect of icosahedral symmetry](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DBBE2B6B1D886B677B5E498741916976/S0008439500017525a.pdf/an-aspect-of-icosahedral-symmetry.pdf) — “As an abstract group, the icosahedral group G is the smallest non-abelian simple group, isomorphic to the alternating group A5 on five letters.” The paper does not call it the rotation group or give its order; the Icosahedral symmetry page carries both. - [Icosahedral symmetry, Wikipedia](https://en.wikipedia.org/wiki/Icosahedral_symmetry) — read as raw wikitext: “The icosahedral rotation group I is of order 60. The group I is isomorphic to A5, the alternating group of even permutations of five objects.” - [Galois theory, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Galois_theory) — “Since a symmetric group is unsolvable for n≥5, there are, generally speaking, no solutions in radicals of quintic equations and equations of a higher degree (Abel’s theorem).” ### 14.9 {#r-14.9} The classification of finite simple groups leaves exactly 26 sporadic groups outside the cyclic, alternating, and Lie-type families; the 2004 quasithin work closed the last recognized gap. *Status: confirmed* - [Wikipedia, Classification of finite simple groups](https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups) — every finite simple group is cyclic, alternating, of Lie type, or one of 26 sporadic groups; “Daniel Gorenstein announced in 1983 that the finite simple groups had all been classified, but this was premature as he had been misinformed about the proof of the classification of quasithin groups. The completed proof of the classification was announced by Aschbacher (2004) after Aschbacher and Smith published a 1221-page proof for the missing quasithin case.” ### 14.10 {#r-14.10} The Monster is the largest sporadic group, has the stated exact order, and its smallest nontrivial complex character degree is 196883. *Status: confirmed* - [ATLAS of Finite Group Representations, Monster](https://brauer.maths.qmul.ac.uk/Atlas/v3/spor/M/) — Gives the Monster’s exact order, its maximal subgroups and conjugacy classes; its Representations section is marked “Porting incomplete,” so the 196883 degree rests on the Wikipedia line. - [Wikipedia, Monster group](https://en.wikipedia.org/wiki/Monster_group) — the Monster is the largest sporadic simple group, of order 808017424794512875886459904961710757005754368000000000, and its smallest faithful complex representation has dimension 196883. ### 14.11 {#r-14.11} McKay’s 196883+1=196884 observation led to the Conway–Norton moonshine conjectures, which Borcherds proved in 1992; he received a Fields Medal in 1998. 196884 is the coefficient of q in J(τ) = 1/q + 744 + 196884q + ⋯. *Status: confirmed* - [Wikipedia, Monstrous moonshine](https://en.wikipedia.org/wiki/Monstrous_moonshine) — McKay’s observation that the coefficient 196884 is one more than 196883, the Conway–Norton moonshine conjecture, and Borcherds’s proof. (First cited here: M. Broué, In memoriam: John H. Conway, Bull. AMS 58 (2021), doi:10.1090/bull/1702). - [International Mathematical Union, 1998 Fields Medals](https://www.mathunion.org/fileadmin/IMU/Prizes/Fields/1998/index.html) — Official IMU record of Borcherds’s 1998 Fields Medal. ### 14.12 {#r-14.12} The discriminant of ax²+bx+c is b²−4ac and vanishes exactly when a polynomial has a repeated root. *Status: confirmed* - [Encyclopedia of Mathematics, Discriminant](https://encyclopediaofmath.org/wiki/Discriminant) — Defines the discriminant by root differences, gives the quadratic case b²−4ac, and states the repeated-root criterion. ### 14.13 {#r-14.13} An extension degree is vector-space dimension; [ℚ(√2):ℚ]=2 and degrees multiply in towers. ℚ(√2) has basis {1, √2} over ℚ. *Status: confirmed* - [Encyclopedia of Mathematics, Extension of a field](https://encyclopediaofmath.org/wiki/Extension_of_a_field) — Defines extension degree, relates it to minimal-polynomial degree, and gives the tower law. - [Field extension, Wikipedia](https://en.wikipedia.org/wiki/Field_extension) — read as raw wikitext: “The degree is 2 because {1, √2} can serve as a basis.” ### 14.14 {#r-14.14} Gal(ℚ(ζ₅)/ℚ) is isomorphic to (ℤ/5ℤ)^× and has order φ(5)=4, acting by ζ₅↦ζ₅^k. Each σ in the Galois group sends ζₙ to ζₙ^a for an integer a prime to n. *Status: confirmed* - [Encyclopedia of Mathematics, Cyclotomic field](https://encyclopediaofmath.org/wiki/Cyclotomic_field) — Identifies the cyclotomic Galois group with the unit group modulo n and gives degree φ(n). - [Cyclotomic field, Wikipedia](https://en.wikipedia.org/wiki/Cyclotomic_field) — read as raw wikitext: “The isomorphism sends each σ ∈ Gal(Q(ζn)/Q) to a mod n, where a is an integer such that σ(ζn) = ζn^a.” ### 14.15 {#r-14.15} Ruffini argued for the impossibility in 1799 and only Cauchy accorded it full credence, Abel proved the general quintic impossibility in 1824, and Galois theory explains it through nonsolvability of S₅. Sₙ is not solvable for n ≥ 5, and Aₙ is then simple and non-abelian. *Status: confirmed* - [Encyclopedia of Mathematics, Galois theory](https://encyclopediaofmath.org/wiki/Galois_theory) — Connects solvability by radicals to solvable groups and the general quintic to nonsolvable symmetric groups. - [MacTutor Dictionary of Scientific Biography, Paolo Ruffini](https://mathshistory.st-andrews.ac.uk/DSB/Ruffini.pdf) — Documents Ruffini’s 1799 attempt and Abel’s independent 1824 proof. - [Symmetric group, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Symmetric_group) — “For n ≤ 4 the group S_n is solvable, but for n ≥ 5 it is not solvable and A_n is a simple non-Abelian group.” ### 14.16 {#r-14.16} E₈ has 240 roots, and the associated E₈ lattice gives the optimal sphere packing in eight dimensions, proved by Viazovska. *Status: confirmed* - [Annals of Mathematics, The sphere packing problem in dimension 8](https://annals.math.princeton.edu/2017/185-3/p07) — Viazovska’s primary paper proves optimality of the E₈ lattice packing. - [AMS Feature Column, Eight-dimensional spheres and E₈](https://mathvoices.ams.org/featurecolumn/2022/09/01/eight-dimensional-spheres-and-the-exceptional-e_8/) — Relates the 240 roots/shortest vectors to the E₈ lattice packing. ### 14.17 {#r-14.17} E₆ has a 27-dimensional fundamental representation and has been used in grand-unified models since 1976. *Status: confirmed* - [Encyclopedia of Mathematics, Exceptional Lie algebra](https://encyclopediaofmath.org/wiki/Lie_algebra%2C_exceptional) — Lists 27 as the simplest nontrivial representation dimension for E₆. - [Wikipedia, Feza Gürsey](https://en.wikipedia.org/wiki/Feza_G%C3%BCrsey) — credits Gürsey with the E6 grand unified theory and cites the 1976 paper: “A universal gauge theory model based on E6.” ### 14.18 {#r-14.18} The Jacobi identity appears in Jacobi’s Nova methodus, published by Clebsch in 1862 — Jacobi died on 18 February 1851, so the year is the posthumous edition’s and not his — and Weyl introduced the term Lie algebra in the 1930s. Corrected 11 September 2026: this entry previously read “Jacobi’s 1862 Poisson-bracket paper,” which the cited source does not say. The source cites the 1862 paper; it does not date Jacobi’s authorship to it. *Status: confirmed* - [Encyclopedia of Mathematics, Poisson brackets](https://encyclopediaofmath.org/wiki/Poisson_brackets) — States the Jacobi identity and cites Jacobi’s 1862 paper. - [Encyclopedia of Mathematics, Lie algebra](https://encyclopediaofmath.org/wiki/Lie_algebra) — Dates Weyl’s introduction of the term Lie algebra to 1934. - [Carl Jacobi, MacTutor](https://mathshistory.st-andrews.ac.uk/Biographies/Jacobi/) — gives Jacobi’s death as 18 February 1851, in Berlin. - [David Eugene Smith, History of Modern Mathematics (1896), Project Gutenberg](https://www.gutenberg.org/files/8746/8746-pdf.pdf) — read from the PDF: “Jacobi (1827) also gave an analysis of Pfaff’s method, besides developing an original one (1836) which Clebsch published (1862).” ### 14.19 {#r-14.19} Gauss was born 30 April 1777, and his diary’s first entry is dated 30 March 1796; he was therefore eighteen, not nineteen, when he recorded the regular-17-gon discovery. *Status: confirmed* - [Gauss’s diary, Wikipedia](https://en.wikipedia.org/wiki/Gauss%27s_diary) — (§ Sample entries): “Entry 1, dated 1796, March 30, states Principia quibus innititur sectio circuli, ac divisibilitas eiusdem geometrica in septemdecim partes etc.” - [Göttingen State and University Library, catalogue record for Gauss’s Mathematisches Tagebuch, 30.3.1796 – 9.7.1814](https://gdz.sub.uni-goettingen.de/id/DE-611-HS-3382323) — the digitisation record for the manuscript (Cod. Ms. Gauß Math. 48 Cim.), dated 30.3.1796 – 9.7.1814; re-read 24 September 2026, the scanned pages are now viewable in its viewer (they were not in September’s first reading). - [MacTutor/Royal Astronomical Society obituary of Gauss](https://mathshistory.st-andrews.ac.uk/Obituaries/Gauss_RAS/) — Gives Gauss’s birth date as 30 April 1777. ### 14.20 {#r-14.20} Over an algebraically closed field of characteristic 0 the finite-dimensional simple Lie algebras correspond to irreducible reduced root systems: the four classical series of types A–D and the five exceptional types E₆, E₇, E₈, F₄, G₂. *Status: confirmed* - [Encyclopedia of Mathematics, Lie algebra, semi-simple](https://encyclopediaofmath.org/wiki/Lie_algebra,_semi-simple) — frames the whole classification with “Henceforth finite-dimensional semi-simple Lie algebras over a field k of characteristic 0 are considered,” states that over an algebraically closed field the classification of simple non-Abelian Lie algebras “essentially coincides with the classification of … irreducible reduced root systems,” calls the algebras of types A–D classical, and names E₆, E₇, E₈, F₄, G₂ as the exceptional ones. Editorial note: Added in the V14 prose pass. The chapter’s sentence about the classification carried no footnote, and r-14.2 — the Encyclopedia of Mathematics article on exceptional Lie algebras — states only the five exceptional types, not the four classical series; that article opens “A simple Lie algebra (see Lie algebra, semi-simple) that is not classical” and so defers the classification itself to this page. The words finite-dimensional were added to the chapter’s sentence in the same pass: that is the hypothesis this source states, and the classification is false without it. ### 14.21 {#r-14.21} Quadratic, cubic and quartic equations are solvable by radicals — the cubic by del Ferro, Tartaglia and Cardano, the quartic by Ferrari in 1540 — and Ruffini’s 1799 proof that the general equation of degree above four is not solvable by radicals was complete except for one gap. *Status: confirmed* - [MacTutor, Paolo Ruffini](https://mathshistory.st-andrews.ac.uk/Biographies/Ruffini/) — carries “Quadratic equations (of degree 2) had been known to be soluble by radicals from the time of the Babylonians,” “The cubic equation had been solved by radicals by del Ferro, Tartaglia and Cardan” and “Ferrari had solved the quartic by radicals in 1540,” and, of Ruffini’s 1799 book on the impossibility above degree four, “It is remarkable work and, except for one gap, proves the theorem as Ruffini claimed.” Editorial note: Added in the V14 prose pass. The chapter’s sentence listing formulas by radicals for quadratics, cubics and quartics carried no footnote of any kind. The word incomplete in “Ruffini’s 1799 argument was incomplete” is asserted by r-14.15’s claim line, but r-14.15’s readable source — the MacTutor Dictionary of Scientific Biography article on Ruffini — says only “Only Cauchy accorded them full credence” and never that the argument had a gap; r-14.15’s other source, the Encyclopedia of Mathematics article on Galois theory, could not be re-read during this pass — encyclopediaofmath.org answered HTTP 502 to every request from this client on 10 September 2026, intermittently for other articles too, so this is a reachability problem and not a dead link. This page carries both halves in so many words. ### 14.22 {#r-14.22} The chapter epigraph is Weyl’s, from Symmetry, Princeton University Press, 1952. *Status: confirmed* - [Hermann Weyl, Wikiquote](https://en.wikiquote.org/wiki/Hermann_Weyl) — read as raw HTML: it quotes Symmetry and cites it as “Symmetry, Princeton Univ. Press, 1952,” which is the book and the year the footer gives. The page number the footer gives, p. 5, is the book’s own and is not in this source. Editorial note: Added 17 September 2026 to source the chapter epigraph, which carried no marker. The book and the year are sourced; the page reference is the author’s own reading of the printed book and is offered as such. ### 14.23 {#r-14.23} Cites the order of the Tits group and the convention that files it among the Lie-type families rather than counting it as a twenty-seventh sporadic simple group. The Tits group, named for Jacques Tits, has order 17,971,200 and is the index-2 derived subgroup of the Ree group ²F₄(2); it belongs to the family ²F₄(2²ⁿ⁺¹)′ but is not strictly of Lie type. *Status: confirmed* - [Tits group, Wikipedia](https://en.wikipedia.org/wiki/Tits_group) — gives the group’s order and its status as an index-2 subgroup of the Ree group 2F4(2), classified with the Lie-type groups. - [Classification of finite simple groups, Wikipedia](https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups) — carries why it is a borderline case: “the Tits group is sometimes regarded as a sporadic group because it is not strictly a group of Lie type” ### 14.25 {#r-14.25} Cites the definition and q-expansion of the modular j-invariant, including its coefficient 196884. The expansion continues 21493760q²; 196884 is one more than 196883, the smallest representation of the Monster, McKay’s observation behind monstrous moonshine; j((1+√−163)/2) = −640320³, so e^(π√163) lies within about 10⁻¹² of 640320³ + 744. *Status: confirmed* - [j-invariant, Wikipedia](https://en.wikipedia.org/wiki/J-invariant) — gives the q-expansion 1/q + 744 + 196884q + ... and the function’s role classifying elliptic curves. - [Monstrous moonshine, Wikipedia](https://en.wikipedia.org/wiki/Monstrous_moonshine) — carries McKay’s observation: “Specifically, McKay noticed that the coefficient 196884 was precisely one more than 196883, the degree of the smallest faithful complex representation of the monster group.” - [Heegner number, Wikipedia](https://en.wikipedia.org/wiki/Heegner_number) — carries how close e^(π√163) comes: “e^(π√163) = 262,537,412,640,768,743.999,999,999,999 25…” and “e^(π√163) ≈ 640,320³ + 744,” with “the linear term of the error is, −196,884/e^(π√163) ≈ −0.000,000,000,000 75” ### 14.26 {#r-14.26} Cites the Conway-Norton monstrous moonshine conjecture and Borcherds’s 1992 proof. McKay’s observation that 196884 is one more than 196883 prompted the conjectures, and Borcherds received the Fields Medal in 1998 in part for the proof. *Status: confirmed* - [Monstrous moonshine, Wikipedia](https://en.wikipedia.org/wiki/Monstrous_moonshine) — states McKay’s observation, the Conway-Norton conjectures of 1979, and Borcherds’s 1992 proof; the moonshine module is a vertex operator algebra “which has the monster group as its group of symmetries,” and “The conjectures made by Conway and Norton were proven by Richard Borcherds for the moonshine module in 1992 using the no-ghost theorem from string theory and the theory of vertex operator algebras and generalized Kac–Moody algebras.”; McKay found that the first few terms of the J-invariant “could be expressed in terms of linear combinations of the dimensions of the irreducible representations” of the monster group, and Conway and Norton “conjectured the existence of an infinite-dimensional graded representation of M, whose graded traces T_{g} are the expansions of precisely the functions on their list.” ### 14.27 {#r-14.27} A solvable group is one that can be built from abelian groups; a polynomial equation is solvable in radicals exactly when its Galois group is solvable, in characteristic 0; S₅ has the composition factors A₅ and C₂, and A₅ is not abelian, so S₅ is not solvable; the symmetries of ℚ(√2) over ℚ form a group of order 2 that swaps √2 and −√2. *Status: confirmed* - [Solvable group, Wikipedia](https://en.wikipedia.org/wiki/Solvable_group) — “a solvable group or soluble group is a group that can be constructed from abelian groups using extensions”; “a polynomial equation is solvable in radicals if and only if the corresponding Galois group is solvable (note this theorem holds only in characteristic 0)”; “The group S5 is not solvable — it has a composition series {E, A5, S5} …, giving factor groups isomorphic to A5 and C2; and A5 is not abelian”; and, in its example, “Aut(Q(√2)/Q) ≅ Z/2 with group action f(±√2) = ∓√2” (formulas as typeset on the page).