Научная статья на тему 'Lattice structure on bounded homomorphisms between topological lattice rings'

Lattice structure on bounded homomorphisms between topological lattice rings Текст научной статьи по специальности «Математика»

CC BY
71
8
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
LOCALLY SOLID ℓ-RING / BOUNDED GROUP HOMOMORPHISM / LATTICE ORDERED RING

Аннотация научной статьи по математике, автор научной работы — Zabeti Omid

Suppose X is a topological ring. It is known that there are three classes of bounded group homomorphisms on X whose topological structures make them again topological rings. First, we show that if X is a Hausdorff topological ring, then so are these classes of bounded group homomorphisms on X. Now, assume that X is a locally solid lattice ring. In this paper, our aim is to consider lattice structure on these classes of bounded group homomorphisms; more precisely, we show that, under some mild assumptions, they are locally solid lattice rings. In fact, we consider bounded order bounded homomorphisms on X. Then we show that under the assumed topology, they form locally solid lattice rings. For this reason, we need a version of the remarkable Riesz-Kantorovich formulae for order bounded operators in Riesz spaces in terms of order bounded homomorphisms on topological lattice groups.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Решеточная структура в пространстве ограниченных гомоморфизмов между топологическими решеточно упорядоченными кольцами

Предположим, что X топологическое кольцо. Известно, что существует три класса ограниченных групповых гомоморфизмов на X, топологические структуры которых снова превращают их в топологические кольца. Сначала покажем, что если X является хаусдорфовым топологическим кольцом, то же таковыми будут и упомянутые классы ограниченных групповых гомоморфизмов на X. Затем предположим, что X является локально солидным решеточно упорядоченным кольцом. Цель настоящей статьи рассмотреть решеточную структуру в этих классах ограниченных групповых гомоморфизмов; точнее, покажем, что при некоторых слабых предположениях они являются локально солидными решеточно упорядоченными кольцами. Фактически мы покажем, что при предполагаемой топологии они образуются локально солидные решеточно упорядоченные кольца. Чтобы это сделать, нам нужны варианты формул Рисса Канторовича дял порядково ограниченных гомоморфизмов в топологических решеточно упорядоченных группах, хорошо известные в случае порядково ограниченных линейных операторов в пространствах Рисса.

Текст научной работы на тему «Lattice structure on bounded homomorphisms between topological lattice rings»

Vladikavkaz Mathematical Journal 2019, Volume 21, Issue 3, P. 14-23

УДК 517.98

DOI 10.23671 /VNC.2019.3.36457

LATTICE STRUCTURE ON BOUNDED HOMOMORPHISMS BETWEEN TOPOLOGICAL LATTICE RINGS

O. Zabeti1

1 University of Sistan and Baluchestan, P.O. Box 98135-674, Zahedan, Iran E-mail: [email protected]

Abstract. Suppose X is a topological ring. It is known that there are three classes of bounded group homomorphisms on X whose topological structures make them again topological rings. First, we show that if X is a Hausdorff topological ring, then so are these classes of bounded group homomorphisms on X. Now, assume that X is a locally solid lattice ring. In this paper, our aim is to consider lattice structure on these classes of bounded group homomorphisms; more precisely, we show that, under some mild assumptions, they are locally solid lattice rings. In fact, we consider bounded order bounded homomorphisms on X. Then we show that under the assumed topology, they form locally solid lattice rings. For this reason, we need a version of the remarkable Riesz-Kantorovich formulae for order bounded operators in Riesz spaces in terms of order bounded homomorphisms on topological lattice groups.

Key words: locally solid l-ring, bounded group homomorphism, lattice ordered ring. Mathematical Subject Classification (2010): 13J25, 06F30.

For citation: Zabeti, O. Lattice Structure on Bounded Homomorphisms Between Topological Lattice Rings, Vladikavkaz Math. J., 2019, vol. 21, no. 3, pp. 14-23. DOI: 10.23671/VNC.2019.3.36457.

1. Introduction and Preliminaries

