## Abstract

The aim of this paper is to develop the calculus of trivializers for subsemigroups.

Given a finite presentation P defining a semigroup S and a trivializer of the Squier

complex of P, 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 S = B[Y, Sα] is a band of monoids having FDT, then so does Sα, for any

α ∈ Y .

Given a finite presentation P defining a semigroup S and a trivializer of the Squier

complex of P, 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 S = B[Y, Sα] is a band of monoids having FDT, then so does Sα, for any

α ∈ Y .

Original language | English |
---|---|

Title of host publication | Semigroups and formal languages. Proceedings of the international conference in honour of the 65th birthday of Donald B. McAlister |

Pages | 188-204 |

Number of pages | 17 |

Publication status | Published - 6 Jul 2007 |

Event | International Conference on Semigroups and Languages in honour of the 65th birthday of Donald B. McAlister - Duration: 1 Jan 2005 → … |

### Conference

Conference | International Conference on Semigroups and Languages in honour of the 65th birthday of Donald B. McAlister |
---|---|

Period | 1/01/05 → … |