|Died||January 30, 1998 84) (aged|
New York City, United States
|Citizenship||Russian, Polish, American|
|Alma mater||University of Warsaw|
|Known for|| Eilenberg–Steenrod axioms |
|Awards|| Wolf Prize (1986)|
Leroy P. Steele Prize (1987)
|Thesis||On the Topological Applications of Maps onto a Circle (1936)|
|Doctoral advisors|| Kazimierz Kuratowski |
|Doctoral students|| Jonathan Beck |
Samuel Eilenberg (September 30, 1913 – January 30, 1998) was a Polish-American mathematician who co-founded category theory (with Saunders Mac Lane) and homological algebra.
He was born in Warsaw, Kingdom of Poland to a Jewish family. He spent much of his career as a professor at Columbia University.
He earned his Ph.D. from University of Warsaw in 1936, with thesis On the Topological Applications of Maps onto a Circle; his thesis advisors were Kazimierz Kuratowski and Karol Borsuk.He died in New York City in January 1998.
Eilenberg's main body of work was in algebraic topology. He worked on the axiomatic treatment of homology theory with Norman Steenrod (whose names the Eilenberg–Steenrod axioms bear), and on homological algebra with Saunders Mac Lane. In the process, Eilenberg and Mac Lane created category theory.
Eilenberg was a member of Bourbaki and, with Henri Cartan, wrote the 1956 book Homological Algebra.
Later in life he worked mainly in pure category theory, being one of the founders of the field. The Eilenberg swindle (or telescope) is a construction applying the telescoping cancellation idea to projective modules.
Eilenberg contributed to automata theory and algebraic automata theory. In particular, he introduced a model of computation called X-machine and a new prime decomposition algorithm for finite state machines in the vein of Krohn–Rhodes theory.
Eilenberg was also a prominent collector of Asian art. His collection mainly consisted of small sculptures and other artifacts from India, Indonesia, Nepal, Thailand, Cambodia, Sri Lanka and Central Asia. In 1991–1992, the Metropolitan Museum of Art in New York staged an exhibition from more than 400 items that Eilenberg had donated to the museum, entitled The Lotus Transcendent: Indian and Southeast Asian Art From the Samuel Eilenberg Collection.In reciprocity, the Metropolitan Museum of Art donated substantially to the endowment of the Samuel Eilenberg Visiting Professorship in Mathematics at Columbia University.
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows. A category has two basic properties: the ability to compose the arrows associatively, and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Informally, category theory is a general theory of functions.
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.
Jean-Pierre Serre is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the inaugural Abel Prize in 2003.
Saunders Mac Lane was an American mathematician who co-founded category theory with Samuel Eilenberg.
Witold Hurewicz was a Polish mathematician.
Henri Paul Cartan was a French mathematician who made substantial contributions to algebraic topology. He was the son of the French mathematician Élie Cartan and the brother of composer Jean Cartan.
In mathematics, particularly algebraic topology and homology theory, the Mayer–Vietoris sequence is an algebraic tool to help compute algebraic invariants of topological spaces, known as their homology and cohomology groups. The result is due to two Austrian mathematicians, Walther Mayer and Leopold Vietoris. The method consists of splitting a space into subspaces, for which the homology or cohomology groups may be easier to compute. The sequence relates the (co)homology groups of the space to the (co)homology groups of the subspaces. It is a natural long exact sequence, whose entries are the (co)homology groups of the whole space, the direct sum of the (co)homology groups of the subspaces, and the (co)homology groups of the intersection of the subspaces.
Norman Earl Steenrod was an American mathematician most widely known for his contributions to the field of algebraic topology.
In mathematics, the Hurewicz theorem is a basic result of algebraic topology, connecting homotopy theory with homology theory via a map known as the Hurewicz homomorphism. The theorem is named after Witold Hurewicz, and generalizes earlier results of Henri Poincaré.
In mathematics, abstract nonsense, general abstract nonsense, generalized abstract nonsense, and general nonsense are terms used by mathematicians to describe abstract methods related to category theory and homological algebra. More generally, “abstract nonsense” may refer to a proof that relies on category-theoretic methods, or even to the study of category theory itself.
In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to construct invariants of algebraic structures. The homology of groups, Lie algebras, and associative algebras can all be defined in terms of Tor. The name comes from a relation between the first Tor group Tor1 and the torsion subgroup of an abelian group.
In mathematics, specifically algebraic topology, an Eilenberg–MacLane space is a topological space with a single nontrivial homotopy group. As such, an Eilenberg–MacLane space is a special kind of topological space that can be regarded as a building block for homotopy theory; general topological spaces can be constructed from these via the Postnikov system. These spaces are important in many contexts in algebraic topology, including constructions of spaces, computations of homotopy groups of spheres, and definition of cohomology operations. The name is for Samuel Eilenberg and Saunders Mac Lane, who introduced such spaces in the late 1940s.
In mathematics, Brown's representability theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the homotopy category Hotc of pointed connected CW complexes, to the category of sets Set, to be a representable functor.
In algebraic topology, a Steenrod algebra was defined by Henri Cartan (1955) to be the algebra of stable cohomology operations for mod cohomology.
Daniel Marinus Kan was a Dutch mathematician working in homotopy theory. He was a prolific contributor to the field for six decades, having authored or coauthored several dozen research papers and monographs. The general theme of his career had been abstract homotopy theory.
In mathematics, specifically in algebraic topology, the Eilenberg–Steenrod axioms are properties that homology theories of topological spaces have in common. The quintessential example of a homology theory satisfying the axioms is singular homology, developed by Samuel Eilenberg and Norman Steenrod.
Tudor Ganea was a Romanian-American mathematician, known for his work in algebraic topology, especially homotopy theory. Ganea left Communist Romania to settle in the United States in the early 1960s. He taught at the University of Washington.
In mathematics, the standard complex, also called standard resolution, bar resolution, bar complex, bar construction, is a way of constructing resolutions in homological algebra. It was first introduced for the special case of algebras over a commutative ring by Samuel Eilenberg and Saunders Mac Lane (1953) and Henri Cartan and Eilenberg (1956, IX.6) and has since been generalized in many ways.
The article "Sur quelques points d'algèbre homologique" by Alexander Grothendieck, now often referred to as the Tôhoku paper, was published in 1957 in the Tôhoku Mathematical Journal. It has revolutionized the subject of homological algebra, a purely algebraic aspect of algebraic topology. It removed the need to distinguish the cases of modules over a ring and sheaves of abelian groups over a topological space.
Sze-Tsen Hu, also known as Steve Hu, was a Chinese-American mathematician, specializing in homotopy theory.