Projectability and weak homogeneity of pseudo effect algebras

In this paper we deal with a pseudo effect algebra possessing a certain interpolation property. According to a result of Dvurečenskij and Vettterlein, can be represented as an interval of a unital partially ordered group G. We prove that is projectable (strongly projectable) if and only if G is projectable (strongly projectable). An analogous result concerning weak homogeneity of and of G is shown to be valid. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence—Physics of Information (grant I/2/2005).     

Weak homogeneity of lattice ordered groups

In this paper we deal with weakly homogeneous direct factors of lattice ordered groups. The main result concerns the case when the lattice ordered groups under consideration are archimedean, projectable and conditionally orthogonally complete. Supported by VEGA grant 2/4134/24. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information.     

Distinguished Completion of a Direct Product of Lattice Ordered Groups

The distinguished completion E(G) of a lattice ordered group G was investigated by Ball [1], [2], [3]. An analogous notion for MV-algebras was dealt with by the author [7]. In the present paper we prove that if a lattice ordered group G is a direct product of lattice ordered groups G _i (i I), then E(G) is a direct product of the lattice ordered groups E(G _i). From this we obtain a generalization of a result of Ball [3].     

Lexicographic Products of Half Linearly Ordered Groups

The notion of the half linearly ordered group (and, more generally, of the half lattice ordered group) was introduced by Giraudet and Lucas [2]. In the present paper we define the lexicographic product of half linearly ordered groups. This definition includes as a particular case the lexicographic product of linearly ordered groups. We investigate the problem of the existence of isomorphic refinements of two lexicographic product decompositions of a half linearly ordered group. The analogous problem for linearly ordered groups was dealt with by Maltsev [5]; his result was generalized by Fuchs [1] and the author [3]. The isomorphic refinements of small direct product decompositions of half lattice ordered groups were studied in [4].     

Affine completeness and wreath product decompositions of lattice ordered group

Let Δ and H be a nonzero abelian linearly ordered group or a nonzero abelian lattice ordered group, respectively. In this paper we prove that the wreath product of Δ and H fails to be affine complete. Supported by VEGA grant 2/4134/24. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, grant I/2/2005.     

Sequential convergences on cyclically ordered groups without Urysohn’s axiom

In this paper we investigate sequential convergences on a cyclically ordered group G which are compatible with the group operation and with the relation of cyclic order; we do not assume the validity of the Urysohn’s axiom. The system convG of convergences under consideration is partially ordered by means of the set-theoretical inclusion. We prove that convG is a Brouwerian lattice. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, grant I/2/2005.     

Complete Distributivity of Lattice Ordered Groups and of Vector Lattices

In this paper we investigate the possibility of a regular embedding of a lattice ordered group into a completely distributive vector lattice.     

On Some Interpolation Rules for Lattice Ordered Groups

Let be an infinite cardinal. In this paper we define an interpolation rule IR() for lattice ordered groups. We denote by C() the class of all lattice ordered groups satisfying IR(), and prove that C() is a radical class.     

Torsion classes of Specker lattice ordered groups

In this paper we investigate the relations between torsion classes of Specker lattice ordered groups and torsion classes of generalized Boolean algebras.     

Lattice-theoretic properties of algebras of logic

In the theory of lattice-ordered groups, there are interesting examples of properties — such as projectability — that are defined in terms of the overall structure of the lattice-ordered group, but are entirely determined by the underlying lattice structure. In this paper, we explore the extent to which projectability is a lattice-theoretic property for more general classes of algebras of logic. For a class of integral residuated lattices that includes Heyting algebras and semi-linear residuated lattices, we prove that a member of such is projectable iff the order dual of each subinterval [a,1]$[a,1]$ is a Stone lattice. We also show that an integral GMV algebra is projectable iff it can be endowed with a positive Gödel implication. In particular, a ΨMV or an MV algebra is projectable iff it can be endowed with a Gödel implication. Moreover, those projectable involutive residuated lattices that admit a Gödel implication are investigated as a variety in the expanded signature. We establish that this variety is generated by its totally ordered members and is a discriminator variety.     

利用二阶上三角矩阵构造各类非交换的序群

利用二阶上三角矩阵分别构造了非交换的序群、拟序群、拟偏序群和拟格序群.     

Affine Completeness and Lexicographic Product Decompositions of Abelian Lattice Ordered Groups

In this paper it is proved that an abelian lattice ordered group which can be expressed as a nontrivial lexicographic product is never affine complete. This work was supported by VEGA grant 2/1131/21.     

On the Affine Completeness of Lattice Ordered Groups

In the paper it is proved that a nontrivial direct product of lattice ordered groups is never affine complete.     

Direct summands and retract mappings of generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

In the present paper we deal with generalized MV-algebras (GMV-algebras, in short) in the sense of Galatos and Tsinakis. According to a result of the mentioned authors, GMV-algebras can be obtained by a truncation construction from lattice ordered groups. We investigate direct summands and retract mappings of GMV-algebras. The relations between GMV-algebras and lattice ordered groups are essential for this investigation. Supported by VEGA Agency grant 1/2002/05. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, grant I/2/2005.     

关于格序群的极大素子群

研究了格序群的极大素子群的性质以及由素子群根系确定的几种格序群类的结构。     

On Free MV-Algebras

In the present paper we show that free MV-algebras can be constructed by applying free abelian lattice ordered groups.     

Formations of lattice ordered groups and of <Emphasis Type="Italic">GMV</Emphasis>-algebras

A class of lattice ordered groups is called a formation if it is closed with respect to homomorphic images and finite subdirect products. Analogously we define the formation of GMV-algebras. Let us denote by ℱ₁ and ℱ₂ the collection of all formations of lattice ordered groups or of GMV-algebras, respectively. Both ℱ₁ and ℱ₂ are partially ordered by the class-theoretical inclusion. We prove that ℱ₁ satisfies the infinite distributivity law and that ℱ₂ is isomorphic to a principal ideal of ℱ₁. This work was supported by VEGA grant 2/7141/27.     

序半群的一类正则同余

设S是有向序半群,本文给出了S上的一类正则同余,称为强序同余的定义及性质.证明了S的强序同余是强正则同余,但反之不成立.同时证明了强序同余格SOC(S)是S的同余格C(S)关于通常集合的交和传递积的V-完备的分配子格.     

A topology on lattice ordered groups

We show that a lattice ordered group can be topologized in a natural way. The topology depends on the choice of a set of admissible elements (-topology). If a lattice ordered group is 2-divisible and satisfies a version of Archimedes' axiom (-group), then we show that the -topology is Hausdorff. Moreover, we show that a -group with the -topology is a topological group.

     

On the finite embeddability property for residuated ordered groupoids

The finite embeddability property (FEP) for integral, commutative residuated ordered monoids was established by W. J. Blok and C. J. van Alten in 2002. Using Higman's finite basis theorem for divisibility orders we prove that the assumptions of commutativity and associativity are not required: the classes of integral residuated ordered monoids and integral residuated ordered groupoids have the FEP as well. The same holds for their respective subclasses of (bounded) (semi-)lattice ordered structures. The assumption of integrality cannot be dropped in general--the class of commutative, residuated, lattice ordered monoids does not have the FEP--but the class of -potent commutative residuated lattice ordered monoids does have the FEP, for any .