Distributive Lattices
CEU eTD Collection nprilflumn fterqieet o h ereof degree the for requirements the of fulfulment partial In eateto ahmtc n t Applications its and Mathematics of Department itiuieLattices Distributive uevsr rf P´al Heged˝us Prof. Supervisor: eta uoenUniversity European Central uaet Hungary Budapest, atro Science of Master ase Khan Taqseer umte to Submitted 2011 by CEU eTD Collection uaet 9My2011 May 19 Budapest, for of education higher part of no institution the that other of declare any part to also no form I and this degree. in academic others, copyright. declare submitted an of institution’s I been work or and has bibliography. of person’s thesis research and made the any my was notes on on use in infrignes based illegitimate credited thesis work, and properly own unidentified the as no my at declare informaion that Science exclusively Applications, of external is its Master such thesis and present only Mathematics of the of degree that Department the herewith for candidate University Khan], European Taqseer Central [ undersigned the I,
c yTqerKa,2011 Khan, Taqseer by l ihsReserved. Rights All ii ————————————————— Signature CEU eTD Collection te yseiltak om eirIa nrswohle ei yigti thesis. encouragement this and typing support kindness, in throughout. her Kadv´any me for Elvira helped thank who to Andrus like Ivan would head senior I Lastly, my the to and thanks me. Applications special to my encouragement its utter and and I generosity Mathematics his all of for department Morosanu Gheorghe the Professor to Mathematics. thank of to Institute books Renyi the wish the use I of to library possible the me from made Gy˝ori articles who Ervin collect Professor and to due also are thanks to My me enabled that valuable level thesis. final his the this P´al Heged˝us for to write initial Professor the from supervisor encouragement my and support to guidance, gratitude profound my owe I Acknowledgments iii CEU eTD Collection w esoso h ento hnw aemnindtecneto dasi lattices in ideals of concept the them. to mentioned have related we results the some Then of and equivalence . the definition showing the theorem of a versions stated have two and lattice lattice-as-an-algebraic- the a given of have tried We definition have included. structure we lattices texts, the than of most better of speak diagrams pictures give to As here. given been have example counter their found have lattices which in life. areas main practical some current in described applications the have to we logics chapter formalising this lattice In for of attempt research. development Boole’s chronological Georege almost from mentioned starting have theory We subject. the give of I duction preface this In lot. a learnt have thesis. I the feel of I account writing thesis brief of this Writing a process of the sources. research in these the to but references on hard provide based been to has is best however, my text, done the have of I most and me; others, by P´al Heged˝us. The Professor solely been made has been thesis has the thesis for supervisor My Degree Master’s me. a for for requirements Mathematics the in of fulfilment partial in submitted being is thesis This Preface hpe he icse pca lmnsi atcswt examples. with lattices in elements special discusses three Chapter and examples Several theory. lattice of concepts basic the of consists two Chapter intro- short a given have we chapter first the In chapters. six of consists thesis This iv CEU eTD Collection hpe atc n h te novsteji-reuil lmnso h distributive the of elements join-irreducible the involves a lattice. of other congruences the involves and one lattice lattices: result chopped distributive a finite proved of illustrated and theorems and stated stated representation have we two have Finally, we lattices. chopped Then lattice of importance chopped the on example. The light throwing with illustration. introduced with We been lattice has lattices. non-atomistic in concept a atomisticity of and example atoms an like given notions have more some defined have We lattices. lattices; important three lattice. of isoform definitions and the lattice uniform with lattice, chapter regular this close We have kernels between and connection introduced. lattice the factor been of discussed concepts have The we Then lattices. distributive concept. and lattices this congruence of feel a have to given been lattices. have in We morphisms introduced. of discussion been the has with lattices chapter of Boolean this modularrity of ended Then equivalence the rings. shown Boolean have and and Boolean algebras rings of concepts Boolean the and introduced matters algebras have lattice Boolean We any lattices, lattice. in that lattices of two character these distributive of the theorem presence for a the how and shows diagrams which their stated prototypical with Two been given has been sets. have of lattices lattices non-distributive of of terms examples in lattices distributive of characterisation the ncatrsxw aedsusdrpeettoso itiuieltie scongruence as lattices distributive of representations discussed have we six chapter In have examples Some lattices. in congruences of concept the introduces five Chapter mentioned have we Here detail. in lattices distributive discussed have we four chapter In v CEU eTD Collection ilorpy47 27 17 34 1 13 4 iii Bibliography Lattices Distributive of Representation 6 Lattices in Congruences 5 Lattices Distributive 4 Lattices in Notions Special 3 Definitions Background 2 Introduction 1 Preface Acknowledgments Copyright Contents of Table vi iv ii CEU eTD Collection regeDualgruppe erzeugte Teiler gr¨oßten gemeinsamen ihre durch Zahlen which von lattices, of theory basic the develop called to he led was Dedekind questions, related and this e.g., sums, and intersections taking subgroups Dirich- of edition enlarged and revised let’s a on working was Dedekind Richard his 1890’s, Schr¨oder early in Ernst the by earlier out worked been had book lattices of some theory thus elementary and logic, the in of naturally Lattices, arise algebras, century. Boolean nineteenth and late and lattices distributive the Pierce especially in S. lattice Charles of algebras, concept the Boolean Boolean Schr¨oder discovered introduced of Ernst Boole axiomatics George for- the century, to investigating nineteenth While attempts the nineteenth-century of algebras. half the first to the back In dates logic. concept malise lattice the of origin The Introduction 1 Chapter olsne ¨uberVorlesungen Zahlentheorie i ler e Logik der Algebra Die Dualgruppen ,B C B, A, fa bla group abelian an of 10) ntesbeto .Ddkn ruh h hoyt iewell life to theory the brought Dedekind R. of subject the on (1900), h ulcto ftetofnaetlpapers fundamental two the of publication The . ihr eeidas neednl icvrdltie.In lattices. discovered independantly also Dedekind Richard . A n se isl h olwn usin ie three Given question: following the himself asked and , + B G ( , o aydffrn ugop a o e by get you can subgroups different many how , A 1 + B ) ∩ C 19)and (1897) t.Tease s2.I okn at looking In 28. is answer The etc. , u e i o riModuln drei von ¨uber die ¨uber Zerlegungen CEU eTD Collection edr n h eiiaercies urneiga h aetm,ta ounauthorized no that time, same the at legitimate guaranteeing the receivers, between new information legitimate of the of main exchange and safe The definition senders the ensure the cryptanalysis. to in is in cryptosystem and role a primitives of significant goal cryptographic a of played study has the in theory cryptosystems, lattice area, latter as Cryptography. such the Public-Key areas and In theoretical programming various integer in polynomials, applications integer lattice of to factorization computer led of century evolution The 20th numbers. the of in exclusively geometry and science we motivated theory Minkowski the hand, to in in theory due lattice results thesis of important use century, the to the 19th In has the In other space. the case. first while in the sets points consider ordered of partially arrangements with regular do with to has do one first The lattices. called algebras. especially Mathematics, is of distributivity areas various of in condition arising the lattices applications on are many imposed lattices In on conditions distributivity. Many of theory. provided forms lattice have weakened general lattices in These results many role. of for development vital motivation the a the In played have field. lattices this distributive developed theory, others lattice and Ore Oystein Menger, Neumann, Karl Von Glivenko, Valere John that After disciplines. unrelated for mathematical the framework many demonstrated unifying in a he developments provides papers it that of showed series and theory a lattice In of that importance thirties subject. mid the the of in development work general Birkhoff’s the Garett started was It theory. J´onsson, lattice Later of development prominently contributed the subject. Birkhoff to a Garrett and as Tarski, Neumann, theory von lattice Ore, which Malcev, of Kurosh, theory development lattice the and for algebra impetus modern the between provided connection the recognised He lattices. later many inspired have and classical are pappers mathematicians. two These ago. years hundred one over nbbigah,teeaetoqiedffrn ahmtclsrcue htaeusually are that structures mathematical different quite two are there bibliography, In distributive of form weakend are which lattices modular defined Dedekind Richard 2 CEU eTD Collection frslswihlea h er ftesubject. the of heart the at development lie systematic which the results with of concerned primarily are Gr¨atzer. They G. and Dilworth information. the of part any recover to able is party h motn urn eerho atc hoyhsbe ntae yG iko,R P. R. Birkhoff, G. by initiated been has theory lattice on research current important The 3 CEU eTD Collection aifig o all for satisfying, that set empty non Sub a of subsets all of collection system a is set, (poset) Set Ordered Partially Definitions Background 2 Chapter vr o-imlelement non-minmal every of element minimal if (iii) if (ii) (i) oeigrelations Covering is set ordered an of example natural most The abound. posets of Examples Atoms ( G b x ,tecleto falsbruso group a of subgroups all of collection the ), covers ≤ x x ≤ ≤ x e ( Let : (reflexivity) , y y a and and if P ,y z y, x, aunion atc.Telattice The lattice. relation a lattice. a forms it elements, two the of enesup Definie sup defining By Q poset A : e ( Let : scle t raetlwrbud(l)o nmm(n)of (inf) infimum or (glb) bound lower greatest its called is A : ≤ , { B ,b a, as P, P n inf and Q ≤ } { h ( L, ,b a, Q S eapstand poset a be ) if slmof lcm as of ) ≤i a L scle t es pe on lb rspeu (sup). supremum or (lub) bound upper least its called is } 6 ≤ { stebge ftetoeeet n inf and elements two the of bigger the as n S stefollowing the is saltiei sup if lattice a is ,B A, let , x bv sapstudricuin e sdfiesup define us Let inclusion. under poset a is above o all for , Q } iue21 Lattice 2.1: Figure L a if , sitreto of intersection as n N b y 2 etesto l oiiedvsr of divisors positive all of set the be n inf and ≤ x = a Q ∈ b { ≤ o all for , 1 Q easbe of subset a be , 6 5 1 b 2 h raetmme ftesto l lower all of set the of member greatest The . { , ⇐⇒ { ,b a, 3 ,b a, ... , } y } } a 3 n inf and ∈ ihteuua re of order ususal the with sgdof gcd as | A L b Q , 6 B h mletmme fteset the of member smallest The . P Then . { nelement An . ,b a, a } , xs o all for exist P b Then . ( S { eoe lattice. a becomes ) ,b a, Q n } a Dually, . e sdefine us Let . L ∈ stesmaller the as n ≤ ,b a, P eoe a becomes saposet. a is { ssi to said is ∈ ,B A, L b . ∈ } as P CEU eTD Collection 2.3. e-hoei nescinof intersection set-theoretic a is there If and them. group plane containing a the those in to subgroups ones smaller smaller the the joining above line occure subgroups larger the that such h symbols (123) osdrtesmercgroup symmetric the Consider If Examples group the of subgroups the all lists which diagram a is group a of diagram lattice A G i h atc iga of diagram lattice The . G = { 1 , V , H 2 4 h li-orgop hnteltiedarmof diagram lattice the then group, Klein-four the , , ∨ : 3 } K hntenntiilsbrusof subgroups non-trivial the Then . = h ,K H, i ,K H, iue22 atc fSubgroups of Lattice 2.2: Figure h ugopgnrtdby generated subgroup the , S iue23 atc of Lattice 2.3: Figure hnisltiedarmi ie yfiue2.2. figure by given is diagram lattice its then , 3 sgvnb h gr 2.4. figure the by given is S H 3 H H = ∨ ∧ { K K { identity, G 6 e } K (12) V S 4 , (13) 3 ,K H, are , (23) ,K H, h and (12) G , (123) H sgvnb h figure the by given is i r w ugop of subgroups two are , ∧ h (13) , K (213) = i , H } h (23) ∩ nthree on K i the , and CEU eTD Collection sadvsrof divisor a is G H (ii) (i) = = atc igasfrcci ruso nt resaees oda.W nwta if that know We draw. to easy are orders fnite of groups cyclic for diagrams Lattice groups cyclic of diagrams Lattice h h G G x d i i = = = sacci ru forder of group cyclic a is Z Z d 6 p Z m a h lattice the has n n a h lattice the has npriua,when particular, In . stecci ugopgnrtdby generated subgroup cyclic the as (12) iue25 atc of Lattice 2.5: Figure iue24 atc of Lattice 2.4: Figure (13) n hnaysbru so h form the of is subgroup any then , G = ( : ( p Z { p S 2 e n ( ) ) 7 Z 3 } p stecci ru eeae y1 ewrite we 1, by generated group cyclic the is p . . . m m ) (23) d. Z 1. S p 3 m (123) H = h x d i where d CEU eTD Collection atc sa leri structure algebraic an as to Lattice belong not does then 2,3 above, of 3 gcd example the in as inf and sup and order partial leri tutr sasto hc w iayoeain r end called defined, are operations binary two which on meet set a is structure algebraic (iii) ihr eeiddsoee h leri hrceiaino atcs atc san as lattice A lattices. of characterisation algebraic the discovered Dedekind Richard Consider lattice a is poset every Not eoe by denoted , G = Z 12 S a h lattice the has = ∨ { ,3 ,... . . 4, 3, 2, and ∧ aifigtefloigaxioms: following the satisfying , } h e fntrlnmesdltd1 e sdfiethe define us Let 1. deleted numbers natural of set the , iue27 atc of Lattice 2.7: Figure (4) iue26 atc of Lattice 2.6: Figure S : (2) . : (2) { 0 } { Z 0 8 6 } Z 12 (6) (3) Z (3) Z 12 6 S sntaltiea,frexample, for as, lattice a not is join and CEU eTD Collection aifigteaoeaxioms above the satisfying 1. Theorem that proved Gr¨atzer (1971) G. mathematician Hungarian all for Asrto a : law Absorption iii) Ieptn a : law Idempotent iv) Ascaielw: law Associative ii) Cmuaielw: law Commutative i) ,b c b, a, ∈ o-mt set non-empty A L . ( i ) − L ( salattice a is iv a a ) . ∨ ∧ ( ( a a b b a a ∨ ∧ ∨ ∧ a a ∧ ∨ ( ( 9 c c ⇐⇒ ∧ ∨ a a b b ( = ) ( = ) ∧ ∨ = = a a = = b b b b hr r w iayoperations binary two are there = ) = ) a a ∧ ∨ a a ∨ ∧ a a a a b b ) ) ∨ ∧ c c ∨ and ∧ CEU eTD Collection a ideal An of operation the union, under that obvious is it by defined by of subgroups all of collection the meet the under closed of ∧ Frany For ii) L Cnie ( Consider i) A Ideal Let Lattices of Substructures Let Examples Remark b : ∈ ∨ o n oiieinteger positive any for om ultieof sublattice a forms I S B L sublattice A : I myta either that impy eagop osdrtofmle u of out families two Consider group. a be eayltie hnannepysubset non-empty a Then lattice. any be = G of 1 A If : L a ∧ : ∪ in I scle rpriff proper called is G L + B G 2 , , L ≤ = ( L and , S ∗ ,where ), G ) ∧ r w atcssc that such lattices two are I ⊆ 1 A n join and ∩ of a P ∧ L G ∈ ( . L B S 2 n P I I .But ). ( , scle nieliff ideal an called is and + = ( or S L stesto oiieitgr and integers positive of set the is ∨ S A ). n b I . G Then . , ∩ ∈ ≤ L 6= 1 G a sasbatc of sublattice a is ) B ∨ I L ( ntefloiglattice, following the In . = . S G rprideal proper A . sntasbatc of sublattice a not is ) G { 2 10 x P ( h ugopgnrtdby generated subgroup the = S ∈ ( S lofrsaltieudrteoperations the under lattice a forms also ) L saltiewt h prtosdefined operations the with lattice a is ) L | ∗ S i a ⊆ ∈ h oe set power the - ≤ S L I x then , ⊆ } and I I + L . of scle ultieif sublattice a called is a L L ∈ ∗ spieiff prime is edntb sublattice a be not need P L I a ( = ml that imply S P ≤ si sntclosed not is it as ) ( { S b 0 of ) } ⇐⇒ G sa da and ideal an is 1 S ,b a, ∪ a and G a | ∈ b 2 ∧ Then . Then . L G i ∈ S ( and S I is ), . CEU eTD Collection t.Then etc. intersection containing ideals L of sublattice hoe 2. Theorem lattice. a of subset a by P containing = hrceiaintermo nieli sfollows: as is ideal an of theorem ideals. characterisation also A are ideals two of join and Meet ideals of Join and Meet Let generated ideal the and sublattice the define also can we structures, algebraic other Like { 0,a H } easbe of subset a be sapieiel while ideal, prime a is I L H ∩ Let iial nielgnrtdb subset a by generated ideal an Similarly . eeae by generated J H The . L eoe y(] If (H]. by denoted , ealtieadlet and lattice a be join U U L 2 1 ( ( hntesals ultieof sublattice smallest the Then . ,J I, J I, sbttik enda olw:Define follows: as defined tricky bit is H eoe y[] ti h nescino l ultie of sublattices all of intersection the is It [H]. by denoted , The : = ) = ) I I ∨ { { sntprime. not is iue28 figure 2.8: Figure J U x x a 0 | | meet = x x ( H H ,J I, ≤ ≤ ∪ = and ( u u U 11 = ) 0 i ftoideals two of a ∨ ∨ i ( ,J I, hn( then I v v I ; ; ennodsbesof subsets nonvoid be ,v u, v u, ∪ ) b | J i<ω H ∈ ∈ ( = ] U U ) 1 0 H ( ( I ,J I, J I, a , scle rnia ideal. principal a called is ] of J L ) ) L } } of containg steitreto fall of intersection the is L sdfie ob the be to defined is L . H scle the called is CEU eTD Collection ,d a, For (iii) (ii) (i) sa xml,i h olwn atc h rnia da eeae yteelements the by generated ideal principal the lattice following the in example, an As a ewitnas written be can I hr exist there x I ( = ∈ sa da iff ideal an is I a H . ∈ ] L iff , h ( I a 0 h , = ] sa ideal, an is 1 ,b a, h , . . . , { x ∈ ∈ L I n − : mle that implies 1 H x ∈ ≤ ⊆ H ( a iue29 figure 2.9: Figure a I } uhthat such b = ] n o all for and ( = d = ] { { x 0 d a a 12 ,b ,d c, b, a, , 1 0 ∧ { ∨ 0 a d , b i : ≤ ∈ } x i c h I ∈ ∈ } 0 and , L ∨ I } . . . hr xssa integer an exists there a ∨ ∈ h n ,x I, − 1 . ∈ ,x L, ≤ a n ml that imply ≥ 1 and CEU eTD Collection o every for every lattices. in elements of types special some define we Here Lattices in Notions Special 3 Chapter Telattice The iii) Tentrlnme stezr lmn nteltieo xml .Ti lattice This 2. example of lattice the in element zero the is 1 number natural The ii) I hpe ,teltieo xml a h mt set empty the has 1 example of lattice the 2, chapter In i) Examples lattice Bounded Element Unit Element Zero lmn.Hence, element. bounded. not is lattice This element. unit the possess not does lmn n h nteeetrsetvl.Therefore respectively. element unit the and element a ∈ a L ∈ Dually . L : . L neeet1i aldteui lmn rtealeeetof element all the or element unit the called is 1 element An : nalattice a In : 6 feape3 hpe a siszr lmn n sisunit its as 6 and element zero its as 1 has 2 chapter 3, example of lattice A : L 6 sbounded. is L L neeet0i aldtezr lmn of element zero the called is 0 element an ih0 scle one lattice. bounded a called is 1 0, with 13 P ( S φ sabuddlattice. bounded a is ) n h set the and L S f0 if L siszero its as if ≤ a a ≤ for , 1, CEU eTD Collection lmn n whenever and element h iderwo h imn ffiue42aytoo h he lmnsaecomplements are elements three the of two third. any the 4.2 of figure of diamond the of row middle the of complement while a then irreducible, whenever and element zero a sme reuil u o onirdcbe sji reuil u o etirreducible, meet not but irreducible join is d irreducible, join not but irreducible meet is Remark element an of Complement irreducible Meet irreducible Join o xml,i h bv atc,tecmlmn of complement the lattice, above the in example, For Example ,c b, r irreducibles. are facmlmn fa lmn xss tmyntb nqe o xml,in example, For unique. be not may it exists, element an of complement a If : nteltiedarmbelow diagram lattice the In : a a sdfie ob nelement an be to defined is ssi ob irreducible. be to said is nelement An : nelement An : a = b ∨ a = c hneither then , b a a ∨ Let : iue31 figure 3.1: Figure a ∧ nalattice a in c b hneither then , nalattice a in b 0 = L d a 14 a , 1 0 b eabuddltieand lattice bounded a be a ∈ ∨ = L L b fsc neeeteit,sc that such exists, element an such if , L 1 = b ssi obe to said is c a or is = etirreducible meet a b b or = is c a c If . = n vice-versa. and onirreducible join c a Dually . sbt onadmeet and join both is iff a a ∈ sntaunit a not is L iff hna Then . a snot is CEU eTD Collection lmn in element a y unique. is it . frany for (ii) ∈ (i) Example Lattice Pseudocomplemented of pseudocomplement the that noteworthy is It as defined is complement a to alternative Pseudocomplement an issue, non-uniquness the around get To Example words, other In L b if ∧ a L 0 = h ezn stepedcmlmne lattice. pseudocomplemented the is Benzene The : nteltieo gr . cle ezn)tepedcmlmn of pseudocomplement the Benzene) (called 4.3 figure of lattice the In : a pseudocomplemnt. a has c uhthat such b stemxmleeeti h set the in element maximal the is c nelement An : ∧ a 0, = iue32 Lattice 3.2: Figure c iue33 figure 3.3: Figure x a ≤ a : b L b . ∈ scle suoopeetdltiei every if lattice pseudocomplemented called is 15 0 1 0 i L b ih0i aldtepedcmlmn of pseudocomplement the called is 0 with y c b y M snot is { 3 c ∈ a L i si fact in is (it : c ∧ a 0 = } n,i texists, it if and, x ) a is CEU eTD Collection a n vr lmn of element every and a any for of plement. Let (ii) 6 6 Telattice The (i) U opc Elements Compact Lattice Complemented Sectionally set open an of pseudocomplement The Examples lattice Complemented opeeLattices Complete Example ∨ . ∨ suoopeetdlattice. pseudocomplemented a S S 1 a . o nabtaysubset arbitrary an for ≤ X b eatplgclsae hntecollection the Then space. topological a be h atc ffiue44i etoal complemented. sectionally is 4.4 figure of lattice The : in L M hr sa element an is there , 3 bv scmlmne lattice. complemented is above L a ewitna onof join a as written be can : nelement An : L : scmlt if complete is L S scle opeetdi vr lmn in element every if complemented called is of iue34 figure 3.4: Figure L a c hnteeeit nt subset finite a exists there then in a U : sup of L 16 0 L b of uhthat such L scle etoal opeetdltieif lattice complemented sectionally called is and X scle opc if compact called is s( is opc elements compact c inf U c xs o n rirr ustof subset arbitrary any for exist a ) L o ∧ h neiro h complement the of interior the , ( X c faloe ust of subsets open all of ) ,and 0, = . a a S ∈ ∨ 1 c L ⊆ = L ssc that such is S a com- a has b . uhthat such X L is CEU eTD Collection h atc ftuhvle.LtrteHnainmteaiinAda unintroduced Huhn Andras mathematician of Hungarian concept the the Later values. truth of lattice the (2 all for lattice a is lattice distributive A Lattices Distributive 4 Chapter Remark , ∧ L , ∨ scalled is ,b c b, a, .I steol w-lmn atc.Ti atc etrspoietyi oi as logic in prominently features lattice This lattice. two-element only the is It ). nteeuiy(3 equlity the In : ∈ L n n itiuieltieo udmna motnei h w-lmn chain two-element the is importance fundamental of lattice distributive A . − − distributive distributivity . ) ti rva that trivial is it 1), x ( c ∧ c fin if ∧ ( : ∧ L i _ ( =0 n a a aifigtelw(aldtedsrbtv identity) distributive the (called law the satisfying ) L y ∨ ∨ i = ) h olwn dniyholds: identity following the b ( ( = ) c ∧ i _ =0 n 17 b c ( ) x ∧ ≤ ∧ a c ) ( ∧ j ∨ ( 6= _ ( ( n i a c )=0 ∧ ∨ y b b j (4.1) ) ) )) CEU eTD Collection ot rv atc ob itiuie eol edt rv that prove to need only we distributive, be to lattice a prove to so Teltie( lattice The ii) Dsrbtv atcsaeuiutu.Tepooyia xmlso uhstructures such of examples prototypical The ubiquitous. are lattices Distributive i) Examples hct igo sets. of ring a to phic 3. Theorem stated as completely theorem scenery and following the union the describe set in by sets given of be lattices can these operations Indeed, lattice intersection. the which for sets of collections are : I + G iko n .H tn)Altiei itiuiei ti isomor- is it iff distributive is lattice A Stone) H. M. and Birkhoff (G. , ≤ etoe bv sdistributive. is above mentioned ) ( c ∧ a ) ∨ ( c ∧ 18 b ) ∧ ≥ ( a ∨ b ) CEU eTD Collection and smrhcto isomorphic em 5. Lemma 4. Theorem M j where t 1 ≤ 3 ∈ esalcl subset a call shall We lattices Non-distributive o esaeatermwtotpofwihrvasta h ultie smrhcto isomorphic sublattices the that reveals which proof without theorem a state we Now Proof i and N J ∨ hsipisthat implies This . 5 i j . 1 with , N = Suppose : 5 t lya motn role. important an play lattice A ∧ lattice A M i i ∈ ∈ 3 I or I , , j L j N L 1 ∈ 5 sdsrbtv n e stake us let and distributive is L = sdsrbtv fffraytoideals two any for iff distributive is J respectively. I sdsrbtv iff distributive is hnb distributivity, by Then . t ∨ ∧ A J j falattice a of I ∈ = ∨ h w rtyenndsrbtv atcsaethe are lattices non-distributive protoype two The : iue41 Lattice 4.1: Figure J iue42 Lattice 4.2: Figure { J since , i = ∨ a b a j { i : ∨ i I L ∈ L , j 19 0 0 i i J : ,j I, osntcnanapnao radiamond. a or pentagon a contain not does b diamond i r dasof ideals are ∈ ∈ ,j I, t c c J = M } N . ∈ t t 3 5 or ∈ ∧ J } ( I i pentagon L I ∨ ∨ , Thus . j J J ( = ) hnb hoe (ii), 2 theorem by Then . of L t t ∧ iff : = i ) A i ∨ 1 ( ∨ sasublattice a is t ∧ j 1 j for = ) i i 1 1 ∈ ∨ M j I 1 3 , CEU eTD Collection ( complements two lemma a have We distributive. is lattice 6. the Lemma when case the not is it But general. in unique distributive. j ideals principal the consider elements three exist there Then non-distributive. ( then so and 13) osdrteltieo l ugop fagroup a of subgroups all group of lattice the Consider (1938). unique. is complement onirdcbeeeet of elements join-irreducible lattices: distributive x x ≤ ∧ ∧ Proof not is exists, if lattice, a in element an of comlement that 3 chapter in seen have We that suppose converse, For eew eto iecaatrsto fdsrbtv atc u oOsenOre Oystein to due lattice distributive of characterisation nice a mention we Here Definition finite of structure the investigate which theorem(s) and complement. definitions unique some have a we has Next element every lattice Boolean a in Thus Lattice Boolean a y y i 1 ∧ 2 ) G ≤ ) a ∨ c ∨ slclycci ffteltieo ugop of subgroups of lattice the iff cyclic locally is ∈ ( 0 = a Let : y ( , 2 I y nabudddsrbtv atc neeetcnhv nyoecomplement. one only have can element an lattice distributive bounded a In j ∧ 1 ∨ b < y ∧ ≤ Let : J 1 L 0 = ) y u ecamthat claim we But . a ∈ 2 eadsrbtv atc n ups,i osbe nelement an possible, if suppose, and lattice distributive a be hnas Then . y 0 = ) 1 ( D b opeetddsrbtv atc scle ola lattice. Boolean a called is lattice distributive complemented A : and = ] ∨ eadsrbtv atc and lattice distributive a be ( y ∨ I 2 y Thus . ∧ 2 ( D hnuigdistributivity, using Then . y y I 1 j Then . 1 ( = I = ) ∧ ∈ ∨ y J a b 2 J y ] = ) J , = 2 ( = = ∧ J a i ( ( = y { ∨ D a o ewitnas written be not can c 1 y i ], 1 j = sapstudrteprilodrn inherited ordering partial the under poset a is ) ∨ c ∧ j ∈ .(epn nmn h figure the mind in (Keeping ]. 20 j y y ≤ 1 I : 2 ∧ i hs w ieus give two These . ( = c y ∈ o combining Now . 2 ,b c b, a, J Similarly, . b ,j I, ( = ] D eoetecleto falnonzero all of collection the denote ) G ∈ { a ntelattice the in (as 0 G sdistributive. is J y b , } 1 yti r rvdta the that proved Ore Oystein . } n ups,i possible, if suppose, and 1 = otaito.Hence contradiction. a , y a 2 = 1 = ∧ i j y ∨ ∧ 1 y ≤ 1 j y ( = 2 = eas fi sso is it if because a M ( = , x M y j 3 2 .Nwltus let Now ). x ∨ ec the Hence . ≤ 3 ), ∨ y x c 2 y a ) 1 ∈ ie us gives ) ≤ ∧ ∧ L y b y L L 1 2 has ∨ = = is is c CEU eTD Collection ees nlso,w aeany take we inclusion, reverse x and join-irreducible are that x when only possible is This equal. are sets two the isomorphism. an is Φ 7. Theorem hence and respectively The inclusion. set by from and that imply i.e. = = Ontoness 1-1ness Proof theorem following the have We Definition r x x a ( D a = Φ ∧ ∧ stesto onirdcbeeeet below elements join-irreducible of set the is ) For . y a o some for , e sdfietempΦ: Φ map the define us Let : = A y Take : e sset us Let . ∈ a x ehv oso htfrevery for that show to have we : Let Let : ∈ ∧ A Let . D W D e sdefine us let , ,b a, A y P eafiiedsrbtv atc.Then lattice. distributive finite a be ∈ H = H ∈ H eapstand poset a be A ( r ( a W P a ( ( P D hsmeans This . P a = { saltiei hc etadji r nescinadunion and intersection are join and meet which in lattice a is ) ≤ eoetesto l eeiaysbesof subsets hereditary all of set the denote ) = ) x sadsrbtv lattice. distributive a is ) uhthat such W ∧ a r A x { r o every for , y ( ( x a | b ∈ y wiheit because exists (which | = ) = ) x ∈ r ≤ ( a a A { { D a ,x a, A .Te ydefinition by Then ). x x y = } = Φ | | o since Now . −→ x ≤ y ⊆ b hspoe sone-to-one. is Φ proves This . ∈ ≤ ≤ a 21 y P u since But . b J ,y b, ,x a, H ∈ ecall We . .Te ehave we Then Φ. ( A D ( A J ∈ ) ∈ ∈ egtb definition by get we , ( } D J J H ( = a )by )) ( ( x . D ( D J a A sji-reuil ow ilhave will we so join-irreducible is ) A ) ( A ] } D } D ∩ sfiie.Te as Then finite). is hereditary a shrdtr,s tflosthat follows it so hereditary, is ) hr xssan exists there )), sioopi to isomorphic is J = Φ ( x D ≤ ) r r ( ( a a a = ) .Tew rv that prove we The ). hnw a write can we Then . iff P r x atal ordered partially ( r b ∈ ( .Ti means This ). a A H ) A a 0 ( ⊇ s and J ∈ elements ( A D D For . y )) such ≤ . x CEU eTD Collection x or as written be can definition, that lmnain r lorgre soeain.Tu ola ler sasystem: a is algebra Boolean a Thus operations. as h regarded also are plementation) that imply ( ⇔ hoe 8. Theorem is, that potent, of element an out pick r of pre-image x a B ( a ∈ ∈ ∧ ; x x et ydfiiin( definition by Next, ola Algebra Boolean theorem. the proves This isomorphism. an is Φ Hence homomorphism. a is Φ Therefore, ola ig r ola lersi igiea ttdi h olwn theorem. following the in stated as disguise in algebras Boolean are rings Boolean Ring Boolean define we Next Example Φ ∧ ∧ r A b = r ∈ , ( Φ= )Φ ( b Therefore . a sahomomorphism a is ∨ a = ) r x ) , ) ( 0 ∧ ∪ a ∪ , and ) 0 x b r r r r , r ( ( ( ( 1 n hsipisthat implies this and ≤ ( b A a a b h ( The : a i ,poigthat proving ), vr ola ler seuvln oaBoenring. Boolean a to equivalent is algebra Boolean Every ) where , ) ∧ ∨ a ∈ a ⊆ x ∩ ∨ 2 b b x H = ) = ) ∈ r r = r b igRwt utpiaieiett nwiheeyeeeti idem- is element every which in identity multiplicative with R ring A : ( ( = ( ( ( rmti ecnwrite can we this From . a a r P J b a ( ) .W oethat note We ). r ∨ r ( o all for , b ( ola ler saBlenltiei hc 0 which in lattice Bollean a is algebra Boolean A : x ∧ ( D ( B ⊆ S ) a a b a ∧ , ) .Frrvrecnanet e stk any take us let containment, reverse For ). )and ⇔ )i h onof join the is )) ∨ ) ) , A ∨ a ∪ ∩ ∩ b ) h w otimnstgte ieus give together containments two The . Φ= )Φ x , r iayoeain;0 operations; binary are ∨ r r ∪ ( ydfiiin( definition By : r ( ∈ ( a 0 b b ( saBoenAlgebra. Boolean a is ) x .S ehv ( have we So ). = ) sa1 a is a ∈ r ∧ ( ∨ r a x R b ( ) .Nwsince Now ). a b a scle ola ring. Boolean a called is , ≤ ) ∩ Φ ∨ − ⊆ r a b ∧ x ( ary .W rv that prove We ). b or r A b .Hnew get we Hence ). ( ∈ Φ. ec sonto. is Φ Hence . a x 22 ) operation. r ≤ x ∪ ( a a = a r b ∨ x ∧ ( Then . ∧ b x sji-reuil,w hl get shall we join-irreducible, is b .Tu h w otimnstogether containments two the Thus ). b Φ= )Φ ∧ ) b , Φ= )Φ ⇔ r ulr prtos(hc just (which operations nullary are 1 ( a ∨ x x r r r ( ( b ∈ ( a a ≤ .Apyn itiuiiy this distributivity, Applying ). r a ( r ∨ ∨ ∧ a ( a b a b b ∧ = ) = ) or ) ∧ = ) b b .Nww hwthat show we Now ). r r x ⇔ x r ( ( ( a a r ∈ ∈ a ) ( ) ) x a ∪ ∪ r r ∩ = ) ( ( r ≤ r a b r ( , ( hc means which ) b ( ∨ and 1 b .I strivial is It ). b a A = ) .Therefore ). b hsthe Thus . .Te by Then ). and x a Φ 0 = x (com- ∨ x ≤ b ∧ Φ. a b CEU eTD Collection hni ses ocekta hs diinadmlilcto aif l h xoso a of axioms the if Conversely, all satisfy multiplication and addition Further, these ring. that check to easy is it Then B and ec ( Hence ring Boolean the of any 1 0, identities multiplicative and B additive the Moreover, lattice. these a that verify of to calculation easy an again Its cle h oua dniy) icvrdb ihr eeid if Dedekind: Richard by discovered ), identity modular the (called eaBoenagba hnw en diin+admultiplication and + addition define we then algebra, Boolean a be c stezr n nteeetfrti atc.So lattice. this for element unit and zero the as act Proof oua Lattices Modular a ∈ B, B ewl o ieteetr ro,rte esalgv ktho h ro.Let proof. the of sketch give shall we rather proof, entire the give not will We : h 1 The , ∨ , ∧ B saBoenlattice. Boolean a is ) a 2 sBoenrn ihiett,te e’ en the define let’s then identity, with ring Boolean is = − a.a a siscmlmn.As h itiuieiett sesl verifiable. easily is identity distributive the Also complement. its is = oua atcsaeltie htstsytefloigidentity following the satisfy that lattices are lattices Modular : a ∧ a a = c + ∧ a a b o all for , ( ∨ a ( = ∨ a.b b a = a b ∧ = ) = ∧ b 23 a a b = a + 0 a ) ∈ ∧ ab b ∨ ∨ b − R ∨ ( ( a b ab and n ec ( hence and 0 ∧ ∧ c b B (4.2) ) ∧ ) sbuddltie ute,for Further, lattice. bounded is aif l h leri axioms algebraic the all satisfy B, + a join . , 6 saBoenring. Boolean a is ) . ,b c, and by ∈ meet L by CEU eTD Collection o subgroups for 9. Theorem lattice. modular a form not do G that check N to easy is it Then { x g 2 ∈ -sub( 1 Teltieo l daso igi oua atc u o itiuie ngeneral. in distributive, not but lattice modular a is ring a of ideals all of lattice The ii) B taking By i) g ⊆ ot rv atc ob oua,i ssffiin oso that show to sufficient is it modular, be to lattice a prove to so Remark u ntecs fnra ugop ti rea h olwn hoe states theorem following the as true is it subgroups normal of case the in But group the of subgroups the example, For Counterexample Examples Proof 2 G mle hteeydsrbtv atc smodular. is lattice distributive every that implies | G 2 G g G 1 1 , 3 ob oua atc,w hl hwta for that show shall we lattice, modular a be to ) ∈ .Thus G ti rva oso that show to trivial is It : 1 G nteeult (3 equality the In : ∩ 1 h atc fnra subgroups normal of lattice The : g , G ( G x a 1 2 , 2 = ∈ 6 G G G 3 g 2 c = ) 1 2 h atc fsbruso ru sntmdlri general. in modular not is group a of subgroups of lattice The : in } ntedsrbtv dniy egttemdlriett.Tu it Thus identity. modular the get we identity, distributive the in and ugopgnrtdby generated subgroup = G N 2 x -sub( ( G = G 1 . ) ti rva that trivial is it 2), ∩ g 1 c c G 2 ∩ ∧ ∧ G g ,ltu define ue let ), 3 3 G ( ( o some for , .Frti take this For ). a a 2 N ∨ ∨ and -sub( b b ) ) 24 ≤ ≥ G A G a a N 1 4 g G sapstudrstcnanet Now containment. set under poset a is ) ∨ ∨ -sub 1 falee emtin nfu symbols four on permutaions even all of 2 ( ( ∈ G b b r ebr of members are G ∧ ∧ 1 ( G , 1 G x 1 c c G ∧ ) g , ) ) ∈ 2 fagroup a of G 2 G hc esaldnt by denote shall we which G 2 ∈ 1 1 ∩ = , G G ( 2 G G g , 2 1 2 3 in G ∩ G ∈ N 3 N .Then ). G G -sub( smodular. is -sub( 2 3 rmteewe these From . and G G .T prove To ). x G uhthat such ) 1 ∈ ∨ G G G 1 1 2 and G = 2 . CEU eTD Collection a write can that o all for isotone definitions. following the have we hence operations, follows as defined is extremes 10. Theorem identity. modular the yield together Definition algebra In Lattices in Morphisms of Notion Interval define we Next 3. theorem of lattice proof the modular to a Thus similar is theorem this of proof The lattices: modular characterising result nice a have we Now that these proves above, This definition the after remark the by holds containment reverse the as Now x ,y x, ∈ if G g x ∈ 2 3 ( ≤ Let : = G L morphism y 1 . Let : g lattice A ∩ 2 − implies 1 G g L intervals 1 3 N L .hrfr eget we ).Therefore ∈ ealtieand lattice a be -sub( and G f means L 1 ( Thus . x smdlri tde o oti pentagon. a contain not does it iff modular is L M ) G nalattice. a in ≤ sdsrbtv ffi osntcnanadiamond. a contain not does it iff distributive is side oua lattice. modular a indeed is ) G etoltie and lattices two be [ rsrigteoperation the preserving f ,b a, 1 f ( g ∩ y ( 3 = ] ). x ∈ ( G ∨ f G ,b a, 2 { y G x is 1 = ) : ∩ 3 ∈ onmorphism join ) ∈ G 25 ⊆ L f 2 L ( : G x n then and hnteitra [ interval the Then . a ) 2 ( ∨ ≤ G f f 1 x ( : ∩ y ≤ L nltieter hr r distinct are there theory lattice In . )) G g b −→ 3 } 2 if ) g 3 ∈ M G eafnto.Then function. a be 2 ( G 1 ,b a, ∩ with ] G 3 hc implies which ) a and b f as is CEU eTD Collection L function another define we g bijection, a is it that prove To all for I 11. Theorem theorem isomorphism f 1 is it if lattice-morphism). all for and ( [ httecompositions the that ) ,a b, y scle an called is = ) ktho Proof of Sketch following the have We isomorphic. are form specific of intervals two lattice modular a In morphism a structures, algebraic other of case the in Like When f I ∧ scalled is [ a ,y x, x y b ∨ ] − ntedmi nevl hni sesl enthat seen easily is it Then interval. domain the in ∨ r isomorphic. are ,a b, f ∈ a ,an 1, o all for , sboth is . L epciey hsetbihsta h w nevl r isomorphic. are intervals two the that establishes This respectively. ] etmorphism meet . endomorphism Let epimorphism L y onmorphism join e sdfietefunction the define us Let : eamdlrltieand lattice modular a be ntedmi nevl hnw aiyse(sn the (using see easily we Then interval. domain the in f ◦ g if if and fi sot,an onto, is it if L f ( g x = and ◦ ∧ f M y r dniymrhsso h intervals the on morphisms identity are etmorphism meet = ) n an and 26 f ( ,b a, x isomorphism f ) ∧ : automorphism ∈ I f [ L ( a y hnteintervals the Then . ∨ ) ,a b, then g ] f −→ : fi sbt 1 both is it if f I saltiehomomorphism. lattice a is f [ scle a called is ,a b, scle a called is I if [ ,a b, ∧ L b ∧ ] = b −→ by ] M monomorphism − I morphism modularity [ I f n ti an is it and a n onto. and 1 [ a ( ∨ x ∨ I = ) ,a b, [ ,a b, ,a b, ] x by ] and ∧ ∧ (or of b b , ] CEU eTD Collection a lattice a on relation equivalence An Lattices in Congruences 5 Chapter 0 Acnrec eaino atc ssoni gr (5 figure in shown is lattice a of relation congruence A (4) chain finite a In (3) for decomposition coset the as thing same the is relation congruence a group, a In (2) integers the In (1) ∧ Examples a eitdi gr (5 figure in depicted coset the as thing same the is ideal. it an ring for commutative decomposition a in and subgroup normal some n 1 h case The . ≡ b 0 ∧ L : b scle a called is 1 ( n and ) ie h qaiyrelation. equality the gives 0 = Z ogunerlto stesm scnrec mod congruence as same the is relation congruence a , C a ogunerlto saydcmoiinit nevl as intervals into decomposition any is relation congruence a , . ogunerelation congruence 0 1). ta s eeie ymti n rniiebnr relation) binary transitive and symmetric reflexive, a is, (that ∨ a 1 ≡ b 0 ∨ b 1 ( 27 ). iff a 0 ≡ b 0 ( . and ) 2). a 1 ≡ b 1 ( ml that imply ) n o some for , CEU eTD Collection if (1) if (4) if (3) if (2) following the satisfies 12. Lemma lattices. of congruences ( a Remark determine to us helps which lemma important very a proof) (without state we Now 0 b , a a a a 0 ∧ ≡ ≡ ≤ on ) b b b t ( ( ≡ ≤ mod mod If : L a b o-mt iayrelation binary non-empty A ( htidentifies that mod and a 0 ) ) b , then , and a 0 ) ≡ r w lmnso lattice a of elements two are (1) then , iue51 oguneo nt chain finite a of congruence A 5.1: Figure b b a ( ≡ through mod ∧ iue52 oguneo lattice a of Congruence 5.2: Figure c ( b b mod a ≡ ≡ 0 ) and a a then , (4) ∨ ∨ ) then , b b : b ( ( 0 mod mod t a ecntutdb plig()aoe(unless above (1) applying by constructed be can ≡ a a 28 ) ) ≡ ≡ n dually. and , . nalattice a on c b ( ( mod mod L hntesals ogunerelation congruence smallest the then , ) ) . . L sacnrec eainiff relation congruence a is C 7 CEU eTD Collection 0 c b, of relations lattices: distributive congruence This repeatedly. a ow hwtervreieult i.e. inequality reverse the show we so have trivially we 4, 13. Theorem a congruences, of join of a 0 ∧ 6 1 ≡ 1 and ∩ h join The iff the Definiton with connection interesting an have lattice arbitrary an on relations Congruence Proof Taking b i .,c ..., ,
b = Θ mle that implies (Θ) a n 2 z b ≡ htis, that , − 0 0 n z , − e stk he ogune Θ congruences three take us Let : b r led oprbe,te eapy()ad()rpael n hn(4) then and repeatedly (3) and (2) apply we then comparable), already are 1, a 1 ( L 1 z , . . . , ≡ = c omaltie[]wt h etadji enda:for as: defined join and meet the with [5] lattice a form Let : 1 i and ) 1 b N uaaaadT Nakayama) T. and Funayama (N. ≡ a (Θ ∨ ∨ c n ∧ i L +1 − b 2 (Φ 1 a ea rirr atc.Te h collection the Then lattice. arbitrary an be ( feeet of elements of = sdfie as: defined is a ≡ ∨ a 1 ∧ a b or ) ),w have we Ψ)), ≡ ( ∨ b (Θ Θ ≡ b b 2 (Φ c ). ∧ uhta o l 0 all for that such ( i ∧ a a ≡ (Φ 0 ∨ ∨ Φ) b , c b ) mle htteeexist there that implies Ψ)) ∨ 0 i Θ.Nwconsider Now (Θ). ∨ +1 scle h rnia congruence. principal the called is ) a Ψ) L a (Θ ( a ≡ uhthat such ≡ ≡ ≥ 2 b ∧ ). ( b (Θ , b Ψ) 29 Θ and (Θ) Φ ( 1 , ∧ ∧ ≥ Ψ 1 Φ) ≤ ∨ Θ ∈ Con 2 c i ) ∨ con ∧ 0 ≤ a 2 (Θ (Φ ffteei sequence a is there iff ) 6 ≡ ( n ( L L a ∧ ∨ b − ) c .B h rtrmr fchapter of remark first the By ). (Φ ≡ 1 sdsrbtv lattice. distributive is Ψ) Ψ) 2, 6 b ∨ (Φ z ..., , ).Te yaoelemma above by Then Ψ)). i ≡ z ∨ Con 0 6 z z , ).B h definition the By Ψ)). i +1 1 c 1 ( z , . . . , n , Φ or (Φ) L − o l congruence all )of 1 2 n o each for and ∈ n − L z 1 i , ≡ c uhthat such 0 1 z ∧ = i +1 (Ψ) a 2 = ∧ i , CEU eTD Collection n so and o l 0 all for olcino l ogunecassidcdb h oguneΘ htis, that Θ, congruence the by induced classes congruence (quotient)lattices. all factor of the collection define to need we first fact, this of feel a get To nomenon. that proves This yield together inequalities two the Hence hni om atc under lattice a forms it Then Lattice Factor phe- same the of sides different two express relations congruence and Homomorphisms z i ≤ ≡ i z ≤ ( i +1 z n i Θ o ah0 each for (Θ) ≡ − Con z .S ydfiiino h join the of definition by So 2. Let : i +1 ( ( L (Θ)) z i sdsrbtv lattice. distributive is ) ≡ L ( z and z ealtieadΘb oguneon congruence a be Θ and lattice a be i (Θ (Θ i ≡ +1 ≤ ( ∧ ∧ (Θ)) z z i i i +1 Φ) Φ) ≡ [ L/ ≤ a (Θ ]Θ and ∨ ∨ z = Θ n i +1 (Θ (Θ ∧ ∧ − ( (Φ) z Φ)) [ .Teeoew have we Therefore 2. b i { ∧ ∧ Θ=[ = ]Θ [ ≡ a or Ψ) 30 )=Θ = Ψ) or Θ: ]Θ z ( ( i z +1 ≥ z i i a a (Φ) ≡ a Θ ≡ ∧ ∈ ≡ z ∧ ∧ z b orz i L i +1 ]Θ +1 b (Φ (Φ } (Θ (Θ)) i (Θ ∨ ∨ ≡ ∧ Ψ) Ψ) ∧ z and Φ) i Ψ) +1 ∨ (Ψ)) ( z (Θ i L ≡ Let . ∧ z )adtherefore and Ψ) i +1 (Ψ) L/ eoethe denote Θ CEU eTD Collection faycnrec ls fΘdtrie h ogune h lattice The congruence. the determines Θ of class congruence any if lattices: of types relation congruence the of kernel ideal l ogune of congruences all called is ideal homomorphism as Θ follows: as defined are They theory. lattice in concepts kernel x 14. lattice: Lemma a of image homomorphic a is lattice factor any and 7−→ eua Lattices Regular special some define we Θ, congruence a of classes congruence the of nature the on Based Example of Θ congruence a for If Let homomorphism a of Kernel hsltiei aldtefco atc of lattice factor the operations. called two is the lattice of This well-definedness the verify to easy is It x [ x ϕ ≡ ]Θ : y sahmmrhs of homomorphism a is Θ iff (Θ) L : o h congruence the For da enlo h homomorphism the of kernel ideal −→ ϕ If . L xϕ L r regular. are 1 L Let : = eahmmrhs of homomorphism a be 1 a eo ,testo riae f0frsadielof ideal and forms 0 of preimages of set the 0, zero, a has yϕ hnti eainΘi aldthe called is Θ relation this Then . L L , ealtie ogunerlto of Θ relation congruence A lattice. a be L/ a eo [ zero, a has Θ [ nietegopter rrn hoy hr r three are there theory, ring or theory group the Unlike : a Θ L ]Θ onto falattice a of ∨ Θ. [ b L/ Θ=[ = ]Θ 31 L Θ . ouoΘ h olwn em asthat says lemma following The Θ. modulo L a a ϕ Θ hn[ then ]Θ, L ∨ onto . h map the , b ]Θ L 1 en ogunerelation congruence a Define . a Θi nielof ideal an is ]Θ ϕ : ogunekre fthe of kernel congruence L −→ L L scalled is scalled is L/ Θ L aldthe called , endby defined regular L regular This . if , CEU eTD Collection con relation classes congruence the tion q em,w n ht( that find that we note lemma, we Next Θ. in be also ae(0 have 12(1), osta ( that lows the is ligpr 4 ftelmapoue h ar hc aearaybe band hswe Thus obtained. been already have which get pairs the produces lemma the of (4) part plying ( hl e h aecnrec lse.Tu h li sproved. is claim the Thus classes. congruence same the get shall are classes congruence its and elements ,q q, 1 ) , ro fteclaim the of Proof Remark Claim iial,i ecnie n te o-rva ogunerlto ftelattice the of relation congruence non-trivial other any consider we if Similarly, ( con ( 1 q q ω ) 1 1 , join q , h nvra ogunerelation congruence universal the , q q , ( ( q , 1 q q 2 ψ 1 1 ∧ 1 2 eeae ytepi ( pair the by generated ) ) q , q , ) vr o-rva ogunerlto of relation congruence non-trivial Every : of , ihteaoecnrec classes. congruence above the with p q , ( 2 ) ( 2 ( q h lattice The : , q = ) ,q q, p ≡ 2 ( ) 1 q , ,q q, p , and q 2 2 { 1 1 ) eogto belong ) 2 lobln oΘ n ( and Θ, to belong also ) , (0 ∨ ) (0 , q , q ( 1 q , 2 0) q oapyn at()o h em,w get we lemma, the of (3) part applying so , Θ ..(0 i.e. (Θ) q 2 1 , { 2 q , ) iue53 eua Lattice Regular 5.3: Figure ( 0 , , p 0) q , o xml,ltu eemn h ogunerlto = Θ relation congruence the determine us let example, For : ) N ( 1 , ,q q, p , , 1 ( 6 q , p ( 1 q a he ogunerltos h dniycnrec rela- congruence identity the relations: congruence three has 1 con 1 ) 2 2 p , nΘ etw oethat note we Next Θ. in ) , q , q , ( q , ( p q ( ) } q q q ( 2 eogt .S h lmns( elements the So Θ. to belong ) , )) q 1 1 ( and ssc ht0 that such is q , q , ) q , p p , 1 ( 1 2 2 , p .Nwa ( as Now ). .Te ydfiiinteeeet ( elements the definition by Then ). 0) ( ( { { q q p 0 )) , ) 1 ι ( q , q p p , , p p , q 2 1 32 n o-rva ogunerelation congruence non-trivial a and ( ( 1 1 0 p , 1 ,q q, q q , q , ( ) ) q , 1 r lmnso .Te esol also should we Then Θ. of elements are ) ) 2 ( ) ) } q , q , , 1 . ( ( , ≤ p } q q 0) q q ( 2 N 1 and q 1 q q , , q , ) 2 6 (0 p , 2 N 2 ≤ = ) ) q , ( , { q 6 , q ( 1 p q N 1 )sol lobln oΘ Ap- Θ. to belong also should )) q eogt ,s ytelemma the by so Θ, to belong onie ihtecongruence the with coincides ∧ 1 ) 1 oo pligpr 2 fthe of (2) part applying on so p , ( , q , p ,q p, ( 1 q ( 1 q 2 0 = ) , ) ) p , } 0) 1 ( . q, q ≡ , 1 ≡ (0 q , 0) p q q , 2 , ( 1 ) q (0 , 2 () hni fol- it Then )(Θ). ne and Θ under ) ( , } q 0) 2 q otiig20 containing , q , 1 , q , ( 1 ,q q, ) 2 , ) (0 , should ) ( ψ q q , N 2 with , , 6 ) p we , , ( ( q q, ) 0) , CEU eTD Collection imply falcnrecsof congruences all if of classes congruence two any if lattice The (cardinality). size same the of uniform are Θ of classes congruence two any if 6. chapter in Hence, sfr Lattices Isoform Lattices Uniform lattice the utilise shall We that falcnrecsof congruences all if Con p 1 ≡ ( p 0. 1 , )= 0) L Let : Let : r isoform. are ι nohrwords, other In . L L L N ealtie ogunerlto of Θ relation congruence A lattice. a be ealtie ecl ogunerelation congruence a call We lattice. a be 6 r uniform. are ocntutacopdltiei ersnaintheorem representation a in lattice chopped a construct to r smrhc(sltie) Lattice lattices). (as isomorphic are p 33 1 ≡ 0 implies that q 1 ≡ ,but 0, L L scalled is scalled is q 1 of ≡ L 0 L uniform osnot does isoform scalled is isoform , , CEU eTD Collection O lattice the of size the improved ([8]) Lakser lattice a exists there Gr¨atzer,then and if ([6]) out that Dilworth worked showed by was ([7]) constructed Schmidt It lattice The theorem. Dilworth’s Lakser: of and Gr¨atzer, lattice Schmidt by the to isomorphic is lattice congruence ([6]): 1944 lattice, from congruence Dilworth the P. as represented R. of result a is some and lattice, lattices congruence L distributive the finite 13, theorem of to representation According the results. related study shall we chapter this In Lattices Distributive of Representation 6 Chapter ( sadsrbtv atc,arsl yN uaaaadT aaaa[2.Isconverse Its [12]. Nakayama T. and Funayama N. by result a lattice, distributive a is n ute mrvn h ieo h atc razr asradShit(9)constructed ([9]) Schmidt and Gr¨atzer, Lakser lattice the of size the improving Further rmapiainpito iw ti neetn oko h ieo h atc whose lattice the of size the know to interesting is it view, of point application From 3 lmnssc that such elements ) D L u D with Con sadsrbtv atc aignji-reuil elements join-irreducible n having lattice distributive a is O ( L (2 Con . ) 2 n lmnssc that such elements ) ( L L 34 ) fafiielattice finite a of , ysoigta hr xssalattice a exists there that showing by vr nt itiuielattice distributive finite Every D L Con u . Con ( L ,o nt lattice finite a of ), ( L .Gr¨atzer and ). D L a be can with CEU eTD Collection en h atc iayoeain by operations binary lattice the define by that follows it singletons, of union a in set non-empty so every it, meet. Also, and lattice. this join of operations atoms are lattice singletons the as intersection set and empty union The usual the with lattice a atoms. of join a as expressed be can element lattice atomic An atomic. scle an called is lattice a eae oin nlattices. in notions related then lattice. isoform, distributive or complemented sectionally is (P) if example, which with together lattice obtained been the have make to obtained been have then 15. Theorem a xml fnnaoitclattice non-atomistic of Example lattice atomistic of Example ncatr1w aedfie tm napst eew ako h hsadsome and this the of talk Lattice we a Here in Atoms poset. a in atoms defined have we 1 chapter In results Many extensively. studied been has lattices distributive of representation The theorem: the gives This D ≤ P ( a erpeetdb h oguneltieo lattice a of lattice congruence the by represented be can b S L saoi atc.Mroe,eeynnepysbe of subset non-empty every Moreover, lattice. atomic is ) iff with atom a | b φ Let hn1i h iia lmn n vr prime every and element minimal the is 1 Then . O steuiu iia lmn.A ahsnltnin singleton each As element. minimal unique the is of ( n α 2 L lmnssc that such elements ) ≥ fi sa tmin atom an is it if 2 Let : If . L scalled is D L ealtiewt neligposet underlying with lattice a be sadsrbtv atc with lattice distributive a is Let : atomistic P ( a S o nte xml,w a consider can we example, another For : L ∧ sa tmsi lattice. atomistic an is ) L P D S b ersnstefiiedsrbtv lattice distributive finite the represents 35 . nicer = eaystand set any be u L atc fi saoi n vr non-minimal every and atomic is it if lattice gcd Con scalled is ( orepresent to ,b a, ( L n hsi h etknown. best the is this and ) ,and ), atomic L P a n ih()rpeet finite a represents (P) with ( ∨ L S D onirdcbeelements, join-irreducible fisudryn oe is poset underlying its if P b eispwrst tis It set. power its be ) with aypoete (P) properties Many . P = ( S p P ( S a nao below atom an has ) lcm nelement An . sa tm e us Let atom. an is a ewitnas written be can ) O P ( ( ( n S ,b a, α covers ) ) .Te tis it Then ). elements. Z + ordered D φ a For . the , ∈ L CEU eTD Collection whenever and in define We 2 of join not is 36 2 of join not is 4 example, for since, atomistic not is it But lattice. atomic an ree ysticuini lattice. a is inclusion set by ordered lattices. the for stated 16. those to Lemma similar results the have we here So lattices. for lattice. finite the representing in important lattices. are distributive which lattices chopped of concept the introduce we (2) (1) h ogune n daso hpe atcsaedfie ntesmlrwya done as way similar the in defined are lattices chopped of ideals and congruences The Lattice Chopped lattices, distributive finite of representation the describing results the mentioning Before sup inf { { sup ,b a, ,b a, M } } { h set The ,b a, xssin exists xssfrtoepairs those for exists : 0 } s n 3’s: and xssin exists Con Let : M 36 ( o every for , M M 2 6= M ) eapststsyn h olwn w condition: two following the satisfying poset a be 4 hs make These . falcnrecso nt hpe lattice chopped finite a of congruences all of ∨ 2 6= 2 ∨ a a ,b a, ∨ ,b a, ∨ ∧ 3 = 2 ∨ b b ∈ ∈ = = = 3 M 36 M lcm sup inf aigacmo pe on in bound upper common a having lcm : M { { { ,b a, ,b a, 2 { , noaprilltie aldachopped a called lattice, partial a into 2 2 } } , } 2 1 = , 3 , 3 } 6 = 0 M s : M partially . CEU eTD Collection id ssm swiig[ writing as same is on relation congruence a be Θ Let M 18. Lemma [11]: Lakser H and lattice. a is inclusion set rdcsacopdltie h ovreas od:b digaui lmn oa to 1 element unit a 17. Lemma adding by holds: also converse lattice The chopped lattice. chopped a produces defining and 1 element on Θ ¯ (ii) ( (i) hr xssoeadol n ogunerelation congruence one only and one exists there , a Proof Gr¨atzer G. to due lemma following the in revealed is lattices chopped of importance The Remark Example Claim ) ≡ Id Reflexivity symmetric. [ as written be Symmetricity id ( M ( esaluetenotation the use shall We : : b by ) )( sacnrec eainon relation congruence a is Θ ¯ n a banacopdlattice chopped a obtain can One : : h set The Θ) Let ¯ M I iff M ≡ s[ As : n ban nt lattice finite a obtains one , Y a J J eafiiecopdltie hn o vr ogunerelation congruence every for Then, lattice. chopped finite a be Θ= ]Θ Let : Id ≡ ( Θ=[ = ]Θ )i [ iff Θ) ¯ I M ( b Θ=[ = ]Θ M (Θ) { ) = I x iue61 hpe Lattice Chopped 6.1: Figure | faliel fafiiecopdlattice chopped finite a of ideals all of I x I ≡ L Θadte ytedfiiinw get we definition the by then and ]Θ I Θ=[ = ]Θ ≡ Θ tflosb ento that definition by follows it ]Θ, − J ( y M ..copn ffteui lmn fafiielattice finite a of element unit the off chopping i.e. 1 ) hnb ento,[ definition, by Then Θ). ¯ (Θ) For . J ]Θ. id a , o some for ( a Id Y ( = ) 37 0 0 b ( ⊆ M L M ). a . M ,frtepicplielgnrtdby generated ideal principal the for ], y e sst[ set us let , c ∈ ytkn nt lattice finite a taking by Y Θ ¯ } o edfieabnr relation binary a define we Now . of M Id 0 Y I ( M Θ=[ = ]Θ I Θ= ]Θ ≡ ) uhta,for that, such I M ( ∪ J ) So Θ). ¯ J ([ atal ree by ordered partially Θ hc a also can which ]Θ, y ≡ ]Θ I | y ( sreflexive. is Θ ¯ ) So Θ). ¯ ∈ L Y ihunit with ,b a, ,which ), ∈ Θ is Θ ¯ M of a , . CEU eTD Collection ae[ have (6 establish To and (6 as Similarly, Now on relation congruence [ of definition by Then ideal any for then so and if that here upto Thus (iii) . )ipythat imply 4) etw hwthat show we Next y transitive. [ [ equality get shall we definition by Then Transitivity I ] ∈ ⊆ J [ I Θadb qain(6 equation by and ]Θ and x ∈ . I ) e stk an take us let 2), saa qiaac relation. equivalance an a is Θ ¯ Θ=[ = ]Θ x T J T ∈ o he ideals three For : and sa da ob lsr rpr for propert closure by so ideal an is ∈ J Id M J ∩ scmail o the for compatible is Θ K ¯ T Θ esalhave shall we ]Θ, T ( oby so , Θadte ydfiiini olw that follows it definition by then and ]Θ M sa da ow hl have shall we so ideal an is hsw have we Thus . ), x x . ≡ )w ae[ have we 1) I I ∈ ,J K J, I, y ∨ ∩ x Θ ecnhave can we (Θ) I [ I I T T I ≡ ∩ Θ=[ = ]Θ Θ=[ = ]Θ ≡ ≡ ≡ T x x I in 38 Then . J J J ∧ ∩ ≡ ( Id ∨ ∩ y I Θ) J T J ¯ meet Θ (6.4) (Θ) ]Θ y Θ(6.1) ]Θ ( T T Θad[ and ]Θ Θ,frsome for (Θ), M ⊆ ( ( ⊆ )(6.3) (6.2) Θ) Θ) ¯ ¯ ,ltu take us let ), J x [ and J ∩ x ∈ x Θ so ]Θ, ∧ T I ∧ J meet o ydfiiino [ of definition by Now . hc mle ht[ that implies which , y join x Θ=[ = ]Θ ∈ ≡ opoei esalshow shall we it prove To . x T esalhave shall we , x hs w oehrwith together two These . ∈ y I ∧ K I ∈ ≡ y Θwihgvsu the us gives which ]Θ mle that implies Θ hc en that means which (Θ) I J J o ic sa is Θ since Now . ( ≡ )and Θ) ¯ K ( ) So Θ). ¯ x J I x ∧ ≡ ∩ I ∈ y T Θ we ]Θ, K [ ]Θ ∈ J is Θ ( ¯ Θ). ]Θ. ¯ J ⊆ . CEU eTD Collection il [ yield oad rvn (6 proving Towards defined have we where 2, chapter from (6 equation establishes oseit o ycmaiiiyo o on ecnwiefo qs(6 eqns from write can we join, for Θ of (( compatibility ( Thus by Now supremum. a have exist. must does set this lattice chopped of definiton by that note we Now have we Therefore [ as Now [ o as Now have hypothesis have we above for holds it J t 0 ∩ etw sals (6 establish we Next Claim ∧ T t 0 u I Θ iial,w a hwta [ that show can we Similarly, ]Θ. 0 ≡ u ∩ ) I 0 ∨ T u u , Θ=[ = ]Θ : U 0 Θ=[ = ]Θ ( i U Θ and (Θ) 1 t i − − 1 i ∈ 1 ⊆ ∧ x ,ta is that 1, ⊆ J J ∈ u [ J J ∨ 1 Θand ]Θ t [ U U )Θ.As rmaoew have we above from Also ))(Θ). . J 0 ) etk an take we 3), ∩ ∨ T i 0 ∨ x t ∨ ob definition by so , 1 T T = n ti niels esalhave shall we so ideal an is it and . = t 2). T ≡ 1 Θ hrfr ydfiiinof definition by Therefore ]Θ. Θ o all for ]Θ, . ) opoei,w hl s h ento fji ftoideals two of join of definition the use shall we it, prove To 3). I Θ so ]Θ, x sa pe on o h w lmnsset elements two the for bound upper an is U u I ∨ i ∧ t 1 − 0 Θ,frsome for (Θ), ⊆ 1 T ( ≡ t ⊆ 0 [ ⊆ t I t I ∨ 0 0 Θ ow have we so ]Θ, [ t , J ∨ [ ∧ t i J x 1 1 ( ∨ J ]Θ = ) i<ω u ∈ ∈ 0 T = Θ and (Θ) x I [ ∪ Θ hnw hl hwthat show shall we then ]Θ, J x .W s nuto on induction use We ). ∨ [ ≤ T J ∨ ∧ u T t ( 39 0 ⊆ ∩ T 0 (( U hnw hl have shall we Then . u , ∨ Θ hnb ento f[ of definition by Then ]Θ. i t T ( [ 0 1 J ,J I, t t ]Θ ∧ 1 1 ∈ ∨ o some for , I ≡ u J ) ⊆ T ⊆ 0 | x t ) i<ω ∨ Θ ofor So ]Θ. 1 ∨ ≤ [ [ I ∧ ,w get we Θ, I T ¯ ( ]Θ t ∩ rmwihw a have can we which From . ) u t t 0 1 0 1 ∨ T Θ (6.5) (Θ) ∧ ∧ ⊆ t Θ hs w containments two These ]Θ. 0 t u u t , 1 [ 0 1 hc ie us gives which , J 1 t , )Θ (6.6) ))(Θ) i Θie eget we i.e. ]Θ i ∈ I 1 For . ,i stu.Suppose true. is it 0, = x ∧ ∩ U ∈ U i u T { − U i 1 t 1 t 0 i ⊆ i n yinduction by and , ≡ 0 ∈ o some for , J ∧ 0, = ∧ J [ J ∨ J u u ∨ 0 ∩ 0 T . ∨ t , 5), ) T U Θ eshall we ]Θ, T ∨ T 1 0 I ( n oby so and ∧ Θ From ]Θ. ( t ) This Θ). = ¯ t 0 ⊆ u 1 i ∨ ( 1 I ∧ i<ω } [ J t ∨ So . u 1 ]Θ. 1 T ≡ )) ). . CEU eTD Collection iial,w a e ( get can we Similarly, that by get generated ideal principal of definition by b hs w oehripythat imply together two these optblt,i olw that follows it compatibility, join. for compatibility the establishes which yield containments two these Θ, I since all Now for true is claim the Hence write get will we join, for property closure e swrite us Let ¯ 1 ∨ ≤ Remark completely. lemma the proves This congruence the of uniqueness The ( ( the prove we Now that proves This T ⇐ ⇒ b x ⊆ ups that suppose ) ups ( Suppose ) mle that implies ≡ [ x J t I ∨ 0 ≤ Θ,for (Θ), ∨ hsrsl svr infiat tmasta ocntutafiielattice finite a construct to that means It significant. very is result This : x T b T Θ iial,i a esonthat shown be can it Similarly, ]Θ. ∧ Θ n so and (Θ) = (( a t S 0 ] b t 1 ( side ogunerlto on relation congruence a indeed is Θ ≡ ∧ 0 ¯ U ∨ iff ∈ a b u i ( ] | b b ≡ 0 J i<ω ⊆ ]( ) ftelmaa follows. as lemma the of = ∨ ∨ ) then Θ), x b ¯ [( Θ,te eso ht( that show we then (Θ), b x T n each and ) ∧ ( a Therefore . a t hnb ento f[ of definition by Then . ].Teeoeb ento of definition by Therefore ]]Θ. ∧ 1 a b ∨ i ∧ (( ∨ ( ≡ i<ω a t u a 1 0 1 x 1 a ≡ I ∧ )= )) Θ or (Θ) ≡ .Teeoew have we Therefore ). ∨ ≡ sesl verifiable. easily is Θ u ¯ b 0 1 U b T b ) ∨ t ∨ a i 1 0 ∨ ≡ Θ and (Θ) ⊆ then , ∨ a b 40 x ( 1 1 J t [ a Θ.But (Θ). Θ and (Θ) a J 1 ≡ 1 ehave we , ∨ ∧ ∨ ≡ x T t u T 0 b J ( 1 ∧ Θ therefore ]Θ, a ∈ Θ) )) ¯ ∨ ∨ 1 b J a Θ.Ti mle ht( that implies This (Θ). b ≡ ∈ J a T ] 1 a 1 ∨ Θ mle that implies (Θ) ∨ 1 J ≡ b ⊆ ∨ x Θ,frsome for (Θ), T ≤ T ∨ Id ( b [ ≤ I Θ esa have shal we ]Θ, U b 1 n hnb q (6 eqn by then and a T ]( ( ,w e ( get we Θ, i ∨ ¯ ≡ M a mle that implies ) aeany Take Θ). ¯ ⊆ hnfrom Then . T b ). S Θ hnb ento of definition by Then ]Θ. [ ∨ J ( U b ∨ 1 i | Θ.B transitivity, By (Θ). i<ω T a Θ o all for ]Θ, a 1 a ] ) ≤ ≡ a ≡ ⊆ 1 x a x a b ( ∨ [ , (Θ). b a ∈ J ≡ ∈ . ]( a b ] ) ecan we 6), 1 ∨ Θ). [ ¯ ⊆ = ( b J ≤ a Θ,we (Θ), T i ∨ ,then ], ( a, [( Θi.e. ]Θ i<ω b T (6.7) b By . L ]]Θ. and ]Θ. to ). CEU eTD Collection N N meet-semilattice the M Con hoe 20. Theorem lattice complemented sectionally finite a of lattice 19. Theorem lattice chopped finite a lattice distributive finite a represent 6 ( . ,c b, Illustration esalilsrt h bv hoe ntefr ftefloigtheorem: following the of form the in theorem above the illustrate shall We [7] Schmidt T. E. Gr¨atzer and G. to due theorem representation a state we Now ffiue51t osrc h nt hpe lattice chopped finite the construct to 5.1 figure of J M ftegadget. the of ) sioopi to isomorphic is Let vr nt itiuielattice distributive finite Every eilsrt tb aigachain a taking by it illustrate We : P M eafiieodr hnteeeit hpe lattice chopped a exists there Then order. finite a be 0 M fji reuil lmt of elemets irreducible join of iue63 Lattices 6.3: Figure P a since , 1 where , b a 2 ( Con 0 b ) Con D ( iue6.2: Figure M sacnrec atc,i ssffiin oconstruct to sufficient is it lattice, congruence a as J b b M ) 1 ∼ = 41 b steltieo onirdcbecnrecsof congruences irreducible join of lattice the is c Con a N ( b ,b a, D 1 ( P L IdM and ) a erpeetda h congruence the as represented be can . D D c b 2 M = ) ( 0 oehrwt .W s h lattice the use We 0. with together ffu lmnsadcondsidering and elements four of c etk w copies two take We . ) N Con ( ,c b, c c ( 1 ) L ,where ), L = M N IdM ( uhthat such ,b a, . and ) CEU eTD Collection aedn ncami hpe ) W hl eemn nyoeo hs ogune,say, congruences, these of one only determine shall (We Con 5): chapter in claim in done have (0 Con pairs the by generated congruences lattice chopped the of congruences of atom elements an maximal two exactly with lattice chopped complemented is conditions problem. following the answered have [7] Roody M. and Lakser Gr¨atzer H. G. this, proving lattice hudas eogt .Nwsince Now Ψ. to belong also should ncniuto fteilsrto o hoe 0 ene ofidteji irreducible join the find to need we 20, theorem for illustration the of continuation In Solution Problem that fact the of proof The ideal common a have They ydfiiin h lmn (0 element the definition, By congruence the determine We (0 (0 b , c , 1 1 )adsallist shall and )) a edtrie pliglma1 eetdya olw smlrt swe as to (similar follows as repeatedly 12 lemma applying determined be can ) M .G¨te .Lke n .Roypoe htif that proved Roody M. and Lakser Gr¨atzer H. G. : Let : IdM then , etoal complemented? sectionally M IdM eafiiescinlycmlmne hpe atc.Udrwhat Under lattice. chopped complemented sectionally finite a be Con sscinlycomplemented. sectionally is b c iue64 h egdlattice merged The 6.4: Figure a L (0 M = I a , b , = IdM = Con 1 1 M and ) eog oΨTe h lmns( elements the Ψ.Then to belongs ) a Merge b { 1 2 0 nfiue(6 figure in (0 ∧ b , sscinlycmlmne snts ay Towards easy. so not is complemented sectionally is a , b , b 1 b Con 1 1 } a 2 1 ,(0 ), ( 0 = ( yapyn em 2a follows: as 12 lemma applying by Ψ = ) ow a eg hmadfr h chopped the form and them merge can we So N 42 b ) (0 ( b ,b a, b , ≡ c , b . 0 1 ) easr htteeaeteprinciple the are these that assert We 4). 1 1 b ) ,(0 ), directly). ) 1 N , Ψ,s ylma12(3), lemma by so (Ψ), b ( ( c , ,c b, c c ) 2 1 ,where ), )) c M c 1 m Con M 1 , b sfiiesectionally finite is m (0 1 , 2 a , ) (0 0), and 1 b ), 2 ≡ , Con m ) ( 0), b 1 1 ∧ (0 ∨ b m 1 b , b b , 2 2 1 1 = is ), ) CEU eTD Collection (0 ( (0 si ow hl ae( have shall we so Ψ in is ( element ( the elements have should we lemma, the of (3) ( b n ( and ht( that ( transitivity by ( so elements Ψ, the in that are gives lemma the of (2) part of application ( as ( pairs the ( have we Lastly, Ψ. ( ( (0 ( ( ( b c ,c c, c c ,a b, ,c c, a Ψ ..( i.e. (Ψ) 2 1 1 1 c , b , c , 1 b , c , b , c , Con b , Con and Con congruences the determine we Similarly, 2 2 ( 1 1 ( 2 1 1 ) 1 ) c hc unott be to out turn which ) ) b 1 b , , nΨto etpc h elements the pick Next too. Ψ in ) ) ) ) , b )) ) ) ( , , , ( ( , 1 , ( (0 c c c (0 (0 (0 , (0 (0 , c ( ( ) 2 2 ( b ,b b, 1 )blnst oteeeet ( elements the so Ψ to belongs 0) b , b , c , c , b b , a , , b , 1 c , a , a ( ,c c, a , 0) b 1 ( 1 c ) ) ( 1 1 1 1 2 1 = ) c a , , , ) c ) ) = ) , ) b , 1 = ) )t ei .Nww ae( have we Now Ψ. in be to )) , ( ( , , )) 1 , ( ) c c 0) ( ,( ), 1 ( ,c c, , ( hudbln oΨ hnw hudhv h lmns( elements the have should we Then Ψ. to belong should ) 1 1 , b ,( ), b a ( { b , b , ( 1 , 1 c { 1 { (0 b , b , ( 2 2 , (0 c (0 ( ( ( b 0) c , ) a 0) 1 c c c , 1 ) , c , ( , , ) )) )) c , 0) , , ( 1 b b , 0) , 0) (0 c ( ) ( ) r loi .Fnly egttecnrec eeae y(0 by generated congruence the get we Finally, Ψ. in also are ) ( , , 0) ) , b , 2 c a , b , ( ( , , 2 ( c , b , ( ) 2 b b ( , ( ( b , a c c , a , 1 ( ( a ,b c, a ( 1 1 ) 1 c c c ,( ), b 1 c , ) , ) 1 1 a , 2 ) ) ( 1 a , , , a , ( uhthat such ) b , c , c , ,c c, b c , 1 ( b ( 2 1 )) a ) ,b b, b 1 ) 1 ( 1 ) 1 1 , ) , 1 b , ( ) c ) , ) ) , hudas ei .Loiga h elements the at Looking Ψ. in be also should ) , ( b , , ( , )as nΨ hswl oc h lmns( elements the force will This Ψ. in also )) ( , , ( b ( ) a 0) 2 ( ( ( a ( ( a ,b c, 1 a , ) c a ( a ,c c, ,c c, ( ( c , , )) , b ( ( b b ( ) b ( ( b ) ) 2 1 , a c , b a ) ) a , 1 1 b , ) ) ( a , )i .Nwteelements the Now Ψ. in )) 1 a , 1 ) ) , , b a , 1 a , , , 2 ( ( ( ( ) c ( ( ( ( ) b b c c , b c c ( 1 b , ( )) 1 2 ) ( b b )) 1 1 b )) ( c , b , b , c ≤ 1 )) c , c , , a )) c 1 , , , ( 1 2 1 ( 1 a , Con , 43 ( c , ) ) ( a ,b b, b , c b ) ) ) ,b b, ( 2 , , ,b b, ( , , } ) 1 a b , ( a (0 (0 ≤ b , ( (0 ( b ( n e ht(0 that see and ) ( c c a )) ) b ( ) , c , c , b (0 2 ) ( )), ) a , b , 1 c ) , ) ( b , , ( , ( a , a , )i uhthat such Ψ in )) ( a , b 1 1 a , ( c ( ( b b 2 ) ) ,a b, 1 ,s at()o h em ilsthat yields lemma the of (2) part so ), b ,a a, 2 2 b , , , ( 1 ) 1 c 1 )) b , b , b ) , ( ( ) 1 and ) , )i n hnms lohv the have also must then and Ψ in )) c c 2 ( , c , , ( 2 2 ) 1 1 ( c, ( ( b ( ) ) , c , , b c )) a 1 , , 2 ( 0) 0) )) 0) 2 ,( ), ( ( ( b b , b , , b b b , 1 , , , ( Con ) 1 1 b , ( ( ,b b, ( ( ( (0 , b , b b , c, b c b b c 0) ( ( )) 1 1 1 )) c , b , 1 c c 1 ) 0) b , b , 2 ) , ) , ) , ) (0 , ) b , ) 1 c , , ( c , ( ( ( , , ( ( 1 } eog oΨs ypart by so Ψ to belongs ) ( a b ( b b c , c c ( ( , b . b 1 ( ( ,( ), 1 ( ,c o, )) )) b ( hudas eogto belong also should ) c ( c c b , c 1 2 c c ) 2 ) ) , , eeae y(0 by generated ) c b , ) c , ) b , r uhta ( that such are , c , 2 ( ( ,b c, 2 ) b , b , ) b b ) , 2 ( , 2 ( ( ≤ , ( ( ( c ) ( c c ) ( ( c c c , )) b , ) ) c b 2 )) )) ( c 2 b , b , ( ) ( )), 1 , c , b a , b a , , 0) 2 , ( ( ≤ ( 1 1 c , ( ,b b, ( c ,c c, c ) ) 1 ,c c, , b ( ,c c, ) ) , , ) ,c c, 2 b 1 (0 c , b c , ( ( , ,( ), )) , 2 ( ) b b ( ) ,(( ), c c , ) ) , c 1 1 ) a , , 2 , , ,s the so ), ( , 1 c , c , 1 ( ,( ), ( ( ( c b 2 esee we , ( a b , c c ,b c, ) 2 ( ,b c, 1 1 2 ( 2 } c c , ) ) ,b b, c , ) b b c , c ) a , , , , 1 ) c , 2 b , ( 2 ( ( ( b , , 2 c , c 2 ) c c 1 )), ,a b, ) 0) ) , )) 2 1 1 )) ), , 1 , ) ) ) b , ( ) , , c , 1 1 1 ) ) c , , , 1 ) , CEU eTD Collection akdwt h lmnsof elements the with marked C lattice planar a exists there 21. Theorem is lattice finite definition a have we that, stating Before representation. nice a have can to sending by lished omdfrom formed Con h olwn gr hw h poset the shows figure following The lattice distributive following the on 21 theorem of proof the illustrate shall We Definition of number the 20. know theorem we of If proof the for illustration the completes This that show to need we Next respectively. (0 x , 1 .Thus ). atc iga ssi obe to said is diagram lattice A : planar P Let h egho h hi ilb 2 be will chain the of length The . x D ∈ P P eafiiedsrbtv atc with lattice distributive finite a be ffi a lnrdiagram. planar a has it iff ∼ = iue66 h poset The 6.6: Figure otepicplcnrec eeae ytepi (0 pair the by generated congruence principal the to Con L iue65 itiuielattice Distributive 6.5: Figure P J of hsmrigi called is marking This . join-irreducible M P O . and p ( 1 n 2 ) Con p p lmnssc that such elements 2 1 P J fji-reuil lmnsof elements join-irreducible of M p 44 p 3 2 r smrhc hsioopimi estab- is isomorphism This isomorphic. are P lmnso itiuieltie hnwe then lattice, distributive a of elements p planar n h chain the and 3 P p p p p p p 1 1 2 2 3 3 n h nevl ftecanare chain the of intervals the and 6 = coloring n fn w ie ni nesc.A intersect. it in lines two no if onirdcbeeeet.Then elements. join-irreducible Con D ( oilsrt h ro of proof the illustrate To . C L ) ∼ = D . D n h chain the and x , 1 ,ta is, that ), CEU eTD Collection hoe 1 euetefloigtobidn blocks building 6 two following the use we 21, theorem ntedarmhv enmre ybakfildelements. black-filled by marked been have diagram the in an it make to element an add the where C hsdrc outa olw:i ohtelwregso oeigsur ntedirect the in square covering a in of If edges lower the both if product follows: as poduct direct this . respectively. 8 ffiue6 figure of o ocntuttelattice the construct to Now C 2 ehv covering a have we C 2 C aetesm oo,te eada lmn oi omk tacovering a it make to it to element an add we then color, same the have 2 . ihisl.W osrc h lattice the construct We itself. with 6 dei ooe by colored is edge iue68 h eodbidn lc,for block, building second The 6.8: Figure iue67 h rtbidn lc,for block, building first The 6.7: Figure C 2 N × 5 L p , 5 C the , etake we , eoti h atc ffiue6 figure of lattice the obtain We . 3 q etnl in rectangle a ( p q C 3 p p dei ooe by colored is edge 45 C 2 p q (= q C p × L C p M C 2 yadn lc-le lmnsto elements black-filled adding by 3 ,tedrc rdc ftechain the of product direct the ), ihlength with and q N p