The Space of Maximal Ideals in an Almost Distributive Lattice

Similar documents
Classes of Commutative Clean Rings

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE

ARCHIVUM MATHEMATICUM (BRNO) Tomus 48 (2012), M. Sambasiva Rao

Spectrum of fuzzy prime filters of a 0 - distributive lattice

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

Gelfand Semirings, m-semirings and the Zariski Topology

On hyperconnected topological spaces

LATTICE PROPERTIES OF T 1 -L TOPOLOGIES

Notes on Ordered Sets

int cl int cl A = int cl A.

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

Continuous functions with compact support

Compactifications of Discrete Spaces

ON COUNTABLE FAMILIES OF TOPOLOGIES ON A SET

Totally supra b continuous and slightly supra b continuous functions

3 Hausdorff and Connected Spaces

Contra θ-c-continuous Functions

z -FILTERS AND RELATED IDEALS IN C(X) Communicated by B. Davvaz

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Prime and Irreducible Ideals in Subtraction Algebras

Maximilian GANSTER. appeared in: Soochow J. Math. 15 (1) (1989),

of the set A. Note that the cross-section A ω :={t R + : (t,ω) A} is empty when ω/ π A. It would be impossible to have (ψ(ω), ω) A for such an ω.

ON MAXIMAL, MINIMAL OPEN AND CLOSED SETS

COMPACT ORTHOALGEBRAS

A general Stone representation theorem

Filters in Analysis and Topology

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

CLOSURE OPERATORS ON COMPLETE ALMOST DISTRIBUTIVE LATTICES-III

Minimal Prime Element Space of an Algebraic Frame. Papiya Bhattacharjee. A Dissertation

SUPRA PAIRWISE CONNECTED AND PAIRWISE SEMI-CONNECTED SPACES

A study on gr*-closed sets in Bitopological Spaces

frg Connectedness in Fine- Topological Spaces

SUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE

Topological 3- Rings

Problem Set 2: Solutions Math 201A: Fall 2016

The Tychonoff Theorem

A SET OF LECTURE NOTES ON CONVEX OPTIMIZATION WITH SOME APPLICATIONS TO PROBABILITY THEORY INCOMPLETE DRAFT. MAY 06

F A S C I C U L I M A T H E M A T I C I

On the topology of pointwise convergence on the boundaries of L 1 -preduals. Warren B. Moors

COUNTABLY S-CLOSED SPACES

ON γ-s-urysohn CLOSED AND γ-s-regular CLOSED SPACES

Slightly γ-continuous Functions. Key words: clopen, γ-open, γ-continuity, slightly continuity, slightly γ-continuity. Contents

Ω-ALMOST BOOLEAN RINGS

Homework 5. Solutions

TOPOLOGY TAKE-HOME CLAY SHONKWILER

TRANSITIVE AND ABSORBENT FILTERS OF LATTICE IMPLICATION ALGEBRAS

This chapter contains a very bare summary of some basic facts from topology.

Chapter 2 Metric Spaces

GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction

A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS

The Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected

Note di Matematica ISSN , e-issn Note Mat. 30 (2010) n. 1,

A Natural Equivalence for the Category of Coherent Frames

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Congruence Boolean Lifting Property

N. Karthikeyan 1, N. Rajesh 2. Jeppiaar Engineering College Chennai, , Tamilnadu, INDIA 2 Department of Mathematics

ON ALMOST (ω)regular SPACES

Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9;

α (β,β) -Topological Abelian Groups

Contents. Index... 15

The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce

Obstinate filters in residuated lattices

Math 203A - Solution Set 1

REVIEW OF ESSENTIAL MATH 346 TOPICS

On the Truth Values of Fuzzy Statements

Topological groups with dense compactly generated subgroups

Distributive contact lattices: Topological representations

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

Notes for Functional Analysis

SPECTRAL-LIKE DUALITY FOR DISTRIBUTIVE HILBERT ALGEBRAS WITH INFIMUM

A short note on hit and miss hyperspaces Dedicated to Professor Som Naimpally on the occasion of his 70th birthday

On minimal models of the Region Connection Calculus

Properties of Boolean Algebras

8. Distributive Lattices. Every dog must have his day.

Semi Prime Ideals in Meet Semilattices

Neighborhood spaces and convergence

ON µ-compact SETS IN µ-spaces

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Topological dynamics: basic notions and examples

On π bμ Compactness and π bμ Connectedness in Generalized Topological Spaces

Appendix A. Definitions for Ordered Sets. The appendices contain all the formal definitions, propositions and proofs for

Notes about Filters. Samuel Mimram. December 6, 2012

Dually Normal ADL. S. Ravi Kumar 1. G.C.Rao 2 1. DUAL ANNIHILATORS. s S, and hence the element s ( x a)

AN EXTENSION OF THE NOTION OF ZERO-EPI MAPS TO THE CONTEXT OF TOPOLOGICAL SPACES

Troisième Rencontre Internationale sur les Polynômes à Valeurs Entières

Universal Algebra for Logics

Prime k-bi-ideals in Γ-Semirings

ON FUZZY TOPOLOGICAL BCC-ALGEBRAS 1

Supra g-closed Sets in Supra Bitopological Spaces

Maths 212: Homework Solutions

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.

On Regularity of Incline Matrices

Commuting nilpotent matrices and pairs of partitions

ON PC-COMPACT SPACES

That is, there is an element

NEW NORMALITY AXIOMS AND DECOMPOSITIONS OF NORMALITY. J. K. Kohli and A. K. Das University of Delhi, India

Adam Kwela. Instytut Matematyczny PAN SELECTIVE PROPERTIES OF IDEALS ON COUNTABLE SETS. Praca semestralna nr 3 (semestr letni 2011/12)

Math General Topology Fall 2012 Homework 8 Solutions

Transcription:

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