scholarly journals A Note on Commutative l-Groups

1971 ◽  
Vol 12 (1) ◽  
pp. 69-74 ◽  
Author(s):  
T. P. Speed ◽  
E. Strzelecki

Let G be a commutative lattice ordered group. Theorem 1 gives necessary and sufficient conditions under which a⊥ with a∈G is a maximal l-ideal. A wide family of, l-groups G having the property that the orthogonal complement of each atom is a maximal l-ideal is described. Conditionally σ-complete and hence conditionally complete vector lattices belong to the family.It follows immediately that if a is an atom in a conditionally complete vector lattice then a⊥ is a maximal vector lattice ideal. This theorem has been proved in [7] by Yamamuro. Theorem 2 generalizes another result contained in [7]. Namely we prove that if M is a closed maximal l-ideal of an archimedean l-group G then there exists an atom a ∈ G such that M = a⊥.

1971 ◽  
Vol 5 (3) ◽  
pp. 331-335 ◽  
Author(s):  
Roger D. Bleier

We show that each archimedean lattice-ordered group is contained in a unique (up to isomorphism) minimal archimedean vector lattice. This improves a result of Paul F. Conrad appearing previously in this Bulletin. Moreover, we show that this relationship between archimedean lattice-ordered groups and archimedean vector lattices is functorial.


1968 ◽  
Vol 20 ◽  
pp. 1136-1149 ◽  
Author(s):  
Norman M. Rice

B. Z. Vulih has shown (13) how an essentially unique intrinsic multiplication can be defined in a Dedekind complete vector lattice L having a weak order unit. Since this work is available only in Russian, a brief outline is given in § 2 (cf. also the review by E. Hewitt (4), and for details, consult (13) or (11)).


1968 ◽  
Vol 20 ◽  
pp. 1362-1364 ◽  
Author(s):  
Paul Conrad

A subset {s α| α ϵ △} of a lattice-ordered group (l-group) is disjoint if Sα Λ Sβ= 0 for all α≠ β in △. An l-group G has the lifting property if for each l-ideal S of G and each countable disjoint subset X1, X2, … of G/S one can choose elements 0 ≦ xi ϵ Xi so that x1, x2, … is a disjoint subset of G. In (2) Topping showed by an example, that uncountable sets of disjoint elements cannot necessarily be lifted and asserted (Theorem 8) that each vector lattice has the lifting property. His proof is valid for finite disjoint subsets of G/S, but we show by an example that this is, in general, all that one can establish.


2011 ◽  
Vol 61 (3) ◽  
Author(s):  
V. Bludov ◽  
A. Glass

AbstractLet H i be a sublattice subgroup of a lattice-ordered group G i (i = 1, 2). Suppose that H 1 and H 2 are isomorphic as lattice-ordered groups, say by φ. In general, there is no lattice-ordered group in which G 1 and G 2 can be embedded (as lattice-ordered groups) so that the embeddings agree on the images of H 1 and H 1φ. In this article we prove that the group free product of G 1 and G 2 amalgamating H 1 and H 1φ is right orderable and so embeddable (as a group) in a lattice-orderable group. To obtain this, we use our necessary and sufficient conditions for the free product of right-ordered groups with amalgamated subgroup to be right orderable [BLUDOV, V. V.—GLASS, A. M. W.: Word problems, embeddings, and free products of right-ordered groups with amalgamated subgroup, Proc. London Math. Soc. (3) 99 (2009), 585–608]. We also provide new limiting examples to show that amalgamation can fail in the category of lattice-ordered groups even when the amalgamating sublattice subgroups are convex and normal (ℓ-ideals) and solve of Problem 1.42 from [KOPYTOV, V. M.—MEDVEDEV, N. YA.: Ordered groups. In: Selected Problems in Algebra. Collection of Works Dedicated to the Memory of N. Ya. Medvedev, Altaii State University, Barnaul, 2007, pp. 15–112 (Russian)].


2021 ◽  
Vol 15 (3) ◽  
Author(s):  
Yang Deng ◽  
Marcel de Jeu

AbstractFor vector lattices E and F, where F is Dedekind complete and supplied with a locally solid topology, we introduce the corresponding locally solid absolute strong operator topology on the order bounded operators $${\mathscr{L}}_{\mathrm{ob}}(E,F)$$ L ob ( E , F ) from E into F. Using this, it follows that $${\mathscr{L}}_{\mathrm{ob}}(E,F)$$ L ob ( E , F ) admits a Hausdorff uo-Lebesgue topology whenever F does. For each of order convergence, unbounded order convergence, and—when applicable—convergence in the Hausdorff uo-Lebesgue topology, there are both a uniform and a strong convergence structure on $${\mathscr{L}}_{\mathrm{ob}}(E,F)$$ L ob ( E , F ) . Of the six conceivable inclusions within these three pairs, only one is generally valid. On the orthomorphisms of a Dedekind complete vector lattice, however, five are generally valid, and the sixth is valid for order bounded nets. The latter condition is redundant in the case of sequences of orthomorphisms, as a consequence of a uniform order boundedness principle for orthomorphisms that we establish. We furthermore show that, in contrast to general order bounded operators, orthomorphisms preserve not only order convergence of nets, but unbounded order convergence and—when applicable—convergence in the Hausdorff uo-Lebesgue topology as well.


