Progress around the Boone–Higman conjecture

A conjecture of Boone and Higman from the 1970’s asserts that a finitely generated group G has solvable word problem if and only if G can be embedded into a finitely presented simple group. We comment on the history of this conjecture and survey recent results that establish the conjecture for many large classes of interesting groups.

Authors

Institutions

Publication Details

Journal
EMS Surveys in Mathematical Sciences
Published
2025-06-16
DOI
https://doi.org/10.4171/emss/101
Primary Topic
Geometric and Algebraic Topology
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Progress around the Boone–Higman conjecture

Matthew C. B. Zaremsky, Francesco Matucci, Collin Bleak, James Belk
EMS Surveys in Mathematical Sciences
Geometric and Algebraic Topology
article

Progress around the Boone–Higman conjecture

Matthew C. B. Zaremsky, Francesco Matucci, Collin Bleak, James Belk
article en

Abstract

A conjecture of Boone and Higman from the 1970’s asserts that a finitely generated group G has solvable word problem if and only if G can be embedded into a finitely presented simple group. We comment on the history of this conjecture and survey recent results that establish the conjecture for many large classes of interesting groups.

EMS Surveys in Mathematical Sciences
University of St Andrews (GB), University at Albany, State University of New York (US), University of Milano-Bicocca (IT), University of Glasgow (GB)
Openalex Percentile: Top 81%
Geometric and Algebraic Topology
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.