It is shown that every boolean right near-ring R is weakly commutative, that is, that xyz = xzy for each x, y, z ∈ R. In addition, an elementary proof is given of a theorem due to S. Ligh which states that a d.g. boolean near-ring is a boolean ring. Finally, a characterization theorem is given for a boolean near-ring to be isomorphic to a particular collection of functions which form a boolean near-ring with respect to the customary operations of addition and composition of mappings.

We characterize the generalized ordered topological spaces X for which the uniformity (X) is convex. Moreover, we show that a uniform ordered space for which every compatible convex uniformity is totally bounded, need not be pseudocompact.

Given a variety K of lattice-ordered algebras, A ∈ K is catalytic if for all B ∈ K, K(A, B) is a lattice for the pointwise order. The catalytic objects are determined for various varieties of distributive-lattice-ordered algebras. The characterisations obtained do not show an overall unity and exhibit diverse behaviour. Duality is employed extensively. Its usefulness in this context depends on the existence of an order-isomorphism between K(A, B) and the corresponding dual horn-set. Criteria for the existence of such an order-isomorphism are investigated for dualities of the Davey-Werner type. The relationship between catalytic objects and colattices is also discussed.

A new arrow notation is used to describe biordered sets. Biordered sets are characterized as biordered subsets of the partial algebras formed by the idempotents of semigroups. Thus it can be shown that in the free semigroup on a biordered set factored out by the equations of the biordered set there is no collapse of idempotents and no new arrows.

Let E be an Archimedean Riesz space and let Orth∞(E) be the f-algebra consisting of all extended orthomorphisms on E, that is, of all order bounded linear operators T:D→E, with D an order dense ideal in E, such that T(B∩D) ⊆ B for every band B in E. We give conditions on E and on a Riesz subspace F of E insuring that every T ∈ Orth∞(F) can be extended to some ∈ Orth∞(E), and we also consider the problem of inversing an extended orthomorphism on its support. The same problems are also studied in the case of σ-orthomorphisms, that is, extended orthomorphisms with a super order dense domain. Furthermore, some applications are given.

The author presents a proof that a partially ordered strongly regular ring S which has the additional property that the square of each member of S is greater than or equal to zero cannot have nontrivial positive derivations.

Let A be an Archimedean, uniformly complete, semiprime f-algebra and F(X1,…Xn) ∈ R+ [X1,…Xn] a homogeneous polynomial of degree p (p∈ N). It is shown that (F(u 1…unn))1/p exists in A+ for all u1…un ∈ A+.

There is no single generalization of distributivity to semilattices. This paper investigates the class of mildly distributive semilattices, which lies between the two most commonly discussed classes in this area—weakly distributive semilattices and distributive semilattices. Particular attention is paid to describing and characterizing congruence distributive mildly distributive semilattices, in contrast to distributive semilattices, whose lattice of join partial congruences is badly behaved and which are difficult to describe.

A Hausdorff space X is said to be compactly generated (a k-space) if and only if the open subsets U of X are precisely those subsets for which K ∩ U is open in K for all compact subsets of K of X. We interpret this property as a duality property of the lattice O(X) of open sets of X. This view point allows the introduction of the concept of being quasicompactly generated for an arbitrary sober space X. The methods involve the duality theory of up-complete semilattices, and certain inverse limit constructions. In the process, we verify that the new concept agrees with the classical one on Hausdorff spaces.

A maximal tolerance of a lattice L without infinite chains is either a congruence or a central relation. A finite lattice L is order-polynomially complete if and only if L is simple and has no central relation.

A regular double p-algebra L satisfying (i) ∩(xn(+*); n < ω) for every 1 ≠ x ∈ L and (ii) L is not subdirectly irreducible, is constructed. The construction is purely topological and the desired result is obtained via the known Priestly duality. The notion of an auxiliary regular double p-algebra is introduced and the algebras having this property are characterized.

Algebras (A, ∧, ∨, ~, γ, 0, 1) of type (2,2,1,1,0,0) such that (A, ∧, ∨, ~, γ 0, 1) is a De Morgan algebra and γ is a lattice homomorphism from A into its center that satisfies one of the conditions (i) a ≤ γa or (ii) a ≤ ~ a ∧ γa are considered. The dual categories and the lattice of their subvarieties are determined, and applications to Lukasiewicz algebras are given.

This paper establishes an important link between the class of abelian l-groups and the class of distributive lattices with a distinguished element. This is accomplished by describing the distributive lattice free product of a family of abelian l-groups as a naturally generated sublattice of their abelian l-group free product.

Recently, we have introduced the notion of stable permutations in a Latin rectangle L(r×c) of r rows and c columns. In this note, we prove that the set of all stable permutations in L (r×c) forms a distributive lattice which is Boolean if and only if c ≤ 2.

Let T be a totally ordered set, PT the semigroup of partial transformations on T, and A(T) the l-group of order-preserving permutations of T. We show that PT is a regular left l-semigroup. Let be the set of α ∈ PT such that α is order-preserving and the domain of α is a final segment of T. Then is an l-semigroup, and we prove that it is the largest transitive l-subsemigroup of PT which contains A(T). When T is Dedekind complete, we characterize the largest regular l-semigroup of . When A(T) is also 0 − 2 transitive we show that there can be no l-subsemigroup of properly containing A(T) which is either inverse or a union of groups.

By using the concept of tame embeddings of chains, a characterization is given of the subobjects of the lattice-ordered groups of order-automorphisms of the chains of rational and real numbers.

The concept of ‘Almost Distributive Lattices’ (ADL) is introduced. This class of ADLs includes almost all the existing ring theoretic generalisations of a Boolean ring (algebra) like regular rings, P-rings, biregular rings, associate rings, P1-rings, triple systems, etc. This class also includes the class of Baer-Stone semigroups. A one-to-one correspondence is exhibited between the class of relatively complemented ADLs and the class of Almost Boolean Rings analogous to the well-known Stone's correspondence. Many concepts in distributive lattices can be extended to the class of ADLs through its principal ideals which from a distributive lattice with 0. Subdirect and Sheaf representations of an ADL are obtained.

The lateral completion of a completely distributive lattice-ordered permutation group is investigated via various completions, obtained by adjoining permutations which match some elements of the given group in various ways. This makes known results on the lateral completion of a completely distributive lattice-ordered group both transparent and easy.

Reduced rings and lattice-ordered groups are examples of groups with Boolean orthogonalities. In this note we show that any group with a Boolean orthogonality satisfying a finiteness condition introduced by Stewart is isomorphic with a group of homeomorphisms of a topological space, in which two homeomorphisms are orthogonal if and only if they have disjoint supports.

Let Q be the ring of quotients of the f-ring R with respect to a positive hereditary torsion theory and suppose Q is a right f-ring. It is shown that if the finitely-generated right ideals of R are principal, then Q is an f-ring. Also, if QR is injective, Q is an f-ring if and only if its Jacobson radical is convex. Moreover, a class of po-rings is introduced (which includes the classes of commutative po-rings and right convex f-rings) over which Q(M) is an f-module for each f-module M.