2020 ◽  
Vol 17 (5) ◽  
Author(s):  
Ralph Chill ◽  
Marat Pliev

Abstract In this paper, we introduce a new class of operators on vector lattices. We say that a linear or nonlinear operator T from a vector lattice E to a vector lattice F is atomic if there exists a Boolean homomorphism $$\Phi $$ Φ from the Boolean algebra $${\mathfrak {B}}(E)$$ B ( E ) of all order projections on E to $${\mathfrak {B}}(F)$$ B ( F ) such that $$T\pi =\Phi (\pi )T$$ T π = Φ ( π ) T for every order projection $$\pi \in {\mathfrak {B}}(E)$$ π ∈ B ( E ) . We show that the set of all atomic operators defined on a vector lattice E with the principal projection property and taking values in a Dedekind complete vector lattice F is a band in the vector lattice of all regular orthogonally additive operators from E to F. We give the formula for the order projection onto this band, and we obtain an analytic representation for atomic operators between spaces of measurable functions. Finally, we consider the procedure of the extension of an atomic map from a lateral ideal to the whole space.


2021 ◽  
Vol 2021 ◽  
pp. 1-11
Author(s):  
Nonna Dzhusoeva ◽  
Ruslan Kulaev ◽  
Marat Pliev

In this article, we introduce and study a new class of operators defined on a Cartesian product of ideal spaces of measurable functions. We use the general approach of the theory of vector lattices. We say that an operator T : E × F ⟶ W defined on a Cartesian product of vector lattices E and F and taking values in a vector lattice W is orthogonally biadditive if all partial operators T y : E ⟶ W and T x : F ⟶ W are orthogonally additive. In the first part of the article, we prove that, under some mild conditions, a vector space of all regular orthogonally biadditive operators O B A r E , F ; W is a Dedekind complete vector lattice. We show that the set of all horizontally-to-order continuous regular orthogonally biadditive operators is a projection band in O B A r E , F ; W . In the last section of the paper, we investigate orthogonally biadditive operators on a Cartesian product of ideal spaces of measurable functions. We show that an integral Uryson operator which depends on two functional variables is orthogonally biadditive and obtain a criterion of the regularity of an orthogonally biadditive Uryson operator.


Author(s):  
Thomas W. Reiland

Interval-Lipschitz mappings between topological vector spaces are defined and compared with other Lipschitz-type operators. A theory of generalized gradients is presented when both spaces are locally convex and the range space is an order complete vector lattice. Sample applications to the theory of nonsmooth optimization are given.


2012 ◽  
Vol 05 (03) ◽  
pp. 1250045 ◽  
Author(s):  
Mohamed Ali Toumi

Let A be an ℓ-algebra and let θ and ϕ be two endomorphisms of A. The couple (θ, ϕ) is called to be separating if xy = 0 implies θ(x)ϕ(y) = 0. If in addition θ and ϕ are ring endomorphisms of A, then the couple (θ, ϕ) is said to be ring-separating. An additive mapping δ : A → A is called (θ, ϕ)-separating derivation on A if there exists a (θ, ϕ)-separating couple with δ(xy) = δ(x)θ(y) + ϕ(x)δ(y), holds for all x, y ∈ A. If an addition θ, ϕ and δ are continuous, then δ is called a continuous (θ, ϕ)-ring-separating derivation. If in addition the couple (θ, ϕ) is ring-separating then δ is called a continuous (θ, ϕ)-ring-separating derivation. An additive mapping F : A → A is called a continuous generalized (θ, ϕ)-separating derivation on A if F is continuous mapping and if there exists a derivation d : A → A such that θ and ϕ are continuous, (θ, ϕ) is a separating couple and F(xy) = F(x)θ(y) + ϕ(x)d(y), holds for all x, y ∈ A. In this paper, we give a description of continuous (θ, ϕ)-ring-separating derivations on some ℓ-algebras. This generalizes a well-known theorem by Colville, Davis, and Keimel [Positive derivations on f-rings, J. Austral. Math. Soc23 (1977) 371–375] and generalizes the results of Boulabiar in [Positive derivations on almost f-rings, Order19 (2002) 385–395], Ben Amor [On orthosymmetric bilinear maps, Positivity14(1) (2010) 123–130] and Toumi et al. in [Order bounded derivations on Archimedean almost f-algebras, Positivity14(2) (2010) 239–245]. Moreover, inspiring from [Toumi, Order-bounded generalized derivations on Archimedean almost f-algebras, Commun. Algebra38(1) (2010) 154–164], it is shown that the notion of continuous generalized (θ, ϕ)-separating derivation on an archimedean almost f-algebra A is the concept of generalized θ-multiplier, that is an additive mapping satisfying F(xyz) = F(x)θ(yz), for all x, y, z ∈ A. In the case where A is an archimedean f-algebra, the situation improves. Indeed, the collection of all continuous generalized (θ, ϕ)-separating derivation on A coincides with the concept of θ-multiplier, that is an additive mapping satisfying F(xy) = F(x)θ(y), for all x, y ∈ A. If in addition A is a Dedekind complete vector lattice and θ is a positive mapping, then the set of all order bounded generalized of the form (θ, ϕ)-separating derivations on A, under composition, is an archimedean lattice-ordered algebra.


Sign in / Sign up

Export Citation Format

Share Document