Samuel Eilenberg

Lore & Background

Samuel Eilenberg was a Polish-American mathematician and a central figure in the development of algebraic topology, category theory, and homological algebra. Born in Warsaw to a Jewish family, he completed his doctorate at the University of Warsaw in 1936 under the supervision of Kazimierz Kuratowski and Karol Borsuk, with a thesis on topological applications of maps onto a circle. He spent the majority of his professional career as a professor at Columbia University. Eilenberg’s most renowned work was done in collaboration with Saunders Mac Lane, with whom he co-founded category theory and homological algebra. He also worked with Norman Earl Steenrod on the axiomatic treatment of homology theory, resulting in the Eilenberg–Steenrod axioms. As a member of Bourbaki, he co-authored the influential 1956 book *Homological Algebra* with Henri Cartan. Later in his career, he focused on pure category theory, where he introduced the Eilenberg swindle (or telescope), a construction applying telescoping cancellation to projective modules. In automata theory, he created the X-machine model and a prime decomposition algorithm for finite state machines, and he established Eilenberg’s theorem, which links varieties of regular languages to pseudovarieties of finite monoids. Beyond mathematics, Eilenberg was a prominent collector of Asian art, amassing a collection of small sculptures and artifacts from India, Indonesia, Nepal, Thailand, Cambodia, Sri Lanka, and Central Asia. Over 400 items from his donation were exhibited at the Metropolitan Museum of Art in New York in an exhibition titled *The Lotus Transcendent: Indian and Southeast Asian Art From the Samuel Eilenberg Collection*. In recognition, the museum contributed to the endowment of the Samuel Eilenberg Visiting Professorship in Mathematics at Columbia University. He died in New York City in January 1998.

Reader's Guide

Samuel Eilenberg’s significance stems from his foundational role in reshaping modern mathematics. Alongside Saunders Mac Lane, he co-founded category theory and homological algebra, providing abstract frameworks that now underpin vast areas of the discipline. His work with Norman Earl Steenrod produced the Eilenberg–Steenrod axioms, a rigorous axiomatic treatment of homology theory that became a cornerstone of algebraic topology. Later in his career, he focused on pure category theory, where he devised the Eilenberg swindle, a construction applying telescoping cancellation to projective modules. Eilenberg also made substantial contributions to automata theory, introducing the X-machine model of computation and a new prime decomposition algorithm for finite state machines within the Krohn–Rhodes tradition. He identified a natural correspondence between certain classes of regular languages and pseudovarieties of finite monoids, now known as Eilenberg’s theorem. As a member of Bourbaki, he co-wrote the 1956 book *Homological Algebra* with Henri Cartan. Beyond mathematics, he was a prominent collector of Asian art, donating over 400 items to the Metropolitan Museum of Art, which reciprocated by endowing the Samuel Eilenberg Visiting Professorship in Mathematics at Columbia University, where he spent most of his career.

Did You Know?

• Eilenberg co-founded category theory with Saunders Mac Lane.
• He introduced a model of computation called the X-machine.

The Eilenberg–Ganea Conjecture

One of the open questions bearing Samuel Eilenberg's name is the Eilenberg–Ganea conjecture, a statement in algebraic topology and group theory that remains unresolved. The conjecture proposes that if a group possesses cohomological dimension two, then it must also admit a two-dimensional Eilenberg–MacLane space, denoted K(G,1). In other words, the conjecture links a purely algebraic invariant of the group to the existence of a specific low-dimensional topological space that encodes the group's homotopy-theoretic structure. Despite the elegant connection it draws between algebraic and geometric properties, no one has yet proved or disproved the claim. It sits among the many conjectures in algebra that have resisted solution, contributing to the long list of problems that mathematicians continue to attack with techniques drawn from multiple subfields.

Among Algebra's Many Open Questions

The Eilenberg–Ganea conjecture is one thread in a vast tapestry of unsolved problems in algebra. It appears alongside questions concerning the Birch–Tate conjecture on Steinberg groups and Dedekind zeta functions, the Casas-Alvero conjecture about polynomial derivatives, Crouzeix's conjecture on matrix norms, and the Connes embedding problem in von Neumann algebra theory. Other entries address the determinant of sums of normal matrices, the cohomology of motivic complexes, and the Clifford index of non-hyperelliptic curves. The collection also includes questions about Hadamard matrices, Barker sequences, and the intersection of powers of the Jacobson radical. Together these problems illustrate the extraordinary breadth of algebra as a discipline, spanning number theory, functional analysis, combinatorics, and topology, with each conjecture representing a distinct frontier where current methods fall short.

A Problem Within a Wider Mathematical Ecosystem

Unsolved mathematical questions do not exist in isolation; they form a network that crosses disciplinary boundaries. The Eilenberg–Ganea conjecture, while rooted in algebraic topology, touches on group cohomology, dimension theory, and the construction of classifying spaces. Many of the problems catalogued in composite lists of open questions belong to more than one discipline simultaneously and are approached using techniques from several different areas. The overall landscape includes challenges from theoretical physics, computer science, combinatorics, differential and Euclidean geometries, graph theory, number theory, set theory, Ramsey theory, dynamical systems, and partial differential equations. The difficulty and importance of individual problems vary enormously, yet each represents a genuine gap in human understanding that the mathematical community has not yet been able to fill.

The Tradition of Cataloguing the Unknown

For well over a century, mathematicians and institutions have taken the initiative to compile and publicize lists of problems that remain open. Some of these collections have been tied to monetary prizes for whoever finds a solution, most famously the seven Millennium Prize Problems announced by the Clay Mathematics Institute in the year 2000, each carrying a reward of one million dollars. In the algebraic tradition, several long-running notebooks have served as living repositories of open questions: the Kourovka Notebook for group theory, the Sverdlovsk Notebook for semigroup theory, the Dniester Notebook for ring and modulus theory, and the Erlagol Notebook for algebra and model theory. These publications, first issued in the mid-1960s and updated repeatedly, function as collaborative documents that track the state of knowledge and invite the next generation of researchers to take up the challenge.