António Malheiro
Full Professor, Mathematics Department
Faculdade de Ciências e Tecnologia UNL, Monte da Caparica, 2829-516 Caparica, Tel: (+351) 212948388 ext. 10832 (email)
Faculdade de Ciências e Tecnologia UNL, Monte da Caparica, 2829-516 Caparica, Tel: (+351) 212948388 ext. 10832 (email)
The aim of this paper is to develop the calculus of trivializers for subsemigroups. Given a finite presentation defining a semigroup S and a trivializer of the Squier complex of , we obtain an infinite trivializer of the Squier complex of a finite presentation defining a subsemigroup of S. Also, we give a method to find finite trivializers for special subsemigroups and hence to show that those subsemigroups have finite derivation type (FDT). An application of this method is given: we prove that if is a band of monoids having FDT, then so does Sα, for any α ∈Y.
n/a