Let us start with some motivation. Topological rings usually appear in many contexts in functional analysis. The ring of all continuous functions on a topological space; where the topology is given by pointwise convergence, the integers with discrete topology, the ring of all of matrices with entries in a topological ring; where the topology is given by pointwise convergence are all examples of topological rings. Many of these examples have also lattice structures. So, topological lattice rings come readily to mind as an interesting subject to study in the category of all rings. Furthermore, when we have topological lattice algebraic structures, it is a natural and interesting direction to investigate functions (homomorphisms) which respect topological, lattice and algebraic structures.

The concept of a lattice group (l-group, for short) was firstly investigated in [1, 2]. In addition, topological l-groups as an extension of topological Riesz spaces are appeared in [3, 4], at first. Although, Riesz spaces are widely investigated in many directions for decades, lattice groups are rarely considered in the literatures; only recently, a comprehensive reference announced regarding basic properties of topological l-groups (see [5] for more details).

Nevertheless, the notion of a lattice ring (l-ring) is even considered less than l-groups in the contexts. To our best knowledge, it is initially investigated in [6, 7]. The situation got stricter while adding topological notion to them; the earliest special literature is [8].

© 2019 Zabeti, O.

Note that since topological l-groups are a generalization of topological Riesz spaces which contain many known and applicable objects such as Banach lattices and examples therein, they are investigated in more details at least in the contexts so that topological l-rings seem to be largely unexplored with respect to topological l-groups. On the other hand, topological rings arise almost in many directions of topological fields; for example, the completion of a topological field is always a topological ring. Moreover, the set of all real continuous functions on a Hausdorff topological space, the set of all matrices defined on a field, are examples of rings which are widely useful in the literatures. So, it is of independent interest to discover different directions of rings such as topological and order notions; topological and order aspects are considered in several contexts, separately (see [7-10], for example) but using both order and topological ones have been investigated not so much.

In [11], Mirzavaziri and the author considered three non-equivalent classes of bounded group homomorphisms on a topological ring and endowed them with appropriate topologies which make them again topological rings. Now, suppose X is a locally solid l-ring. In this note, our attempt is to consider lattice structures on these classes of bounded homomorphisms. In fact, we show that under some mild hypotheses, they configure locally solid l-rings.

For recent progress on topological l-groups as well as basic expositions on these notions, see [5]. Finally, for undefined terminology, general theme about l-rings and the related subjects, we refer the reader to [7].

Let us first, recall some required notions and terminology. Suppose X is a topological ring. A set B C X is called bounded if for each zero neighborhood W C X, there is a zero neighborhood V C X such that VB C W and BV C W. Now, assume that G is a topological group; a subset B C G is said to be bounded if for each neighborhood U at the identity, there is a positive integer n with B C nU.

By a topological lattice group (l-group), we mean an abelian topological group which is also a lattice at the same time such that the lattice operations are continuous with respect to the assumed topology. A topological lattice ring (l-ring) is a topological ring which is simultaneously an l-group such that the multiplication and order structure are compatible via the inequality |x ■ y| ^ |x| ■ |y|; for more details, we refer the reader to [5].

A Birkhoff and Pierce ring (f-ring) is a lattice ordered ring with this property: a A b = 0 and c ^ 0 imply that ca Ab = ac Ab = 0. For ample facts regarding this subject, see [7]. It was initially presented by Birkhoff and Pierce in [6] to illustrate some understandable examples in lattice ring theory and apparently, it turned out to have many interesting and fruitful tools among the category of lattice rings.

An l-group G is called Dedekind complete if every non-empty bounded above subset of G has a supremum. G is Archimedean if nx ^ y for each n € N implies that x ^ 0. One may verify easily that every Dedekind complete l-group is Archimedean. In this note, all topological groups are considered to be abelian. A subset S C G is called solid if x € G, y € S, and |x| ^ |y| imply that x € S. Topological l-group (G, t) is said to be locally solid if t contains a base of neighborhoods at identity consists of solid sets. S is said to be order bounded if it is contained in an order interval.

Suppose G is a topological l-group. A net (xa) C G is said to be order convergent to x € G if there exists a net (zg) (possibly over a different index set) such that zg l 0 and for every ,0, there is an a0 with |xa — x| ^ zg for each a ^ a0. A subset A C G is called order closed if it contains limits of all order convergent nets which are lying on A.

