The Burnside problem for odd exponents

Abstract

We show that the free Burnside groups $B(m,n)$ are infinite for $m\ge 2$ and odd $n\ge 557$, the best currently known lower bound for the exponent. The proof uses iterated small cancellation theory where the induction is based on the nesting depth of relators. The main instrument at every step is a new concept of a certification sequence.

Small editorial changes, 58pp Same version with correct arxiv abstract