TY - JOUR

T1 - Finite derivation type for Rees matrix semigroups

AU - Malheiro, António José Mesquita da Cunha Machado

PY - 2006/4/14

Y1 - 2006/4/14

N2 - 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.

AB - 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.

KW - Finite derivation type

KW - Semigroup

KW - Presentation

UR - http://www.scopus.com/record/display.uri?eid=2-s2.0-33644879796&origin=resultslist&sort=plf-f&src=s&st1

U2 - 10.1016/j.tcs.2005.12.011

DO - 10.1016/j.tcs.2005.12.011

M3 - Article

SN - 0304-3975

VL - 355

SP - 274

EP - 290

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 3

ER -