Skip to main content
Log in

Elements of Algebraic Geometry Over a Free Semilattice

  • Published:
Algebra and Logic Aims and scope

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. S. Rudeanu, Lattice Functions and Equations, Discrete Math. Theor. Comput. Sci., Springer-Verlag, London (2001).

  2. 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.

  3. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations,” Fundam. Prikl. Mat., 17, No. 1, 65-106 (2011/2012).

  4. 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.

  5. 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).

    Google Scholar 

  6. A. N. Shevlyakov, “Algebraic geometry over natural numbers. The classification of coordinate monoids,” Groups, Complex. Cryptol., 2, No. 1, 91-111 (2010).

    Article  MATH  MathSciNet  Google Scholar 

  7. A. N. Shevlyakov, “Commutative idempotent semigroups at the service of universal algebraic geometry,” Southeast Asian Bull. Math., 35, No. 1, 111-136 (2011).

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to A. N. Shevlyakov.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-015-9345-6

Keywords

Navigation