Affiliation:
1. SICS Swedish Institute of Computer Science Box 1263, SE-164 29 Kista, Sweden
2. Department of Mathematics and Statistics, University of Nebraska, Lincoln, NE 68588-0323, USA
Abstract
In 1987, Squier defined the notion of finite derivation type for a finitely presented monoid. To do this, he associated a 2-complex to the presentation. The monoid then has finite derivation type if, modulo the action of the free monoid ring, the 1-dimensional homotopy of this complex is finitely generated. Cremanns and Otto showed that finite derivation type implies the homological finiteness condition left FP3, and when the monoid is a group, these two properties are equivalent. In this paper we define a new version of finite derivation type, based on homological information, together with an extension of this finite derivation type to higher dimensions, and show connections to homological type FPnfor both monoids and groups.
Publisher
World Scientific Pub Co Pte Lt
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献