Representations of free lattice-ordered groups

We show for any uncountable cardinal that the free groupG of rank has a linear right ordering on which the natural action of the free lattice-ordered groupF of rank is faithful and pathologically 2-transitive. As a consequence, we obtain results on the root system of prime subgroups ofF . This generalizes previous results of McCleary which required the generalized continuum hypothesis and to be regular.     

Nilpotent lattice-ordered groups

Translated from Matematicheskie Zametki, Vol. 45, No. 1, pp. 72–79, January, 1989.     

Engel lattice-ordered groups

An Engel l-group generating a proper normal-valued l-variety is shown to be o-approximable. It is also established that for every proper normal-valued l-varietyF, the class (F) of Engel l-groups from F is a torsion class.Translated fromAlgebra i Logika, Vol. 34, No. 4, pp. 398–404, July-August, 1995.     

Ordering groups and validity in lattice-ordered groups

An inductive characterization is given of the subsets of a group that extend to the positive cone of a right order on the group. This characterization is used to relate validity of equations in lattice-ordered groups (?-groups) to subsets of free groups that extend to the positive cone of a right order. As a consequence, new proofs are obtained of the decidability of the word problem for free ?-groups and generation of the variety of ?-groups by the ?-group of automorphisms of the real line. An inductive characterization is also given of the subsets of a group that extend to the positive cone of an order on the group. In this case, the characterization is used to relate validity of equations in varieties of representable ?-groups to subsets of relatively free groups that extend to the positive cone of an order.     

Signatures andS-discrete lattice-ordered groups

The central theme of this article is the approximation of lattice-ordered groups (l-groups) first by Specker groups and, subsequently, by the so-calledS-discretel-groups. The sense of these approximations is made precise via the notion of a signature, defined below, and by that ofa ^*-subgroups. Sample result: ifG is a projectablel-group then it has anl-subgroupH which is Specker and for which the mapPPH defines a boolean isomorphism between the algebras of polars ofG andH.Presented by L. Fuchs.This article was written while this author was a Stouffer Visiting Professor at the University of Kansas. He wishes to thank the members of the Mathematics Department of that institution for their hospitality.     

Weakly abelian lattice-ordered groups

Every nilpotent lattice-ordered group is weakly Abelian; i.e., satisfies the identity . In 1984, V. M. Kopytov asked if every weakly Abelian lattice-ordered group belongs to the variety generated by all nilpotent lattice-ordered groups [The Black Swamp Problem Book, Question 40]. In the past 15 years, all attempts have centred on finding counterexamples. We show that two constructions of weakly Abelian lattice-ordered groups fail to be counterexamples. They include all preiously considered potential counterexamples and also many weakly Abelian ordered free groups on finitely many generators. If every weakly Abelian ordered free group on finitely many generators belongs to the variety generated by all nilpotent lattice-ordered groups, then every weakly Abelian lattice-ordered group belongs to this variety. This paper therefore redresses the balance and suggests that Kopytov's problem is even more intriguing.

     

Countably valued lattice-ordered groups

A countably valued lattice-ordered group is a lattice-ordered group in which every element has only countably many values. Such lattice-ordered groups are proven to be normal-valued and, though not necessarily special-valued, every element in a countably valuedl-group must have a special value. The class of countably valuedl-groups forms a torsion class, and the torsion radical determined by this class is anl-ideal that is the intersection of all maximal countably valued subgroups.Countably valuedl-groups are shown to be closed with respect toeventually constant sequence extensions, and it is shown that many properties of anl-group pass naturally to its eventually constant sequence extension.Presented by M. Henriksen.     

Extensions of lattice-ordered groups

A number of conditions are specified which are sufficient for totally ordered groups with polycyclic factor group to contain a finite normal series of convex subgroups whose factors possess good enough properties. In any case studying such totally ordered groups is reduced to treating extensions of these groups as well as their virtually o-equivalent extensions. The concept of a virtually o-equivalent extension is a particular case of the notion of an Archimedean extension. Supported by RFBR project No. 03-01-00320. Translated from Algebra i Logika, Vol. 47, No. 5, pp. 529–540, September–October, 2008.     

Singular Archimedean lattice-ordered groups

W stands for the category of all archimedean l-groups with designated weak unit. The subcategory W _s of all groups with singular weak unit is analyzed as a full subcategory of W which is both epireflective and monocoreflective. A general technique for "contracting" monoreflections of a category A to a monocoreflective subcategory B is developed and then applied to W _s to show that: (i) the projectable hull in W _s is a monoreflection; (ii) essential hulls in W _s are formed by simply taking the lateral completion, and G is essentially closed in this category if and only if , where X is compact, Hausdorff and extremally disconnected; (iii) the maximum monoreflection on W _s , denoted , is obtained by contracting the maximum monoreflection on W, and G is epicomplete in W _s precisely when G is laterally -complete; (iv) the maximum essential reflection on W _s , denoted , is the contraction of the maximum essential reflection on W. Received January 22, 1997; accepted in final form June 11, 1998.