1821 – 1895
Matrix Algebra, the Cayley-Hamilton Theorem, Cayley Graphs & n-Dimensional Geometry
Arthur Cayley was born on 16 August 1821 in Richmond, Surrey, England. He spent his first eight years in St Petersburg, Russia, where his father was a merchant.
Returning to England, he attended King's College School in London, where his mathematical abilities were immediately apparent. At age 17, he entered Trinity College, Cambridge, where he became Senior Wrangler (first in the Mathematical Tripos) in 1842 and won the Smith's Prize.
He was elected a Fellow of Trinity and began an extraordinarily productive period. In just a few years, he published dozens of papers on invariant theory, geometry, and algebra.
First place in the 1842 Mathematical Tripos at Cambridge — the highest academic honour in British mathematics.
Published 28 papers before leaving Cambridge for the law in 1846. His output was staggering from the start.
Eight years in St Petersburg may have exposed young Cayley to the Continental mathematical tradition, unusual for an Englishman of that era.
When his Trinity fellowship expired in 1846, Cayley turned to law, being admitted to the bar at Lincoln's Inn in 1849. There he met Sylvester, beginning their legendary collaboration.
For 14 years, Cayley practised as a conveyancer while publishing mathematics at an extraordinary rate — over 200 papers during his legal career. He viewed the law merely as a means of livelihood.
In 1863, he was appointed the first Sadleirian Professor of Pure Mathematics at Cambridge, taking a large pay cut to return to mathematics full-time. He held this chair until his death.
Over his lifetime, Cayley published 966 papers — one of the most prolific outputs in the history of mathematics.
Meets Sylvester at Lincoln's Inn. Their collaboration on invariant theory begins.
Publishes "On the Theory of Groups" — one of the first papers to study abstract groups.
"A Memoir on the Theory of Matrices" — establishes matrix algebra as a subject.
First Sadleirian Professor at Cambridge. Finally a full-time mathematician.
Cayley worked during the emergence of abstract algebra, when concrete calculations with equations gave way to structural thinking about algebraic systems.
The 1850s saw the transition from "algebra = equation solving" to "algebra = study of structures." Cayley's groups and matrices were central to this shift.
After Newton, British mathematics declined relative to the Continent. Cayley and Sylvester revived British algebra, making it competitive with German and French schools.
Lobachevsky, Bolyai, and Riemann opened new geometries. Cayley showed that all geometries could be unified through projective geometry and the "Absolute."
Cayley's collected works fill 13 volumes. His breadth — algebra, geometry, analysis, combinatorics, mechanics — was unmatched in his generation.
Many Victorian academics faced limited university positions. Cayley's 14 years at the bar were common — what was uncommon was his simultaneous mathematical productivity.
Cayley corresponded extensively with Continental mathematicians. His work bridged British and European traditions, especially in invariant theory and group theory.
In his 1858 paper, Cayley defined matrix multiplication, the identity matrix, and the inverse of a matrix, establishing matrices as algebraic objects in their own right.
He proved the Cayley-Hamilton theorem: every square matrix satisfies its own characteristic equation. For a 2x2 matrix A with characteristic polynomial p(λ) = λ² - tr(A)λ + det(A), we have p(A) = 0.
This was revolutionary: it showed that matrices form a non-commutative algebra with rich internal structure.
Cayley's 1858 "Memoir on the Theory of Matrices" defined matrix multiplication via the composition of linear substitutions, showed that multiplication is associative but not commutative, and established the zero and identity matrices.
He introduced the notation for matrix operations that is still standard: A + B, AB, A², A-1. He showed that 2x2 matrices form a non-commutative ring, anticipating the general theory of rings and algebras.
The Cayley-Hamilton theorem was proved for 2x2 and 3x3 matrices by Cayley. He stated it for general n but admitted he had not proved it — the full proof was given by Frobenius in 1878.
Cayley also studied octonions and their matrix representations, anticipating modern work in non-associative algebra.
Cayley was among the first to study a natural algebraic system where AB ≠ BA. This was shocking to contemporaries raised on commutative number systems.
Cayley implicitly studied GL(n), the group of invertible matrices. This connection between matrices and groups became fundamental.
Matrix algebra now underpins quantum mechanics, computer graphics, machine learning, control theory, and virtually all of modern science.
In 1854, Cayley wrote one of the first papers on abstract group theory, defining a group as a set with a multiplication table satisfying closure, associativity, identity, and inverses.
He introduced Cayley's theorem: every group is isomorphic to a subgroup of a symmetric group. This fundamental result shows that abstract groups always have concrete realisations as permutations.
The Cayley graph of a group G with generating set S is a directed graph where vertices are group elements and edges represent multiplication by generators.
Cayley's theorem (1854) was a foundational insight: every abstract group G can be embedded in Sym(G), the symmetric group on the elements of G, via the left-regular representation g → (x ↦ gx).
Cayley graphs have become essential tools in geometric group theory, where groups are studied through the geometric and topological properties of their Cayley graphs.
Key properties of a group — growth rate, amenability, hyperbolicity — can be read from its Cayley graph. Gromov's programme of studying groups as geometric objects relies fundamentally on this correspondence.
Cayley also enumerated labelled trees: the number of labelled trees on n vertices is nn-2. This is Cayley's formula, a cornerstone of combinatorics.
Every group of order n is isomorphic to a subgroup of S_n. Provides concrete permutation representations of abstract groups.
Gromov, Thurston, and others study groups via the large-scale geometry of their Cayley graphs. This field is one of the most active in modern mathematics.
n^(n-2) labelled trees on n vertices. Proved by Cayley (1889). Multiple beautiful proofs exist (Prufer, Kirchhoff, bijective).
Cayley graphs of groups provide optimal network topologies. They are used in the design of interconnection networks for parallel computers.
Cayley was a pioneer of higher-dimensional geometry. He systematically studied geometry in n dimensions, developing the theory of n-dimensional determinants, volumes, and projective spaces.
In projective geometry, Cayley introduced the concept of the "Absolute" — a fixed conic in the projective plane with respect to which metric properties can be defined. This remarkable insight showed that Euclidean, hyperbolic, and elliptic geometries are all special cases of projective geometry.
As Klein later formulated in the Erlangen programme, Cayley's observation that "projective geometry is all geometry" became one of the great unifying principles of 19th-century mathematics.
He also studied algebraic curves extensively, contributing to the Plucker formulas and the classification of cubic surfaces (discovering the 27 lines on a cubic surface).
A conic in the projective plane that determines a metric geometry: real conic → hyperbolic, imaginary conic → elliptic, degenerate → Euclidean.
Every smooth cubic surface in P³ contains exactly 27 straight lines. Cayley and Salmon discovered this remarkable fact in 1849.
Before Riemann's lecture (1854), Cayley was already working algebraically in n dimensions, treating n as a variable rather than fixing it at 2 or 3.
Computes the volume of a simplex from its edge lengths. Used today in distance geometry, molecular biology, and robotics.
"As for everything else, so for a mathematical theory: beauty can be perceived but not explained."
— Arthur CayleyExtract algebraic structure from concrete examples
Massive explicit calculations to verify patterns
Seek connections between algebra and geometry
Extend from n=2,3 to arbitrary n
Cayley's style was the opposite of Sylvester's: terse, systematic, and relentlessly productive. Where Sylvester was discursive, Cayley was concise. He wrote short, dense papers — sometimes several in a week — each advancing a specific point. His method was to compute extensively, find patterns, and then state general results with minimal commentary. He was perhaps the supreme calculator of his age.
Cayley's vast correspondence connected British, French, and German mathematics. His work directly influenced Klein's Erlangen programme and Hilbert's invariant theory.
Cayley was not temperamentally inclined to controversy, but his work placed him at the centre of several disputes. The most significant was the British vs. German approach to invariant theory.
Cayley and Sylvester's computational, constructive approach was challenged by Hilbert's 1890 proof that invariant rings are finitely generated — a proof that was non-constructive, using what Gordan famously called "theology, not mathematics."
Cayley also disagreed with the trend toward abstraction for its own sake. He valued explicit computation and believed that mathematics should remain connected to concrete problems.
His quiet persistence in publishing nearly 1000 papers, many treating topics others considered exhausted, was itself a statement: that systematic exploration of particular cases was as valuable as grand generalisations.
"Cayley was so prolific that many mathematicians simply could not keep up with his output."
— E.T. BellThe British computed invariants; the Germans proved existence theorems. Hilbert's Basis Theorem (1890) ended the calculational era but validated its results.
Cayley's collected works (13 volumes, 1889–98) remain a treasure trove. Many results were independently rediscovered decades later by mathematicians unaware of his work.
Matrix algebra as Cayley defined it is the foundation of modern linear algebra. The Cayley-Hamilton theorem appears in every textbook.
Cayley's theorem and Cayley graphs are fundamental. Geometric group theory, born from studying groups via their graphs, is a major 21st-century field.
The 27 lines on a cubic surface, Cayley's work on algebraic curves, and the Cayley-Bacharach theorem remain central to algebraic geometry.
Cayley's tree formula n^(n-2) is a cornerstone of combinatorics. His enumeration of chemical isomers pioneered chemical graph theory.
Cayley's "Absolute" showed that metric geometries are special cases of projective geometry — a unification that Klein extended in his Erlangen programme.
Cayley graphs provide optimal network topologies for parallel computing. The Cayley-Dickson construction generates quaternions, octonions, and beyond.
Matrix mechanics (Heisenberg, Born, Jordan) uses Cayley's matrix algebra as its mathematical language. Every quantum observable is a matrix (operator).
Cayley transforms and matrix representations of rotations are fundamental to 3D rendering, animation, and virtual reality systems.
The Cayley-Menger determinant computes distances and volumes from inter-point distances, essential for robot kinematics and molecular distance geometry.
Cayley graphs of groups provide optimal interconnection networks for supercomputers. The hypercube network is a Cayley graph of (Z/2Z)^n.
Tony Crilly (2006). The definitive biography, covering Cayley's mathematics, legal career, and role in Victorian science.
Cambridge University Press (13 volumes, 1889–1898). The complete works, showcasing the extraordinary range of 966 papers.
Nathan Carter (2009). An accessible introduction to group theory featuring Cayley diagrams (graphs) as the primary tool.
Roger Horn & Charles Johnson (2012). The standard reference for matrix theory, building on foundations Cayley laid.
"Projective geometry is all geometry."
— Arthur CayleyArthur Cayley
1821 – 1895
The most prolific mathematician of the Victorian age, whose matrices and groups became the language of modern science.