We denote by the class of all abelian lattice ordered groups such that each disjoint subset of is finite. In this paper we prove that if , then the cut completion of coincides with the Dedekind completion of .
A quantale is a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins. We define the notions of right (left, two) sided derivation and idempotent derivation and investigate the properties of them. It’s well known that quantic nucleus and quantic conucleus play important roles in a quantale. In this paper, the relationships between derivation and quantic nucleus (conucleus) are studied via introducing the concept of pre-derivation.
This paper deals with a question concerning -ideals of -groups which was proposed by V. M. Kopytov and Z. J. Dimitrov. We shall also investigate a class of -groups which is in a certain sense near to the class of all lattice ordered groups.
In the paper we prove that every orthosymmetric lattice bilinear map on the cartesian product of a vector lattice with itself can be extended to an orthosymmetric lattice bilinear map on the cartesian product of the Dedekind completion with itself. The main tool used in our proof is the technique associated with extension to a vector subspace generated by adjoining one element. As an application, we prove that if is a commutative -algebra and its Dedekind completion, then, can be equipped...
Henriksen and Isbell showed in 1962 that some commutative rings admit total orderings that violate equational laws (in the language of lattice-ordered rings) that are satisfied by all totally-ordered fields. In this paper, we review the work of Henriksen and Isbell on this topic, construct and classify some examples that illustrate this phenomenon using the valuation theory of Hion (in the process, answering a question posed in [E]) and, finally, prove that a base for the equational theory of totally-ordered...
In the present paper we show that free -algebras can be constructed by applying free abelian lattice ordered groups.
The paper considers a fuzzification of the notion of quantaloid of K. I. Rosenthal, which replaces enrichment in the category of -semilattices with that in the category of modules over a given unital commutative quantale. The resulting structures are called quantale algebroids. We show that their constitute a monadic category and prove a representation theorem for them using the notion of nucleus adjusted for our needs. We also characterize the lattice of nuclei on a free quantale algebroid. At...
The fuzzification of (normal) -subalgebras is considered, and some related properties are investigated. A characterization of a fuzzy -algebra is given.