Aufsatz in einer Fachzeitschrift
On higher order homological finiteness of rewriting systems



Details zur Publikation
Autor(inn)en:
Pride, S.; Otto, F.
Publikationsjahr:
2005
Zeitschrift:
Journal of Pure and Applied Algebra
Seitenbereich:
149-161
Jahrgang/Band:
200
ISSN:
0022-4049

Zusammenfassung, Abstract
A sequence of finite rewriting systems R-n (n >= 1) with the following properties is presented:
(1) R-n is not of type FDT,
(2) R-n is of type FHTn, but not of type FHTn+1,
(3) Rn has word problem solvable in quadratic time.
This result not only strengthens the result of Pride and Otto separating the geometric finiteness condition FDT from the finiteness condition FHT (=FHT1), but it also shows that the higher order homological finiteness conditions FHTn, which were first considered by McGlashan for dimension 2, yield an infinite hierarchy that is independent of the homotopical finiteness condition FDT. (c) 2005 Elsevier B.V. All rights reserved.


Autor(inn)en / Herausgeber(innen)

Zuletzt aktualisiert 2019-25-07 um 12:23