TY - JOUR
T1 - Presentations for subsemigroups - applications to ideals of semigroups
AU - Campbell, Colin Matthew
AU - Robertson, Edmund Frederick
AU - Ruskuc, Nikola
AU - Thomas, RM
PY - 1998/2
Y1 - 1998/2
N2 - A method for finding presentations for subsemigroups of semigroups defined 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 generated as a semigroup. By way of contrast, it is then proved that in a free product of two, or indeed of finitely many, finite semigroups, every right ideal which is finitely generated as a semigroup is finitely presented. (C) 1998 Elsevier Science B.V.
AB - A method for finding presentations for subsemigroups of semigroups defined 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 generated as a semigroup. By way of contrast, it is then proved that in a free product of two, or indeed of finitely many, finite semigroups, every right ideal which is finitely generated as a semigroup is finitely presented. (C) 1998 Elsevier Science B.V.
UR - http://www.scopus.com/inward/record.url?scp=0031990025&partnerID=8YFLogxK
M3 - Article
SN - 0022-4049
VL - 124
SP - 47
EP - 64
JO - Journal of Pure and Applied Algebra
JF - Journal of Pure and Applied Algebra
IS - 1-3
ER -