The semigroup of varieties of weakly associative lattice groups
In this paper we study some special residuated lattices, namely, idempotent residuated chains. After giving some properties of Green’s relation on the monoid reduct of an idempotent residuated chain, we establish a structure theorem for idempotent residuated chains. As an application, we give necessary and sufficient conditions for a band with an identity to be the monoid reduct of some idempotent residuated chain. Finally, based on the structure theorem for idempotent residuated chains, we obtain...
We give some necessary and sufficient conditions for transitive -permutation groups to be -transitive. We also discuss primitive components and give necessary and sufficient conditions for transitive -permutation groups to be normal-valued.
Let and be two Archimedean vector lattices and let and be their order continuous order biduals. If is a positive orthosymmetric bimorphism, then the triadjoint of is inevitably orthosymmetric. This leads to a new and short proof of the commutativity of almost -algebras.
The -property of a Riesz space (real vector lattice) is: For each sequence of positive elements of , there is a sequence of positive reals, and , with for each . This condition is involved in studies in Riesz spaces of abstract Egoroff-type theorems, and of the countable lifting property. Here, we examine when “” obtains for a Riesz space of continuous real-valued functions . A basic result is: For discrete , has iff the cardinal , Rothberger’s bounding number. Consequences and...
It is shown that any set-open topology on the automorphism group A(X) of a chain X coincides with the pointwise topology and that A(X) is a topological group with respect to this topology. Topological properties of connectedness and compactness in A(X) are investigated. In particular, it is shown that the automorphism group of a doubly homogeneous chain is generated by any neighborhood of the identity element.
For an order embedding of a partly ordered group into an -group a topology is introduced on which is defined by a family of valuations on . Some density properties of sets , and ( being -ideals in ) in the topological space are then investigated, each of them being equivalent to the statement that is a strong theory of quasi-divisors.