Generalized Specker lattice-ordered groups and two types of distributivity

Let A be a lattice-ordered group, B a generalized Boolean algebra. The Boolean extension A _B of A has been investigated in the literature; we will refer to A _B as a generalized Specker lattice-ordered group (namely, if A is the linearly ordered group of all integers, then A _B is a Specker lattice-ordered group). The paper establishes that some distributivity laws extend from A _B to both A and B, and (under certain circumstances) also conversely.     

Higher derivations and commutativity in lattice-ordered rings

In 1978 I. N. Herstein proved that a prime ring \(R\) of characteristic not two with nonzero derivation \(d\) satisfying \(d(x)d(y)=d(y)d(x)\) for all \(x,y\in R\) is commutative, and in 1995 Bell and Daif showed that \(d(xy)=d(yx)\) implies commutativity. We extend the Bell–Daif theorem to lattice-ordered prime rings with a positive derivation satisfying the property on a one-sided \(L\) -ideal and interpret these conditions for higher derivations in prime \(d\) -rings and in semiprime \(f\) -rings. Our key tool is that every positive derivation nilpotent on a one-sided \(L\) -ideal of a semiprime \(\ell \) -ring is zero on that ideal.     

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.     

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.     

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.     

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.     

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.