It is proved that every consistent system of equations over a free semilattice of arbitrary rank is equivalent to its finite subsystem. Furthermore, irreducible algebraic sets are studied, and we look at the consistency problem for systems of equations over free semilattices.
Similar content being viewed by others
References
S. Rudeanu, Lattice Functions and Equations, Discrete Math. Theor. Comput. Sci., Springer-Verlag, London (2001).
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. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations,” Fundam. Prikl. Mat., 17, No. 1, 65-106 (2011/2012).
P. Morar and A. Shevlyakov, “Algebraic geometry over additive positive monoids. Systems of coefficient free equations,” Combinatorial and Geometric Group Theory, Dortmund and Ottawa-Montreal Conferences (Trends Math.), Birkhauser, Basel (2010), pp. 261-278.
A. N. Shevlyakov, “Algebraic geometry over the monoid of natural numbers. Irreducible algebraic sets,” Trudy Inst. Mat. Mekh. UrO RAN, 16, No. 2, 258-269 (2010).
A. N. Shevlyakov, “Algebraic geometry over natural numbers. The classification of coordinate monoids,” Groups, Complex. Cryptol., 2, No. 1, 91-111 (2010).
A. N. Shevlyakov, “Commutative idempotent semigroups at the service of universal algebraic geometry,” Southeast Asian Bull. Math., 35, No. 1, 111-136 (2011).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 54, No. 3, pp. 399-420, May-June, 2015.
∗The work is supported by Russian Science Foundation (project 14-11-00085) and by RFBR (project No. 14-01-00068).
Rights and permissions
About this article
Cite this article
Shevlyakov, A.N. Elements of Algebraic Geometry Over a Free Semilattice. Algebra Logic 54, 258–271 (2015). https://doi.org/10.1007/s10469-015-9345-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-015-9345-6