Keep in mind that topology t on a topological l-group (G, t) is referred to as Fatou if it has a local basis at the identity consists of solid order closed neighborhoods.

Suppose G and H are l-groups. A homomorphism T : G ^ H is said to be positive if it maps positive elements of G into positive ones in H.

Now, we recall some definition we need in the sequel (see [11] for further notifications about these facts). It should be mentioned here that in [11], the authors used the notion B(X, Y) for rings of all bounded group homomorphisms between topological rings; in this note, we replace it with Hom(X, Y) in compatible with [12] for homomorphisms as well as to show their nature as a homomorphism not an operator.

Definition l.Let X and Y be two topological rings. A group homomorphism T : X ^ Y is said to be

(1) nr-bounded if there exists a zero neighborhood U C X such that T(U) is bounded in Y;

(2) br-bounded if for every bounded set B C X, T(B) is bounded in Y.

The set of all nr-bounded (br-bounded) homomorphisms from a topological ring X to a topological ring Y is denoted by Homnr(X, Y) (Hombr(X, Y)). We write Hom(X) instead of Hom(X, X).

Now, assume X is a topological ring. The class of all nr-bounded group homomorphisms on X equipped with the topology of uniform convergence on some zero neighborhood is denoted by Homnr(X). Observe that a net (Sa) of nr-bounded homomorphisms converges uniformly on a neighborhood U to a homomorphism S if for each neighborhood V there exists an a0 such that for each a ^ a0, (Sa — S)(U) C V.

The class of all br-bounded group homomorphisms on X endowed with the topology of uniform convergence on bounded sets is denoted by Hombr(X). Note that a net (Sa) of br-bounded homomorphisms uniformly converges to a homomorphism S on a bounded set B C X if for each zero neighborhood V there is an a0 with (Sa — S)(B) C V for each a ^ a0.

The class of all continuous group homomorphisms on X equipped with the topology of cr-convergence is denoted by Homcr(X). A net (Sa) of continuous homomorphisms cr-converges to a homomorphism S if for each zero neighborhood W, there is a neighborhood U such that for every zero neighborhood V there exists an a0 with (Sa — S)(U) C VW for each a ^ a0.

Note that Homnr(X), Hombr(X), and Homcr(X) form subrings of the ring of all group homomorphisms on X, in which, the multiplication is given by function composition.

In contrast with the case of all bounded homomorphisms between topological groups (considered in [12]), there are no more relations between these classes of bounded group homomorphisms between topological rings; see [11, Example 2.1, Example 2.2, Example 3.1] for some examples which illustrate the situation.

2. Main Results

First, we prove a version of [13, Theorem 1.10] in terms of topological l-groups.

Lemma 1. Suppose G and H are l-groups with H Archimedean. Moreover, assume that T : G+ ^ H+ preserves the addition group operations; that is T(x+y) = T(x)+T(y) holds for positive elements x, y € G. Then T has a unique extension to a positive group homomorphism. In addition, this extension is determined (denoted by T, again) via T(x) = T(x+) — T(x-).

< Consider the extension S from G into H determined by S(x) = T(x+) — T(x-). Using the basic properties of l-groups [5, Lemma 4.1] and the proof of [13, Theorem 1.10], we conclude that S is additive. In order to prove that S preserves the inverse operation, note that the identity 0 = S(x + (—x)) = S(x) + S(—x) = S(x) — S(x), implies that S(—x) = —S(x), as we wanted. >

In this step, we need a type of Riesz decomposition property in l-groups; the proof relies on just addition and modulus in a Riesz space so that it can be converted without any change, using identities of [5, Lemma 4.1]. For a proof in Riesz spaces, see [13, Theorem 1.13].

Lemma 2. Suppose |x| ^ |yi + y2| holds in an l-group G. Then there exist xi,x2 € G such that x = x1 + x2 and |xj| ^ |y^|. If x is positive, x1, x2 can be chosen to be positive.

Now, we consider a version of [13, Theorem 1.14] assuring us under a suitable condition, the positive part of a group homomorphism can exist.

Lemma 3. Let G and H be topological l-groups with H Archimedean and T : G ^ H be a homomorphism between l-groups such that sup{Ty : 0 ^ y ^ x} exists for each positive x € G. Then, T + = T V 0 exists and is determined via

