Identities in the Algebra of Partial Maps

@article{Jackson2006IdentitiesIT,
  title={Identities in the Algebra of Partial Maps},
  author={Marcel Jackson and Timothy Stokes},
  journal={IJAC},
  year={2006},
  volume={16},
  pages={1131-1160}
}
We consider the identities of a variety of semigroup-related algebras modeling 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… CONTINUE READING

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 21 REFERENCES

∩-semigroups of transformations, Theory of Semigroups and its Applications, No. 2, pp.2–13

  • V. S. Garvac’kĭı
  • Izdat. Saratov. Uni., Saratov,
  • 1971
Highly Influential
12 Excerpts

Agreeable semigroups

  • M. Jackson, T. Stokes
  • J. Algebra 266
  • 2003
Highly Influential
9 Excerpts

γ-demi-groups

  • A. Batbedat
  • demi-modules, produit demi-directs, in Semigroups…
  • 1981
Highly Influential
4 Excerpts

Menger’s function systems, Izv

  • V. Trokhimenko
  • Vyss. Ucebn. Zaved. Matematika
  • 1973
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…