In the 1980s Madlener and Otto asked for an algebraic characterization of groups presented by finite, convergent, length-reducing rewriting systems, conjecturing that they are exactly the plain groups (free product of finitely many finite groups and infinite cyclic groups).
I will describe some recent results with Adam Piggott (ANU) on new geometric, algebraic and algorithmic properties of groups presented by (inverse-closed) finite, convergent, length-reducing rewriting systems.
This video is part of the New York Group Theory Cooperative‘s group theory seminar series.
