Finite Homotopy Bases of One-Relator Monoids

A notion of finite derivation type (FDT) introduced by Squier is a finiteness property on homotopy of derivation graphs of finitely presented monoids. We show that every one-relator monoid has FDT by giving an explicit finite homotopy base of the monoid.