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)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Anderson and T. Feil, Lattice-Ordered Groups: An Introduction, Kluwer Academic Publ., Dordrecht, 1988.
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.
A. K. Arora, Quasi-varieties of lattice-ordered groups, Algebra Universalis 20 (1985), 34–50.
G. M. Bergman, Specially ordered groups, Comm. Algebra 12 (1984), 2315–2333.
G. Birkhoff, On the structure of abstract algebras, Proc. Cambridge Phil. Soc. 31 (1935), 433–454.
G. Birkhoff Lattice-ordered groups, Ann. Math. 43 (1942), 298–331.
S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics 78, Springer-Verlag, New York-Heidelberg-Berlin, 1981.
M. R. Darnel, The free lattice-ordered group over a nilpotent group, Proc. American Math. Soc. 111 (1991), 301–307.
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.
M. R. Darnel, Varieties minimal over representable varieties of lattice-ordered groups, Comm. Algebra 21 (1993), 2637–2665.
M. R. Darnel, Cyclic extension of the Medvedev ordered groups, Czechoslovak Math. J. 43 (118) (1993), 193–204.
M. R. Darnel, Powers of the representable variety of lattice-ordered groups, Algebra Universalis, (to appear).
M. R. Darnel and A. M. W. Glass, Commutator relations and identities in lattice-ordered groups, Michigan Math. J. 36 (1989), 203–211.
V. A. Gorbunov, Covers in the lattice of quasivarieties and independent ax- iomatizability, (in Russian), Algebra i Logika, 16 (1977), 507–548.
S. A. Gurchenkov, Varieties of ℓ-groups with the identity [x p, y p] = e have finite basis, Algebra and Logic 21 (1984), 20–35.
S. A. Gurchenkov, On covers in the lattice of ℓ-varieties, (in Russian), Mat. Zametki, 35 (1984), 677–684.
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.
S. A. Gurchenkov, On the theory of varieties of lattice-ordered groups, (in Russian), Algebra i Logika 27 (1988), 249–273.
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.
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.
S. A. Gurchenkov, On three questions of the theory of ℓ-varieties, (in Russian), Czechoslovak Math. J. 41 (1991), 405–410.
S. A. Gurchenkov, On completion of invariant locally nilpotent subgroups of totally ordered groups, (in Russian), Mat. Zametki, 51 (1992), 35–39.
S. A. Gurchenkov, About varieties of weakly abelian ℓ-groups, to appear in Math. Slovaca.
S. A. Gurchenkov, On amalgamation in ℓ-varieties, (in Russian), to appear in Algebra i Logika.
S. A. Gurchenkov, On Engel lattice-ordered groups, (in Russian), to appear in Algebra i Logika.
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.
Yu. S. Gurevich and A. I. Kokorin, Universal equivalence of ordered abelian groups, (in Russian), Algebra i Logika 2 (1963), 37–39.
M. Hall, The Theory of Groups, Macmillan, New York, 1959.
M. E. Hansen (M. Huss), The lex property of varieties of lattice-ordered groups, Algebra Universalis 28 (1991), 535–548.
W. C. Holland, The lattice-ordered group of automorphisms of an ordered set, Michigan Math. J. 10 (1963), 399–408.
W. C. Holland, The largest proper variety of lattice ordered groups, Proc. American Math. Soc. 57 (1976), 25–28.
W. C. Holland, Varieties of automorphism groups of orders, Trans. American Math. Soc. 288 (1985), 755–763.
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.
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.
M. Huss (M. E. Hansen), Varieties of Lattice-Ordered Groups, Ph. D. Dissertation, Simon Fraser University, (1984).
O. V. Isaeva and N. Ya. Medvedev, Covers in the lattice of quasivarieties of ℓ-groups, (in Russian), Sibirsk. Mat. Zh. 33 (1992), 102–107.
B. Jonsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121.
M. I. Kargapolov and Yu. I. Merzljakov, Fundamentals of the Theory of Groups, Springer-Verlag, Berlin, 1979.
N. G. Khisamiev, Universal theory of lattice-ordered abehan groups, (in Russian), Algebra i Logika 5 (1966), 71–76.
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.
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.
V. M. Kopytov, Free lattice-ordered groups, Algebra and Logic 18(1979), 259– 270.
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.
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.
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.
M. B. Litvinova, On the product of finitely based varieties of lattice-ordered groups, (in Russian), to appear in Algebra i Logika.
Li Si Ze, On the varieties of representable ℓ-groups, (in Chinese with English summary), J. Math. (Wuhan), 10(1990), 321–324.
J. Martinez, Varieties of lattice-ordered groups, Math. Zeit. 137 (1974), 265–284.
N. Ya. Medvedev, The lattices of varieties of lattice-ordered groups and Lie algebras, Algebra and Logic 16 (1977), 27–31.
N. Ya. Medvedev, On the theory of varieties of lattice ordered groups, (in Russian), Czechoslovak Math. J. 32 (1982), 364–372.
N. Ya. Medvedev, Free products of ℓ-groups, (in Russian), Algebra i Logika 23 (1984), 493–511.
N. Ya. Medvedev, Quasivarieties of ℓ-groups and groups, (in Russian), Sibirsk. Mat. Zh. 26 (1985), 111–117.
N. Ya. Medvedev, On o-approximability of bounded Engel ℓ-groups, (in Russian), Algebra i Logika 27 (1988), 418–421.
N. Ya. Medvedev, On nilpotent lattice-ordered groups, (in Russian), Mat. Zametki 45 (1989), 72–79.
N. Ya. Medvedev, On infinite distnbutivity in the lattice of ℓ-varieties, (in Russian), Sibirsk. Mat. Zh. 30 (1989), 216–220.
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.
N. Ya. Medvedev, Independent axiomatization of varieties of lattice-ordered groups, Czechoslovak Math. J. 42 (1992), 53–57.
N. Ya. Medvedev, HSP≠SHPS for metabelian represent able ℓ-groups, Algebra Universalis 31 (1994), 151–156.
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.
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.
W. B. Powell and C. Tsinakis, Covers of the variety of abehan ℓ-groups, Comm. Algebra 17 (1989), 2461–2468.
N. R. Reilly, A subsemilattice of the lattice of varieties of lattice-ordered groups, Canadian J. Math. 33 (1981), 1309–1318.
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.
D. A. Van Rie, Quasivarieties of ℓ-metabelian lattice-ordered groups, Doctoral Thesis, Bowling Green State University, 1991.
S. V. Varaksin, Lattice-ordered groups constructed from right-ordered groups, (in Russian), Algebra i Logika 28 (1989), 524–533.
S. V. Varaksin, Varieties generated by simple ℓ-groups, (in Russian), Sibirsk. Mat. Zh. 31 (1990), 167–180.
S. V. Varaksin, A continuum of minimal quasivarieties of ℓ-groups, (in Russian), Sibirsk. Mat. Zh. 34(1993) N4, 41–49.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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