T+(x) = sup{Ty : 0 < y < x},

for each x € G+.

< Define S : G+ ^ H+ by S(x) = sup{Ty : 0 ^ y ^ x} for each positive x € G. Then, we show that S is additive. Fix u, v € G+. For every positive y ^ u and z ^ v, we have T(y) + T(z) = T(y + z) ^ S(u + v) so that S(u) + S(v) ^ S(u + v). On the other hand, if y ^ u + v for a positive element y, by Lemma 2, there are y1, y2 € G+ such that y = y1 + y2, y1 ^ u, and y2 ^ v. This implies that T(y) = T(y1) + T(y2) ^ S(u) + S(v) asserting that S is additive. By Lemma 1, S has an extension to a positive homomorphism (denoted by S) from G into H. Suppose for a positive homomorphism R, we have T ^ R. Fix x € G+. For every positive y ^ x, we have Ty ^ Ry ^ Rx, resulting in S ^ R. We see that S = T +. >

Recall that a homomorphism T : G ^ H is said to be order bounded if it maps order bounded sets into order bounded ones. The set of all order bounded homomorphisms from G into H is denoted by Homb(G, H). One may justify that under group operations of homomorphisms defined in [12] and invoking [5, Theorem 4.9], Homb(G, H) is a group. Now, we prove a Riesz-Kantorovich formulae for order bounded homomorphisms compatible with [13, Theorem 1.18]. Observe that according to [14, Remark 1], not every order bounded homomorphism on a topological l-group is bounded.

Theorem 1. Suppose G and H are l-groups with H Dedekind complete. Then, the group Homb(G, H) of all order bounded homomorphisms is a Dedekind complete l-group. Moreover, T + is defined by

T+ (x) = sup{Ty : 0 ^ y ^ x},

for each x € G+.

< For every order bounded homomorphism T, note that

sup{Ty : 0 ^ y ^ x} = sup T[0,x].

By Lemma 3, T+ exists. By [5, Lemma 4.1], Homb(G, H) is an l-group. To prove Homb(G, H) is Dedekind complete, we proceed the same line as in the proof of [13, Theorem 1.18]. Suppose 0 ^ Ta K T in Homb(G, H). For each x € G+, S(x) = sup{T«(x)} exists in H. The identity Ta(x + y) = Ta(x) + Ta(y) implies that S is an additive map between positive parts. So, by Lemma 1, it has an extension to a positive homomorphism (denoted by S), resulting in Ta t S, as desired. >

Remark 1. Suppose X is a topological ring so that a topological abelian group in its own right. Recall that a subset B C X is said to be bounded (in the sense of a topological group) if for each neighborhood U of the identity, there is an n € N with B C nU. Spite to the case

of topological vector spaces, not every singleton in a topological group is bounded (see [15]). Nevertheless, in many classical topological groups and also connected ones, they are bounded. Therefore, from now on, we assume that the corresponding topological groups have this mild property.

Proposition 1. Suppose X is a topological ring. If X is Hausdorff and every singleton is bounded in the sense of a topological group, then, so are Homnr(X), Hombr(X), and Homcr (X).

< First, we prove for Homnr(X). Suppose (Ta) is a net of br-bounded homomorphisms which converges to homomorphisms T and S uniformly on some zero neighborhood U C X. We must show that T = S. Assume that W is an arbitrary zero neighborhood. There is a zero neighborhood V with V + V C W. There exists an a0 such that (Ta — T)(U) C V and (Ta — S)(U) C V for each a ^ ao. Thus,

(T — S)(U) C (Ta — T)(U) + (Ta — S)(U) C V + V C W.

So, for each x € U, we have (T — S)(x) € W. Since X is Hausdorff, we see that T(x) = S(x). Now, for any x € X, there is a positive integer n with x € nU. This means that there is a y € U with x = ny. So, by the previous procedure, we conclude that T(x) = S(x), as claimed.

Now, we show that Hombr(X) is also Hausdorff. Observe that every singleton in a topological ring is bounded. Suppose (Ta) is a net in Hombr(X) which is convergent to homomorphisms T and S. Fix any x € X. Assume that W is an arbitrary zero neighborhood and choose zero neighborhood V with V + V C W. There exists an a0 with (Ta — T)(x) € V and (Ta — S)(x) € V for each a ^ a0. Thus,

