zbMATH — the first resource for mathematics

Varieties of lattice ordered groups that contain no non-Abelian o-groups are solvable. (English) Zbl 0616.06016
The author extends the recent progress in describing the lattice of varieties of lattice-ordered groups and in particular the lattice of subvarieties in the family of varieties \(\{L_ n\}\), one for each positive integer n, where \(L_ n\) is defined by the identity \(x^ ny^ n=y^ nx^ n\). It is shown that if n is a product of k not necessarily distinct prime numbers, then \(L_ n\subseteq A^{k+1}\) the \((k+1)st\) power of the variety A of all Abelian lattice-ordered groups. Thus, the variety \(L_ n\) is solvable of class \(k+1\). Let R denote the variety generated by all totally ordered groups. That \(L_ n\cap R=A\) was known and the author shows that if the variety V satisfies \(V\cap R=A\), then \(V\subseteq L_ n\) for some n and V is a variety of solvable \(\ell\)- groups. Hence, if V is any variety of \(\ell\)-groups that contains no non- abelian o-groups, then V is solvable. It therefore follows by a result of S. A. Gurchenkov that the only covers of A not in R are the Scrimger varieties \(\{S_ p\}\), p some prime number. The author notes that this last result was obtained independently by V. M. Kopytov and M. Darnel.
Reviewer: S.P.Hurd

06F15 Ordered groups
08B15 Lattices of varieties
20E10 Quasivarieties and varieties of groups
Full Text: DOI
[1] A. Bigard, K. Keimel, and S. Wolfenstein (1977) Groupes et anneaux r?ticul?s, Lecture Notes in Mathematics 628, Springer-Verlag, Berlin, Heidelberg, New York. · Zbl 0384.06022
[2] P. Conrad (1970) Lattice ordered groups, Lecture Notes, Tulane University. · Zbl 0213.31502
[3] M. Darnel, Special-valued l-groups and Abelian covers, preprint. · Zbl 0627.06014
[4] T. Feil (1981) An uncountable tower of l-group varieties, Alg. Universalis 14, 129-131. · Zbl 0438.06003
[5] A. M. Glass (1981) Ordered Permutation Groups, London Math. Soc. Lecture Notes 55. · Zbl 0473.06010
[6] A. M. W. Glass, W. Charles Holland, and S. H. McCleary (1980) The structure of l-group varieties, Alg. Universalis 10, 1-20. · Zbl 0439.06013
[7] S. A. Gurchenkov (1982) Minimal varieties of l-groups, Algebra i Logika 21, 131-137 (Algebra and Logic 21, 83-87).
[8] S. A. Gurchenkov (1984) Varieties of l-groups with the identity [x p y p =y p x p ] have finite basis, Algebra i Logika 23, 27-47, (Algebra and Logic 23, 20-35). · Zbl 0544.06013
[9] W. C. Holland (1963) The lattice ordered group of automorphisms of an ordered set, Michigan Math. J. 10, 399-408. · Zbl 0116.02102
[10] W. C. Holland (1979) Varieties of l-groups are torsion classes. Czech. Math. J. 29, 11-12. · Zbl 0432.06011
[11] W. C. Holland, A. Mekler, and N. R. Reilly, Varieties of lattice ordered groups in which prime powers commute (preprint). · Zbl 0598.06008
[12] W. C. Holland and N. R. Reilly, Metabelian varieties of l-groups which contain no non-abelian o-groups. (preprint). · Zbl 0648.06009
[13] J. Martinez (1974) Varieties of lattice ordered groups, Math. Z. 137, 265-284. · Zbl 0281.20023
[14] N. Ya. Medvedev (1977) The lattice of varieties of lattice ordered groups and lie algebras, Algebra i Logika 16, 40-45. (Algebra and Logic 16 (1977) 27-31).
[15] N. R. Reilly and R. Wroblewski (1981) Suprema of generalized Scrimger varieties of lattice ordered groups, Math. Z. 176, 293-309. · Zbl 0451.06016
[16] E. B. Scrimger (1975) A large class of small varieties of lattice ordered groups Proc. Amer. Math. Soc. 51, 301-306. · Zbl 0312.06010
[17] J. E. Smith (1981) A new family of l-group varieties, Houston J. Math. 7, 551-570. · Zbl 0503.06017
[18] V. M. Kopytov and S. A. Gurchenkov (1987) On covers of a variety of Abelian lattice ordered groups, Siberian Math. J. 28, No. 3. · Zbl 0632.06023
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.