CC BY
8
Владикавказский математический журнал 2012, Том 14, Выпуск 1, С. 75-77
EXTENSION OF AN ALMOST /-ALGEBRA MULTIPLICATION
E. Chil
It is proved that an almost f-algebra multiplication and a d-algebra multiplication defined on a majorizing
vector sublattice of a Dedekind complete vector lattice can be extended to the whole vector lattice by
using purely algebraic and order theoretical means.
Mathematics Subject Classification (2000): 06F25, 46A40.
Key words: almost f-algebra, d-algebra, f-algebra, vector lattice.
As well-known, the multiplication in an Archimedean /-algebra A can be extended (uniquely) to multiplication in A5, the Dedekind completion of A, in such a manner that A5 is again an /-algebra with respect to this extended multiplication. The corresponding results for Archimedean lattice-ordered algebras, almost /-algebras and d-algebras were conjectured by Huijsmans in his survey paper [7]. We give a short historical account. This conjecture was proved by Buskes and van Rooij in [5, Theorem 4.1] for the class of almost /-algebras. In contrast to the original approach of Buskes and van Rooij, Boulabiar and the author gave in [4] an order theoretical and algebraic approach of the Buskes and van Rooij theorem. As an application, Boulabiar and the author gave in [4] an affirmative answer to Huijsmans's question for the class of commutative d-algebras. Some years after in [6], the author proved that the multiplication in an Archimedean (not necessarily commutative) d-algebra A can be extended to a multiplication in the Dedekind completion A5 of A in such a fashion that A5 becomes a d-algebra under this extended multiplication. Therefore, it seems natural to ask can an almost /-algebra (respectively, a d-algebra) multiplication given on a majorizing vector sublattice of a Dedekind complete vector lattice be extended to an almost /-algebra (respectively, a d-algebra) multiplication on the ambient vector lattice. In [8] Kus-raev gave a positive answer to this question for the class of almost /-algebras. However, their proof makes use of representation theory which we wish to avoid in this work. The principal purpose of this paper is to give another proof to Kusraev's result (see Theorem 1 below) using purely algebraic and order theoretical means.
We assume that the reader is familiar with the notion of vector lattices (or Riesz spaces).
It is convenient to use the monograph [1] for basic information concerning the general theory of vector lattices. More about almost /-algebras and d-algebras can be found in [2].
Our approach relies heavily on a theorem due to Boulabiar and the author about the structure of almost /-algebras. The theorem in question is that if (A, *) is an almost /-algebra if and only if there exist (i) a universally complete /-algebra B with unit element, multiplication of which is denoted by juxtaposition; (ii) a lattice homomorphism a from A into B such that B is the universal completion of a (A); (iii) a positive operator T from a(A)p = {a(a)a(b) : a,b £ A} into A; and (iv) a positive element £ of B, such that a * b = T(a(a)a(b)), a o T(u) = £u and (a * b) * c = T(£a(a) a(b) a(c)) hold for all a, b, c £ A and u £ a(A)p (see [4]).
© 2012 Chil E.
76
Chil E.
Theorem 1. Let A be an almost f -algebra and a majorizing vector sublattice of a Dedekind complete vector lattice E. Then the multiplication in A extends to an almost f -algebra multiplication in E.
< Consider B, a, T, and £ as defined in the Boulabiar and author's theorem previously mentioned. In view of [1, Theorem 7.17], a extends to a lattice homomorphism T from E into a(A)5. Moreover, from the fact that A is majorizing in E, it follows that a(A) is majorizing in T(E). Therefore, a(A)p is majorizing in T(E)p. According to the KantoroviC theorem [1, Theorem 2.8], T extends to a positive operator T from T(E)p into E. Define now a multiplication * in E by putting
a * b = T(T(a) a(b)) for all a,b G E.
Of course, this multiplication extends that one in A and it is easy to see that if a A b = 0 then a * b = 0 for all a, b G E. This implies that associativity of * is sufficient to let E be an almost f-algebra with respect to the extended multiplication *. We claim that T o T(u) = £u for all u G T(E)p. A moment's reflection shows that T(E) is majorizing vector sublattice of a(A)5. Now from the fact that a(A)p is majorizing and order dense sublattice of a(A)P it follows that a(E)p is majorizing and order dense sublattice of a(A)P (because a(A)p c a(E)p c a(A)P). Consequently,
sup {a o T(v) = £v : 0 ^ v ^ u} ^ a o T(u); inf {a o T(v) = £v : 0 < v < u} for all u G a(E)p. Now, by using order continuity of f-algebra multiplication, we obtain:
a o T(u) = £ u for all u G a(E)p.
Finally, let a, b, c G E,
(a * b) * c = T(a(a * b)a(c)) = T(T o TT(T(a)T(b))T(c)) = T(£T(a)T(b))T(c)
and the theorem follows. >
So far we are unable to prove or disprove the corresponding result for the class of d-algeb-ras, the main reason being that a d-algebra needs not be commutative. This means that the method used for almost f-algebras does not work in the case of d-algebras. Nevertheless, if we impose this additional condition then the situation improves as it is shown in the following theorem.
Theorem 2. Let A be a commutative d-algebra and a majorizing vector sublattice of a Dedekind complete vector lattice E. Then the multiplication in A extends to a commutative d-algebra multiplication in E.
< Since any commutative d-algebra is an almost f-algebra, we obtain: a, £, and T a lattice homomorphism, such that a*b = T(a(a)a(b)), aoT(u) = £u and (a*b)*c = T(£a(a)a(b)a(c)) hold for all a, b, c G A and u G a(A)p (for details on this see [4, Corollary 3]). Now, we deduce from the proof of preceding theorem that a extends to a lattice homomorphism aa from E into a (A)5 and T extends to a positive operator T from T(E)p into E such that
a * b = T(T(a)T(b)), (a * b) * c = T(£T(a)T(b))T(c)
hold for all a, b, c G E. On the other hand, T is a lattice homomorphism. Therefore, according to [1, Theorem 7.17], T can be chosen to be a lattice homomorphism. Which that we wanted. >
Extension of an almost f-algebra multiplication 77
At the end we note that the extension obtained in Theorem 1 and Theorem 2 is far from being unique and this is illustrated by the following example (see [3]).
Example 3. Let E be the Archimedean vector lattice of all bounded real valued continuous functions on N. With the pointwise addition, scalar multiplication, product, and ordering, E is an algebra and a Dedekind complete vector lattice. Furthermore, if ^N denotes the Stone-Cech compactification of N, then any function / in E extends uniquely to a function /^ in the vector lattice of all real valued continuous functions on the compact Hausdorff space ^N. Now let A be the vector sublattice of E of all / for which there exist real numbers if and Xf such that the inequality |/ — if 1| ^ Xf h holds in E where 1 and g are the elements of E defined by
l(n) = 1 and h(n) = — for all n G N.
A moment's reflection shows that A is a majorizing vector sublattice of the Dedekind complete vector lattice E. Now we define a multiplication * in A by
/ * g = if ig 1 for all /, g £ A.
Clearly, (A, *) is a commutative d-algebra. For any p £ ^N\N the multiplication * of A extends to a d-algebra multiplication * on E by
/ * g = /^(p)g^(p)1 for all /, g £ E.
References
1. Aliprantis C. D., Burkinshaw O. Positive Operators.—Orlando: Academic Press, 1985.
2. Bernau S. J., Huijsmans C. B. Almost f-algebras and d-algebras // Math Proc. Camb. Phil. Soc.— 1990.—Vol. 107.—P. 208-308.
3. Boulabiar K. Extensions of orthosymmetric lattice bimorphisms revisited // Proc. Amer. Math. Soc.— 2007.—Vol. 135, № 7.—P. 2007-2009.
4. Boulabiar K., Chil E. On the structure of Archimedean almost f-algebras // Demonst. Math.—2001.— Vol. 34.—P. 749-760.
5. Buskes G., van Rooij A. Almost f-algebras: Structure and the Dedekind completion // Positivity.— 2000.—Vol. 4, № 3.—P. 233-243.
6. Chil E. The Dedekind completion of a d-algebra // Positivity.—2004.—Vol. 8, № 3.—P. 257-267.
7. Huijsmans C. B. Lattice-ordered algebras and f-algebras: A survey // Studies in Economic Theory 2, Positive operators, Riesz Spaces and Economics.—Berlin: Springer-Verlag, 1991.
8. Kusraev A. G. An almost f-algebra multiplication extends from a majorizing sublattice // Vladikavkaz Math. J.—2008.—Vol. 10, № 2.—P. 30-31.
Received October 4, 2011. Elmiloud Chil
Institut préparatoire aux études d'ingenieurs de Tunis 2 Rue jawaher lel Nehrou Monflery 1008 Tunisia E-mail: [email protected]
ПРОДОЛЖЕНИЕ УМНОЖЕНИЯ ПОЧТИ /-АЛГЕБРЫ
Чил Э.
Установлено, что чисто алгебраическими и порядковыми средствами можно доказать утверждение: умножения почти /-алгебры и (¿-алгебры, определенные на мажорирующей подрешетке дедекиндово полной векторной решетки, можно продолжить на всю векторную решетку.
Ключевые слова: почти /-алгебра, d-алгебра, f-алгебра, векторная решетка.