(T — S) (x) = (Ta — T) (x) + (Ta — S) (x) € V + V C W,

as desired.

Finally, we show that Homcr(X) is Hausdorff. Suppose (Ta) is a net in Homcr(X) which is cr-convergent to homomorphisms T and S. Choose arbitrary zero neighborhood W and find zero neighborhood V such that V + V C W. Consider zero neighborhood V with VV1 C V. There is a zero neighborhood U such that for every zero neighborhood V0 we can find an index a0 such that (Ta — T)(U) C V0V1 and (Ta — S)(U) C V0V1 for any a ^ a0. Fix any x € X. There is n € N with x € nU. Choose zero neighborhood V0 with nV0 C V1. There is an a0 such that (Ta — T)(U) C V0V1 and (Ta — S)(U) C V0V1 for any a ^ a0. Thus,

(T — S)(U) C (Ta — T)(U) + (Ta — S)(U) C V0V1 + V0V1. Find y € U with x = ny. This implies that

(T — S) (x) = (T — S) (ny) = (Ta — T) (ny) + (Ta — S) (ny)

€ nV0V1 + nV0V1 C V1V1 + V1V1 C V + V C W. >

Remark 2. Compatible with homomorphisms on a topological l-group, not every order bounded group homomorphism between topological l-rings is bounded and vise versa.

Suppose X = Rn, the ring of all sequences with product topology, coordinate-wise ordering and pointwise multiplication. Consider the identity group homomorphism I on X. It is indeed order bounded but not nr-bounded (see [11, Example 2.1]). Moreover, if we replace pointwise multiplication in RN with zero one, then the identity group homomorphism is still order bounded but neither nr- nor br- bounded. Suppose X = l^ with the usual norm topology

and Y is l^ with the product topology inherited from RN; both of them, with coordinate-wise ordering and pointwise multiplication are topological l-rings. Then the identity group homomorphism from Y into X is order bounded but not continuous, certainly.

We recall that topology t on a topological l-ring (X, t) is Fatou if X has a base of zero neighborhoods which are order closed. Furthermore, observe that a Birkhoff and Pierce ring (f-ring) is a lattice ordered ring with this property: a A b = 0 and c ^ 0 imply that ca A b = ac A b = 0.

Lemma 4. Suppose X is a Dedekind complete locally solid f -ring with Fatou topology and Hombr(X) is the ring of all order bounded nr-bounded group homomorphisms. Then Hombr (X) is a topological l-ring.

< It suffices to prove that for a homomorphism T € Hom^r(X), T + € Hom^(X). By Theorem 1, for each positive x € X, we have

T+(x) = sup{T(u) : 0 < u < x}.

Choose a zero neighborhood U C X such that T(U) is bounded. So, for arbitrary neighborhood W, there is a zero neighborhood V with VT(U) C W. Therefore, for each x € U+ and for each y € V+, yT(x) € W, so that using [7, Theorem 3.15], solidness of zero neighborhoods U, V, and order closedness of W, yields that T+(U) is also bounded. Now, we show that the lattice operations are continuous. Suppose (Ta) is a net of order bounded nr-bounded group homomorphisms that converges uniformly on some zero neighborhood U C X to homomorphism T in Hom^(X). Choose arbitrary neighborhood W C X. Fix x € U+. Now, consider the following lattice inequality:

sup {Ta(u) : 0 < u < x} — sup {T(u) : 0 < u < x} < sup{(Ta — T)(u) : 0 < u < x}.

There exists an a0 such that (Ta — T)(U) C W for each a ^ a0. Therefore, using the order closedness of neighborhood W and solidness of neighborhood U, we have

Ta + (x) — T+(x) < (Ta — T) + (x) € W. >

Theorem 2. Suppose X is a Dedekind complete locally solid f -ring with Fatou topology. Then Hombr(X) is a locally solid l-ring with respect to the uniform convergence topology on some zero neighborhood.

