CC BY
4
УДК 512.562
Strongly Algebraically Closed Lattices in ^-groups and Semilattices
Ali Molkhasi*
Faculty of Mathematical Sciences Farhangian University of Tehran, 51666-16471
Iran
Received 03.08.2017, received in revised form 05.11.2017, accepted 16.01.2018 In this article, the properties of being Ко-classes of a full l-group, the set of polars of an l-group, the complemented l-ideals of a complete l-group, the set of invariant elements of a dimension ortholattice, and pseudocomplemented semilattices are studied from the perspective of model theory and their relations to strongly algebraically closed lattices are obtained.
Keywords: strongly algebraically closed lattices, l-groups, pseudocomplemented semilattices. DOI: 10.17516/1997-1397-2018-11-2-258-263.
Introduction
Systematic study of universal algebraic geometry is done in a series of articles by V. Remeslennikov, A.Myasnikov and E.Daniyarova in ( [2-5]). In [12] J. Schmid studied algebraically closed and existentially closed distributive lattices. He proved that any Boolean lattice is algebraically closed. J. Schmid asked about the situation in which a distributive lattice is strongly algebraically closed. In [10] we defined the notion of strongly algebraically closed lattices and proved that if such a lattice is also complete Boolean and ^'-compact, then it is strongly algebraically closed. The current paper continues the study of [10]. We suggest [7-9], [11], and [13] in order to give a precise definition of the notion algebraically closedness of model theory and Boolean algebras.
In Section 1, it is proved that if the lattice of the K0-classes Cl(G) of a full ¿'-group G is complete and ^'-compact, then Cl(G) is a strongly algebraically closed lattice. Also, we prove that, if the set of polars P(G) of an ¿-group G is ^'-compact, then P(G) is a strongly algebraically closed lattice. At the end of this section, we will show that, if the complemented '-ideals of a complete ¿-group is ^'-compact, then it is a strongly algebraically closed lattice. In the final section of this paper we study some interesting applications of strongly algebraically closed lattices about pseudocomplemented semilattices and the set of invariant elements of a dimension ortholattice.
1. The lattice of K0-classes
Suppose L is an arbitrary algebraic language and A is a fixed algebra of type L. Let S be a system of equations in A. The set of all logical consequences of S over A is the radical,
*[email protected] © Siberian Federal University. All rights reserved
noted RadA(S), and VA(S) is the set of solutions of S in A. For example, if L is a lattice, then RadL(S) is the set of all lattice equations f « g such that VL(S) C VL(f « g). It is said that two lattices L and K are geometrically equivalent, if for any system S, we have RadL(S) = RadK(S). A lattice L is q'-compact, if it is geometrically equivalent to any of its elementary extensions ( [4] and [3]). Let A, B be two first-order structures of type L. A is called an elementary substructure of B if A < B and for any sentence $ of type LA, which LA is obtained from L by adding new constant symbols a £ A,
A = $ iff B =$.
By a Boolean lattice we mean a complemented distributive lattice. By a Boolean algebra we mean a Boolean lattice together with the unary operation of complementation.
A lattice L is called algebraically closed, if any finite consistent system of equations with coefficients from L, has a solution in L. A system S with coefficients in L is called consistent, if there is an extension K of L, such that S has a solution in K. One can generalize this definition to an arbitrary class of lattices. A lattice L in a class X is said to be strongly algebraically closed if every system (not necessarily finite) of equations with parameters in L which has a solution in some extension K £ X, has already a solution in L (see [10] and [12], for more details).
A group G is called partially ordered group if G is a additively group and the same time a partially ordered set such that for all x, y, z £ G
x ^ y x + z ^ y + z and z + x ^ z + y.
In addition if G is a lattice, then G is called a lattice ordered group (we write shortly ¿-group). Let us denote the positive cone of a partially ordered group G by P or
P = {g £ G | 0 < g}
and each of its members is called positive. Let a, b be elements of an l-group G. Then
a < Nb ^^ 3n £ N such that a < nb.
Also,
a < H0b ^^ a = V^=1(nb A a).
From [14], we know already that the set = {(a, b) £ g2 la < Hob} is a preorder on the set of positive elements of the l-group G . For any element a of P we have that ka ^ H0 a for all k £ N and then a ^ H0a, for all a £ P. We will have is reflexive. On the other hand, it is clear that in the l-group G if a ^ H0b, then na ^ H0b for a, b £ P and for all n £ N. Therefore, we conclude that if a ^ H0b and b ^ H0c, then a ^ H0c for all a, b, c £ P. Now, we see the relation is reflexive and transitive. By -classes of the l-group G we mean the classes of and will be denoted by a0, the class of the element a £ P. An l-group G is called a full l-group if \/^L1(na A b) exists for all a, b £ P. A partially order group G is called Archimedean if x, y £ G and nx < y for all integers n implies x = 0. Now, we will prove the consequences regarding the l-group G if the lattice of its H0-classes is a strongly algebraically closed lattice which the lattice of H0-classes of G is q'-compact. Let us denote the lattice of the H0-classes of G by Cl(G).
Theorem 1.1. Suppose that G is a full l-group. If Cl(G) is complete and q'-compact, then Cl(G) is a strongly algebraically closed lattice.
Proof. We know lattice homomorphic image of the lattice of Archimedean classes is distributive. Thus, the lattice of K0-classes is distributive lattice with minimal element 00. First we prove that an K0-class of an element is closed. Assume that for a set element {aa} there exists Vaaa such that (aa)0 = a0 for all a. Since a ^ K0(Vaaa), V^=1(naAaa) = aa and Vaaa = V^=1{naA(Vaaa)} ^ K0a. Thus, Vaaa G a0 and the K0-classes are closed. Now, we show that Cl(G) is a relatively complemented. Certainly, we have that a relatively complemented lattice with minimal element is sectionally complemented. Therefore, we will show that Cl(G) sectionally complemented. Let a0 and b0 be arbitrary elements of K0-classes of G with a0 ^ b0. We prove (b — c)0 is complement of a0 in interval [00, b0]. Since, K0-classes are closed and na A b G a0 for all n G N. So, c0 = a0 or c G a0. We can say
(b — c)0 V a0 = (b — c)0 V c0 = {(b — c) + c}0 = b0,
and we will have
b A (a + c) = V^=1{b A na A (a + b)} = V^=1(na A b) = c.
Therefore, (b — c) A a = 0 and (b — c)0 A a0 = 00. So far we proved Cl(G) is a Boolean algebra. But Cl(G) is complete and q'-compact and thus Cl(G) is a strongly algebraically closed lattice by ( [10], Theorem 3.5). □
Let x be an element of the ¿-group G. Recall that the positive part, negative part, and absolute value of x are defined by:
x+ = x V 0, x- = (—x) V 0,
and
\x\ = x V (—x),
respectively. Two elements x, y G X C G are called disjoint if \x\ A \y\ = e. The disjointness of x and y is denoted by x L y. The subset X of G is called disjoint if any two distinct elements in X are disjoint. The polar of X is defined by
X^ = {a G G \ \a\ A \x\ = e, ^x G X}.
Theorem 1.2. The set of polars of an ¿-group is a strongly algebraically closed lattice if it is q' -compact.
Proof. To verify that for polars A and B, A C B if and only if A n B' =0. Because for all D, E the set of all convex ¿-subgroups of an ¿-group G we have D n E = 0 iff D C A'. On the other hand, we know that the Boolean algebra of polars of an ¿-group is complete, and this property is reflected in its dual space and is an essential ingredient for the representation of an archimedean ¿-group. So, if G is an ¿-group, then the set of polars of a G is complete Boolean algebra, Now, by ( [10], Theorem 3.5), completes the proof. □
A complete ¿-group is ¿-group in which every bounded set has a least upper bound and greatest lower bound. For example, the additive group (R, +) for all real numbers is such complete ¿group.
An ¿-ideal J of a complete ¿-group G is closed if and only if it contains, with any bounded subset {xa}, also V xa. Clearly G and 0 are ¿-ideals of G, they are called improper ¿-ideals.
Now in the following theorem we prove that the ¿-ideals of any complete ¿-group, which are closed in the order topology, is a strongly algebraically closed lattice if it is q'-compact.
Theorem 1.3. Let G be a complete l-group. If the complemented l-ideals of G is q'-compact, then it is a strongly algebraically closed lattice.
Proof. Note that if H and K are l-ideals of the l-group G, then H n K and H + K are l-ideals of G. Also we have the complemented l-ideals of any l-group G correspond to its direct factors and if G commutative, then its complemented l-ideals are closed under the polarity defined by disjointness. On the other hand, if G is an l-group, then an l-ideal J C G is closed if and only if it is complemented. Since any intersection of closed l-ideals is closed. We will have that the complemented l-ideals of any complete l-group form a complete Boolean algebra, hence the complemented l-ideals of G is q'-compact and so by applying that ( [10], Theorem 3.5), the complemented l-ideals of any complete l-group is a strongly algebraically closed lattice. □
2. Orthomodular lattices and pseudocomplemente semilattices
Recall that a partially ordered set (S, <) in which any pair of elements a and b of S has a meet a A b is called (meet) semilattice. A semilattice in which every subset has a meet is actually a complete lattice. A pseudocomplemented semilattice (for short, a p-semilattice) is a semilattice S with a least element 0 and a unary operation (the pseudocomplementation) x —> x' such that, for each x £ S,
x A y = 0 ^^ y ^ x', y £ S,
which is equivalent to saying that for each x £ S there exists a largest element x £ S such that x A x' = 0. Note that any p-semilattice has a greatest element 1=0 '. For a p-semilattice S, write
B(S) = {x' | x £ S}.
Theorem 2.1. Let S be a p-semilattice. If S is complete lattice and B(S) is q'-compact, then B(S) is a strongly algebraically closed lattice.
Proof. We know that if S is a pseudocomplemented semilattice, then
x A y = x'' A y'' = (x A y)'' £ B(S),
for x, y £ S. Therefore, B(S) is a semilattice which is clearly dual for the pseudocomplementation inherited from S. Using ( [6], Theorem 2.6), B(S) is a Boolean algebra and by ( [6], Theorem 2.6), B(S) is a complete Boolean algebra. So, B(S) is a strongly algebraically closed lattice [10]. □
An ortholattice is an algebra L = (L, A, V, ', 0, 1) in which the following holds:
(1) (L, A, V, 0, 1) is a bounded lattice,
(2) (x ) = x,
(3) (x V y)' = x' A y',
(4) x A x = 0, for all x, y £ L.
It is not difficult to see that the equation (x A y)' = x' V y' holds in any ortholattice. Boolean algebras are distributive ortholattices. An ortholattice (L, A, V, ', 0, 1) is called an orthomodular lattice if for all x, y £ L it holds x V y = x V ((x V y) A x ) .
Let L be a complete orthomodular lattice. A dimensional equivalence relation on L is an equivalence relation — which satisfies: (1) If a - 0, then a = 0,
(2) If a ^ b' and c ~ a V b, then d ^ e' exist such that d ~ a, e ~ b, c = d V e.
(3) If {aa} and {ba} are families of pairwise orthogonal elements with the same indices a, then aa ~ ba, for all a.
(4) If a and b are perspective (i.e., have common complement in L), then a ~ b.
A lattice orthomodular complete with a dimensional equivalence relation is called a dimension ortholattice. In a dimension ortholattice, an element e is said to be invariant if a < e, b < e' and a ~ b imply a = b = 0. Also, we know the invariant elements of a dimension ortholattice is a complete Boolean algebra and also is q'-compact. So, the collection of the invariant elements of a dimension ortholattice is a strongly algebraically closed lattice. Thus, we obtain the following theorem:
Theorem 2.2. The set of invariant elements of a dimension ortholattice is a strongly algebraically closed lattice if it is q'-compact.
Acknowledgement. The authors thank the anonymous referees for his/her remarks which helped him to improve the presentation of the paper.
References
[1] G.Birkhoff, Lattice theory, American Mathematical Society Colloquium Publications, Vol. 25, 3rd ed., American Mathematical Society, New York, 1967.
[2] E.Daniyarova, A.Myasnikov, V.Remeslennikov, Unification theorems in algebraic geometry, Algebra and Discrete Mathamatics, (2008), 80-112.
[3] E.Daniyarova, A.Myasnikov, V.Remeslennikov, Algebraic geometry over algebraic structures, II: Fundations, preprint, arXiv:1002.3562v2[math.AG].
[4] E.Daniyarova, A.Myasnikov, V.Remeslennikov, Algebraic geometry over algebraic structures, III: Equationally Noetherian property and compactness, preprint, arXiv:1002.4243v2 [math.AG].
[5] E.Daniyarova, A.Myasnikov, V.Remeslennikov, Algebraic geometry over algebraic structures, IV: Equatinal domains and co-domains, preprint, 2012.
[6] A.Fernandez Lopez, M.I.Tocon Barroso, Pseudocomplemented semilattices, Boolean algebras, and compatible products 1, Journal of algebra, 242(2001), 60-91.
[7] S.Givant, P.Halmos, Introduction to Boolean algebras, Springer Science + Business Media, New York, 2009.
[8] G.Higman, E.L.Scott, Existentially closed groups, Clarendon Press, 1988.
[9] W.Hodges, Model theory, University Press, Cambridge, 1993.
[10] A.Molkhasi, On strongly algebraically closed lattices, Journal of Siberian Federal University, Mathematics and Physics, 9(2)(2016), 202-208.
[11] R.Sikorski, Boolean algebras, Springer-Verlag, Berlin etc., 1964.
[12] J.Schmid, Algebraically and existentially closed distributive lattices, Zeilschr. Math. Logik und Grundlagen d. Math. Bd., 25(1979), 525-530.
[13] D.A.Vladimirov, Boolean algebras, Nauka, Moscow, 1969 (in Russian).
[14] L.J.M.Waaijers, On the structure of lattice ordered groups, Waltman, 1968.
Сильно алгебраически замкнутые решетки в ^-группах и полурешетках
Али Молхаси
Факультет математических наук Университет Табриза, Табриз, 51666-16471
Иран
В этой статье описаны свойства К0-классов полной l-группы, множества полюсов l-группы, дополненных l-идеалов полной l-группы. Изучается множество инвариантных элементов орто-стационарной размерности и псевдодополняемые полурешетки с точки зрения теории моделей и получены их отношения к сильно алгебраически замкнутым решеткам.
Ключевые слова: сильно алгебраически замкнутые решетки, l-группы, псевдодополненные полурешетки.
