Finite Homotopy Bases of One-Relator Mon
โ
Yuji Kobayashi
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 179 KB
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.