Graham Higman was a titan of twentieth-century British mathematics whose work fundamentally reshaped the landscape of group theory. As a central figure in the "Oxford School" of algebra, Higman combined a deep, intuitive grasp of algebraic structures with a rigorous logical precision. His contributions bridged the gap between abstract algebra and mathematical logic, and he played a pivotal role in the monumental project to classify finite simple groups.
1. Biography: From Lincolnshire to the Waynflete Chair
Graham Higman was born on January 19, 1917, in Louth, Lincolnshire. The son of a Methodist minister, he retained a strong connection to his faith throughout his life, often serving as a lay preacher.
He attended Balliol College, Oxford, on a scholarship, where he excelled in mathematics. He earned his DPhil in 1941 under the supervision of Henry Whitehead. His doctoral thesis, "The Units of Group Rings," remains a foundational text in the study of integral group rings.
During World War II, Higman’s mathematical talents were diverted to the Meteorological Office of the Royal Air Force (1940–1946). While this period paused his academic career, it did not stifle his intellectual growth. After the war, he joined the University of Manchester (1946–1955), a period of intense productivity where he collaborated with Bernhard and Hanna Neumann.
In 1955, he returned to Oxford as a Reader, and in 1960, he was appointed the Waynflete Professor of Pure Mathematics, a position he held until his retirement in 1984. Under his leadership, Oxford became a global hub for group theory. Following his retirement, he continued to teach and research, spending several years at the University of Illinois at Urbana-Champaign. He passed away on April 8, 2008.
2. Major Contributions
Higman’s work was characterized by its breadth, covering both infinite and finite groups.
-
The HNN Extension (1949)
Working with Bernhard and Hanna Neumann, he developed what is now known as the Higman-Neumann-Neumann (HNN) construction. This is a method for embedding a group into a larger group in a way that forces two isomorphic subgroups to be conjugate. It is a cornerstone of combinatorial group theory and is used to prove that every countable group can be embedded into a group generated by just two elements.
-
Higman’s Embedding Theorem (1961)
This is perhaps his most famous solo achievement. It provides a startling link between group theory and computer science (recursively enumerable sets). The theorem states that a finitely generated group can be embedded in a finitely presented group if and only if it is "recursively presented." This essentially proved that the word problem for groups—determining if two strings of symbols represent the same element—is not just difficult, but in some cases, algorithmically undecidable.
-
The Higman-Sims Group (1968)
In the realm of finite groups, Higman was instrumental in discovering new "sporadic" simple groups (groups that do not fit into the standard infinite families). Together with Charles Sims, he constructed the Higman-Sims group, a sporadic simple group of order 44,352,000, arising from the study of a specific graph with 100 vertices.
-
Group Rings
His early work on the units of group rings laid the groundwork for a field that remains active today, particularly the Isomorphism Problem for group rings.
3. Notable Publications
Higman was a prolific writer known for his clarity and economy of prose.
- "Embedding theorems for groups" (1949): Co-authored with B.H. and Hanna Neumann in the Journal of the London Mathematical Society. This introduced the HNN extension.
- "Subgroups of finitely presented groups" (1961): Published in the Proceedings of the Royal Society, this paper detailed the Embedding Theorem and is considered a masterpiece of mathematical logic applied to algebra.
- "Finitely Presented Infinite Groups" (1977): A seminal monograph that synthesized much of the progress in the field.
- "Existentially closed groups" (1988): (With Elizabeth Scott) A later work exploring the intersections of model theory and group theory.
4. Awards & Recognition
Higman’s peers recognized him as one of the leading algebraists of his era:
- Fellow of the Royal Society (1958): Elected at the relatively young age of 41.
- Berwick Prize (1954): Awarded by the London Mathematical Society (LMS).
- De Morgan Medal (1974): The highest honor bestowed by the LMS.
- President of the London Mathematical Society (1962–1964).
- Honorary Doctorates: He received honorary degrees from several institutions, including the University of Illinois.
5. Impact & Legacy
Higman’s legacy is twofold: his theorems and his students.
He was a legendary supervisor, overseeing more than 50 DPhil students, many of whom became world-class mathematicians themselves (including Peter Neumann and James Wiegold). He fostered an environment at Oxford where group theory flourished, leading to the Classification of Finite Simple Groups, one of the largest collaborative projects in the history of mathematics.
His work on the HNN extension remains a standard tool in topology and geometric group theory. Furthermore, his Embedding Theorem remains the definitive bridge between the abstract world of group generators and the mechanical world of Turing machines.
6. Collaborations
Higman was a deeply social mathematician who thrived on collaboration:
- The Neumanns: His work with Bernhard and Hanna Neumann in the late 1940s was foundational to modern algebra.
- Charles Sims: Though they shared a name in the "Higman-Sims group," they were not related. Their collaboration was a highlights of the 1960s "golden age" of finite simple groups.
- The Journal of Algebra: Higman was one of the founding editors of this prestigious journal in 1964, helping to establish a dedicated venue for high-level algebraic research.
7. Lesser-Known Facts
- The "Two Higmans": Graham Higman is frequently confused with Donald G. Higman, a contemporary American mathematician. While both worked on group theory and both have "Higman" groups named after them (Donald worked on the Higman-Sims group alongside Graham), they were not related.
- The "Higman-Sims" Origin: The discovery of the Higman-Sims group famously happened over a single 24-hour period. After hearing a lecture by Dale Mesner on a particular graph, Higman and Sims worked through the night to prove that the graph's automorphism group contained a new sporadic simple group.
- A Man of Few Words: In seminars, Higman was known for his "terrifying" silence. He would listen to a complex proof, remain silent for several minutes, and then point out a single, devastating flaw or a brilliant simplification that the speaker had missed.
- Computing Pioneer: Despite being a "pure" mathematician, Higman was an early adopter of computers to aid group-theoretical calculations, a foresight that helped lead to the discovery of several sporadic groups.