Projekt A8 - Invariant properties of string rewriting systems

(September 2001 - December 2004)

This project is an extention of Project A15. We will focus on the following question: (*) Can one characterize the monoids that admit a finite complete rewriting system by means of a number of invariant properties? The properties FHT of finite homological type and FDT of finite derivation type are examples of invariant properties that these monoids satisfy. There are various possibilities for obtaining analogues of these properties in higher dimensions. This is one line of research we will pursue. It seems probable that a solution to (*) (if there is one) will require some geometric and/or topological input. We therefore regard it as important to investigate the higher dimensional geometric aspects of rewriting systems.

In his thesis D. Cruickshank showed how to associate a chain of ideals in a certain commutative ring with a group (and more generally a monoid) of type FP_n, and he investigated some properties of these chains. Since monoids with finite complete rewriting systems are of type FP_\infty, these chains exist in all dimensions. It may be that there are additional properties of these chains in this case, and we intend to investigate this.

Finally, it may be that the notion of completeness is too rigid for characterization, but that some slightly reformulated concept involving a ``finite amount of flexibility'' could be characterized. In this respect, both geometric and language theoretic concepts would come into play. This is another topic for our research.

Mitarbeiter:

Prof. Steve Pride
(Department of Mathematics, University of Glasgow, Glasgow, Scotland, U.K.)

Supported by a grant from the Engineering and Physical Sciences Research Councel of the UK under the MathFIT 2000 initiative.

Technical Reports:

Pride, Stephen J., and Otto, F.:
Relative monoid presentations and finite derivation type.
Mathematische Schriften Kassel 15/03, Universität Kassel, September 2003.
Pride, Stephen J., and Otto, F.:
On higher order homological finiteness of rewriting systems.
Mathematische Schriften Kassel 12/03, Universität Kassel, August 2003.
Pride, Stephen J., and Otto, Friedrich:
For Rewriting Systems the Topological Finiteness Conditions FDT, FHT are not Equivalent.
Mathematische Schriften Kassel 13/02, Universität Kassel, Juli 2002.

Veröffentlichungen:

Otto, F.:
Relative monoid presentations and finite derivation type.
In André, J.M., Fernandes, V.H., Branco, M.J.J., Gomes, G.M.S., Fountain, J. and Meakin, J.C., editors, Semigroups and Formal Languages, Proc. of the International Conference in Honour of the 65th Birthday of Donald B. McAlister pages 240--254, World Scientific, Singapore, 2007.
Pride, S.J. and Otto, F.:
On higher order homological finiteness of rewriting systems.
Journal of Pure and Applied Algebra 2005, 200:149--161
Pride, Stephen J. and Otto, Friedrich:
For Rewriting Systems the Topological Finiteness Conditions FDT and FHT are not Equivalent.
The Journal of the London Mathematical Society 2004, 69:363--382