A class of Congruencies on Semilattice For any subsemilattice L of a semilattice S define, ๐๐ฟ = (๐ฅ, ๐ฆ) ∈ ๐x๐: ๐ฅห๐ = ๐ฆห๐ ๐๐๐ ๐ ๐๐๐ ๐ ∈ ๐ฟ}. then ๐๐ฟ is congruence on ๐ ๐๐๐ ๐ฟ is contained in a single equivalence class of ๐๐ฟ. ๐๐ฟ denotes the natural epimorphism of S on the quotient semilattice ๐/๐๐ฟ . If S is distributive semilattice and ๐น is a filter of ๐, then ๐๐น is the smallest congruence on S containing ๐น in a single equivalence class and that S⁄θL is distributive. Theorem: 3.1. Let ๐ be any semilattice which is directed above. Then the following are equivalent: (i) S is distributive. (ii) ๐/๐๐ฟ is distributive for every subsemilattice ๐ฟ ๐๐ ๐. Proof: (i) ๏ (ii) Let S be distributive semilattice and L a subsemilattice of S. Let ๐ฅ, ๐ฆ ๐๐๐ ๐ง ∈ ๐ such that ๐๐ฟ(๐ฅ) ∧ ๐๐ฟ(๐ฆ) ≤ ๐๐ฟ(๐ง) ⇒ ∃ ๐ ∈ ๐ฟ ๐ ๐ข๐โ ๐กโ๐๐ก ๐ฅห๐ฆห๐ = ๐ฅห๐ฆห๐งห๐ ⇒ (๐ฅห๐) ห(๐ฆ ห๐) ≤ ๐ง ⇒ ∃ ๐ ๐๐๐ ๐ ∈ ๐ ๐ ๐ข๐โ ๐กโ๐๐ก ๐ฅห๐ ≤ ๐, ๐ฆ ห๐ ≤ ๐ ๐๐๐ ๐ห๐ = ๐ง. Now, ๐๐ฟ(๐ฅห๐) ≤ ๐๐ฟ(๐), ๐๐ฟ(๐ฆห๐) ≤ ๐๐ฟ(๐) ๐๐๐ ๐๐ฟ(๐) ห๐๐ฟ(๐) = ๐๐ฟ(๐ง). Therefore ๐/๐๐ฟ is distributive for every subsemilattice ๐ฟ ๐๐ ๐. (ii) ๏ (i) Let ๐, ๐ ๐๐๐ ๐ ∈ ๐ ๐ ๐ข๐โ ๐กโ๐๐ก ๐ห๐ ≤ ๐. Then choose ๐ ∈ ๐ such that ๐, ๐ ๐๐๐ ๐ ๏ (๐]๐๐๐ ๐๐ข๐ก ๐ฟ = (๐]. Since S⁄θL is distributive, there exists ๐, ๐ ∈ ๐ s.t ๐๐ฟ(๐) ≤ ๐๐ฟ(๐), ๐๐ฟ(๐) ≤ ๐๐ฟ(๐)๐๐๐ ๐๐ฟ(๐)ห ๐๐ฟ(๐) = ๐๐ฟ(๐). Again there exist ๐ฅ, ๐ฆ ๐๐๐ ๐ง ∈ ๐น such that ๐ห๐ห๐ฅ = ๐ห๐ฅ, ๐ห๐ห๐ฆ = ๐ห๐ฆ ๐๐๐ ๐ห๐ห๐ง = ๐ห๐ง which implies that ๐ห๐ห๐ฅ = ๐, ๐ห๐ = ๐ ๐๐๐ ๐ห๐ = ๐ . Therefore a ≤ e ห x, b ≤ x หf and (e ห x) ห (f ห x) =c. Hence S is distributive. Theorem: 3.2. Let ๐ฟ be a sub semilattice of S. If ๐ผ’ is an ideal of ๐/๐๐ฟ, then ๐ผ = {๐ฅ ∈ ๐: ๐๐ฟ(๐ฅ) ∈ ๐ผ’} is an ideal of S. ๐ผ’ is a proper ideal of ๐/๐๐ฟ if and only if ๐ผ ∩ ๐ฟ = ∅. Also, if ๐ is a prime ideal of ๐ such that ๐ ∩ ๐ฟ = ∅, then ๐’ = { ๐๐ฟ(๐ฅ) ๏ ๐/๐๐ฟ: ๐ฅ ๏ ๐} is a prime ideal of ๐/๐๐ฟ. ๐ Proof: Let I’ be an ideal of๐๐ฟ, and ๐ผ = {๐ฅ ∈ ๐: ๐๐ฟ (๐ฅ) ๏ ๐ผ’}, let ๐ ∈ ๐ผ, ๐ ∈ ๐ ๐ ๐ข๐โ ๐กโ๐๐ก ๐ ≤ ๐. ๐โ๐๐ ๐ ∧ ๐ฅ ≤ ๐ ๐๐๐ ๐ ๐๐๐ ๐ฅ ∈ ๐ฟ ⇒ ๐๐ฟ(๐) = ๐๐ฟ(๐ฅ ∧ ๐) ≤ ๐๐ฟ(๐) ⇒ ๐๐ฟ(๐) ∈ ๐ผ ′ ๐๐๐ โ๐๐๐๐ ๐ ∈ ๐ผ. Therefore ๐ผ is an initial segment of S. Also, if ๐๐ฟ(๐) ๐๐๐ ๐๐ฟ(๐) ∈ ๐ผ’ ⇒ ∃ ๐ ๏ ๐ ๐๐ข๐โ ๐กโ๐๐ก ๐๐ฟ(๐) ∈ ๐ผ’, ๐๐ฟ(๐) ≤ ๐๐ฟ(๐) ๐๐๐ ๐๐ฟ(๐) ≤ ๐๐ฟ(๐) ⇒ ∃๐ฅ ๐๐๐ ๐ฆ ∈ ๐ฟ ๐ ๐ข๐โ ๐กโ๐๐ก ๐ห๐ห๐ฅ = ๐หx ๐๐๐ ๐ห๐ห๐ฆ = ๐ห๐ฆ ⇒ ๐ห๐ห๐ฅห๐ฆ = ๐ห๐ฅห๐ฆ ๐๐๐ ๐ห๐ห๐ฅห๐ฆ = ๐ห๐ฅห๐ฆ, and ⇒ ∃๐ ∈ ๐, ๐ ๐ข๐โ ๐กโ๐๐ก ๐ ≤ ๐, ๐ ≤ ๐ ๐๐๐ ๐ห๐ห๐ฅห๐ฆ = ๐ห๐ฅห๐ฆ. ⇒ ๐๐ฟ(๐) ≤ ๐๐ฟ(๐) ๐๐๐ โ๐๐๐๐ ๐ ∈ ๐ผ. ∴ ๐ผ’ is an ideal. If ๐ ∈ ๐ผ ∩ ๐ฟ, then for any ๐ฅ ∈ ๐, ๐๐ฟ (๐ฅ) = ๐๐ฟ( ๐ฅห ๐ ) , and this implies ๐/๐๐ฟ = ๐ผ’. Conversely if๐/๐๐ฟ = ๐ผ’, then for any ๐ฅ ∈ ๐ฟ, ๐๐ฟ(๐ฅ) ๏ ๐ผ’ and therefore ๐ผ ∩ ๐ฟ ≠ ∅. Also let P be prime ideal of S such that ๐ ∩ ๐ฟ = ∅, then ๐’ is proper ideal of ๐/๐๐ฟ and Let ๐๐ฟ(๐) ∧ ๐๐ฟ(๐) ∈ ๐′ , ๐๐ฟ(๐ ∧ ๐) ∈ ๐′ . Then ๐ ∧ ๐ ∈ ๐ ๐๐๐ ๐ ๐๐๐๐ ๐ ๐๐ ๐๐๐๐๐ ๐ ∈ ๐ ๐๐ ๐ ∈ ๐. Hence ๐๐ฟ(๐) ∈ ๐′ ๐๐ ๐๐ฟ(๐) ∈ ๐′ . Therefore ๐’ is prime Theorem: 3.3. Let ๐ฟ1 ๐๐๐ ๐ฟ2 be two sub semilattices of S such that ๐ฟ1 ๏ ๐ฟ2 and also let ๐: S⁄θL1 ๏ฎ S⁄θL2 be the epimorphism defined by ๐ ๐๐ฟ1(๐ฅ) = ๐๐ฟ2(๐ฅ), If ๐ is injection, then ๐ ∩ ๐ฟ1 = ∅ implies ๐ ∩ ๐ฟ2 = ∅, for any prime ideal P of S, Proof: If P is a prime ideal of S such that ๐ ∩ ๐ฟ1 = ∅, then by theorem 3.2 above, {πL1(x) ∈ S⁄θL1} is a prime ideal of S⁄θL1 and hence { πL2(x) ∈S⁄θL2: x∈P} is a prime ideal of S⁄θL2, so that ๐ ∩ ๐ฟ2 = ∅. Theorem: 3.4. Let ๐น be a filter of S, then the following are equivalent: (i) ๐น ๐๐ ๐ ๐๐๐๐๐ ๐๐๐๐ก๐๐. (ii) ๐ผ = {๐๐น(๐ฅ): ๐ฅ ∈ ๐ − ๐น} ๐๐ ๐๐ ๐๐๐๐๐ ๐๐ ๐/๐๐น . (iii) ๐/๐๐น โ๐๐ ๐ ๐ข๐๐๐๐ข๐ ๐๐๐ฅ๐๐๐๐ ๐๐๐๐๐. Proof: (i)⇒(ii) Suppose that ๐น is a prime filter, then ๐ − ๐น is prime ideal of S. ๐ฟ๐๐ก ๐๐น(๐ฅ) ∈ ๐ผ ๐๐๐ ๐๐น(๐ฆ) ∈ ๐/๐๐น ๐ ๐ข๐โ ๐กโ๐๐ก ๐๐น(๐ฆ) ≤ ๐๐น(๐ฅ) ⇒ ∃ ๐ ∈ ๐น ๐ ๐ข๐โ ๐กโ๐๐ก ๐ฆ ∧ ๐ = ๐ฅ ∧ ๐ฆ ∧ ๐ ⇒ ๐ฆ ∧ ๐ ≤ ๐ฅ ⇒ ๐๐น(๐ฆ) = ๐๐น(๐ฆ ∧ ๐) ≤ ๐๐น(๐ฅ) ⇒ ๐๐น(๐ฆ) ≤ ๐๐น(๐ฅ) ∴ I is initial segment. Let ๐๐น(๐ฅ), ๐๐น(๐ฆ) ∈ ๐ผ, this implies ๐ฅ, ๐ฆ ∈ ๐ − ๐น which is prime ideal of S. ⇒ ∃ ๐ง ∈ ๐ − ๐น ๐ ๐ข๐โ ๐กโ๐๐ก ๐ฅ ≤ ๐ง ๐๐๐ ๐ฆ ≤ ๐ง. ⇒ ∃ ๐ ∈ ๐น ๐ ๐ข๐โ ๐กโ๐๐ก ๐ฅ ∧ ๐ = ๐ฅ ∧ ๐ ∧ ๐ง ๐๐๐ ๐ฆ ∧ ๐ = ๐ฆ ∧ ๐ ∧ ๐ง, ⇒ ๐ฅ ∧ ๐ ≤ ๐ง ๐๐๐ ๐ฆ ∧ ๐ ≤ ๐ง ⇒ ๐๐น(๐ฅ) = ๐๐น(๐ฅ ∧ ๐) ≤ ๐๐น(๐ง) ๐๐๐ ๐๐น(๐ฆ) = ๐๐น(๐ฆ ∧ ๐) ≤ ๐๐น(๐ง) ⇒ ๐๐น(๐ฅ) ≤ ๐๐น(๐ง) ๐๐๐ ๐๐น(๐ฆ) ≤ ๐๐น(๐ง) Therefore ๐ผ = {๐๐น(๐ฅ): ๐ฅ ∈ ๐ − ๐น} is an ideal of ๐/๐๐น . (ii)⇒ (iii) ๐น๐๐ ๐๐๐ฆ ๐ ∈ ๐น, ๐๐น(๐) is the greatest element of ๐/๐๐น. Hence, every ideal of ๐/๐๐น is contained in {๐๐น(๐ฅ): ๐ฅ ∈ ๐ − ๐}.Therefore ๐/๐๐น has a unique maximal. (iii)⇒ (i): Let G be the unique maximal ideal of ๐/๐๐น and let ๐ฅ ๐๐๐ ๐ฆ ๐ ๐ − ๐น. Since the principal ideals of ๐/๐๐น generated by ๐๐น(๐ฅ) ๐๐๐ ๐๐น(๐ฆ) are proper, it follows that ๐๐น(๐ฅ)๐๐๐ ๐๐น(๐ฆ) ∈ ๐บ. Therefore there exists ๐๐น(๐ง) ∈ ๐บ ๐ ๐ข๐โ ๐กโ๐๐ก ๐๐น(๐ฅ) ≤ ๐๐น(๐ง) and ๐๐น(๐ฆ) ≤ ๐๐น(๐ง), ๐ ๐ ๐กโ๐๐ก ๐ฅห๐งห๐ = ๐ฅห๐ ๐๐๐ ๐ฆห๐งห๐ = ๐ฆห๐ ๐๐๐ ๐ ๐๐๐ ๐๐๐น. ๐โ๐๐๐๐๐๐๐ ๐กโ๐๐๐ ๐๐ฅ๐๐ ๐ก๐ ๐๐๐ ๐ ๐ข๐โ ๐กโ๐๐ก ๐ฅ ≤ ๐, ๐ฆ ≤ ๐ ๐๐๐ ๐ห๐งห๐ = ๐ห๐, This implies ๐ ∈ ๐ − ๐น, thus ๐ − ๐น is a prime ideal. Hence ๐น is prime filter. Theorem: 3.5. Let F be a filter of S. Then ๐น is a maximal filter if and only if ๐/๐๐น is the two element chain. Proof: Suppose F is a maximal filter, then for any ๐ฅ ๐๐๐ ๐ฆ๐ ๐น, ๐๐น(๐ฅ) = ๐๐น(๐ฆ) and that for any ๐ฅ ∈ ๐น ๐๐๐ ๐ฆ ∈ ๐, ๐๐น(๐ฅ) = ๐๐น(๐ฆ) implies ๐ฆ ∈ ๐น. Now, ๐๐๐ก ๐ฅ ๐๐๐ ๐ฆ ∈ ๐ − ๐น, Since ๐น is maximal, there exist ๐ ๐๐๐ ๐๐ ๐น ๐ ๐ข๐โ ๐กโ๐๐ก ๐ห๐ฅ ≤ ๐ฆ ๐๐๐ ๐ห๐ฆ ≤ ๐ฅ . ๐ป๐๐๐๐ ๐๐น(๐ฅ) = ๐๐น(๐ห๐ฅ) ≤ ๐๐น(๐ฆ) = ๐๐น(๐ห๐ฆ) ≤ ๐๐น(๐ฅ). ๐๐ ๐กโ๐๐ก ๐๐น(๐ฅ) = ๐๐น(๐ฆ). Conversely, suppose that ๐/๐๐น is the two element chain. Suppose ๐ฅ ๐๐๐ ๐ฆ ∈ ๐ − ๐น. Choose an element ๐ง ∈ ๐น, then we have ๐๐น(๐ง) ≠ ๐๐น(๐ฅ) and Hence ๐๐น(๐ฅ) = ๐๐น(๐ฆ) so that there exists ๐ ∈ ๐น ๐ ๐ข๐โ ๐กโ๐๐ก ๐ฅห๐ = ๐ฆห๐ ๐๐๐ ๐โ๐๐๐๐๐๐๐ ๐ฆ ∈ ๐น ∨ [๐ฅ). Hence, for any ๐ฅ ∉ ๐น, ๐น ∨ [๐ฅ) = ๐. Thus ๐น is maximal. Theorem: 3.6. The map FโผθF is an isomorphism from the lattice F0(S) of all non empty filters of S into a permutable sublattice of the lattice C(S) of all congruencies on S. Hence {θF: F ฯต F0(S)} is a distributive and permutable sublattice of C(S). Proof: For any filters I and J of S. then θI∩J⊂ θI∩θJ and let (x, y) ∈ θI∩θJ, there exist ๐ ∈ ๐ผ, ๐ ๐๐ฝ ๐ ๐ข๐โ ๐กโ๐๐ก ๐ฅ ∧ ๐ = ๐ฆ ∧ ๐ ๐๐๐ ๐ฅ ∧ ๐ = ๐ฆ ∧ ๐ ⇒ ∃๐ ∈ ๐ ๐ ๐ข๐โ ๐กโ๐๐ก ๐ ≤ ๐, ๐ ≤ ๐ ๐๐๐ ๐ฅ ∧ ๐ = ๐ฆ ∧ ๐. Now since ๐ ∈ ๐ผ ∩ ๐ฝ, ๐ค๐ โ๐๐ฃ๐ (๐ฅ, ๐ฆ) ∈ ๐๐ผ ∩ ๐ฝ. Hence FโผθF is a lattice homomorphism. ๐ด๐๐ ๐ ๐๐๐ก ๐ผ ๐๐๐ ๐ฝ ∈ ๐น0(๐) ๐๐๐ ๐๐ผ ⊂ ๐๐ฝ. Let ๐ฅ ∈ ๐ผ, choose ๐ฆ ∈ ๐ฝ and then there exist ๐ง ∈ ๐ such that ๐ฅ ≤ ๐ง and ๐ฆ ≤ ๐ง. ๐๐๐ค (๐ฅ, ๐ฆ) ∈ ๐๐ผ ⊂ ๐๐ฝ and since ๐ง ๐๐ฝ, we have ๐ฅ ๐๐ฝ and therefore ๐ผ ⊂ ๐ฝ and hence FโผθF is a lattice isomorphism of F0(S) onto the sublattice {θF: F ∈F0(S)} of C(S). Remark: The lattice C(S) of all congruencies on a semilattice S need not be distributive, even when S is distributive. For example let ๐ = ๐ซ+ ∪ {0, ๐, ๐}, with partial order given by 0 < ๐ < ๐, 0 < ๐ < ๐, for all ๐ ∈ ๐ซ+ and ๐ < ๐ ๐คโ๐๐ ๐๐ฃ๐๐ ๐ − ๐ is positive for all ๐, ๐ ∈ ๐ซ+. Then S becomes distributive semilattice, with a∧b=glb{a, b} , ∀ a, b∈ S. Let θ ={(a, b), (0,a), (0,b), (b,a), (a,0), (b,0) }∪ {(x,x):x∈S}, α = {(x, y)∈SxS:x∧a=y∧a}, β= {(x, y)∈SxS :x∧b=y∧b}. Define θ∧α=θ∩α={(x,y)∈SxS:(x,y)∈θ and (x,y)∈α} and θ∨α=θοα={(x,y)∈SxS: ∃z∈S such that=(x,z)∈α and (z,y)∈θ}.Then (θ∨α)∧β≠(θ∧β)∨(α∧β), Since (1, b)∈β∧(θ∨α) and (1, b)∉(θ∧β)∨(α∧β).