Cm. Campbell et al., PRESENTATIONS FOR SUBSEMIGROUPS - APPLICATIONS TO IDEALS OF SEMIGROUPS, Journal of pure and applied algebra, 124(1-3), 1998, pp. 47-64
A method for finding presentations for subsemigroups of semigroups def
ined by presentations is used to investigate when ideals are finitely
presented. It is shown that an ideal of a finitely presented semigroup
is not necessarily finitely presented, even if it is finitely generat
ed as a semigroup. By way of contrast, it is then proved that in a fre
e product of two, or indeed of finitely many, finite semigroups, every
right ideal which is finitely generated as a semigroup is finitely pr
esented. (C) 1998 Elsevier Science B.V.