Samuel Eilenberg

Lore & Background

Samuel Eilenberg was born in Warsaw to a Jewish family and earned his Ph.D. Later in life he worked mainly in pure category theory and contributed to automata theory, introducing the X-machine model and a prime decomposition algorithm for finite state machines. He also identified Eilenberg's theorem, a correspondence between varieties of regular languages and pseudovarieties of finite monoids.

Reader's Guide

Samuel Eilenberg's significance lies in his foundational contributions to modern mathematics, particularly through the co-creation of category theory and homological algebra, which have become essential frameworks across many fields. His work with Steenrod on the axiomatic approach to homology theory established a rigorous basis for algebraic topology. Later, his contributions to automata theory and the Eilenberg swindle demonstrated his versatility. His legacy endures through the concepts and theorems that bear his name, as well as through the institutions he enriched.

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.