< In the view of Lemma 4 and [5, Theorem 4.1], it is sufficient to show that the lattice operation T ^ T+ is uniformly continuous in Hom^(X). Let T € Hom^(X) and x € X+. By Theorem 1, we have

T +(x) = sup{T(u) : 0 < u < x}.

Now, suppose (Ta) and (Sa) are nets of order bounded nr-bounded group homomorphisms that (Ta — Sa) converges uniformly on some zero neighborhood U C X to zero. Choose arbitrary neighborhood W C X. Fix x € U+. Now, consider the following lattice inequality:

sup {Ta(u) : 0 ^ u ^ x} — sup {Sa(u) : 0 ^ u ^ x} ^ sup {(Ta — Sa)(u) : 0 ^ u ^ x}.

There exists an a0 such that (Ta — Sa)(U) C W for each a ^ a0. Therefore, using the order closedness of neighborhood W and solidness of neighborhood U, we have

Ta + (x) — Sa+(x) < (Ta — Sa) + (x) € W.

Now, using [5, Theorem 4.1], yields the desired result. >

The following lemma may be known; to our best knowledge, we could not find any proof for it; we present a proof for the sake of completeness.

Lemma 5. Suppose X is a locally solid f -ring. Then, the solid hull of a bounded set is also bounded.

< Suppose B C X is bounded. Then, by usual definition of a solid hull, we have

Sol(B) = {x € X, 3y € B : |x| < |y|}.

Let W be an arbitrary zero neighborhood of X. There exists a zero neighborhood V with VB C W. For each x € Sol(B), there is y € B such that |x| ^ |y| so that for each z € V, the inequality |zx| = |z||x| ^ |z||y| = |zy| in connection with solidness of zero neighborhood W, imply that V Sol(B) C W, as we wanted. >

Lemma 6. Suppose X is a Dedekind complete locally solid f-ring with Fatou topology and Hombr(X) is the ring of all order bounded br-bounded group homomorphisms. Then Hombr(X) is a topological l-ring.

< It suffices to prove that for a homomorphism T € Hom^.(X), T+ € Hombr(X). By Theorem 1, we have { }

T +(x) = sup {T(u) : 0 ^ u ^ x}.

Fix a bounded set B C X. Without loss of generality, we may assume that B is also solid; otherwise consider the solid hull of B which is by Lemma 5, bounded. So, for arbitrary neighborhood W, there is a zero neighborhood V with VT(B) C W. Therefore, for each x € B+ and for each y € V+, yT(x) € W, so that using [7, Theorem 3.15], solidness of zero neighborhood V and bounded set B, and order closedness of W, we see that T+(B) is also bounded.

Now, we show that the lattice operations are continuous. Suppose (Ta) is a net of order bounded br-bounded group homomorphisms that converges uniformly on bounded sets to the homomorphism T in Hombr(X). Fix bounded set B C X. Choose arbitrary neighborhood W C X. Fix x € B+. By Lemma 5, B can be considered solid. Now, observe the following lattice inequality:

sup{Ta(u) : 0 ^ u ^ x} — sup{T(u) : 0 ^ u ^ x} ^ sup{(Ta — T)(u) : 0 ^ u ^ x}.

There exists an a0 such that (Ta — T)(B) C W for each a ^ a0. Therefore, using the order closedness of neighborhood W and solidness of bounded set B, we have

Ta + (x) — T +(x) < (Ta — T) + (x) € W. >

Theorem 3. Suppose X is a Dedekind complete locally solid f -ring with Fatou topology. Then Hombr(X) is a locally solid l-ring with respect to the uniform convergence topology on bounded sets.

< In the view of Lemma 6 and [5, Theorem 4.1], it is sufficient to show that the lattice operation T ^ T+ is uniformly continuous in Hombr(X). Let T € Hombr(X) and x € X+. By Theorem 1, we have

T +(x) = sup {T(u) : 0 ^ u ^ x}.

Now, suppose (Ta) and (Sa) are nets of order bounded br-bounded group homomorphisms that (Ta — Sa) converges uniformly on bounded sets to zero. Fix bounded set B C X. Choose

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

arbitrary neighborhood W C X. Fix x € B+. By Lemma 5, B can be considered solid. Now, observe the following lattice inequality:

