Following Évariste Galois (1811–1832), who laid the foundations of group theory shortly before dying in a duel in 1832 (
Les groupes,
Bibliothèque Tangente 80, 2023;
Évariste Galois,
Bibliothèque Tangente 82, 2023), several mathematicians—including the Englishman Arthur Cayley (1821–1895), the German Leopold Kronecker (1823–1891) and the Frenchman Camille Jordan (1838–1922)—identified several common axioms satisfied by different sets equipped with an operation. For example, addition on sets of numbers is associative: (
a +
b) +
c =
a + (
b +
c). But the same property also holds for permutations and for the composition of functions. After some trial and error, a consensus emerged: a set equipped with an associative operation, possessing an identity element and in which every element has an inverse, would be called a "group." Meanwhile, the German Hermann Grassmann (1809–1877) gave an abstract definition of what we now call a "vector space," intended to represent both the plane and the space in which we live. Inspired by this rather abstruse work, but keenly aware of its importance, the Italian Giuseppe Peano (1858–1932), also known for his formalization of the natural numbers, published
Calcolo geometrico in 1888. In this book, he defined affine and vector spaces axiomatically. Set theory, then being developed by the German Georg Cantor (1845–1918), proved the ideal framework for elaborating these concepts.