Skip to main content
SpringerLink
Log in

Elementary theories of completely simple semigroups

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

Abstract

The connections between first-order formulas over a completely simple semigroupC and corresponding formulas over its structure groupH are found in this paper. For the case of finite sandwich-matrix the criterion of decidability of the elementary theoryT(C) is established in terms of the elementary theory ofH in the enriched signature (Theorem 1). For the general case the criterion is established in terms of two-sorted algebraic systems (Theorem 2). Sufficient conditions in terms ofH for decidability and for undecidability ofT(C) are outlined. Corollaries and examples are presented, among them an example of a completely simple semigroup with a finite structure group and with undecidable elementary theory (Theorem 3).

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. A. Baudisch,Decidability and stability of free nilpotent Lee algebras and free nilpotent p-groups of finite exponent, Annals of Mathematical Logic23 (1982), 1–25.

    Article  MATH  MathSciNet  Google Scholar 

  2. A. H. Clifford and G. B. Preston,The Algebraic Theory of Semigroups 1, American Mathematical Society, Providence, R.I., 1964.

    Google Scholar 

  3. V. G. Durnev,Systems of equations on free nilpotent groups, inProblems in Group Theory and Homological Algebra, Yaroslav. Gos. Univ., Yaroslavl’, 1981, pp. 66–69 (in Russian).

    Google Scholar 

  4. P. R. Jones,Completely simple semigroups: free products, free semigroups and varieties, Proceedings of the Royal Society of Edinburgh. Section A88 (1981), 293–314.

    MathSciNet  Google Scholar 

  5. A. I. Mal’cev,Algebraic Systems, Sprinter-Verlag, Berlin, 1973.

    MATH  Google Scholar 

  6. G. I. Mashevitzky,On bases of completely simple semigroups identities, Semigroup Forum30 (1984), 67–76.

    Article  MATH  MathSciNet  Google Scholar 

  7. A. Mostowsky,On direct products of theories, Journal of Symbolic Logic17 (1952), 1–31.

    Article  MathSciNet  Google Scholar 

  8. A. G. Myasnikov and V. N. Remeslennikov,Recursive p-adic numbers and elementary theories of finitely generated pro-p-groups, Mathematics of the USSR-Izvestiya30 (1988), 577–597.

    Article  MATH  MathSciNet  Google Scholar 

  9. M. Petrich and N. R. Reilly,Completely Regular Semigroups, Canadian Mathematical Society, Series of Monographs and Advanced Texts23, Wiley-Interscience, New York, 1999.

    MATH  Google Scholar 

  10. V. V. Rasin,On the lattice of varieties of completely simple semigroups, Semigroup Forum17 (1979), 113–122.

    Article  MATH  MathSciNet  Google Scholar 

  11. V. A. Roman’kov,Equations in free metabelian groups, Siberian Mathematical Journal20 (1979), 469–471.

    Article  MathSciNet  Google Scholar 

  12. B. V. Rozenblat,On the elementary theories of relatively free semigroups, Abstracts of papers presented to the American Mathematical Society13 (1992), 252.

    Google Scholar 

  13. B. V. Rozenblat,On semigroup varieties in which every free semigroup has the solvable elementary theory, Workshop on Semigroups and Connected Questions, Contributions, The Open University of Israel, Tel Aviv, 1993, pp. 25–28.

  14. L. N. Shevrin (ed.),Sverdlovskaya Tetrad (Unsolved Problems of Semigroup Theory), 2nd edition, Sverdlovsk, 1979 (in Russian).

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Department of Computer Science, Ben-Gurion University of the Negev, POB 653, 84105, Beer-Sheva, Israel

    Bella V. Rozenblat

Authors
  1. Bella V. Rozenblat
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rozenblat, B.V. Elementary theories of completely simple semigroups. Isr. J. Math. 128, 355–379 (2002). https://doi.org/10.1007/BF02785431

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02785431

Keywords

Search

Navigation