Skip to main content

Quasivarieties and Varieties of Lattice-Ordered Groups

  • Chapter
Ordered Groups and Infinite Permutation Groups

Part of the book series: Mathematics and Its Applications ((MAIA,volume 354))

  • 300 Accesses

Abstract

Many properties and statements of the theory of lattice-ordered groups (ℓ-groups) can be formulated and proved in terms of first order logic. Special mention should be made of properties expressed by universal sentences such as identities and implications, which can be referred to as the theory of varieties and quasivarieties, respectively, of -groups. The theory of varieties of ℓ-groups has been developed for more than two decades and contributions to it have been included in books and survey articles (Anderson and Feil [1], Kopytov and Medvedev [44, 45], Reily [63]). It was not until the mid-80s that the systematic investigation of the theory of quasivarieties of -groups began and the results obtained in this area are not available for wide audience yet. It is clear that the theory of quasivarieties is more general than that of varieties. Nevertheless, there have been obtained a number of results on quasivarieties of ℓ-groups asserting that helpful and non-trivial properties of t- groups can be defined by means of implications, and the theory of quasivarieties of ℓ-groups itself is exciting and profound.

This work was done with financial support of the Russian Fund of Fundamental Research (project code 93-011-1524)

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Anderson and T. Feil, Lattice-Ordered Groups: An Introduction, Kluwer Academic Publ., Dordrecht, 1988.

    MATH  Google Scholar 

  2. M. Anderson, M. R. Darnel, and T. Feil, A variety of lattice-ordered groups containing all representable covers of the abelian variety, Order 7(1991), 401–405.

    Google Scholar 

  3. A. K. Arora, Quasi-varieties of lattice-ordered groups, Algebra Universalis 20 (1985), 34–50.

    Article  MathSciNet  MATH  Google Scholar 

  4. G. M. Bergman, Specially ordered groups, Comm. Algebra 12 (1984), 2315–2333.

    Article  MathSciNet  MATH  Google Scholar 

  5. G. Birkhoff, On the structure of abstract algebras, Proc. Cambridge Phil. Soc. 31 (1935), 433–454.

    Article  Google Scholar 

  6. G. Birkhoff Lattice-ordered groups, Ann. Math. 43 (1942), 298–331.

    Article  MathSciNet  MATH  Google Scholar 

  7. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics 78, Springer-Verlag, New York-Heidelberg-Berlin, 1981.

    Google Scholar 

  8. M. R. Darnel, The free lattice-ordered group over a nilpotent group, Proc. American Math. Soc. 111 (1991), 301–307.

    Article  MathSciNet  MATH  Google Scholar 

  9. M. R. Darnel, Disjoint conjugate chains, in Ordered Algebraic Structures (The 1991 Conrad conference), ed. J. Martinez and C. Holland, Kluwer Academic Pub., Dordrecht, The Netherlands, (1992), 31–49.

    Google Scholar 

  10. M. R. Darnel, Varieties minimal over representable varieties of lattice-ordered groups, Comm. Algebra 21 (1993), 2637–2665.

    Article  MathSciNet  MATH  Google Scholar 

  11. M. R. Darnel, Cyclic extension of the Medvedev ordered groups, Czechoslovak Math. J. 43 (118) (1993), 193–204.

    MathSciNet  MATH  Google Scholar 

  12. M. R. Darnel, Powers of the representable variety of lattice-ordered groups, Algebra Universalis, (to appear).

    Google Scholar 

  13. M. R. Darnel and A. M. W. Glass, Commutator relations and identities in lattice-ordered groups, Michigan Math. J. 36 (1989), 203–211.

    Article  MathSciNet  MATH  Google Scholar 

  14. V. A. Gorbunov, Covers in the lattice of quasivarieties and independent ax- iomatizability, (in Russian), Algebra i Logika, 16 (1977), 507–548.

    MathSciNet  Google Scholar 

  15. S. A. Gurchenkov, Varieties of ℓ-groups with the identity [x p, y p] = e have finite basis, Algebra and Logic 21 (1984), 20–35.

    Article  Google Scholar 

  16. S. A. Gurchenkov, On covers in the lattice of ℓ-varieties, (in Russian), Mat. Zametki, 35 (1984), 677–684.

    MathSciNet  Google Scholar 

  17. S. A. Gurchenkov, The lattice of quasivarieties of 2-nilpotent i-groups is not distributive, (in Russian), Siberian school on varieties of algebraic systems, Barnaul, (1988), 21–24.

    Google Scholar 

  18. S. A. Gurchenkov, On the theory of varieties of lattice-ordered groups, (in Russian), Algebra i Logika 27 (1988), 249–273.

    MathSciNet  Google Scholar 

  19. S. A. Gurchenkov, The lattice of varieties of weakly abehan lattice-ordered groups does not have the covering condition, (in Russian), Mat. Zametki 47 (1990), 35–40.

    MathSciNet  MATH  Google Scholar 

  20. S. A. Gurchenkov, The lattice of nilpotent ℓ-varieties is not Browerian and it has the cardinality of the continuum, (in Russian), Izv. Visch. Uchebn. Zaved. Math. 34 (1990), 17–22.

    MathSciNet  Google Scholar 

  21. S. A. Gurchenkov, On three questions of the theory of ℓ-varieties, (in Russian), Czechoslovak Math. J. 41 (1991), 405–410.

    MathSciNet  Google Scholar 

  22. S. A. Gurchenkov, On completion of invariant locally nilpotent subgroups of totally ordered groups, (in Russian), Mat. Zametki, 51 (1992), 35–39.

    MathSciNet  Google Scholar 

  23. S. A. Gurchenkov, About varieties of weakly abelian ℓ-groups, to appear in Math. Slovaca.

    Google Scholar 

  24. S. A. Gurchenkov, On amalgamation in ℓ-varieties, (in Russian), to appear in Algebra i Logika.

    Google Scholar 

  25. S. A. Gurchenkov, On Engel lattice-ordered groups, (in Russian), to appear in Algebra i Logika.

    Google Scholar 

  26. S. A. Gurchenkov and V. M. Kopytov, Description of covers of the variety of Abelian lattice-ordered groups, Sibirskii Mat. Zh. 28 (1987), 66–69.

    MathSciNet  MATH  Google Scholar 

  27. Yu. S. Gurevich and A. I. Kokorin, Universal equivalence of ordered abelian groups, (in Russian), Algebra i Logika 2 (1963), 37–39.

    MATH  Google Scholar 

  28. M. Hall, The Theory of Groups, Macmillan, New York, 1959.

    MATH  Google Scholar 

  29. M. E. Hansen (M. Huss), The lex property of varieties of lattice-ordered groups, Algebra Universalis 28 (1991), 535–548.

    Article  MathSciNet  MATH  Google Scholar 

  30. W. C. Holland, The lattice-ordered group of automorphisms of an ordered set, Michigan Math. J. 10 (1963), 399–408.

    Article  MathSciNet  MATH  Google Scholar 

  31. W. C. Holland, The largest proper variety of lattice ordered groups, Proc. American Math. Soc. 57 (1976), 25–28.

    Article  MathSciNet  MATH  Google Scholar 

  32. W. C. Holland, Varieties of automorphism groups of orders, Trans. American Math. Soc. 288 (1985), 755–763.

    Article  MathSciNet  MATH  Google Scholar 

  33. W. C. Holland and N. Ya. Medvedev, A very large class of small varieties of lattice-ordered groups, Comm. Algebra 22 (2) (1994), 551–578.

    Article  MathSciNet  MATH  Google Scholar 

  34. W. C. Holland, A. H. Mekler and N. R. Reilly, Varieties of lattice-ordered groups in which prime powers commute, Algebra Universalis 23 (1986), 196–214.

    Article  MathSciNet  MATH  Google Scholar 

  35. M. Huss (M. E. Hansen), Varieties of Lattice-Ordered Groups, Ph. D. Dissertation, Simon Fraser University, (1984).

    Google Scholar 

  36. O. V. Isaeva and N. Ya. Medvedev, Covers in the lattice of quasivarieties of ℓ-groups, (in Russian), Sibirsk. Mat. Zh. 33 (1992), 102–107.

    MathSciNet  Google Scholar 

  37. B. Jonsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121.

    MathSciNet  MATH  Google Scholar 

  38. M. I. Kargapolov and Yu. I. Merzljakov, Fundamentals of the Theory of Groups, Springer-Verlag, Berlin, 1979.

    MATH  Google Scholar 

  39. N. G. Khisamiev, Universal theory of lattice-ordered abehan groups, (in Russian), Algebra i Logika 5 (1966), 71–76.

    MATH  Google Scholar 

  40. N. G. Khisamiev and A. I. Kokorin, An elementary classification of lattice- ordered abehan groups with a finite number of fibers, (in Russian), Algebra i Logika 5 (1966), 41–50.

    MATH  Google Scholar 

  41. Y. K. Kim and A. H. Rhemtulla, Orderable groups satisfying an Engel condition, in Ordered Algebraic Structures (The 1991 Conrad conference), ed. J. Martinez and C. Holland, Kluwer Academic Pub., Dordrecht, The Netherlands, (1992), 31–49.

    Google Scholar 

  42. V. M. Kopytov, Free lattice-ordered groups, Algebra and Logic 18(1979), 259– 270.

    Article  MathSciNet  Google Scholar 

  43. V. M. Kopytov, A non-abelian variety of lattice-ordered groups in which every solvable ℓ-group is abehan, Mat. Sbornik 126/168(1985), 247–266.

    MathSciNet  Google Scholar 

  44. V. M. Kopytov and N. Ya. Medvedev, The structure of varieties of lattice-ordered groups, in Algebra and Order. Proc. First Int. Symp. Ordered Algebraic Structures, Luminy-Marseilles, ed. S. Wolfenstein, R&E 14, Helderman, Berlin, (1984), 35–46.

    Google Scholar 

  45. V. M Kopytov and N. Ya. Medvedev, Varieties of lattice-ordered groups, (in Russian), Uspechi Mat. Nauk 40: 6(256)(1985), 117–128; translated into English in Russian Mathematical Surveys 40: 6 (256) (1985), 97–110.

    Google Scholar 

  46. M. B. Litvinova, On the product of finitely based varieties of lattice-ordered groups, (in Russian), to appear in Algebra i Logika.

    Google Scholar 

  47. Li Si Ze, On the varieties of representable ℓ-groups, (in Chinese with English summary), J. Math. (Wuhan), 10(1990), 321–324.

    MATH  Google Scholar 

  48. J. Martinez, Varieties of lattice-ordered groups, Math. Zeit. 137 (1974), 265–284.

    Article  MATH  Google Scholar 

  49. N. Ya. Medvedev, The lattices of varieties of lattice-ordered groups and Lie algebras, Algebra and Logic 16 (1977), 27–31.

    Article  MATH  Google Scholar 

  50. N. Ya. Medvedev, On the theory of varieties of lattice ordered groups, (in Russian), Czechoslovak Math. J. 32 (1982), 364–372.

    MathSciNet  Google Scholar 

  51. N. Ya. Medvedev, Free products of ℓ-groups, (in Russian), Algebra i Logika 23 (1984), 493–511.

    MathSciNet  Google Scholar 

  52. N. Ya. Medvedev, Quasivarieties of ℓ-groups and groups, (in Russian), Sibirsk. Mat. Zh. 26 (1985), 111–117.

    MATH  Google Scholar 

  53. N. Ya. Medvedev, On o-approximability of bounded Engel ℓ-groups, (in Russian), Algebra i Logika 27 (1988), 418–421.

    MATH  Google Scholar 

  54. N. Ya. Medvedev, On nilpotent lattice-ordered groups, (in Russian), Mat. Zametki 45 (1989), 72–79.

    MATH  Google Scholar 

  55. N. Ya. Medvedev, On infinite distnbutivity in the lattice of ℓ-varieties, (in Russian), Sibirsk. Mat. Zh. 30 (1989), 216–220.

    Google Scholar 

  56. N. Ya. Medvedev, On covers in the lattice of quasivarieties of ℓ-groups, in Ordered Algebraic Structures (The 1991 Conrad Conference), ed. J. Martinez and C. Holland, Kluwer Academic Pub., Dordrecht, The Netherlands, (1992), 81–98.

    Google Scholar 

  57. N. Ya. Medvedev, Independent axiomatization of varieties of lattice-ordered groups, Czechoslovak Math. J. 42 (1992), 53–57.

    MathSciNet  MATH  Google Scholar 

  58. N. Ya. Medvedev, HSP≠SHPS for metabelian represent able ℓ-groups, Algebra Universalis 31 (1994), 151–156.

    Article  MathSciNet  MATH  Google Scholar 

  59. R. T. Botto-Mura and A. H. Rhemtulla, Notes on Orderable Groups, University of Alberta, Edmonton, 1975; published as Orderable Groups, Lecture Notes in Pure and Applied Math. 27, Marcel Dekker, New York, 1977.

    Google Scholar 

  60. W. B. Powell and C. Tsinakis, The failure of the amalgamation property for representable varieties of ℓ-groups, Proc. Cambridge Phil. Soc. 106(1989), 439– 444.

    Article  MathSciNet  Google Scholar 

  61. W. B. Powell and C. Tsinakis, Covers of the variety of abehan ℓ-groups, Comm. Algebra 17 (1989), 2461–2468.

    Article  MathSciNet  MATH  Google Scholar 

  62. N. R. Reilly, A subsemilattice of the lattice of varieties of lattice-ordered groups, Canadian J. Math. 33 (1981), 1309–1318.

    Article  MathSciNet  MATH  Google Scholar 

  63. N. R. Reilly, Varieties of lattice-ordered groups, in Lattice-Ordered Groups; Advances and Techniques, ed. A.M.W. Glass and W. C. Holland, Kluwer Academic Publishers, Dordrecht/Boston/London, 1989, 228–277.

    Chapter  Google Scholar 

  64. D. A. Van Rie, Quasivarieties of ℓ-metabelian lattice-ordered groups, Doctoral Thesis, Bowling Green State University, 1991.

    Google Scholar 

  65. S. V. Varaksin, Lattice-ordered groups constructed from right-ordered groups, (in Russian), Algebra i Logika 28 (1989), 524–533.

    MathSciNet  Google Scholar 

  66. S. V. Varaksin, Varieties generated by simple ℓ-groups, (in Russian), Sibirsk. Mat. Zh. 31 (1990), 167–180.

    MathSciNet  Google Scholar 

  67. S. V. Varaksin, A continuum of minimal quasivarieties of ℓ-groups, (in Russian), Sibirsk. Mat. Zh. 34(1993) N4, 41–49.

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Kluwer Academic Publishers

About this chapter

Cite this chapter

Kopytov, V.M., Medvedev, N.Y. (1996). Quasivarieties and Varieties of Lattice-Ordered Groups. In: Holland, W.C. (eds) Ordered Groups and Infinite Permutation Groups. Mathematics and Its Applications, vol 354. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-3443-9_1

Download citation

  • DOI: https://doi.org/10.1007/978-1-4613-3443-9_1

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-3445-3

  • Online ISBN: 978-1-4613-3443-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics