Abstract
We show that a variety V of completely regular semigroups that contains a nontrivial (two-element) semilattice has finitary or unitary unification type if and only if V consists of strong semilattices of rectangular groups of finitary or unitary unification type. We reduce the problem of recognizing unification type of a variety V of completely regular semigroups defined by a homotypical system of identities to the same problem for the variety of all groups of V.
Similar content being viewed by others
References
Albert, M. H.: Category equivalence preserves unification type, Algebra Universalis 36(1996), 457-466.
Albert, M. H. and Lawrence, J.: Unification in varieties of groups: Nilpotent varieties, Canad. J. Math. 46(1994), 1135-1149.
Albert, M. H. and Patrick, D.: Free groups and unification in A m A 2, Illinois J. Math. 39(1995), 407-415.
Baader, F.: Unification in varieties of idempotent semigroups, Semigroup Forum 36(1987), 127-145.
Baader, F.: Unification in varieties of completely regular semigroups, in Word Equations and Related Topics, Lecture Notes in Comput. Sci. 572, 1992, pp. 210-230.
Baader, F. and Siekmann, J.: Unification theory, in Handbook of Logic in Artificial Intelligence and Logic Programming,Vol. 2, Oxford University Press, London, 1994, pp. 41-125.
Clifford, A. H. and Preston, G. B.: The Algebraic Theory of Semigroups, Math. Surveys, no. 7, Amer. Math. Soc., Vol. 1, 1961, Vol. 2, 1967.
Kisielewicz, A.: Unification in commutative semigroups, J. Algebra 200(1998), 246-257.
Mashevitzky, G.: Bases of identities of some varieties of completely simple semigroups, in E. S. Lyapin (ed.), Algebraic Operations and Orderings, Leningrad, 1983 (in Russian).
Mashevitzky, G.: On bases of completely simple semigroup identities, Semigroup Forum 30(1984), 67-76.
Mashevitzky, G.: Completely simple and completely o-simple semigroup identities, Semigroup Forum 37(1988), 253-264.
Nutt, W.: The unification hierarchy is undecidable, J. Automated Reasoning 7(1991), 369-381.
Petrich, M.: Inverse Semigroups, J. Wiley, New York, 1984.
Petrich, M. and Reilly, N. R.: Completely Regular Semigroups, Canad. Math. Soc. Series of Monographs and Advanced Texts 23, Wiley, New York, 1999.
Plotkin, G.: Building in equational theories, Mach. Intelligence 7(1972), 227-261.
Plotkin, B.: Varieties of algebras and algebraic varieties, Israel Math. J. 96(2) (1996), 511-522.
Plotkin, B.: Seven lectures in universal algebraic geometry, Preprint, Hebrew University, Jerusalem, 2000.
Polak, L.:Unification in varieties of completely simple semigroups, in Contributions to General Algebra12, Vienna, 1999, Heyn, Klagenfurt, 2000, pp. 337-347.
Rasin, V. V.: On the varieties of Cliffordian semigroups, Semigroup Forum 23(1981), 201-220.
Schmidt-Schaus, M.: Unification in many-sorted equational theories, in Lecture Notes in Comput. Sci.230, 1986, pp. 538-552.
Talwar, S.: Morita equivalence for semigroups, J. Austral. Math. Soc. 59(1995), 81-111.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mashevitzky, G. Unification Types of Completely Regular Semigroups. Journal of Automated Reasoning 29, 171–182 (2002). https://doi.org/10.1023/A:1021695118634
Issue Date:
DOI: https://doi.org/10.1023/A:1021695118634