sup {Ta(u) : 0 ^ u ^ x} — sup {Sa(u) : 0 ^ u ^ x} ^ sup {(Ta — Sa)(u) : 0 ^ u ^ x}.

There exists an a0 such that (Ta — Sa)(B) C W for each a ^ a0. Therefore, using the order closedness of neighborhood W and solidness of bounded set B, we have

Ta + (x) — Sa + (x) < (Ta — Sa)+(x) € W. >

Lemma 7. Suppose X is a Dedekind complete locally solid f -ring with Fatou topology and HomJ?r (X) is the ring of all order bounded continuous group homomorphisms. Then HomJ?r (X) is a topological l-ring.

< It suffices to prove that for a homomorphism T € Homj?r (X), T + € Homj?r (X). By Theorem 1, for any x € X+, we have

T +(x) = sup {T(u) : 0 ^ u ^ x}.

Choose arbitrary zero neighborhood W. There exists a zero neighborhood U with T(U) C W. Therefore, for each x € U+, T(x) € W, so that T+(x) € W using solidness of U and order closedness of W. Thus, we see that T +(U) C W.

Now, we show that the lattice operations are continuous.

Suppose (Ta) is a net of order bounded continuous group homomorphisms that cr-con-verges to the homomorphism T in HomJ?r(X). Choose arbitrary neighborhood W C X. There is a zero neighborhood U C X such that for each zero neighborhood V C X there exists an a0 with (Ta — T)(U) C VW for each a ^ a0. Now, consider the following lattice inequality:

sup {Ta(u) : 0 ^ u ^ x} — sup {T(u) : 0 ^ u ^ x} ^ sup {(Ta — T)(u) : 0 < u < x}.

Therefore, using the order closedness of neighborhoods V, W and solidness of zero neighborhood U, we have

Ta+(x) — T +(x) < (Ta — T)+(x) € VW. This would complete the proof. >

Theorem 4. Suppose X is a Dedekind complete locally solid f -ring with Fatou topology. Then HomJ?r (X) is a locally solid l-ring with respect to the cr-convergence topology.

< In the view of Lemma 7 and [5, Theorem 4.1], it is sufficient to show that the lattice operation T ^ T + is uniformly continuous in HomJ?r(X). Let T € HomJ?r(X) and x € X+. By Theorem 1, we have { }

T +(x) = sup {T(u) : 0 < u < x}.

Now, suppose (Ta) and (Sa) are nets of order bounded continuous group homomorphisms that (Ta — Sa) cr-converges to zero. Choose arbitrary neighborhood W C X. There is a zero neighborhood U C X such that for each zero neighborhood V C X there exists an a0 with (Ta — Sa)(U) C VW for each a ^ a0. Now, consider the following lattice ineqality:

sup {Ta(u) : 0 ^ u ^ x} — sup {Sa(u) : 0 ^ u ^ x} ^ sup {(Ta — Sa)(u) : 0 ^ u ^ x}.

Therefore, using the order closedness of neighborhoods V, W and solidness of zero neighborhood U, we have

Ta + (x) — Sa + (x) < (Ta — Sa) + (x) € VW. This would complete the proof. >

References

1. Birkhoff, G. Lattice-Ordered Groups, Annals of Mathematics, 1942, vol. 43, no. 2, pp. 298-331. DOI: 10.2307/1968871.

2. Clifford, A. H. Partially Ordered Abelian Groups, Annals of Mathematics, 1940, vol. 41, no. 3, pp. 465473. DOI: 10.2307/1968728.

3. Smarda, B. Topologies in l-Groups, Archivum Mathematicum (Brno), 1967, vol. 3, no. 2, pp. 69-81.

4. Smarda, B. Some Types of Topological l-Groups, Publ. Fac. Sci. Univ. J. E. Purkyne (Brno), 1969, vol. 507, pp. 341-352.

5. Hong, L. Locally Solid Topological Lattice-Ordered Groups, Archivum Mathematicum (Brno), 2015, vol. 51, no. 2, pp. 107-128.

6. Birkhoff, G. and Pierce, R. S. Lattice-Ordered Rings, Anais da Academia Brasileira de Ciencias, 1956, vol. 28, pp. 41-69.

