Overview

Patrick Dehornoy (11 September 1952 – 4 September 2019) was a French mathematician whose research focused on algebraic and order-theoretic structures related to braid groups and group theory. Based for much of his career at the University of Caen, Dehornoy became widely known for introducing an unexpected left-invariant linear order on braid groups and for developing techniques that influenced the study of algorithmic problems in groups.

Key contributions

  • Dehornoy order: He discovered a natural left-invariant linear ordering of braid groups, now called the Dehornoy order. This construction attracted attention because it connected group theory, order theory, and techniques from mathematical logic.
  • Large cardinals and algebra: His work included some of the earliest applications of concepts from set theory—specifically large cardinal principles—to algebraic problems. The use of such methods in an algebraic context was unusual and influential.
  • Garside methods: Dehornoy was a central figure in extending and applying Garside theory, an approach that provides normal forms and divisibility structures in certain groups and monoids. These methods have been productive in tackling structural and computational questions.
  • Artin–Tits groups and algorithmic problems: Through Garside techniques and related developments, he contributed to progress on the word problem and other decision problems in classes of Artin–Tits groups.

Context and development

The Dehornoy order emerged in the late 20th century within ongoing efforts to understand braid groups, which arise in topology, algebra and mathematical physics. At the time, establishing a canonical ordering on such noncommutative groups was surprising. Dehornoy's approach combined combinatorial and logical ideas and led to further investigations into how ordering interacts with algebraic structure.

Importance and applications

Beyond the intrinsic interest of ordering a nonabelian group, Dehornoy's discoveries provided tools for constructing normal forms and algorithms that simplify computations in groups related to braids and knots. Garside-theoretic techniques influenced work in geometric group theory, low-dimensional topology, and computational algebra. Researchers continue to build on these ideas to study conjugacy, centralizers and algorithmic complexity in groups.

Legacy

Dehornoy's combination of inventive methods and clear structural results left a lasting imprint on group theory and related fields. He published influential papers and collaborated with others to systematize Garside methods. Patrick Dehornoy died on 4 September 2019 in Caen, France; further information and remembrances are available via institutional announcements and obituaries here.