Finite derivation type for Rees matrix semigroups

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

This paper introduces the topological finiteness condition Finite Derivation Type (FDT) on the class of semigroups. This notion is naturally extended from the monoid case. With this new concept we are able to prove that if a Rees matrix semigroup $M[S;I,J;P]$ has FDT then the semigroup $S$ also has FDT. Given a monoid $S$ and a finitely presented Rees matrix semigroup $M[S;I,J;P]$ we prove that if the ideal of $S$ generated by the entries of $P$ has FDT, then so does $M[S;I,J;P]$. In particular, we show that, for a finitely presented completely simple semigroup $M$, the Rees matrix semigroup $M=M[S;I,J;P]$ has FDT if and only if the group $S$ has FDT.
Original languageEnglish
Pages (from-to)274-290
Number of pages17
JournalTheoretical Computer Science
Volume355
Issue number3
DOIs
Publication statusPublished - 14 Apr 2006

Keywords

  • Finite derivation type
  • Semigroup
  • Presentation

Fingerprint Dive into the research topics of 'Finite derivation type for Rees matrix semigroups'. Together they form a unique fingerprint.

  • Cite this