Encyclopedia/1. The Cosmos & The Natural World/1. Mathematics & Formal Systems/02. Algebra & Symbolic Systems • Curated by Admin Timeline.sg
Homological algebra and module theory trace their roots from ancient algebra and number theory through 19th-century developments in ideals and linear algebra, culminating in the 20th-century axiomatization of categories, derived functors, and spectral sequences. This timeline covers key milestones from Babylonian arithmetic to modern higher category theory, highlighting global contributions.
Chronological Storyline (42 Milestones)
3000 BCE
Babylonian Arithmetic and Algebra
Babylonian clay tablets (c. 3000 BCE) contain multiplication tables, quadratic equations, and Pythagorean triples, laying early foundations for algebraic thought. #mathematics #history
Babylonian Arithmetic and Algebra By Urcia, A., Yale Peabody Museum of Natural History, https://peabody.yale.edu, http://hdl.handle.net/10079/8931zqj derivative work, user:Theodor Langhorne Franklin - File:YBC-7289-OBV.jpg, CC0, https://commons.wikimedia.org/w/index.php?curid=76347956
600 BCE
Indian Sulba Sutras
The Sulba Sutras (c. 600 BCE) contain geometric constructions and early algebraic rules, including approximations of √2 and Pythagorean triples. #mathematics #india
300 BCE
Euclid's Elements
Euclid's Elements (c. 300 BCE) systematizes Greek mathematics, including number theory and the Euclidean algorithm, a precursor to module theory. #mathematics #geometry
Euclid's Elements By University of Pennsylvania Museum of Archaeology and Anthropology - https://openn.library.upenn.edu/Data/0016/html/e2748.html, CC BY-SA 4.0, https://commons.wikimedia.org/w/index.php?curid=169166171
250 CE
Diophantus' Arithmetica
Diophantus of Alexandria writes Arithmetica (c. 250 CE), one of the earliest works on algebraic equations and number theory. #mathematics #algebra
300 CE
Chinese Remainder Theorem
Sunzi Suanjing (c. 3rd–5th century) states the Chinese remainder theorem, a key modular arithmetic principle that later influences module theory. #mathematics #china
Chinese Remainder Theorem By Cmglee - Own work, CC BY-SA 4.0, https://commons.wikimedia.org/w/index.php?curid=50938525
628 CE
Brahmagupta's Brāhmasphuṭasiddhānta
Brahmagupta introduces zero, negative numbers, and algebraic rules in his treatise, advancing algebraic methods. #mathematics #india
820 CE
Al-Khwarizmi's Algebra
Al-Khwarizmi's 'The Compendious Book on Calculation by Completion and Balancing' (c. 820 CE) formalizes algebraic methods, influencing later algebra. #mathematics #islam
Al-Khwarizmi's Algebra By Zarateman - Own work, CC0, https://commons.wikimedia.org/w/index.php?curid=162213187
Omar Khayyam's Cubic Equations By Alireza Javaheri - https://web.archive.org/web/20161024154356/http://www.panoramio.com/photo/85093358, CC BY 3.0, https://commons.wikimedia.org/w/index.php?curid=55909539
1150 CE
Bhāskara II's Algebra
Bhāskara II's Bījagaṇita (c. 1150) covers algebra, including quadratic equations and zero, influencing Indian mathematics. #mathematics #india
Bhāskara II's Algebra By Unknown author - Own work, Public domain, https://commons.wikimedia.org/w/index.php?curid=150275955
1545 CE
Cardano's Ars Magna
Gerolamo Cardano publishes Ars Magna, solving cubic and quartic equations, a milestone in Renaissance algebra. #mathematics #algebra )
1801 CE
Gauss's Disquisitiones Arithmeticae
Carl Friedrich Gauss publishes Disquisitiones Arithmeticae, establishing modern number theory and modular arithmetic, crucial for later module theory. #mathematics #numbertheory
Gauss's Disquisitiones Arithmeticae By Unknown author, Public domain, https://commons.wikimedia.org/w/index.php?curid=641724
1832 CE
Galois Theory
Évariste Galois develops group theory from polynomial equations, linking algebraic structures to symmetry. #mathematics #grouptheory
William Rowan Hamilton discovers quaternions, the first non-commutative division algebra, expanding algebraic structures. #mathematics #algebra
Hamilton's Quaternions By Cmglee - Own work, CC BY-SA 4.0, https://commons.wikimedia.org/w/index.php?curid=145997978
1844 CE
Grassmann's Ausdehnungslehre
Hermann Grassmann publishes his theory of linear extensions, laying groundwork for vector spaces and module theory. #mathematics #linearalgebra
Grassmann's Ausdehnungslehre By Unknown author - From the beginning of vol. 1 of Grassmann's collected works (1894), Public domain, https://commons.wikimedia.org/w/index.php?curid=174414110
1858 CE
Cayley's Matrix Algebra
Arthur Cayley develops matrix algebra, formalizing linear transformations and algebraic structures. #mathematics #matrices
Cayley's Matrix Algebra By Herbert Beraud (1845–1896) - http://www-groups.dcs.st-and.ac.uk/~history/PictDisplay/Cayley.html, Public domain, https://commons.wikimedia.org/w/index.php?curid=904674
1871 CE
Dedekind's Ideal Theory
Richard Dedekind introduces ideals in algebraic number theory, formalizing the concept of modules. #mathematics #numbertheory )
1895 CE
Poincaré's Analysis Situs
Henri Poincaré publishes Analysis Situs, founding algebraic topology and introducing homology groups. #mathematics #topology )
1899 CE
Hilbert's Basis Theorem
David Hilbert proves that every ideal in a polynomial ring over a field is finitely generated, a key result in commutative algebra. #mathematics #algebra
1921 CE
Noether's Ideal Theory
Emmy Noether's paper 'Idealtheorie in Ringbereichen' develops abstract ring theory and module theory, revolutionizing algebra. #mathematics #algebra
Noether's Ideal Theory By Unknown authorUnknown author Publisher: Mathematical Association of America [3], Brooklyn Museum [4], Agnes Scott College [5], [6] - Emmy Noether (1882-1935), Archived, Public domain, https://commons.wikimedia.org/w/index.php?curid=158126186
1935 CE
Hurewicz's Homotopy Groups
Witold Hurewicz defines higher homotopy groups and the Hurewicz theorem, linking homology and homotopy. #mathematics #topology
1936 CE
Whitney's Cohomology
Hassler Whitney defines cup products and cohomology rings, extending algebraic topology. #mathematics #topology
Whitney's Cohomology By Sally Thurston, the subject Hassler Whitney's daughter. - Emailed to me by the author., CC BY 3.0, https://commons.wikimedia.org/w/index.php?curid=46360725
1942 CE
Eilenberg-Steenrod Axioms
Samuel Eilenberg and Norman Steenrod axiomatize homology theory, establishing the categorical framework. #mathematics #topology
1945 CE
Eilenberg-Mac Lane Categories
Samuel Eilenberg and Saunders Mac Lane introduce categories, functors, and natural transformations, founding category theory. #mathematics #categorytheory
Eilenberg-Mac Lane Categories By User:Cepheus - Own work, based on en:Image:MorphismComposition-01.png, Public domain, https://commons.wikimedia.org/w/index.php?curid=1425613
1946 CE
Leray's Spectral Sequences
Jean Leray introduces spectral sequences to compute homology groups, a powerful tool in homological algebra. #mathematics #topology
1950 CE
Cartan-Eilenberg's Homological Algebra
Henri Cartan and Samuel Eilenberg publish 'Homological Algebra', the definitive text on derived functors and homology. #mathematics #algebra )
1953 CE
Serre's Spectral Sequence
Jean-Pierre Serre uses spectral sequences to compute homotopy groups of spheres, revolutionizing algebraic topology. #mathematics #topology
Serre's Spectral Sequence By Mediterranean Institute for the Mathematical Sciences - Extracted from https://www.youtube.com/watch?v=wXCo54RuP1s&t=1502s, CC BY 3.0, https://commons.wikimedia.org/w/index.php?curid=110894720
1955 CE
Grothendieck's Tôhoku Paper
Alexander Grothendieck publishes 'Sur quelques points d'algèbre homologique', introducing Abelian categories and unifying homological algebra. #mathematics #algebra
1956 CE
Serre's GAGA
Jean-Pierre Serre's GAGA paper establishes deep connections between algebraic geometry and complex analysis. #mathematics #geometry
1957 CE
Grothendieck's Derived Functors
Alexander Grothendieck develops derived functors and sheaf cohomology, fundamental to homological algebra. #mathematics #algebra
1958 CE
Auslander-Reiten Theory
Maurice Auslander and Idun Reiten develop Auslander-Reiten theory for representation theory of Artin algebras. #mathematics #algebra
1959 CE
Atiyah-Singer Index Theorem
Michael Atiyah and Isadore Singer prove the index theorem, linking topology and analysis via K-theory. #mathematics #topology
1961 CE
Mac Lane's Homology
Saunders Mac Lane publishes 'Homology', a comprehensive textbook on homological algebra. #mathematics #algebra )
1963 CE
Verdier's Derived Categories
Jean-Louis Verdier introduces derived categories in his thesis, abstracting homological algebra. #mathematics #algebra
1964 CE
Grothendieck's SGA4
Grothendieck's Séminaire de Géométrie Algébrique 4 presents étale cohomology, applying homological algebra to arithmetic. #mathematics #geometry
1967 CE
Quillen's Model Categories
Daniel Quillen develops model category theory, providing a homotopical framework for homological algebra. #mathematics #topology
1970 CE
Mac Lane's Categories for the Working Mathematician
Saunders Mac Lane publishes 'Categories for the Working Mathematician', standardizing category theory. #mathematics #categorytheory
1972 CE
Gabriel-Zisman's Calculus of Fractions
Pierre Gabriel and Michel Zisman publish 'Calculus of Fractions and Homotopy Theory', formalizing localization in categories. #mathematics #topology
1975 CE
Hochschild's Cohomology of Algebras
Gerhard Hochschild extends cohomology to associative algebras, a key tool in homological algebra. #mathematics #algebra
1980 CE
Auslander-Buchweitz Approximation Theory
Maurice Auslander and Ragnar-Olaf Buchweitz develop approximation theory for modules, influencing representation theory. #mathematics #algebra
1990 CE
Lurie's Higher Topos Theory
Jacob Lurie's work on higher topos theory extends homological algebra into ∞-categories and derived algebraic geometry. #mathematics #topology
2002 CE
Stable Module Categories
The theory of stable module categories becomes a central topic in representation theory, linking to homological algebra. #mathematics #algebra
2010 CE
Derived Algebraic Geometry Flourishes
Derived algebraic geometry matures, with applications to string theory and arithmetic geometry, building on homological algebra. #mathematics #geometry
