International Mathematical Forum, Vol. 6, 2011, no. 28, 1387-1396 The Space of Maximal Ideals in an Almost Distributive Lattice Y. S. Pawar Department of Mathematics Solapur University Solapur-413255, (M.S.), India pawar y s@yahoo.com I. A. Shaikh Department of Mathematics Bharatratna Indira Gandhi College of Engineering Solapur-413255,(M.S.), India Abstract This paper deals with the space of prime ideals, the space M of maximal ideals and the space Σ of all prime ideals containing all dual dense elements of an ADL R with 0 and maximal elements. The aim of this paper is to characterize the regularity of the space and the normality of the spaces M and Σ. Mathematics Subject Classification: 06D99 Keywords: Almost Distributive Lattice (ADL), maximal ideal, co-maximal filter, dually semi-complemented ADL 1 Introduction It is well known that the space of prime ideals of a bounded distributive lattice L is a compact, T 0 -space with respect to the hull kernel topology and that this space satisfies several interesting properties. Many lattice theoretic properties of L are characterized in terms of certain topological properties of this space. In particular it is well known that L is a Boolean algebra iff the space of prime ideals of L is a Hausdorff space. Almost distributive lattice arise as a natural generalization of a distributive lattices and hence it is natural to consider the properties of the space of prime
1388 Y. S. Pawar and I. A. Shaikh ideals in an almost distributive lattice. It is interesting to note that the results which are valid for distributive lattices in verbatim, for ADLs, even though the techniques of the proofs in the case of ADLs are slightly different, for the reason that the operations and are not commutative. For an ADL R with 0 and maximal elements, let denote the set of all prime ideals in R. The prime spectrum of R is the set equipped with the hull kernel topology. Some necessary and sufficient conditions for the space to be normal in a dually semi-complemented ADL R are proved. Let M denote the set of all maximal ideals in R. Then obviously, M. The maximal spectrum of R is the set M equipped with the hull kernel topology. Some equivalent conditions for the space M to be normal are furnished. As a special case, the properties of M in a dually semi-complemented ADL are proved. Let Σ = {P M P } i.e. the set Σ is the set of all prime ideals consisting of all dual dense elements in R. A detailed study of the special subspace Σ of is carried out in this paper. Several algebraic properties of R are characterized in terms of certain topological properties of the spaces Σ and M. In particular, it is proved that The maximal spectrum M of R is a retract of Σ iff each P Σ is contained in a unique maximal ideal M in M. Also it is observed that the space M is normal iff the space Σ is normal. Finally, we have given a necessary and sufficient condition for the space to be regular space. 2 Preliminary Notes We first recall some basic concepts and important results for the sake of completeness. Recall from [1] an almost distributive lattice (ADL) with 0 is an algebra <R,,, 0 > of the type (2, 2, 0) satisfying 1. a 0=a, 2. 0 a =0, 3. (a b) c =(a c) (b c), 4. a (b c) =(a b) (a c), 5. a (b c) =(a b) (a c), 6. (a b) b = b, for all a, b, c R Let X be any non-empty set. Fix x 0 X. For any x, y X, define binary operations, on X by { { x if x x0 y if x x0 x y = x y = y if x = x 0 x 0 if x = x 0
Space of maximal ideals 1389 Then (X,,,x o ) is an ADL which is called a discrete ADL with zero x 0. If <R,,, 0 > is an ADL, for any a, b R, define a b if and only if a = a b or, equivalently, a b = b, then is a partial ordering on R. A non empty subset I of R is said to be an ideal (filter) of R, if it satisfies the following; (i) a, b I a b I (a b I) (ii) a I, x R a x I (a x I). If I is an ideal of R and a, b R, then a b I b a I. A proper ideal (filter) P of R is said to be maximal if, there is no proper ideal (filter ) Q of R such that P Q. If P is a proper ideal of R, then we say that P is prime ideal if for any x, y R, x y P x P or y P. Analogously, we can define the concept of a prime filter. An element m R is called maximal if it is a maximal element in the partially ordered set (R, ). That is for any a R, m a m = a. An element x R is said to be a dual dense elements if (x) + = A, where A is the set of all maximal elements in R and (x) + = {y R x y = m, for some m A}. IfE denote the set of all dual dense elements in R, then E is an ideal in R and E = {M M M}. [3] Any two filters are weakly co-maximal, if F 1 F 2 contains a dual-dense element. [3] An ADL R with maximal elements is called a dually semi-complemented if, for each non-zero element x R, there exists a non-maximal element y of R such that x y is maximal. [3] Now we review some topological concepts. Let X be a topological space. X is called T 0 if distinct points points of X have distinct closures. A point p of X is called a T 1 point if the closure of p contains no point other than p. X is called T 1 if every point of X is T 1. X is called T 2 if any two distinct points of X have disjoint neighbourhoods. A subset A of X is called compact, if every open cover of A has a finite subcover. A subset A of X is said to be dense if Cl.A = X. X is called normal if given any two disjoint closed subsets C 1,C 2 of X we can find subsets C 3,C 4 of X containing C 1,C 2 respectively such that C 1 C 4 = φ = C 2 C 3 and C 3 C 4 = X. A topological space X is a regular space if, given any nonempty closed set F and any point x that does not belong to F, there exists a neighbourhood U of x and a neighbourhood V of F that are disjoint. Let E be a subspace of the space X. A map γ : X E is called a retraction of X onto E if γ E is the identity map on E. A subspace E of X is called a retract of X if there is a retraction of X onto E. Result 2.1. [4] For any a, b, c R, we have the following: 1. a b = a a b = b
1390 Y. S. Pawar and I. A. Shaikh 2. a b = b a b = a 3. is associative in R 4. a b c = b a c 5. (a b) c =(b a) c 6. a b =0 b a =0 7. a (b a) =a (a b) =a 8. a a b and a b b 9. If a c, b c then a b = b a and a b = b a 10. a b =(a b) a 11. a (b c) =(a b) (a c). Result 2.2. [2] The set I(R) of all ideals of R is a complete distributive lattice with the least elements {0} and the greatest element R under set inclusion in which for any I,J I(R), I J is the infimum of I and J and the supremum is given by I J = {i j i I,j J}. Result 2.3. [2] For any subset S of R is the smallest ideal containing S is given by (S] ={( n i=1 s i) x s i S, x R and n N} and if a R, then (a] = {a x x R} is ideal generated by a. Similarly, for any a R, [a) = {x a x R} is the filter generated by a. Result 2.4. [2] A subset P of R is a prime ideal of R if and only if R \ P is a prime filter. Result 2.5. [2] Every maximal ideal of R is a prime ideal. Result 2.6. [2] Let I be an ideal and F is a filter of an ADL R with 0 such that I F = φ. Then there exists a prime ideal P such that I P and P F = φ. Result 2.7. [2] Let P be a prime ideal of an ADL R with 0. Then P is a minimal prime ideal iff for each x P there exists y/ P such that x y =0. [4] Let R be an ADL and m R. Then the following are equiv- Result 2.8. alent 1. m is the maximal with respect to.
Space of maximal ideals 1391 2. m a = m, for all a R. 3. m a = a, for all a R. Result 2.9. [3] Let R be an ADL with maximal elements. Then R is a dually semi-complemented if and only if the intersection of all maximal ideal is {0}. Result 2.10. [3] Let R be an ADL with maximal elements then U(a) =φ if and only if a E 3 Topological spaces Throughout this paper we consider an ADL R with 0 and maximal elements. Let denote the set of all prime ideals in R. The prime spectrum of R is the set equipped with the hull kernel topology.the set B = {V (a) a R} where V (a) ={P a/ P } forms a base for the open sets for the space. The sets V (a)(a R) are the only compact open sets in. As for any maximal element m in R, V (m) =, the space is compact. For any F, the closure of F in is given by Cl F = {P F P }. ThusCl F = h(i) (hull of I) where I is an ideal in R given by I = F. Thus the set F is closed in if and only if F = h(i) for some ideal I in R.Further the space is a T 0 -space. The maximal spectrum of R is the set M topologised by assuming the base for open sets the family B 1 = {U(a) a R}, where U(a) ={M M a/ M}. Obviously, M is a subspace of the space. Note that U(a) =φ a E. As R contains maximal elements, M is a compact space. Further for each M M, {M} being a closed set in M, the space M is a T 1 -space. The set M is the set of T 1 -points in. Let Σ = {P M P }. i.e the set Σ is the set of all prime ideals consisting of all dual dense elements in R. Thus M Σ. Σ endowed with the hull kernel topology forms a subspace of the space. The base for open sets is the family B 2 = {X(a) a R}, where X(a) ={P Σ a/ P }. Obviously, M is a subspace of the space Σ and Σ is a subspace of the space. First of all we prove a result which is crucial to our approach besides being of independent interest Lemma 3.1. Let each P Σ be contained in a unique maximal ideal. Define g : Σ M by g(p )=M where M is the unique maximal ideal containing P. Then g is a continuous map.
1392 Y. S. Pawar and I. A. Shaikh Proof. The map g : Σ M is a well defined map. Select a R. To prove that g is continuous, it is enough to prove g 1 [Y (a)] is closed in Σ. Define I = g 1 [Y (a)] and B = g 1 [Y (a)]. Select P 1 cl Σ g 1 [Y (a)] = {P Σ I P }. For any t / P 1, there exists P 2 Σ such that a g(p 2 ) and t/ P 2 as t/ I. Hence for any s B, s t/ P 2 and hence s t/ I. but this gives [(R\B) (R\I)] I = φ. Hence by result (2.6) there exists a prime ideal Q in R such that I Q and [(R\B) (R\I)] Q = φ. Let if possible q a is a maximal element in R for some q Q i.e. q (a) +.AsQ B, q B. Hence there exists some P 3 Σ such that q P 3 and a g(p 3 ). Thus q a g(p 3 ), which is absurd. Hence q a is not a maximal elements in R for any q Q. This shows that Q (a] is a proper ideal and hence contained in some maximal ideal say M in R. AsP 1 Q M, by assumption, g(p 1 )=g(q) =M. But a M implies a g(p 1 ) i.e. P 1 g 1 [Y (a)]. Thus P 1 cl Σ g 1 [Y (a)] implies P 1 g 1 [Y (a)]. Hence cl Σ g 1 [Y (a)] = g 1 [Y (a)]. This in turn shows that g is a continuous map. For any M M, define Σ M = {P Σ P M}. By the continuity of the function g (defined in Lemma 3.1) we get the following properties of Σ M. Theorem 3.2. Following statements are equivalent in R. 1. Each P Σ is contained in a unique maximal ideal in R. 2. For any M M, Σ M is a closed set in Σ. 3. M is the unique maximal ideal containing Σ M Proof. (1) (2) By Lemma 3.1, the map g : Σ M defined by g(p )=M, where M is the maximal ideal in R, is continuous. Further {M} being closed in M we get g 1 ({M}) ={P Σ M P M} = Σ M is closed in Σ and the implication follows. (2) (3) Let M 1 M such that Σ M M 1. Then M 1 cl Σ Σ M implies M 1 Σ M by assumption. But then M 1 M. This is possible only when M 1 = M. Hence M is the unique maximal ideal containing Σ M. (3) (1) Let P Σ be such that P M 1 and P M 2 for M 1,M 2 M. P M 1 implies P Σ M1 and hence Σ M1 P. But then as P M 2, Σ M1 M 2. By the condition (3) M 1 = M 2. Hence the implication follows. Thus the statements (1), (2) and (3) are equivalent. The retraction of the subspace M of Σ characterizes the algebraic properties of R. This we prove in the following theorem.
Space of maximal ideals 1393 Theorem 3.3. M is a retract of Σ iff each P Σ is contained in a unique maximal ideal in R. Proof. Let M be a retract of Σ. Hence there exists a continuous map γ : Σ M such that γ(m) =M, for all M M. Select P Σ and let γ(p )= M. {M} being closed in M, γ 1 ({M}) is closed in Σ. As P γ 1 ({M}), cl Σ {P } γ 1 ({M}). If P M 1 for some M 1 M, then M 1 γ 1 ({P }) and hence γ(m 1 )=M. This shows that if γ(p )=M 1, then P M and M is the unique maximal ideal containing P. Conversely, let each P Σ is contained in a unique maximal ideal in R. Then the map g : Σ M defined in Lemma 3.1, is a retraction of Σ on to M. Hence M is retract of Σ. Corollary 3.4. If each P Σ is contained in a unique maximal ideal in R, then the map g : Σ M defined in Lemma 3.1, is the unique retraction of Σ on to M Proof. Let γ : Σ M be a retraction and γ(p )=M for P Σ. Then M will be the unique maximal ideal containing P.(see the proof of only if part of theorem 3.3). Hence γ(p )=g(p). This is true for any P Σ, γ = g. Hence g is the unique retraction of Σ on to M. In the following theorem we prove some necessary and sufficient conditions for the maximal spectrum M to be Hausdorff. Theorem 3.5. Following statements are equivalent in R. 1. Each P Σ is contained in a unique maximal ideal in R. 2. Any two distinct minimal prime filters in R are weakly co-maximal. 3. For M 1 M 2 in M, there exist a 1 M 1,a 2 M 2 such that a 1 a 2 E. 4. M is a T 2 space. 5. M is a normal. Proof. 1) 2) Suppose there exist two distinct prime filters F 1 and F 2 in R such that (F 1 F 2 ) E = φ. Then F 1 F 2 being a proper filter, it must be contained in some ultra filter say U in R. But then the prime ideal R \ U is contained in two distinct maximal ideals R \ F 1 and R \ F 2 of R. This contradicts our assumption. Hence 1) 2). 2) 3) Let M 1 M 2 in M. Then R \ M 1 and R \ M 2 are distinct minimal prime filters in R. Hence by assumption [(R \ M 1 ) (R \ M 2 )] E = φ. Hence there
1394 Y. S. Pawar and I. A. Shaikh exist a 1 / M 1, a 2 / M 2 such that a 1 a 2 E. 3) 4) Let M 1 M 2 in M. by assumption there exist a 1 / M 1, a 2 / M 2 such that a 1 a 2 E. AsE = M, U(a 1 a 2 )=U(a 1 ) U(a 2 )=φ. Thus for M 1 M 2 in M, there exist disjoint basic open sets U(a 1 ) and U(a 2 )inm containing M 1 and M 2 respectively. Hence M is a T 2 space. 4) 1) Let P Σ be such that P M 1 and P M 2 for M 1 M 2 in M. As M is a T 2 space, there exist basic open sets U(a) and U(b) such that M 1 U(a), M 2 U(b) and U(a) U(b) =φ. But then U(a b) =φ implies a b E. As E P and P is prime, either a P or b P. But then a M 1 or b M 2 ; which is absurd. Hence each P Σ must be contained in a unique maximal ideal. (4) (5) M is a normal space as M is a compact, Hausdorff space. (5) (4) Let M be a normal space. As M is always T 1 space we get M is a T 3 space and hence M is a T 2 -space. Thus (1) (2) (3) (4) (5) and hence the result follows. We know that the members of M are the T 1 points of Σ. Hence they can be separated by neighbourhoods in Σ. But if they are separated by disjoint neighbourhoods in Σ, then we have Theorem 3.6. The following statements are equivalent in R. 1. Each P Σ is contained in a unique maximal ideal in R. 2. Σ is normal. 3. Any two distinct elements in M can be separated by disjoint neihbourhoods in Σ. Proof. (1) (2) Let P Σ be contained in the unique maximal ideal in R. Then by Lemma 3.1, the mapping g : Σ M defined by g(p )=M, where M is the unique maximal ideal, is continuous. As Σ is a compact space and M is a T 2 -space we get the mapping g : Σ M is a closed mapping. Let F 1 and F 2 be any two disjoint closed sets in Σ. Then g(f 1 ) and g(f 2 ) will be disjoint closed sets in M. M being normal, there exist disjoint neihbourhood say N 1 and N 2 of g(f 1 ) and g(f 2 ) respectively in M. But then g 1 (N 1 ) and g 1 (N 2 ) will be disjoint neihbourhoods of F 1 and F 2 respectively in Σ. This shows that the space Σ is normal. 2) 3)
Space of maximal ideals 1395 Let M 1 M 2 in M. Then {M 1 } and {M 2 } will be disjoint closed sets in Σ. Σ being a normal space, the implication follows. 3) 1) Let there exist P Σ such that P M 1 and P M 2 for M 1 M 2 in M. By assumption, there exist disjoint basic open sets say X(a) and X(b) containing M 1 and M 2 respectively in Σ. AsX(a) X(b) =X(a b) =φ we get a b E. As P Σ, a b P. Thus either a P or b P. But then either M 1 / X(a) orm 2 / X(b) which is not true. Hence the implication. As (1) (2) (3) (1), the result follows. If 0 is the only dual dense elements in R. i.e. if E = M = {0}, then R is dually semi-complemented ADL and conversely [3]. In this case Σ = and therefore from all the previous results as a special case we have Theorem 3.7. Let R be a dually semi-complemented ADL. The following statements are equivalent 1. Each P is contained in a unique maximal ideal in R. i.e. R is a pm-adl. 2. M is normal. 3. is normal. 4. For each M M, the set M = {P P M} is a closed set. 5. M is the unique maximal ideal containing M 6. M is the unique maximal ideal containing O(M), where O(M) ={x R there exists y/ M such that x y =0}. 7. M is a retract of. 8. Any two distinct minimal prime filters in R are co-maximal. 9. For M 1 M 2 in M, there exist a 1 / M 1 and a 2 / M 2 such that a 1 a 2 = 0. 10. Any two distinct members of M can be separated by disjoint neihbourhoods in the Σ. Theorem 3.8. is a regular space if and only if for any P and a/ P, for a R. There exists an ideal I of R and b R such that P V (b) h(i) V (a).
1396 Y. S. Pawar and I. A. Shaikh Proof. Let be a regular space. Let P and a/ P for some a R. Then P / \ V (a). As is a regular space, there exist two disjoint open sets G and H in such that P Gand \ V (a) H. Therefore \H V (a). But \H = h(i) for some ideal I in R. Thus \H = h(i) V (a). G H= φ will imply H \G. \G being a closed set, \G = h(j) for some ideal J in R. Then as H h(j), P G P / \G = h(j) and hence J P. Select b J such that b/ P. But then P V (b). Let T H h(j). Then J T. As b J b T it follows that T h(b). This shows that H h(b). Hence \ h(b) \H= h(i). i.e. V (b) h(i). Thus for any P and a/ P, there exist an ideal I in R such that P V (b) h(i) V (a). Conversely, suppose that for any P and a/ P, for a R. There exists an ideal I of R and b R such that P V (b) h(i) V (a). To show that the space is regular. Let P and h(k) be any closed set of such that P / h(k). This gives K P. Therefore there exist a K such that a/ P. a/ P P V (a). As a K R and a/ P by assumption there exist an ideal I of R such that P V (b) h(i) V (a). We have V (a) h(k) =φ, since for a K, K h(a). Therefore h(k) \ V (a) \ h(i). Also V (b) ( \ h(i)) = φ. Thus there exist two disjoint open sets V (b) and ( \ h(i) such that P V (b) and h(k) ( \ h(i). Therefore the space is regular. Corollary 3.9. If for any P Σ and a/ P, for a R. There exists an ideal I of R and b R such that P X(b) h(i) X(a), then Σ is a T 3 -space. Corollary 3.10. If for any P M and a/ P, for a R. There exists an ideal I of R and b R such that P U(b) h(i) U(a), then M is a T 3 -space. References [1] Pawar Y. S., On the space of maximal ideals in a bounded distributive lattice, Indian J. pure appl. Math., 24(1993), 647-650. [2] Rao G.C and S.Ravikumar, Minimal Prime Ideals in Almost Distributive Lattices, Int.J.Math.Sciences, Vol 4, 10(2009), 475-484. [3] Ramesh Sirisetti, On Almost distributive Lattices,Doctoral Thesis,Andhra University,Visakhapatnam.(2008) [4] Swamy U.M. and Rao G.C., Almost Distributive Lattices, Jour.Aust.Math.Soc.,(Series A), 31(1981), 77-91. Received: January, 2011