Title  Identities in the algebra of partial maps. 
Author(s)  Marcel Jackson, Timothy Stokes 
Type  Article in Journal 
Abstract  We consider the identities of a variety of semigrouprelated algebras modelling the algebra of partial maps. We show that the identities are intimately related to a weak semigroup deductive system and we show that the equational theory is decidable. We do this by giving a term rewriting system for the variety. We then show that this variety has many subvarieties whose equational theory interprets the full uniform word problem for semigroups and consequently are undecidable. As a corollary it is shown that the equational theory of Clifford semigroups whose natural order is a semilattice is undecidable.

Keywords  Agreeable semigroups; algebra of partial maps; word problem; equational problem 
ISSN  02181967; 17936500/e 
URL 
http://www.worldscientific.com/doi/abs/10.1142/S0218196706003426 
Language  English 
Journal  Int. J. Algebra Comput. 
Volume  16 
Number  6 
Pages  11311159 
Publisher  World Scientific, Singapore 
Year  2006 
Edition  0 
Translation 
No 
Refereed 
No 