Uploaded by Tolesa Dekeba

Space of Maximal Filters in Distributive Semilattice.edited

advertisement
Space of Maximal Filters in Distributive Semilattice
Author: Tolesa Dekeba Bekele
Department of Mathematics, Dire Dawa University, Dire Dawa, Ethiopia
Email: toleyoobii2020@gmail.com
Co-author: Tesfu Reta Gari
Department of Mathematics, Dire Dawa University, Dire Dawa, Ethiopia
Email: tesfur2013@gmail.com
Abstract: In this paper, we contribute a topological representation of maximal filters of
distributive meet semilattice with 0. We proved that the Compact Hausdorff space is equivalent
to T1- space in the case of maximal filters of pseudo complemented distributive semilattice.
Finally, we show that in distributive semilattice with 0 the compact Hausdorff space of prime
filters with the hull-kernel topology is equivalent to Regular space.
Keywords: Prime filters of distributive semilattice; Space of maximal filters of distributive
semilattice; Boolean space of distributive semilattice; Regular space distributive semilattice.
Introduction
The concept of distributivity in a lattice can be considered in several corresponding ways.
In semilattices, we have a diverse situation because there are already several different concepts
of distributivity. In this paper, we like to discuss the class of distributive meet-semilattices. A
meet-semilattice is an idempotent commutative semigroup. i.e. an algebra (𝑆, ∧) is said to be
a semilattice if for any π‘Ž, 𝑏, and 𝑐 ∈ 𝑆;
π‘Ž ∧ π‘Ž = π‘Ž, π‘Ž ∧ 𝑏 = 𝑏 ∧ π‘Ž, and π‘Ž ∧ (𝑏 ∧ 𝑐) = (π‘Ž ∧ 𝑏) ∧ 𝑐
The class of distributive semilattices is a significant subclass of semilattices. Several works
are studying the class of distributive semilattices such as[1][3][4][12][13][16]and [18]. The
class of 0-distributive semilattices is a good extension of the class of distributive semilattices.
This extension is very important for the study of pseudocomplemented semilattices For 0distributive semilattices and pseudocomplemented semilattices we refer the readers
to[2][3][5][6][7][10][12][15].
Filters and Ideals play an important character in the theory of semilattices, particularly in
distributive semilattice, 0-distributive semilattice, and pseudocomplemented distributive
semilattice. For the concept of filters in distributive semilattice, pseudo complement
distributive semilattice, and 0-distributive semilattice we refer the readers to Ошибка!
Π˜ΡΡ‚ΠΎΡ‡Π½ΠΈΠΊ ссылки Π½Π΅ Π½Π°ΠΉΠ΄Π΅Π½.[5][9][10][12].
Let (𝑋, π’Ÿ) be a topological space, then the sub-collection ℬ of π’Ÿ is said to be the open base
for π’Ÿ if each member of π’Ÿ can be expressed as a union of members of ℬ. In other words let
(𝑋, π’Ÿ) be a topological space, then the sub-collection ℬ of π’Ÿ is said to be base, if for a
point π‘₯ belonging to an open set π”˜ then there exist 𝔅 ∈ ℬ such that π‘₯ ∈ 𝔅 ⊆ π”˜.[16]. The
main objective of this paper is to address that, the space of prime (maximal) filters make some
topological space.[16]
Preliminaries:
In this section, we state some important notations, definitions, and basic properties of
semilattice. Let 𝑆 = (𝑆, ≤) be a semilattice; According to [1] A non-empty subset 𝐹 of 𝑆 is
called a filter if; π‘Ž, 𝑏 ∈ 𝐹implies π‘Ž ∧ 𝑏 ∈ 𝐹, and π‘Ž ∈ 𝐹, 𝑏 ∈ 𝑆 with π‘Ž ≤ 𝑏 implies 𝑏 ∈ 𝐹. A
filter 𝐹 of 𝑆 is said to be proper if 𝐹 ≠ 𝑆 and 𝐹 ≠ ∅. A proper filter 𝐹 of 𝑆 is called a prime
filter if 𝑆 − 𝐹 is a prime ideal. Dually, non-empty subset 𝐼 of 𝑆 is called an ideal if; for
any, π‘Ž, 𝑏 ∈ 𝐼, there exist 𝑐 ∈ 𝐼 such that π‘Ž ≤ 𝑐, 𝑏 ≤ 𝑐 and π‘Ž ∈ 𝐼, 𝑏 ∈ 𝑆 with 𝑏 ≤ π‘Ž implies 𝑏 ∈
𝐼. A prime ideal 𝐼 is a proper ideal of 𝑆, such that π‘Ž ∧ 𝑏 ∈ 𝐼 implies either π‘Ž ∈ 𝐼 or 𝑏 ∈ 𝐼.
Note that 𝑆 is an ideal of itself if and only if 𝑆 is directed above, 𝑆 is always a filter of
itself and a final segment 𝐹 of 𝑆 is a filter of S if and only if 𝐹 is a sub-semilattice of 𝑆. Let
𝐹(𝑆) and 𝐼(𝑆) denote the set of all filters of 𝑆 and the set of all ideals of S respectively. For
any π‘Ž ∈ 𝑆, let (a] denote the ideal {π‘₯ ∈ 𝑆: π‘₯ ≤ π‘Ž} and [a) denotes the filter {π‘₯ ∈ 𝑆: π‘Ž ≤ π‘₯}.
Then, π‘Ž ↦ [π‘Ž) is an anti-monomorphism of S into 𝐹(𝑆) and hence we can consider S as a join
subsemilattice of 𝐹(𝑆).
Definition: 1. A homomorphism between two semilattices 𝑆 and 𝑇 is a map β„Ž: 𝑆 → 𝑇 with the
property that β„Ž(π‘₯ ∧ 𝑦) = β„Ž(π‘₯) ∧ β„Ž(𝑦).
Theorem: 2. S has the largest (smallest) element if and only if the intersection of all non-empty
filters (ideals) is again non-empty.
Proof: Suppose that S has the smallest element, say π‘š. For any ideal 𝐼 of 𝑆, if π‘₯, 𝑦 ∈ 𝐼, then
π‘š ≤ π‘₯ and π‘š ≤ 𝑦. Therefore π‘š ∈ 𝐼, for all 𝐼 ∈ 𝐼(𝑆). Hence π‘š ∈ ⋂𝐼∈𝐼(𝑆) 𝐼 .
Similarly, if S has the largest element says 𝑑, then 𝑑 ∈ ⋂𝐹∈𝐹(𝑆) 𝐹 . Conversely, suppose that the
intersection of all non-empty filters (ideals) is again non-empty. Then 𝑆 has the Largest
(smallest) element.
Proposition: 3. Let 𝑆 be a semilattice, then 𝐼(𝑆) is closed under finite intersections.
Proof: Suppose that 𝐼1 , 𝐼2 , … , 𝐼𝑛 ∈ 𝐼(𝑆) for some n in a positive integer. Let π‘₯ ∈ ⋂𝑛𝑖=1 𝐼𝑖 and let
π‘Ž ∈ 𝑆 such that π‘Ž ≤ π‘₯. Then π‘₯ ∈ 𝐼𝑖 for all 1 ≤ 𝑖 ≤ 𝑛 and hence π‘Ž ∈ 𝐼𝑖 for all 1 ≤ 𝑖 ≤ 𝑛. This
implies that π‘Ž ∈ ⋂𝑛𝑖=1 𝐼𝑖 for all 1 ≤ 𝑖 ≤ 𝑛. Let x and 𝑦 ∈ ⋂𝑛𝑖=1 𝐼𝑖 then π‘₯, 𝑦 ∈ 𝐼𝑖 for all 𝑖. Since
each 𝐼𝑖 is an ideal, π‘₯ ∨ 𝑦 ∈ 𝐼𝑖 , for all i. Therefore π‘₯ ∨ 𝑦 ∈ ⋂𝑛𝑖=1 𝐼𝑖 . Hence ⋂𝑛𝑖=1 𝐼𝑖 is an ideal.
Theorem: 4. [16] The following are equivalent in any semilattice 𝑆;
a. (𝑆, ≤) is a lattice.
b. 𝐼(𝑆) is closed under an arbitrary intersection.
c. For any 𝐹 ∈ 𝐹(𝑆),β‹‚ π‘Ž∈𝐹(π‘Ž] is an ideal of 𝑆.
d. 𝐼(𝑆) is a lattice under set inclusion.
Proof: (a)⇒(b) Suppose(𝑆, ≤) is the lattice. Let π‘Ž be the smallest element in S, π‘Ž ∈ 𝐼𝑖 for all 𝑖,
where {𝐼𝑖 }𝑖∈π›₯ ⊆ 𝐼(𝑆). This implies that π‘Ž ∈ ⋂𝑖∈π›₯ 𝐼𝑖 . Let π‘₯, 𝑦 ∈ ⋂𝑖∈π›₯ 𝐼𝑖 then π‘₯, 𝑦 ∈ 𝐼𝑖 , for all 𝑖.
Therefore π‘₯ ∨ 𝑦 ∈ 𝐼𝑖 , for all 𝑖 ∈ π›₯. Hence π‘₯ ∨ 𝑦 ⋂𝑖∈π›₯ 𝐼𝑖 .
(b) ⇒ (c) Suppose that for any 𝐹 ∈ 𝐹(𝑆), β‹‚π‘Ž ∈ 𝐹 (π‘Ž] is an ideal of 𝑆. Let 𝐼, π‘Žπ‘›π‘‘ 𝐽 ∈ 𝐼(𝑆) be
ideals of 𝑆, then β‹ƒπ‘Ž∈𝐼 {π‘₯ ∈ 𝑆: π‘₯ ≤ 𝑦, for all 𝑦 ∈ [π‘Ž) ∩ [𝑏) is the smallest ideal of 𝑆 containing
𝑏∈𝐽
𝐼 and 𝐽. Therefore, 𝐼(𝑆) is closed under inclusion .
(d) ⇒ (a) Suppose π‘Ž π‘Žπ‘›π‘‘ 𝑏 ∈ 𝑆. Let 𝐼 be the least upper bound of (π‘Ž] π‘Žπ‘›π‘‘ (𝑏] in 𝐼(𝑆), then
there exist 𝑐 ∈ 𝐼 such that π‘Ž ≤ 𝑐 and 𝑏 ≤ 𝑐 and hence 𝐼 = (𝑐]. It follows that c is the least
upper bound of a and b in S. Hence S is a lattice.
Theorem: 5. Let 𝑆 be a semilattice, 𝑆 has the largest element if and only if the intersection of
all non-empty filters is again nonempty.
Proof: Suppose that 𝑆 has the largest element, say 𝑙, then for any π‘Ž ∈ 𝑆, π‘Ž ≤ 𝑙. Let 𝐹 be a filter
of 𝑆. Now π‘₯ ∈ 𝐹 implies π‘₯ ≤ 𝑙 for all filter 𝐹 ∈ 𝐹(𝑆). Hence 𝑙 ∈ ⋂𝐹∈𝐹(𝑆) 𝐹 .
Therefore ⋂𝐹∈𝐹(𝑆) 𝐹 ≠ ∅.
Conversely, suppose that the intersection of all non-empty filters is again non-empty. Then
𝑆 has the largest element.
Lemma: 6. Let 𝑃 ⊂ 𝑆. Then 𝑃 is a prime filter of 𝑆 if and only if 𝑆 − 𝑃 is a prime ideal.
Proof: Suppose 𝑃 is a prime filter of 𝑆, then it is non-empty and proper. To show 𝑆 − 𝑃 is
directed above, let π‘Ž, 𝑏 ∉ 𝑆 − 𝑃. Suppose if possible, [π‘Ž) ∩ [𝑏) ∩ 𝑆 − 𝑃 = ∅, [π‘Ž) ∩ [𝑏) ⊆ 𝑃.
This implies [π‘Ž) ⊆ 𝑃 or [𝑏) ⊆ 𝑃. Since 𝑃 is prime then π‘Ž ∉ 𝑆 − 𝑃 or 𝑏 ∉ 𝑆 − 𝑃. This is a
contradiction. Thus ([π‘Ž) ∩ [𝑏)) ∩ 𝑆 − 𝑃 ≠ ∅. Hence 𝑆 − 𝑃 is ideal. To show that 𝑆 − 𝑃 is the
prime ideal of 𝑆, suppose that π‘Ž ∧ 𝑏 ∈ 𝑆 − 𝑃 ⇒ π‘Ž ∧ 𝑏 ∉ 𝑃 ⇒ π‘Ž ∉ 𝑃 or 𝑏 ∈ 𝑃. Therefore π‘Ž ∈
𝑆 − 𝑃 or 𝑏 ∈ 𝑆 − 𝑃.
Conversely, suppose that 𝑆 − 𝑃 is a prime ideal, then 𝑃 ≠ ∅, 𝑆. Since 𝑆 − 𝑃 is directed above,
then 𝑃 is directed below. If π‘Ž, 𝑏 ∈ 𝑃, then π‘Ž, 𝑏 ∉ 𝑆 − 𝑃. Since 𝑆 − 𝑃 is prime, π‘Ž ∧ 𝑏 ∉ 𝑆 − 𝑃.
Thus π‘Ž ∧ 𝑏 ∈ 𝑃, and so 𝑃 is a filter of 𝑆. To show that 𝑃 is a prime filter, suppose if
possible 𝑄 ∩ 𝑅 ⊆ 𝑃 and 𝑄 ⊈ 𝑃, 𝑅 ⊈ 𝑃 ⇒ 𝑄 ∩ 𝑆 − 𝑃 ≠ ∅ ,
and 𝑅 ∩ 𝑆 − 𝑃 ≠ ∅, there
exists π‘Ž ∈ 𝑄 ∩ 𝑆 − 𝑃 and 𝑏 ∈ 𝑅 ∩ 𝑆 − 𝑃, there exist 𝑐 ∈ 𝑆 − 𝑃 with π‘Ž, 𝑏 ≤ 𝑐 ⇒ 𝑐 ∈ 𝑃 ∩ 𝑆 −
𝑃. This is a contradiction. Therefore 𝑄 ⊆ 𝑃 π‘œπ‘Ÿ 𝑅 ⊆ 𝑃 ⇒ 𝑃 is prime.
Lemma: 7. A filter 𝐹 of 𝑆 is prime if and only if 𝐹 is proper and for any filters 𝐺 and 𝐻 of 𝑆,
𝐺 ∩ 𝐻 ⊂ 𝑃 implies 𝐺 ⊂ 𝑃 or 𝐻 ⊂ 𝑃.
Proof: Let 𝑃 be a prime filter of 𝑆, then 𝑃 is proper (𝑃 ≠ 𝑆, ∅). Let 𝐺 and 𝐻 be filters of 𝑆.
Suppose that 𝐺 ∩ 𝐻 ⊂ 𝑃 ⇒ 𝐺 ∩ 𝐻 ⊄ 𝑆 − 𝑃. Then 𝐺 ⊄ 𝑆 − 𝑃 or 𝐻 ⊄ 𝑆 − 𝑃. Therefore 𝐺 ⊂
𝑃 or 𝐻 ⊂ 𝑃.
Distributive Semilattice
In this section, we recall the properties and definitions of ideals and filters of a semilattice,
especially in distributive semilattice.
Definition: 8. [3]A semilattice 𝑆 is said to be distributive if, for any π‘Ž, 𝑏,𝑐 ∈ 𝑆 such that π‘Ž ∧
𝑏 ≤ c, there exist𝑠 π‘₯ π‘Žπ‘›π‘‘ 𝑦 ∈ 𝑆 such that π‘Ž ≤ π‘₯, 𝑏 ≤ 𝑦, and π‘₯ ∧ 𝑦 = 𝑐.
Proposition: 9. Let I be an ideal of S and J a filter of S such that 𝐼 ∩ 𝐽 ≠ ∅. Then 𝐼 ∩ 𝐽 is a
distributive subsemilattice of S.
Proof: Let 𝐼 be an ideal of 𝑆 and 𝐽 a filter of 𝑆, then 𝐼 ∩ 𝐽 is a sub-semilattice of 𝑆. Let π‘Ž, 𝑏, 𝑐 ∈
𝐼 ∩ 𝐽 such that π‘Ž ∧ 𝑏 ≤ 𝑐. There exist π‘₯ and 𝑦 ∈ 𝑆 such that π‘Ž ≤ π‘₯, 𝑏 ≤ 𝑦, and π‘₯ ∧ 𝑦 = 𝑐.
Since 𝐼 is an ideal of 𝑆, there is 𝑧 ∈ 𝐼 such that π‘Ž ≤ 𝑧, 𝑏 ≤ 𝑧, and 𝑐 ≤ 𝑧. Now 𝑐 = 𝑐 ∧ 𝑧 =
(π‘₯ ∧ 𝑧) ∧ (𝑦 ∧ 𝑧), π‘Ž ≤ π‘₯ ∧ 𝑧 ∈ 𝐼 ∩ 𝐽 and 𝑏 ≤ 𝑦 ∧ 𝑧 ∈ 𝐼 ∩ 𝐽. Hence 𝐼 ∩ 𝐽 is distributive.
Theorem: 10. [16] Let (𝐿, ∧, ∨) be a lattice. Then the following are equivalent:
a) (𝐿, ∧, ∨) is a distributive lattice.
b) (𝐿, ∧) is a distributive meet semilattice.
c) (𝐿, ∨) is a distributive join semilattice.
Proof: (a)⇒(b): Suppose 𝐿 is distributive. Let π‘Ž, 𝑏, and 𝑐 ∈ 𝑆 such that π‘Ž ∧ 𝑏 ≤ 𝑐, then put π‘₯ =
π‘Ž ∨ 𝑐 and 𝑦 = 𝑏 ∨ 𝑐. π‘Ž ≤ π‘₯ and 𝑏 ≤ 𝑦. Now 𝑐 = (π‘Ž ∧ 𝑏) ∨ 𝑐 = (π‘Ž ∨ 𝑐) ∧ (𝑏 ∨ 𝑐) = π‘₯ ∧ 𝑦.
Hence (𝐿, ∧) is a distributive meet semilattice.
(b)⇒(c): Let 𝐿 is distributive meet semilattice. Let π‘Ž, 𝑏, π‘Žπ‘›π‘‘ 𝑐 ∈ 𝐿 such that 𝑐 ≤ π‘ŽΛ…π‘, then put
π‘₯ = π‘Ž ∧ 𝑐, 𝑦 = 𝑏 ∧ 𝑐 then π‘Ž ∧ 𝑐 ≤ π‘Ž, 𝑏 ∧ 𝑐 ≤ 𝑏. Consider 𝑐 = 𝑐 ∧ (π‘Ž ∨ 𝑏) = (𝑐 ∧ π‘Ž) ∨ (𝑐 ∧
𝑏) = π‘₯ ∨ 𝑦. Hence (𝐿,∨) is a distributive join semilattice.
(c) ⇒(a): Let (𝐿,∨) be a distributive join semilattice, then for any π‘Ž, 𝑏 and 𝑐 ∈ 𝐿, if 𝑐 ≤ π‘ŽΛ…π‘,
there exists π‘₯ π‘Žπ‘›π‘‘ 𝑦 ∈ 𝐿 such that 𝑐 = π‘₯ ∨ 𝑦. This implies that 𝑐 ≤ π‘Ž and 𝑐 ≤ 𝑏. Now consider
𝑐 ∧ (π‘Ž ∨ 𝑏) = 𝑐 = (𝑐 ∧ π‘Ž) ∨ (𝑐 ∧ 𝑏). Hence (𝐿, ∧ ,∨) is a distributive lattice.
Lemma: 11. If 𝑆 is a distributive semilattice, 𝑆 is directed above.
Proof: Suppose 𝑆 be a distributive semilattice, then for any π‘Ž, 𝑏 ∈ 𝑆, π‘Ž ∧ 𝑏 ∈ 𝑆, and π‘Ž ∧ 𝑏 ≤
𝑏.There exists π‘₯, 𝑦 ∈ 𝑆 such that π‘Ž ≤ π‘₯, 𝑏 ≤ 𝑦, and π‘₯ ∧ 𝑦 = 𝑏. Also 𝑏 = π‘₯ ∧ 𝑦 ≤ π‘₯. Therefore
for any π‘Ž, 𝑏 ∈ 𝑆, there exist𝑠 π‘₯ ∈ 𝑆 such that π‘Ž ≤ π‘₯ and 𝑏 ≤ π‘₯. Hence 𝑆 is directed above.
Note: For an ideal, 𝐼 of 𝑆 and π‘Ž and 𝑏 ∈ 𝑆, let ⟨π‘Ž, 𝐼⟩∗ = {π‘₯ ∈ 𝑆: π‘₯ ∧ π‘Ž ∈ 𝐼} and ⟨π‘Ž, 𝑏⟩ = {π‘₯ ∈
𝑆: π‘₯ ∧ π‘Ž = π‘₯ ∧ 𝑏}. If 𝐼 = (𝑏], we just write⟨ π‘Ž, 𝑏⟩∗ for ⟨π‘Ž, (𝑏]⟩∗ .
Theorem: 12. [16] The following are equivalent in any semilattice 𝑆;
a.
S is distributive.
b.
𝐹(𝑆) is a distributive lattice.
c.
For an ideal, 𝐼 of 𝑆 and π‘Ž ∈ 𝑆, ⟨π‘Ž, I⟩∗ is an ideal of 𝑆.
d.
For any π‘Ž and 𝑏 ∈ 𝑆, ⟨π‘Ž, b⟩∗ is an ideal of 𝑆.
e.
For any a and 𝑏 ∈ 𝑆, ⟨π‘Ž, 𝑏⟩ is an ideal of 𝑆.
f.
Every filter which is maximal with respect to not containing an element is
prime.
g.
All filters 𝐹 of S is the intersection of all prime filters of S covering 𝐹.
Proof: (a)⇒(b): Suppose 𝑆 be a distributive semilattice. Let 𝐹, 𝐺, and 𝐻 ∈ 𝐹(𝑆), then;
Consider (𝐹 ∧ 𝐺) ∨ (𝐹 ∧ 𝐻) ⊆ 𝐹 ∧ (𝐺 ∨ 𝐻) ⇒ π‘₯ ∈ 𝐹 ∧ (𝐺 ∨ 𝐻)⇒π‘₯ ∈ 𝐹 and π‘₯ ∈ (𝐺 ∨ 𝐻).
π‘₯ ∈ 𝐹 and π‘₯ ∈ 𝐺, π‘₯ ∈ 𝐻 ⇒ π‘₯ ∈ 𝐹 and π‘₯ ∈ 𝐺, π‘₯ ∈ 𝐹 and π‘₯ ∈ 𝐻 ⇒ π‘₯ ∈ 𝐹 ∧ 𝐺, π‘₯ ∈ 𝐹 ∧ 𝐻.
Then π‘₯ ∈ (𝐹 ∧ 𝐺) ∨ (𝐹 ∧ 𝐻). Thus 𝐹 ∧ (𝐺 ∨ 𝐻) ⊆ (𝐹 ∧ 𝐺) ∨ (𝐹 ∧ 𝐻).
Hence 𝐹 ∧ (𝐺 ∨ 𝐻) = (𝐹 ∧ 𝐻) ∨ (𝐹 ∧ 𝐻), implies 𝐹(𝑆) is a distributive lattice.
(b)⇒ (c): Suppose that π‘Ž ∈ 𝑆 and 𝐼 be an ideal of 𝑆, then ⟨π‘Ž, I⟩∗ is an initial segment of 𝑆. Let
π‘₯, 𝑦 ∈ 𝑆 such that π‘₯ ∧ π‘Ž and 𝑦 ∧ π‘Ž ∈ 𝐼, there is 𝑏 ∈ 𝐼 such that π‘₯ ∧ π‘Ž ≤ 𝑏 and 𝑦 ∧ π‘Ž ≤ 𝑏 so that
𝑏 ∈ ([π‘₯) ∨ [π‘Ž) ∩ ([𝑦) ∨ [π‘Ž)) = ([π‘₯) ∩ [𝑦)) ∨ [π‘Ž). There exist 𝑧 ∈ 𝑆 such that π‘₯ ≤ 𝑧, 𝑦 ≤
𝑧, and 𝑧 ∧ π‘Ž ≤ 𝑏. This implies that 𝑧 ∈ ⟨π‘Ž, I⟩∗ . Therefore ⟨π‘Ž, I⟩∗ is an ideal of 𝑆.
(c)⇒(d): Suppose that ⟨π‘Ž, I⟩∗ be an ideal of 𝑆. Let π‘₯ ∈ ⟨π‘Ž, b⟩∗ and 𝑐 ∈ 𝑆 such that 𝑐 ≤ π‘₯, then
π‘₯ ∧ π‘Ž ∈ (𝑏] and 𝑐 ∧ π‘Ž ≤ π‘₯ ∧ π‘Ž ∈ (𝑏]. Then 𝑐 ∈ ⟨π‘Ž, b⟩∗.
Again let π‘₯, 𝑦 ∈ ⟨π‘Ž, b⟩∗, then π‘₯ ∧ π‘Ž and 𝑦 ∧ π‘Ž ∈ (𝑏]. There is 𝑐 ∈ (𝑏] such that π‘₯ ∧ π‘Ž ≤ 𝑐 and
𝑦 ∧ π‘Ž ≤ 𝑐 ⇒ π‘Ž ∧ 𝑐 ∈ (𝑏]. Therefore 𝑐 ∈ ⟨π‘Ž, b⟩∗.
(d)⇒(e): Suppose that ⟨π‘Ž, b⟩∗ be an ideal of 𝑆, then⟨ 𝑏, a⟩∗ is also an ideal of 𝑆.
Then ⟨π‘Ž 𝑏⟩ = ⟨π‘Ž, 𝑏⟩∗ ∩ ⟨𝑏, π‘Ž⟩∗ . Therefore ⟨π‘Ž, 𝑏⟩ is ideal for 𝑆 as 𝐼(𝑆) is closed under a finite
intersection.
(e)⇒(f): Suppose 𝐹 be a filter of 𝑆, which is maximal with respect to not containing an element
π‘Ž of 𝑆. Let π‘₯, 𝑦 ∈ 𝑆 − 𝑃, then π‘Ž ∈ (𝐹˅[π‘₯)) ∩ (𝐹 Λ…[𝑦)). Therefore, there exists 𝑏 ∈ 𝐹 such
that 𝑏 ∧ π‘₯ ≤ π‘Ž and 𝑏 ∧ 𝑦 ≤ π‘Ž. Hence π‘₯ and 𝑦 ∈ ⟨π‘Ž, 𝑏⟩ * which is an ideal of S. Thus 𝑆 − 𝐹 is
directed above, therefore 𝐹 is prime.
(g)⇒(b): Let 𝐼, 𝐽, and 𝐾 be filters of 𝑆. For any prime filter 𝐹 of 𝑆; (𝐼 ∩ 𝐽) ∨ (𝐼 ∩ 𝐾) ⊂ 𝐹 ⇒
(𝐼 ∩ 𝐽) ⊂ 𝐹 or (𝐼 ∩ 𝐾) ⊂ 𝐹 ⇒ 𝐼 ⊂ 𝐹 and 𝐽 ∨ 𝐾 ⊂ 𝐹 ⇒ 𝐼 ∩ (𝐽 ∨ 𝐾) ⊂ 𝐹 ⇒ (𝐼 ∩ 𝐽) ∨ (𝐼 ∩
𝐾) = 𝐼 ∩ (𝐽 ∨ 𝐾). Hence 𝐹(𝑆) is distributive.
Definition: 13. [10] A semilattice S with 0 is said to be pseudo complemented if, for each π‘Ž ∈
𝑆, there exists π‘Ž∗ ∈ 𝑆 such that π‘Ž ∧ 𝑏 = 0 if and only if 𝑏 ≤ π‘Ž∗ for all 𝑏 ∈ 𝑆. An element π‘Ž ∈ 𝑆
is said to be dense if π‘Ž∗ = 0 and is said to be closed if(π‘Ž∗ )∗ = π‘Ž.
Theorem: 14. All pseudocomplemented semilattices are 0 − distributive.
Proof: Let 𝑆 be a pseudocomplemented semilattice and π‘₯1 , π‘₯2 , … , π‘₯𝑛 , π‘Žπ‘›π‘‘ π‘Ž ∈ 𝑆 such that π‘₯ ∧
π‘Ž1 = 0, π‘₯ ∧ π‘Ž2 = 0, … , π‘₯ ∧ π‘Žπ‘› = 0 and π‘₯1 ∨ π‘₯2 ∨ … ∨ π‘₯𝑛 exists. Since π‘₯𝑖 ≤ (π‘Ž)∗ for all 𝑖′𝑠, we
get π‘₯1 ∨ π‘₯2 ∨ … ∨ π‘₯𝑛 ≤ (π‘Ž)∗. Hence π‘Ž ∧ (π‘₯1 ∨ π‘₯2 ∨ … ∨ π‘₯𝑛 ) = 0. Thus 𝑆 is 0 − distributive.
Ideals and Filters for Distributive Semilattice
Theorem: 15. Let 𝐼 be an ideal of S and 𝐽 a filter of S such that 𝐼 ∩ 𝐽 ≠ ∅. then, 𝐼 ∩ 𝐽 is a
distributive sub-semilattice of 𝑆.
Proof: Suppose 𝐼 be an ideal of 𝑆 and 𝐽 a filter of 𝑆 such that 𝐼 ∩ 𝐽 ≠ ∅. Let π‘Ž, 𝑏 ∈ 𝐼 ∩ 𝐽, then
π‘Ž ∧ 𝑏 ∈ 𝐼. Since 𝐼 is the initial segment, there exist 𝑐 ∈ 𝐽 such that 𝑐 ≤ π‘Ž and 𝑏 ≤ 𝑐. This
implies 𝑐 ≤ π‘Ž ∧ 𝑏 and π‘Ž ∧ 𝑏 ∈ 𝐽 since 𝐽 is the final segment. Therefore 𝐼 ∩ 𝐽 is a subsemilattice of 𝑆. Let π‘Ž, 𝑏, and 𝑐 ∈ 𝐼 ∩ 𝐽 such that π‘Ž ∧ 𝑏 ≤ 𝑐. There is π‘₯ and 𝑦 ∈ 𝑆 such that π‘Ž ≤
π‘₯, 𝑏 ≤ 𝑦, and π‘₯ ∧ 𝑦 = 𝑐. Since 𝐼 is an ideal of 𝑆, there i𝑠 𝑧 ∈ 𝐼 such that π‘Ž ≤ 𝑧, 𝑏 ≤ 𝑧, and 𝑐 ≤
𝑧. now 𝑐 = 𝑐 ∧ 𝑧 = (π‘₯ ∧ 𝑧) ∧ (𝑦 ∧ 𝑧), π‘Ž ≤ π‘₯ ∧ 𝑧 ∈ 𝐼 ∩ 𝐽 π‘Žnd 𝑏 ≤ 𝑦 ∧ 𝑧 ∈ 𝐼 ∩ 𝐽.
Therefore 𝐼 ∩ 𝐽 is distributive.
Corollary: 16. Every non-empty filter of 𝑆 is a distributive sub-semilattice of 𝑆.
Proof: Suppose that 𝐽 is a nonempty filter of 𝑆. For any π‘Ž, 𝑏 ∈ 𝐽, there exist 𝑐 ∈ 𝐽 such that 𝑐 ≤
π‘Ž and 𝑐 ≤ 𝑏 ⇒ 𝑐 ≤ π‘Ž ∧ 𝑏 ⇒ π‘Ž ∧ 𝑏 ∈ 𝐽, since 𝐽 is the final segment. Then, 𝐽 is a sub-semilattice
of S. Let π‘Ž, 𝑏, and 𝑐 ∈ 𝐽 such that π‘Ž ∧ 𝑏 ≤ 𝑐, there exists π‘₯, 𝑦 ∈ 𝑆 such that π‘Ž ≤ π‘₯, 𝑏 ≤ 𝑦,
and π‘₯ ∧ 𝑦 = 𝑐. Now as π‘Ž, 𝑏, and 𝑐 ∈ 𝐽, then π‘₯, 𝑦 ∈ 𝐽. Hence π‘₯ ∧ 𝑦 = 𝑐 ∈ 𝐽. Therefore 𝐽 is
distributive.
Theorem: 17. Let 𝐼 be an ideal of 𝑆 and 𝐿 is a sub-semilattice of 𝑆 such that I ∩ 𝐿 = ∅, then,
there exists a prime ideal P of S such that 𝐼 ⊂ 𝑃 and 𝑃 ∩ 𝐿 = ∅.
Proof: Suppose that 𝑇 = {π‘₯ ∈ 𝑆: π‘Ž ≤ π‘₯ for some π‘Ž ∈ 𝐿}. Then 𝑇 is the filter of 𝑆, 𝑇 ∩ 𝐼 = ∅.
Zorn's lemma, there exists a filter 𝐹 of 𝑆 which is maximal among all filters containing 𝐿 and
disjoint from 𝐼. Now we have 𝐼 ⊂ 𝑆 − 𝐹 and (𝑆 − 𝐹) ∩ 𝐿 = ∅. Let us prove that 𝐹 is a prime
filter. Let π‘₯, 𝑦 ∈ 𝑆 − 𝐹, since 𝐹 is maximal, there exists π‘Ž ∈ 𝐼 ∩ (𝐹˅[π‘₯)) and 𝑏 ∈ 𝐼 ∩ (𝐹 ∨
[𝑦)). There exist 𝑐 ∈ 𝐼 such that π‘Ž ≤ 𝑐 and 𝑏 ≤ 𝑐. This implies that 𝑐 ∈ 𝐼 ∩ (𝐹˅[π‘₯)) ∩
(𝐹 ∨ [π‘₯)) = 𝐼 ∩ (𝐹 ∨ ([π‘₯) ∩ [𝑦) ⇒ [π‘₯) ∩ [𝑦) ⊄ 𝐹. Thus 𝐹 is a prime filter of 𝑆.
Corollary: 18. Let 𝐿 be sub-semilattice of 𝑆 and 𝑃 a prime ideal (filter) of 𝐿. Then, there exists
a prime ideal (filter) 𝑄 of S such that 𝑄 ∩ 𝐿 = 𝑃.
Proof: Let 𝑃 be a prime ideal of 𝐿 and put 𝑃1 = {π‘₯ ∈ 𝑆: π‘₯ ≤ π‘Ž π‘“π‘œπ‘Ÿ π‘ π‘œπ‘šπ‘’ π‘Ž ∈ 𝑃}. Then 𝑃1 is
an ideal of 𝑆 and 𝑆 − 𝐿 is a sub-semilattice of 𝑆 and 𝑃1 ∩ (𝐿 − 𝑃) = ∅. Then there exists a
prime ideal 𝑄 of S such that 𝑃1 ⊂ 𝑄 and 𝑄 ∩ (𝐿 − 𝑃) = ∅. Hence 𝑄 ∩ 𝐿 = 𝑃.
Similarly, suppose 𝑃 be a prime filter of 𝐿 and 𝑃2 = {π‘₯ ∈ 𝑆: π‘Ž ≤ π‘₯ π‘“π‘œπ‘Ÿ π‘ π‘œπ‘šπ‘Ž π‘Ž ∈ 𝑃}. Then
𝑃2 is a filter of 𝑆 and 𝑆 − 𝐿 is sub-semilattice of 𝑆 and 𝑃2 ∩ (𝐿 − 𝑃) = ∅. There exists a prime
filter 𝑄 of 𝑆 such that 𝑃2 ⊂ 𝑄 and 𝑄 ∩ (𝐿 − 𝑃) = ∅. Hence 𝑄 ∩ 𝐿 = 𝑃.
Corollary: 19. Let 𝐼 be an ideal of 𝑆, then the intersection of all prime ideals of 𝑆 containing 𝐼
is again an ideal of S and is equal to 𝐼.
Proof: Let {𝑃𝑖 }𝑖∈𝛼 be the class of prime ideals containing I, then 𝐼 ⊆ 𝑃𝑖 , ∀𝑖 ∈ 𝛼. this implies
𝐼 ⊆∩ 𝑃𝑖, ∀𝑖 ∈ 𝛼. Also if π‘Ž ∈ 𝑆 and π‘Ž ∉ 𝐼, then 𝐼 ∩ [π‘Ž) = ∅. There exists a prime ideal 𝑃𝑖 of 𝑆
such that 𝐼 ⊂ 𝑃𝑖 and 𝑃𝑖 ∩ [π‘Ž) = ∅ ⇒ π‘Ž ∉ 𝑃𝑖 . Therefore 𝐼 =∩ 𝑃𝑖 , ∀𝑖 ∈ 𝛼.
Theorem: 20. Every maximal ideal (filter) of 𝑆 is prime.
Proof: Let 𝑆 be distributive semilattice and 𝑄 is a maximal filter of 𝑆. Then 𝑆 − 𝑄 is minimal
ideal, there exists a prime ideal 𝐼 such that 𝑆 − 𝑄 ⊆ 𝐼, then 𝑄 ∩ 𝐼 = ∅. Let π‘₯, 𝑦 ∉ 𝑄,
then π‘₯, 𝑦 ∈ 𝑆 − 𝑄. There exist𝑠 π‘Ž ∈ 𝐼 ∩ (𝑄 ∨ [π‘₯)) and 𝑏 ∈ 𝐼 ∩ (𝑄 ∨ [𝑦)). This implies there
exists 𝑐 ∈ 𝐼 such that π‘Ž ≤ 𝑐 and 𝑏 ≤ 𝑐 since 𝐼 directed above. Hence 𝑐 ∈ 𝐼 ∩ (𝑄 ∨ [π‘₯)) ∩
(𝑄 ∨ [𝑦)) ) = 𝐼 ∩ (𝑄 ∨ ([π‘₯) ∩ [𝑦)) ⇒[π‘₯) ∩ [𝑦) ⊈ 𝑄. Therefore 𝑄 is a prime filter of 𝑆.
Corollary: 21. Let 𝑆 be distributive semilattice, 𝑆 has the smallest (greatest) element if and
only if the intersection of all prime ideals (filters) of 𝑆 is non-empty.
Proof: Suppose 𝑆 has the largest element, ∅ ≠ ⋂𝐹∈𝐹(𝑆) 𝐹 ⊆ ⋂𝑃∈𝐹(𝑆) 𝑃, where 𝐹 any nonempty
filters of 𝑆 and 𝑃 the prime filters of 𝑆. Therefore ⋂𝑃∈𝐹(𝑆) 𝑃 ≠ ∅. Similarly, if 𝑆 has a smallest
element, ∅ ≠ ⋂𝐼∈𝐼(𝑆) 𝐼 ⊆ ⋂𝑃∈𝐼(𝑆) 𝑃, were 𝐼 any nonempty ideals of 𝑆 and 𝑃 the prime ideals
of 𝑆. Therefore ⋂𝑃∈𝐹(𝑆) 𝑃 ≠ ∅.
Conversely, suppose that the intersection of all non-empty filters (ideals) is again nonempty, S
has the largest (smallest) element.
Definition: 22. Let 𝑆 be a distributive semilattice with the smallest element 0 and 𝐿 is a subsemilattice of S, and then define 0(𝐿) = {π‘₯ ∈ 𝑆: π‘₯ ∧ 𝑦 = 0 for some 𝑦 ∈ 𝐿}. Then 0(𝐿) is
called the annihilator of 𝐿. The annihilator of {π‘Ž} is denoted by 0(π‘Ž) = {π‘₯ ∈ 𝑆: π‘₯ ∧ π‘Ž = 0}. An
ideal 𝐼 of 𝑆 is called annihilator ideal if 𝐼 = 0(𝐿), for some sub-semilattice 𝐿 π‘œπ‘“ 𝑆.
Proposition: 23. Suppose S has the smallest element 0 and 𝐹 is a proper filter of 𝑆, then 𝐹 is a
maximal filter if and only if 𝑆 − 𝐹 is a minimal prime ideal.
Proof: Let 𝐹 be a maximal filter of S. Since 𝑆 is distributive, 𝐹 is the prime filter. Thus 𝑆 − 𝐹
is a prime ideal. To prove the minimalism of 𝑆 − 𝐹, assume 𝑆 − 𝐹 is not minimal ideal. Then
there exists a prime ideal 𝐼 such that 𝐼 ⊆ 𝑆 − 𝐹 which implies 𝐹 ⊆ 𝑆 − 𝐼 which contradicts the
maximalist of 𝐹. Hence 𝑆 − 𝐹 is a minimal prime ideal.
Conversely, suppose that 𝑆 − 𝐹 is a minimal prime ideal, then 0 ∈ 𝑆 − 𝐹 ⊆ 0(𝐹). Let π‘₯ ∈
0(𝐹), then π‘₯ ∧ 𝑦 = 0, for some 𝑦 ∈ 𝐹. Since 𝑆 − 𝐹 is prime and 𝑦 ∈ 𝐹, then π‘₯ ∈ 𝑆 − 𝐹.
Therefore 0(𝐹) ⊆ 𝑆 − 𝐹 and hence 0(𝐹) = 𝑆 − 𝐹. Since 0(𝐹) = 𝑆 − 𝐹, then 𝑆 − 𝐹 is a prime
ideal, and so 𝐹 is a prime filter. Suppose if possible, 𝐹 is not maximal filter, then 𝐹 ⊂ 𝑀, for
some maximal filter 𝑀 π‘œπ‘“ 𝑆. then 𝑆 − 𝑀 ⊂ 𝑆 − 𝐹 = 0(𝐹), which contradicts the minimalist
of 𝑆 − 𝐹. Therefore 𝐹 is a maximal filter.
Corollary: 24. If 𝑆 is a distributive semilattice with the smallest element 0, then for any π‘Ž ∈ 𝑆,
(π‘Ž)∗ = ⟨π‘Ž, 0⟩∗ = {π‘₯ ∈ 𝑆: π‘Ž ∧ π‘₯ = 0} is an ideal of 𝑆.
Proof: Suppose 𝑆 is distributive semilattice with 0. For π‘Ž ∈ 𝑆, (π‘Ž)∗ = {π‘₯ ∈ 𝑆: π‘Ž ∧ π‘₯ = 0}. Let
π‘₯ ∈ (π‘Ž)∗ , 𝑏 ∈ 𝑆 such that 𝑏 ≤ π‘₯,then 𝑏 = π‘₯ ∧ 𝑏. Now π‘Ž ∧ 𝑏 = π‘Ž ∧ (π‘₯ ∧ 𝑏) = (π‘Ž ∧ π‘₯) ∧ 𝑏 =
0 ∧ 𝑏 = 0. Therefore 𝑏 ∈ (π‘Ž)∗ . Let π‘₯, 𝑦 ∈ (π‘Ž)∗ , ∧ π‘₯ = 0 and π‘Ž ∧ 𝑦 = 0. Consider π‘Ž ∧ (π‘₯ ∨
𝑦) = (π‘Ž ∧ π‘₯) ∨ ( π‘Ž ∧ 𝑦) = 0 ∨ 0 = 0. Therefore π‘₯ ∧ 𝑦 ∈ (π‘Ž)∗ . Hence (π‘Ž)∗ is an ideal of S.
Space of Maximal Filters in Distributive Semilattice
A topological space (𝑋, π’Ÿ) is said to be compact if every open set cover for 𝑋 has a finite
subcover. Let 𝑆 be distributive semilattice and 𝑋 the set of all prime filters of 𝑆, for any π‘Ž ∈ 𝑆,
let π‘‹π‘Ž = {𝐹 ∈ 𝑋: π‘Ž ∈ 𝐹}. Then for any π‘Ž, 𝑏 ∈ 𝑆, π‘‹π‘Ž ∩ 𝑋𝑏 = π‘‹π‘ŽΛ„π‘ and {π‘‹π‘Ž : π‘Ž ∈ 𝑆} forms a
base for some topology 𝐷 on 𝑋, which is called the hull-kernel topology on 𝑋.
Theorem: 25. [2] Let 𝑆 be distributive semilattice, then 𝑆 is isomorphic to meet
subsemilattices {π‘‹π‘Ž : π‘Ž ∈ 𝑆} of the lattice of all open subsets of (𝑋, π’Ÿ).
Proof: Let 𝑋 be the class of subsemilattices of {π‘‹π‘Ž : π‘Ž ∈ 𝑆}. Define 𝑓: 𝑆 → 𝑋 by 𝑓(π‘Ž) = π‘‹π‘Ž , for
any π‘Ž ∈ 𝑆. Let π‘Ž, 𝑏 ∈ 𝑆, and 𝑃 ∈ 𝑋, 𝑃 ∉ 𝑓(π‘Ž ∧ 𝑏) ⇔ π‘Ž ∧ 𝑏 ∉ 𝑃 ⇔ π‘Ž ∉ 𝑃 or 𝑏 ∉ 𝑃 ⇔ 𝑃 ∉
𝑓(π‘Ž ) or 𝑃 ∉ 𝑓( 𝑏)⇔𝑃 ∉ 𝑓(π‘Ž) ∩ 𝑓( 𝑏).
Therefore 𝑓(π‘Ž ∧ 𝑏) = 𝑓(π‘Ž) ∩ 𝑓( 𝑏). Hence 𝑓 is a homomorphism of a lattice. Let π‘Ž ≠ 𝑏, then
there exists a prime filter 𝑃 such that π‘Ž ∈ 𝑃 and from 𝑏 ∉ 𝑃 and vice versa. Then π‘‹π‘Ž ≠ 𝑋𝑏 .
Hence 𝑓 is injective. And since every element of π‘Œ has the form π‘‹π‘Ž , for any π‘Ž ∈ 𝑆, then 𝑓 is
surjective. Therefore 𝑓 is an isomorphism.
Definition: 26. A topological space 𝑋 is said to be Hausdorff space if for any points π‘₯, 𝑦 ∈ 𝑋
such that π‘₯ ≠ 𝑦 there exist open sets π‘ˆ, 𝑉 ⊆ 𝑋 such that π‘₯ ∈ π‘ˆ, 𝑦 ∈ 𝑉, and π‘ˆ ∩ 𝑉 = ∅.
Theorem: 27. Let S has the smallest element 0 and X be the set of all maximal filters of S. Then
X is Hausdorff and a totally disconnected subspace of (𝑋, 𝐷).
Proof: Let 𝑃, 𝑄 ∈ π‘Œ be maximal filters such that 𝑃 ≠ 𝑄. There exist𝑠 π‘Ž ∈ 𝑃 and π‘Ž ∉ 𝑄. This
implies 𝑃 ∈ π‘Œπ‘Ž and 𝑄 ∉ π‘Œπ‘Ž , then 𝑃 ∈ π‘Œπ‘Ž and 𝑄 ∈ π‘Œ − π‘Œπ‘Ž and π‘Œπ‘Ž ∩ π‘Œ − π‘Œπ‘Ž = ∅. Therefore π‘Œ is
Hausdorff. Let 𝑃 ≠ 𝑄 ∈ π‘Œ, then we can suppose that 𝑃 β‰° 𝑄. There exist𝑠 π‘Ž ∈ 𝑃 such that π‘Ž ∉
𝑄. Therefore, π‘Œπ‘Ž is clopen and 𝑃 ∈ π‘Œπ‘Ž and 𝑄 ∉ π‘Œπ‘Ž . Therefore, π‘Œ is totally disconnected.
Theorem: 28. Let S be a pseudo-complemented distributive semilattice. So space 𝑋 for all
maximal filters of S with the hull-kernel topology is a Boolean space (i.e. a compact Hausdorff
and a totally disconnected space).
Proof: Suppose that 𝑋 is the space of all maximal filters of 𝑆 with the hull-kernel topology.
Let 𝑃, 𝑄 ∈ 𝑋 such that 𝑃 ≠ 𝑄. There exists π‘Ž ∈ 𝑃 and π‘Ž ∉ 𝑄 ⇒ 𝑃 ∈ π‘‹π‘Ž and 𝑄 ∉ π‘‹π‘Ž . This
implies 𝑃 ∈ π‘‹π‘Ž and 𝑄 ∈ 𝑋 − π‘‹π‘Ž and π‘‹π‘Ž ∩ 𝑋 − π‘‹π‘Ž = ∅. Therefore 𝑋 is Hausdorff. Again
let 𝑃 ≠ 𝑄 ∈ 𝑋, we can suppose that 𝑃 β‰° 𝑄. There exist𝑠 π‘Ž ∈ 𝑃 such that π‘Ž ∉ 𝑄. Hence π‘‹π‘Ž is
clopen and 𝑃 ∈ π‘‹π‘Ž and 𝑄 ∉ π‘‹π‘Ž . Therefore 𝑋 is totally disconnected.
Also let {π‘‹π‘Ž } π‘Ž ∈ 𝐿 be a basic open cover for 𝑋, for some 𝐿 ⊆ 𝑆, then 𝑋 ⊆ β‹ƒπ‘Ž∈𝐿 π‘‹π‘Ž . Let 𝐹 =
[𝐿) = {π‘₯ ∈ 𝑆: β‹€π‘Žπ‘– ≤ π‘₯, where π‘Žπ‘– ∈ 𝐿}. Suppose if possible, 𝐹 is a proper filter of 𝑆, then there
exists a maximal filter 𝑀 of 𝑆 such that 𝐹 ⊆ 𝑀. Then 𝐿 ⊆ 𝑀 as 𝐿 ⊆ 𝐹. Therefore 𝑀 ∉ π‘Œ which
is a contradiction and hence 𝐹 = 𝑆. In particular, 0 ∈ 𝐹 = [𝐿) ⇒0 = ⋀𝑛𝑖=1 π‘Žπ‘– , for some π‘Žπ‘– ∈ 𝐿.
If 𝑀 is a maximal filter, then π‘Žπ‘– ∉ 𝑀 for some 𝑖. Therefore 𝑋 = ⋃𝑛𝑖=1 π‘Œπ‘Žπ‘– , and hence
{π‘‹π‘Ž1 , π‘‹π‘Ž2 , … , π‘‹π‘Žπ‘› } is a finite subcover of {π‘‹π‘Ž }π‘Ž ∈ 𝐿. Hence π‘‹π‘Ž is compact. This implies 𝑋 is
compact. Therefore 𝑋 Boolean space.
Theorem: 29. Let 𝑆 be a distributive semilattice with 0 and 𝑋 be the space of prime filters with
the hull-kernel topology. Then the following are equivalent:
a. 𝑋 is Hausdorff space,
b. 𝑋 is a T1-space,
c. Every prime filter of S is maximal,
d. 𝐹 is the only prime filter of 𝑆 such that 0(𝐹) ∩ 𝐹 = ∅.
Proof: (a) ⇒(b): Suppose that 𝑋 be Hausdorff space; for any π‘Ž ≠ 𝑏 ∈ 𝑆 there exists prime filters
𝑃 and 𝑄 in 𝑆 such that 𝑃 ∈ π‘‹π‘Ž , and 𝑄 ∈ 𝑋𝑏 , with π‘‹π‘Ž ∩ 𝑋𝑏 = ∅.
Therefore 𝑃 ∈ π‘‹π‘Ž − 𝑋𝑏 , 𝑄 ∈ 𝑋𝑏 − π‘‹π‘Ž . Hence 𝑋 is a T1-space.
(b)⇒(c): Suppose that 𝑃 be a prime filter of 𝑆.Let 𝑃 ∈ 𝑋 − 𝑋𝑏 , and 𝑄 ∈ 𝑋 − π‘‹π‘Ž , then π‘Ž ∈
𝑃 and 𝑏 ∉ 𝑃. This implies 𝑃 ⊂ [𝑃 ∪ {𝑏}) = {π‘₯ ∈ 𝑆: β‹€(π‘Žπ‘– ∪ 𝑏) ≤ π‘₯, where1 ≤ 𝑖 ≤ 𝑛, for some,
π‘Žπ‘– ∈ 𝑃} = {π‘₯ ∈ 𝑆: (β‹€π‘Žπ‘– ) ∪ 𝑏 ≤ π‘₯ for some π‘Žπ‘– ∈ 𝑃}= {π‘₯ ∈ 𝑆: β‹€π‘Žπ‘– ≤ π‘₯ and 𝑏 ≤ π‘₯ for some
π‘Žπ‘– ∈ 𝑃} = 𝑆. Hence 𝑃 is a maximal filter.
(c)⇒(d): Suppose 𝐹 be a prime filter of 𝑆, then 𝐹 is the maximal filter. Hence 𝑆 − 𝐹 = 0(𝐹).
Therefore 0(𝐹) ∩ 𝐹 = ∅.
(d)⇒ (a): Suppose 𝐹 be the only prime filter of 𝑆 such that 0(𝐹) ∩ 𝐹 = ∅. Let π‘Ž ≠ 𝑏 ∈ 𝑆 such
that π‘Ž ∈ 𝐹 and 𝑏 ∉ 𝐹, then 𝐹 ∈ π‘‹π‘Ž and 𝐹 ∉ 𝑋𝑏 . Therefore π‘‹π‘Ž ∩ 𝑋𝑏 = ∅. Hence 𝑋 is Hausdorff.
Definition: 30. A topological space 𝑋 is said to be a Regular space if for any points π‘₯ ∈ 𝑋 and
for every closed set 𝑃 ⊆ 𝑋 such that π‘₯ ∉ 𝑃, there exist open sets π‘ˆ, 𝑉 ⊆ 𝑋 such that π‘₯ ∈ π‘ˆ, 𝑃 ⊆
𝑉, and π‘ˆ ∩ 𝑉 = ∅.
Theorem: 31. Let 𝑆 be a pseudo-complemented distributive semilattice and 𝑋 be the space of
prime filters with the hull-kernel topology. 𝑋 is a compact hausdorff space if and only if 𝑋 is a
regular space.
Proof: Supposed that 𝑋 be a compact Hausdorff space and let π‘‹π‘Ž ⊂ 𝑋 be a closed subspace.
Let 𝑃 be a prime filter of 𝑆 such that 𝑃 ∈ 𝑋 − π‘‹π‘Ž . We need to contract open sets π‘ˆ and 𝑉 ⊆ 𝑋
with π‘‹π‘Ž ⊆ π‘ˆ and 𝑃 ∈ 𝑉 such that π‘ˆ ∩ 𝑉 = ∅. Since 𝑋 is Hausdorff space, for each prime
filter 𝑄 ∈ π‘‹π‘Ž there exists a neighborhood π‘‹π‘Žπ‘– of 𝑄 and 𝑋𝑏𝑖 of π‘‹π‘Ž , where π‘Žπ‘– ∈ 𝑄 and 𝑏𝑖 ∈ 𝑃 such
that 𝑄 ∈ π‘‹π‘Žπ‘– and 𝑃 ∈ 𝑋𝑏𝑖 and π‘‹π‘Žπ‘– ∩ 𝑋𝑏𝑖 = ∅.
Let π‘‹π‘Ž = {π‘‹π‘Žπ‘– : π‘Žπ‘– ∈ 𝑄}. Then β‹ƒπ‘Žπ‘– ∈𝑄 π‘‹π‘Žπ‘– is an open cover of π‘‹π‘Ž , and since 𝑋 is compact, π‘‹π‘Ž is
a compact subspace of 𝑋. Therefore there exist finitely many elements π‘Ž1 , π‘Ž2 , … , π‘Žπ‘› ∈ 𝑄 such
that π‘‹π‘Ž1 , π‘‹π‘Ž2 , . . . , π‘‹π‘Žπ‘› form subcover π‘‹π‘Ž . Then π‘‹π‘Ž ⊆ ⋃𝑛𝑖=1 π‘‹π‘Žπ‘– .
Let and π‘ˆ = ⋃𝑛𝑖=1 π‘‹π‘Žπ‘– ,and 𝑉 = ⋂𝑛𝑖=1 𝑋𝑏𝑖 . Then π‘ˆ and 𝑉 are open sets and π‘‹π‘Ž ⊆ π‘ˆ and 𝑃 ∈ 𝑉,
such that π‘ˆ ∩ 𝑉 = ∅. To show that π‘ˆ and 𝑉 are really disjointed, assume that 𝑃 ∈ π‘ˆ ∩ 𝑉 ≠ ∅.
Then 𝑃 ∈ π‘‹π‘Žπ‘– , for each 𝑖, and 𝑃 ∈ 𝑋𝑏𝑖 , for some 𝑖. That is 𝑃 ∈ π‘ˆ ∩ 𝑉 ⇒ 𝑃 ∈ (⋂𝑛𝑖=1 π‘‹π‘Žπ‘– ) ∩
(⋃𝑛𝑖=1 𝑋𝑏𝑖 ) ⇒ 𝑃 ∈ π‘‹π‘Žπ‘– for all 𝑖 and 𝑃 ∈ 𝑋𝑏𝑖 for some 𝑖. Then 𝑃 ∈ π‘‹π‘Žπ‘– ∩ 𝑋𝑏𝑖 for some 𝑖. This is
in contradiction. Therefore π‘ˆ ∩ 𝑉 = ∅. Hence 𝑋 is a regular space.
Conversely, suppose 𝑋 is a regular space. Let 𝑃, 𝑄 ∈ 𝑋 such that 𝑃 ≠ 𝑄. Then without loss of
generality, let 𝑃 β‰° 𝑄, then there exists a prime filter 𝑃 containing π‘Ž ∈ 𝑃 but not 𝑄. Then there
exists a clopen set π‘‹π‘Ž such that 𝑃 ∈ π‘‹π‘Ž and 𝑋 − π‘‹π‘Ž is a closed set. Let 𝑄 ∈ 𝑋 − π‘‹π‘Ž , since 𝑋 is
a regular space, there exist an open sets π‘ˆ, π‘Žπ‘›π‘‘ 𝑉 ⊆ 𝑋 such that ∈ 𝑃 ∈ π‘‹π‘Ž ⊆ π‘ˆ, 𝑄 ∈ 𝑋 − π‘‹π‘Ž ⊆
𝑉 such that π‘ˆ ∩ 𝑉 = ∅. Therefore 𝑋 is Hausdorff space.
Conclusion
Generally, when we consider the class of maximal (prime) filters 𝑋 of distributive
semilattice with 0 and pseudo complemented semilattice;
𝑋 is a T1-space ⇔ 𝑋 is compact hausdorff space ⇔Regular space.
Acknowledgment :
The correspondent author is very thankful to the anonymous referee for the comments and
suggestions on this paper. Especially, his wife Ms. Tigist Tamirat for her support and
commitment during doing this paper.
References
[1]
Balbes, Raymond. "A Representation Theory for Prime and Implicative Semilattices." Transactions of
the American Mathematical Society 136 (1969): 261-67. Accessed December 3, 2020.
doi:10.2307/1994713.
[2]
Blyth, T. S.: Ideals and filters of pseudo-complemented semilattices. Proc. Edinb. Math. Soc., II. Ser.
23 (1980), 301-316
[3]
Celani, Sergio Arturo, and Luciano Javier González. " Notes on mildly distributive semilattices",
Mathematica Slovaca 67, 5 (2017): 1073-1084, doi: https://doi.org/10.1515/ms-2017-0033
[4]
Celani, Sergio Arturo, and Kiyomitsu Horiuchi. "topological representation of distributive
semilattices." scientiae Mathematicae japonicae 58, no. 1 (2003): 55-65.
[5]
Cornish, W. (1973). Congruences on distributive pseudocomplemented lattices. Bulletin of the
Australian Mathematical Society, 8(2), 161-179. doi:10.1017/S0004972700042404
[6]
Grätzer, G.: Lattice Theory: First Concepts and Distributive Lattices. Freeman (1971).
[7]
Kiss, S. A. Semilattices and a ternary operation in modular lattices. Bull. Amer. Math. Soc. 54 (1948),
no. 12, 1176—1179
[8]
MacLane, S. (1938). M. H. Stone. Topological representations of distributive lattices and Brouwerian
logics, vol. 67 (1937–1938), pp. 1–25. Journal of Symbolic Logic, 3(2), 90-91. doi:10.2307/2267630
[9]
Murty, P.V.R., Rao, V.V.R. Characterization of certain classes of pseudo complemented semi-lattices.
Algebra Universalist 4, 289–300 (1974).
[10]
O. Frink, Pseudo complements in semilattices, Duke Math. J. Vol.29 (1962), 505–514.
[11]
P. Balasubramani and P. V. Venkatanarasimhan, Characterizations of the 0-Distributive Lattices, Indian
J. Pure Appl. Math., 32(3) (2001) 315-324.
[12]
Pawar, Y., & Thakare, A. (1978). O-Distributive Semilattices. Canadian Mathematical Bulletin, 21(4),
469-475. doi:10.4153/CMB-1978-080-6
[13]
Rhodes Modular and distributive semilattice. Trans. Amer. Math. Society. Vol. 201 (1975), 31-41
[14]
Stone, M.H.: The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 40, 37–111
(1936)
[15]
Swamy, U. Maddana Representation of Universal Algebra by Sheaves. Proc. Amer. Math. Soc. 45
(1974), 55–58.
[16]
Swamy U.Maddana. Distributive Semilattices, Mathematics seminar notes Kobe University, 1979, Vol
7, 211-233.
[17]
Talukder, M. R. and Noor, A. S. A., Modular ideals of a join semilattice directed below, Southeast
Asian Bull. of Math. 23, 18- 37 (1998).
[18]
W.H. Cornish, Characterization of Distributive and Modular Semilattices, Math. Japonica, 22 (1977),
159–174.
Download