7. Johnson, D. G. A Structure Theory for a Class of Lattice-Ordered Rings, Acta Mathematica, 1960, vol. 104, no. 3-4, pp. 163-215.

8. Warner, S. Topological Fields, North-Holland: Elsevier Sci. Publ., 1989, North-Holland Math. Stud., vol. 157, ch. 1-2.

9. Arnautov, V., Glavatsky, S. and Mikhalev, A. A. Introduction to the Theory of Topological Rings and Modules, Monographs and Textbooks in Pure and Appl. Math., New York, Marcel Dekker, 1996.

10. Steinberg, S. A. Lattice-Ordered Rings and Modules, New York, Springer-Verlag, 2010. DOI: 10.1007/978-1-4419-1721-8.

11. Mirzavaziri, M. and Zabeti, O. Topological Rings of bounded and Compact Group Homomorphisms on a Topological Ring, J. Adv. Res. Pure Math., 2011, vol. 3, no. 2, pp. 101-106.

12. Kocinac, Lj. and Zabeti, O. Topological Groups of Bounded Homomorphisms on a Topological Group, Filomat, 2016, vol. 30, no. 3, pp. 541-546. DOI: 10.2298/FIL1603541K.

13. Aliprantis, C. D. and Burkinshaw, O. Positive Operators, 2nd edition, Springer, 2006. DOI: 10.1007/9781-4020-5008-4.

14. Erkursun-Ozcan, N., Gezer, N. A. and Zabeti, O. Spaces of ur-Dunford-Pettis and ur-Compact Operators on Locally Solid Vector Lattices, Matematicki Vesnik, 2019 [in press].

15. Zabeti, O. A Few Remarks on Boundedness in Topological Groups and Topological Modules, Hacettepe Journal of Mathematics and Statistics, 2019, vol. 48, no. 2, pp. 420-426. DOI: 10.15672/HJMS.2017.524.

Received 17 May, 2019 Omid Zabeti

University of Sistan and Baluchestan, P.O. Box 98135-674, Zahedan, Iran, Assistant Professor E-mail: [email protected]

Владикавказский математический журнал 2019, Том 21, Выпуск 3, С. 14-23

РЕШЕТОЧНАЯ СТРУКТУРА В ПРОСТРАНСТВЕ ОГРАНИЧЕННЫХ ГОМОМОРФИЗМОВ МЕЖДУ ТОПОЛОГИЧЕСКИМИ РЕШЕТОЧНО УПОРЯДОЧЕННЫМИ КОЛЬЦАМИ

О. Забети1

1 Университет Систана и Белуджистана, Иран, Захедан, P.O.Box 98155-987 E-mail: [email protected]

Аннотация. Предположим, что X топологическое кольцо. Известно, что существует три класса ограниченных групповых гомоморфизмов на X, топологические структуры которых снова превращают их в топологические кольца. Сначала покажем, что если X является хаусдорфовым топологическим

кольцом, то же таковыми будут и упомянутые классы ограниченных групповых гомоморфизмов на X. Затем предположим, что X является локально солидным решеточно упорядоченным кольцом. Цель настоящей статьи — рассмотреть решеточную структуру в этих классах ограниченных групповых гомоморфизмов; точнее, покажем, что при некоторых слабых предположениях они являются локально солидными решеточно упорядоченными кольцами. Фактически мы покажем, что при предполагаемой топологии они образуются локально солидные решеточно упорядоченные кольца. Чтобы это сделать, нам нужны варианты формул Рисса — Канторовича дял порядково ограниченных гомоморфизмов в топологических решеточно упорядоченных группах, хорошо известные в случае порядково ограниченных линейных операторов в пространствах Рисса.

Ключевые слова: локально солидное l-кольцо, ограниченный групповой гомоморфизм, решеточно упорядоченная группа.

Mathematical Subject Classification (2010): 13J25, 06F30.

Образец цитирования: Zabeti, O. Lattice Structure on Bounded Homomorphisms Between Topological Lattice Rings // Владикавк. мат. журн.—2019.—Т. 21, № 3.—C. 14-23 (in English). DOI: 10.23671/VNC.2019.3.36457.

i Надоели баннеры? Вы всегда можете отключить рекламу.