A semigroup S is called an equational domain if any finite union of algebraic sets over S is again an algebraic set. We find necessary and sufficient conditions for a semigroup with a finite minimal two-sided ideal (in particular, a finite semigroup) to be an equational domain.
Similar content being viewed by others
References
E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Unification theorems in algebraic geometry,” in Aspects of Infinite Groups, Algebra Discr. Math. (Hackensack), 1, World Sci., Hackensack, NJ (2008), pp. 80-111.
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations,” Fundam. Prikl. Mat., 17, No. 1, 65-106 (2011/2012).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Algebraic geometry over algebraic structures. IV. Equational domains and codomains,” Algebra and Logic, 49, No. 6, 483-508 (2010).
A. N. Shevlyakov, “Unifying solutions to systems of equations in inverse semigroups,” Vestnik Omsk Univ., No. 4, 63-66 (2013).
A. N. Shevlyakov, “Unifying solutions to systems of equations in Clifford semigroups,” Vestnik Omsk Univ., No. 3, 18-21 (2014).
A. N. Shevlyakov, “Unifying solutions to systems of equations in finite simple semigroups,” Algebra and Logic, 53, No. 1, 70-83 (2014).
A. Shevlyakov, “On disjunctions of equations over semigroups,” arXiv:1305.6842.
Author information
Authors and Affiliations
Corresponding author
Additional information
(A. N. Shevlyakov) The work is supported by Russian Science Foundation, project 14-11-00085 (Section 5), and by RFBR, project No. 14-01-00068 (Sections 3 and 4).
Translated from Algebra i Logika, Vol. 55, No. 1, pp. 87-105, January-February, 2016.
Rights and permissions
About this article
Cite this article
Shevlyakov, A.N. Identifying Solutions to Systems of Equations in Semigroups with Finite Ideal. Algebra Logic 55, 58–71 (2016). https://doi.org/10.1007/s10469-016-9376-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-016-9376-7