# References — Chapter ᚕ(J): The second landing *Teclam Áirme, the Mathematical Compendium — a copy for AI readers of https://www.teclamairme.com/#ref-ch-22, as of 2026-09-30. Links are relative to https://www.teclamairme.com/fortheaireaders/.* [Guide for AI readers](index.md) · [The chapter](ch22.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.* ### 22.1 {#r-22.1} Hamilton’s quaternion discovery occurred on 16 October 1843 while walking with his wife along Dublin’s Royal Canal; he cut i² = j² = k² = ijk = −1 into Brougham/Broom Bridge, and later described the event in his 5 August 1865 letter to his son Archibald, in which he records that the knife-cut inscription ‘has long since mouldered away’. A stone plaque on the bridge carries the formula in its place, and mathematicians walk each year from Dunsink Observatory to the bridge to mark the discovery. *Status: confirmed* - [Trinity College Dublin, Letters describing the Discovery of Quaternions](https://www.maths.tcd.ie/pub/HistMath/People/Hamilton/Letters/BroomeBridge.html) — the letter is dated 5 August 1865; Hamilton describes the breakfast ‘multiply triplets’ question, the 16 October walk with his wife, the formula, the bridge carving, and the later fading of the inscription. - [Trinity College Dublin, Hamilton’s Research on Quaternions](https://www.maths.tcd.ie/pub/HistMath/People/Hamilton/Quaternions.html) — confirms the Royal Canal walk, 16 October 1843, the formula, and the Broom Bridge inscription. - [Broom Bridge](https://en.wikipedia.org/wiki/Broom_Bridge) — gives the bridge’s three names (Broom, Broome and Brougham), quotes the plaque — ‘Here as he walked by on the 16th of October 1843 Sir William Rowan Hamilton in a flash of genius discovered the fundamental formula for quaternion multiplication i² = j² = k² = ijk = −1 & cut it on a stone of this bridge’ — notes that the plaque was moved higher under the railing after vandalism, and records the annual commemorative walk from Dunsink Observatory to the site. ### 22.2 {#r-22.2} The quaternion algebra is four-dimensional over the reals, generated by 1, i, j, k with i² = j² = k² = ijk = −1; it is associative and division is noncommutative, with every nonzero quaternion invertible. *Status: confirmed* - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — gives the four-dimensional basis, multiplication rules, noncommutativity, associativity, and the conjugate-over-norm inverse for every nonzero quaternion. ### 22.3 {#r-22.3} For q = a + bi + cj + dk, quaternion conjugation is q̄ = a − bi − cj − dk and q q̄ = q̄ q = a² + b² + c² + d² = ‖q‖²; the norm is multiplicative. *Status: confirmed* - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — defines conjugation, the Euclidean norm, multiplicativity, and the inverse formula. ### 22.4 {#r-22.4} A unit quaternion q = cos(θ/2) + u sin(θ/2) rotates a vector v through v ↦ qvq⁻¹; q = (1 + k)/√2 is the 90-degree rotation about the k-axis and sends i to j. *Status: confirmed* - [Quaternions and spatial rotation](https://en.wikipedia.org/wiki/Quaternions_and_spatial_rotation) — gives the axis-angle unit quaternion cos(θ/2)+u sin(θ/2), the conjugation map qvq⁻¹, and the use of unit quaternions for 3D rotations. - **Own computation** (the author's own work) — With q=(1+k)/√2 and q⁻¹=(1−k)/√2, q i q⁻¹ = ((1+k)i(1−k))/2 = j under ij=k, ji=−k, k i=j, i k=−j. ### 22.5 {#r-22.5} The eight elements ±1, ±i, ±j, ±k form the quaternion group Q₈ of order 8; it is non-abelian. Of the five groups of order eight only Q₈ and the dihedral symmetry group of the square are non-abelian, and Q₈ is the smallest Hamiltonian group — a non-abelian group every subgroup of which is normal — a class Richard Dedekind investigated in 1897 and named after Hamilton. *Status: confirmed* - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — identifies the positive and negative basis vectors as the eight-element quaternion group and displays ij=k while ji=−k. - [Quaternion group](https://en.wikipedia.org/wiki/Quaternion_group) — defines Q₈ as the non-abelian group of order eight with elements ±1, ±i, ±j, ±k. - [List of small groups](https://en.wikipedia.org/wiki/List_of_small_groups) — lists the five groups of order eight — Z₈, Z₄ × Z₂, Z₂³, the dihedral group D₄ and Q₈ — of which only D₄ and Q₈ are non-abelian. - [Dedekind group](https://en.wikipedia.org/wiki/Dedekind_group) — ‘A non-abelian Dedekind group is called a Hamiltonian group’; Dedekind investigated these groups in 1897 and named the non-abelian ones after William Rowan Hamilton, and Q₈ is given as the smallest example. ### 22.6 {#r-22.6} Unit quaternions are used for spatial orientation and rotations in applications including computer graphics, robotics, navigation, flight dynamics and spacecraft attitude control, and avoid gimbal lock associated with Euler-angle systems. Quaternions have had a revival since the late twentieth century, chiefly for describing spatial rotations. *Status: confirmed* - [Quaternions and spatial rotation](https://en.wikipedia.org/wiki/Quaternions_and_spatial_rotation) — lists the applications — computer graphics, computer vision, robotics, navigation, molecular dynamics, flight dynamics, orbital mechanics of satellites and crystallographic texture analysis — and gives the axis-angle form and the composition rule; read again on 23 September 2026 it also says “Quaternions also avoid a phenomenon called gimbal lock.” Read on 24 September 2026, it says of Euler angles that “any such parameterization is degenerate at some points on the hypersphere, leading to the problem of gimbal lock. We can avoid this by using four Euclidean coordinates”; “In video games and other applications, one is often interested in “smooth rotations””; and, of the composition rule, “This is Rodrigues’ rotation formula for the axis of a composite rotation defined in terms of the axes of the two rotations. He derived this formula in 1840.” - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — ‘quaternions have had a revival since the late 20th century, primarily due to their utility in describing spatial rotations’, lists the applications in graphics, robotics and attitude control, and states that ‘unlike Euler angles, they are not susceptible to gimbal lock’. This is the source for the gimbal-lock claim; it goes on “For this reason, quaternions are used in computer graphics,” and “it is common for the attitude control systems of spacecraft to be commanded in terms of quaternions.” ### 22.7 {#r-22.7} Euler’s four-square identity predates Hamilton — he wrote it out in a letter to Goldbach of 4 May 1748 — and Lagrange used it in 1770 to prove that every positive integer is a sum of four squares. The quaternion proof of that theorem runs through the Hurwitz quaternions, those whose four coordinates are all integers or all half-integers, whose norm satisfies a Euclidean property and so admits division with a small remainder. Hurwitz published this number theory in the Göttingen Nachrichten of 1896 and expounded it in his Vorlesungen of 1919. *Status: confirmed* - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — identifies Euler’s four-square identity as a precursor: “Important precursors to this work included Euler’s four-square identity (1748),” and states “the norm is multiplicative”; the reading of the identity as that multiplicativity is on the Euler’s four-square identity line. - [Four-square theorem](https://en.wikipedia.org/wiki/Lagrange%27s_four-square_theorem) — states Lagrange’s theorem that every nonnegative integer is a sum of four squares, dates the proof to 1770, and carries a ‘Proof using the Hurwitz integers’ section resting on the Euclidean property of the Hurwitz norm. - [Euler’s four-square identity](https://en.wikipedia.org/wiki/Euler%27s_four-square_identity) — ‘Euler wrote about this identity in a letter dated May 4, 1748 to Goldbach’, reads the identity as the multiplicativity of the quaternion absolute value, and records that Lagrange used it to prove the four-square theorem. - [Hurwitz quaternion](https://en.wikipedia.org/wiki/Hurwitz_quaternion) — defines a Hurwitz quaternion as one whose components are either all integers or all half-integers, credits Adolf Hurwitz with introducing them and cites his Vorlesungen über die Zahlentheorie der Quaternionen of 1919, and states that Euclidean division is possible on them. - [Adolf Hurwitz, Vorlesungen über die Zahlentheorie der Quaternionen (1919), Vorwort](https://archive.org/stream/vorlesungenber00hurwuoft/vorlesungenber00hurwuoft_djvu.txt) — Hurwitz opens the preface “Das vorliegende kleine Werk hat den Zweck, die Zahlentheorie der Quaternionen, wie ich sie in den Nachrichten von der Königl. Gesellschaft der Wissenschaften zu Göttingen aus dem Jahre 1896 veröffentlicht habe, einem weiteren Kreise zugänglich zu machen,” and signs it ‘Zürich, Mai 1919’. Editorial note: Two dates are in play for the Hurwitz integers. Wikipedia writes ‘introduced by Adolf Hurwitz (1919)’ and cites the Vorlesungen; Hurwitz’s own preface to that book says he had published the theory in the Göttingen Nachrichten of 1896. We give both, since 1896 is where it was published and 1919 is the book everyone reads. ### 22.8 {#r-22.8} Gauss had found the same algebra in an unpublished 1819 note later printed in 1900, while Rodrigues described a four-parameter rotation formula in 1840; Hamilton supplied the quaternion number-system formulation. The conjugation form q v q⁻¹ reached print first in Arthur Cayley’s paper in the Philosophical Magazine of February 1845; Hamilton had given the same formula in a lecture of November 1844 and communicated it to Charles Graves in October 1844, and in print he conceded Cayley’s priority ‘as respects the printing of the formula’. Cayley published the form; he is not credited with finding it. *Status: confirmed* - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — identifies Gauss’s 1819 unpublished discovery and 1900 publication, and Rodrigues’s 1840 rotation parametrization, while distinguishing Hamilton’s algebraic treatment. - [History of quaternions](https://en.wikipedia.org/wiki/History_of_quaternions) — summarizes Rodrigues’s 1840 rotation work and Hamilton’s independent 1843 discovery. It does not discuss the conjugation formula, and its 1845 Cayley reference is to octonions, not to rotations. - [History of Topics in Special Relativity · Lorentz transformation (Quaternions)](https://en.wikiversity.org/wiki/History_of_Topics_in_Special_Relativity/Lorentz_transformation_(Quaternions)) — prints Hamilton’s (cos a/2 + α sin a/2)β(cos a/2 − α sin a/2) from the abstract of his November 1844 lecture, published 1845/47, beside Cayley’s equivalent formula in the Philosophical Magazine of February 1845, notes that Hamilton had sent his to Charles Graves in October 1844, and says that in a footnote added before printing Hamilton showed his formula equivalent to Cayley’s; read again on 23 September 2026, it does not print the words “as respects the printing of the formula” quoted in the claim. - [W. R. Hamilton, On Quaternions, Proceedings of the Royal Irish Academy 3 (1847), 1–16, read 11 November 1844 (ed. D. R. Wilkins, Trinity College Dublin)](https://www.maths.tcd.ie/pub/HistMath/People/Hamilton/Quatern2/Quatern2.pdf) — read as extracted PDF text: the rotation formula is “as that which Mr. Cayley has deduced … and has published … in the Philosophical Magazine for February, 1845,” and Hamilton “gladly recognizes his priority, as respects the printing of the formula just now referred to.” ### 22.9 {#r-22.9} The Pauli matrices were introduced in 1927 in connection with electron spin, and the matrices −iσ₁, −iσ₂, −iσ₃ satisfy the quaternion multiplication relations. Pauli formalized spin in 1927 and used the Pauli matrices to represent the spin operators. *Status: confirmed* - [Pauli matrices](https://en.wikipedia.org/wiki/Pauli_matrices) — gives the three matrices, their multiplication relation, and the quaternion embedding by −iσ₁, −iσ₂, −iσ₃; it gives no year (1927 is on the Spin line below). - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — explains the embedding of quaternion units into 2×2 complex matrices, and says “in quantum mechanics the spin of an electron and other matter particles (known as spinors) can be described using quaternions (in the form of the famous Pauli spin matrices).” - [Spin (physics), Wikipedia](https://en.wikipedia.org/wiki/Spin_(physics)) — read as raw wikitext: “In 1927, Pauli formalized the theory of spin using the theory of quantum mechanics invented by Erwin Schrödinger and Werner Heisenberg. He pioneered the use of Pauli matrices as a representation of the spin operators.” ### 22.10 {#r-22.10} The unit quaternions form S³ and are isomorphic to SU(2); conjugation gives a two-to-one covering of SO(3), with q and −q representing the same rotation. A spinor returns to its original state only after a 720° rotation, because of the two-to-one correspondence between SU(2) and SO(3); the Lie algebra su(2) is three-dimensional. *Status: confirmed* - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — states that unit quaternions form S³, are isomorphic to SU(2), and universally cover SO(3). - [Quaternions and spatial rotation](https://en.wikipedia.org/wiki/Quaternions_and_spatial_rotation) — gives the conjugation rotation map and the axis-angle interpretation. - [Spinor, Wikipedia](https://en.wikipedia.org/wiki/Spinor) — read as raw wikitext: “It takes a rotation of 720° for a spinor to go back to its original state.” - [Pauli matrices, Wikipedia (SU(2) and su(2))](https://en.wikipedia.org/wiki/Pauli_matrices) — read as raw wikitext: spin-½ particles “must be rotated by an angle of 4π in order to return to their original configuration. This is due to the two-to-one correspondence between SU(2) and SO(3)”; “the Lie algebra su₂ is the three-dimensional real algebra spanned by the set {iσₖ}.” ### 22.11 {#r-22.11} Hamilton introduced the term versor for a unit quaternion in the 1840s and set it out with its companion term tensor in his Lectures on Quaternions of 1853; (1+i+j+k)/2 is a unit quaternion and conjugation by it cycles i, j, k, which is a 120-degree rotation about the axis (1, 1, 1). *Status: confirmed* - [Versor](https://en.wikipedia.org/wiki/Versor) — defines a versor as a quaternion of norm one and says it ‘was introduced by William Rowan Hamilton in the 1840s in the context of his quaternion theory’. - [Classical Hamiltonian quaternions](https://en.wikipedia.org/wiki/Classical_Hamiltonian_quaternions) — gives Hamilton’s tensor-and-versor vocabulary, defines a versor as a quaternion of tensor 1 and as the quotient of two equal-length vectors, and quotes Lectures on Quaternions (1853) for the definition of tensor. - **Own computation** (the author's own work) — The norm of (1+i+j+k)/2 is √4/2=1. Direct multiplication by q and q⁻¹ gives q i q⁻¹=j, q j q⁻¹=k, and q k q⁻¹=i. - [W. R. Hamilton, Lectures on Quaternions (Dublin, 1853), Internet Archive](https://archive.org/details/lecturesonquater00hami) — read from the full text: the book, whose preface is signed “Observatory of T. C. D., June, 1853,” decomposes the product or quotient of two inclined lines “into two factors, namely, a tensor and a versor,” and uses versor throughout. ### 22.12 {#r-22.12} The numerical values in the chapter’s factor: in the numerator ijk = −1, so ijk + 1 = 0 exactly; in the denominator ‖1+i+j+k‖=2, ij−ji=2k, (1+i+j+k)(1−i−j−k)=4, and |Q₈|=8, so the denominator is 128k and is nonzero. *Status: confirmed* - **Own computation** (the author's own work) — Using i²=j²=k²=−1, ij=k, ji=−k and the conjugate-norm identity: ijk = k·k = −1, so ijk + 1 = 0; the norm is √(1+1+1+1)=2; ij−ji=k−(−k)=2k; the conjugate product is norm squared 4; multiplying 2·2k·4·8 gives 128k. The chapter’s pair of quarter-turns as well: (1+i)(1+j)/2 = (1 + j + i + ij)/2 = (1 + i + j + k)/2 and (1+j)(1+i)/2 = (1 + i + j + ji)/2 = (1 + i + j − k)/2, which differ because ij = k and ji = −k. ### 22.13 {#r-22.13} The quaternion fraction is legal because every nonzero quaternion has an inverse, and 0 divided by a nonzero quaternion is 0; left and right division agree in this special case. *Status: confirmed* - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — gives the inverse formula and identifies the quaternions as a division algebra. - **Own computation** (the author's own work) — For any nonzero d, 0·d⁻¹=d⁻¹·0=0 by distributivity and the zero laws; hence both left and right quotients of 0 by 128k are 0. ### 22.14 {#r-22.14} The formula qvq⁻¹ composes spatial rotations, and quaternion multiplication is noncommutative, so the order of rotations matters. *Status: confirmed* - [Quaternions and spatial rotation](https://en.wikipedia.org/wiki/Quaternions_and_spatial_rotation) — explains composition by quaternion multiplication and noncommutativity of spatial rotations. ### 22.15 {#r-22.15} Hamilton’s quaternions were influential in mathematical physics before vector analysis displaced them in many applications; Gibbs and Heaviside developed vector analysis, including the dot and cross products used today. *Status: confirmed* - [Quaternion](https://en.wikipedia.org/wiki/Quaternion) — describes quaternion use in physics and the later displacement by vector analysis associated with Gibbs, Heaviside and Helmholtz. ### 22.16 {#r-22.16} The chapter calls Q₈ the ‘smallest group in which Hamilton’s minus sign lives’. Read against Hamilton’s relations that is exact: a group holding elements i, j, k with i² = j² = k² = ijk = −1 and −1 ≠ 1 must already hold all eight of ±1, ±i, ±j, ±k. It is not a claim that Q₈ is the smallest non-abelian group, which it is not, since non-abelian groups of order six exist. *Status: judgement* - [Quaternion group](https://en.wikipedia.org/wiki/Quaternion_group) — confirms the precise definition and order eight of Q₈. - **Own mathematical reading** (the author's own work) — Q₈ is the group presented by ⟨i, j, k | i² = j² = k² = ijk⟩, in which the common value is central of order two and is what Hamilton wrote as −1. Its only quotient in which −1 survives is Q₈ itself, because every proper nontrivial normal subgroup of Q₈ — {±1}, ⟨i⟩, ⟨j⟩ and ⟨k⟩ — contains −1. So ‘smallest’ is exact for these relations, and only for these relations: non-abelian groups of order 6 exist. Editorial note: We kept the wording. It is exact for the relations Hamilton cut into the bridge, and the only reading it will not bear — that Q₈ is the smallest non-abelian group of all — is set out above so nobody has to guess which one is meant. ### 22.17 {#r-22.17} Dates and attributions printed on this chapter’s glossary cards and in its field notes, each checked against the source listed: Hamilton’s quaternions (every nonzero quaternion has an inverse), 1843; Hamilton found the four-square identity again (Graves later pointed out to him that it was not new) as a statement about quaternions in 1843. *Status: confirmed* - [Quaternion, Wikipedia](https://en.wikipedia.org/w/index.php?title=Quaternion) — read raw: “Quaternions were first described by the Irish mathematician and physicist William Rowan Hamilton in 1843”; “Quaternions were introduced by Hamilton in 1843. Important precursors to this work included Euler’s four-square identity (1748) and Olinde Rodrigues’ parameterization of general rotations by four parameters (1840), but neither of these writers treated the four-parameter rotations as an algebra..” - [W. R. Hamilton, letter to John T. Graves, 17 October 1843 (Phil. Mag. 1844), TCD transcription](https://www.maths.tcd.ie/pub/HistMath/People/Hamilton/QLetter/QLetter.html) — “We have, then, this first law for the multiplication of two quaternions together, that the modulus of the product is equal to the product of the moduli of the factors”; his footnote: “Mr. Graves has since pointed out to the writer that this theorem of ordinary algebra is not new.” Editorial note: Added 18 September 2026 by the V42 citation sweep. citecheck.py found these years printed on a card or in a paragraph whose cited entries did not carry them; each was then verified against a source fetched raw that day, and the quotation in each source note is verbatim.