arxiv: v1 [math.co] 8 Sep 2015

Transcription

1 Accepted for puliction in Mthemtic Slovc ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I AVINASH PATIL*, B. N. WAPHARE**, V. V. JOSHI** AND H. Y. POURALI** Dedicted to Professor N. K. Thkre on his 77 th irthdy rxiv: v1 [mth.co] 8 Sep 2015 Astrct. In this pper, we study the zero-divisor grphs of suclss of dismntlle lttices. These grphs re chrcterized in terms of the non-ncestor grphs of rooted trees. Keywords: Dismntlle lttice, djunct element, djunct representtion, zero-divisor grph, cover grph, incomprility grph. MSC2010): Primry 05C25, Secondry 05C Introduction Beck [3] introduced the concept of zero-divisor grph of commuttive ring R with unity s follows. Let G e simple grph whose vertices re the elements of R nd two vertices x nd y re djcent if xy = 0. The grph G is known s the zero-divisor grph of R. He ws minly interested in the coloring of this grph. This concept is well studied in lgeric structures such s rings, semigroups, lttices, semilttices s well s in ordered structures such s posets nd qosets; see Anderson et l. [2], Alizdeh et l. [1], LGrnge [14, 15], Lu nd Wu [16], Joshi nd Khiste [9], Nimhorkr et l. [17], Hlš nd Jukl [5], Joshi [8], Joshi, Wphre nd Pourli [11, 12] nd Hlš nd Länger [6]. A grph is clled relizle s zero-divisor grph if it is isomorphic to the zero-divisor grph of n lgeric structure or n ordered structure. In [15], LGrnge chrcterized simple grphs which re relizle s the zero-divisor grphs of Boolen rings nd in [16], Lu nd Wu gve clss of grphs tht re relizle s the zero-divisor grphs of posets. Recently, Joshi nd Khiste [9] extended the result of LGrnge [15] y chrcterizing simple grphs which re relizle s zero-divisor grphs of Boolen posets. In this pper, we provide clss of grphs, nmely the non-ncestor grphs of rooted trees, tht re relizle s zero-divisor grphs of lower dismntlle lttices. In fct we prove: Theorem 1.1. For simple undirected grph G, the following sttements re equivlent. ) G G T, the clss of non-ncestor grphs of rooted trees. ) G = G {0} L) for some lower dismntlle lttice L with the gretest element 1 s joinreducile element. c) G is the incomprility grph of L\{0, 1}, ) for some lower dismntlle lttice L with the gretest element 1 s join-reducile element. Rivl [18] introduced dismntlle lttices to study the comintoril properties of douly irreducile elements. By dismntlle lttice, we men lttice which cn e completely dismntled y removing one element t ech stge. Kelly nd Rivl [13] chrcterized dismntlle lttices y mens of crowns, wheres Thkre, Pwr nd Wphre [20] gve structure theorem for dismntlle lttices using djunct opertion. Now we egin with the necessry definitions nd terminology. 1

2 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 2 Definition 1.2. A nonzero element p of lttice L with 0 is n tom if 0 p y, we men there is no c such tht < c < ). Dully, nonzero element d of lttice L with 1 is dul tom if d 1. Definition 1.3 Definition 2.1, Thkre et l. [20]). If L 1 nd L 2 re two disjoint finite lttices nd,) is pir of elements in L 1 such tht < nd. Define the prtil order on L = L 1 L 2 with respect to the pir,) s follows. x y in L if either x,y L 1 nd x y in L 1 ; or x,y L 2 nd x y in L 2 ; or x L 1, y L 2 nd x in L 1 ; or x L 2, y L 1 nd y in L 1. It is esy to see tht L is lttice continingl 1 nd L 2 s sulttices. The procedureofotining L in this wy is clled n djunct opertion of L 2 to L 1. The pir,) is clled n djunct pir nd L is n djunct of L 2 to L 1 with respect to the djunct pir,) nd we write L = L 1 ] L 2. We plce the Hsse digrms of L 1, L 2 side y side in such wy tht the gretest element 1 L2 of L 2 is t the lower position thn nd the lest element 0 L2 of L 2 is t the higher position thn. Then dd the coverings 1 L2 nd 0 L2, s shown in Figure 1, to otin the Hsse digrm of L = L 1 ] L 2. 1 L2 1 L2 0 L2 0 L2 L 1 L 2 L 1 ] L 2 Figure 1. Adjunct of two lttices L 1 nd L 2 Clerly, EL) = EL 1 ) + EL 2 ) + 2, where EL) is nothing ut edge set of L. This lso implies tht the djunct opertion preserves ll the covering reltions of the individul lttices L 1 nd L 2. Also note tht if x,y L 2, then 0 L2 x y. Hence x y 0 in L = L 1 ] L 2.

3 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 3 2. properties of zero-divisor grphs of dismntlle lttices Following Beck [3], Nimhorkr et l. [17] introduced the concept of zero-divisor grph of meetsemilttices with 0, which ws further extended y Hlš nd Jukl [5] to posets with 0. Recently, Joshi [8] introduced the zero-divisor grph with respect to n idel I of poset with 0. Note tht his definition of zero-divisor grph coincides with the definition of Lu nd Wu [16] when I = {0}. A nonempty suset I of lttice L is n idel of L if, I nd c L with c implies c I nd I. An idel I L is prime idel if I implies either I or I. A prime idel P of lttice L is miniml prime idel if for ny prime idel Q we hve P Q L implies either P = Q or Q = L. Now, we recll the definition of zero-divisor grph given y Joshi [8] when the corresponding poset is lttice nd n idel I = {0}. Definition 2.1 Definition 2.1, Joshi [8]). Let L e lttice with the lest element 0. We ssocite simple undirected grph G {0} L) s follows. The set of vertices of G {0} L) is V G {0} L) ) { } = x L\{0} : x y = 0 for some y L\{0} nd distinct vertices x, y re djcent if nd only if x y = 0. The grph G {0} L) is clled the zero-divisor grph of L. The following Figure 2 illustrtes the zero-divisor grph G {0} L) of the given lttice L. 1 e d 0 L c d c e G {0} L) Figure 2. A lttice L with its zero-divisor grph G {0} L) Note tht {0} is prime idel in lttice L with 0 if nd only if V G {0} L) ) =. Now, we revel the structure of zero-divisor grph of L = L 1 ] L 2 in terms of zero-divisor grphs of L 1 nd L 2. For tht purpose, we need the following definitions. Definition 2.2. Given two grphs G 1 nd G 2, the union G 1 G 2 is the grph with VG 1 G 2 ) = VG 1 ) VG 2 ) nd EG 1 G 2 ) = EG 1 ) EG 2 ). The join of G 1 nd G 2, denoted y G 1 +G 2 is the { grph with VG 1 + G 2 ) = VG} 1 ) VG 2 ), EG 1 + G 2 ) = EG 1 ) EG 2 ) J, where J = {, } VG 1 ), VG 2 ). The null grph on set S is the grph whose vertex set is S nd edge set is the empty set, we denote it y NS). Throughout this pper ll the lttices re finite. The following result descries the zero-divisor grph of djunct of two lttices. Theorem 2.3. Let L 1 nd L 2 e two lttices. Put L = L 1 ] L 2. Then the following sttements re true. ) If 0 nd / V G {0} L 1 ) ), then G {0} L) = G {0} L 1 ). ) If V G {0} L 1 ) ), then G {0} L) = G {0} L 1 ) G +NL 2 ) ), where G = {x L 1,x re djcent in G {0} L 1 )}.

4 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 4 c) If = 0, then G {0} L) = G {0} L 1 ) N ) L 1 \[)) +NL 2 ), where [) = {x L 1 : x } is the principl dul idel generted y in L 1 nd L 1 = L 1\{0}. Proof. ) Let 0 nd / V G {0} L 1 ) ). If x V G {0} L) ) is djcent to some y L 2, then x y = 0, clerly x / L 2. As y in L, we get x = 0. Hence V G {0} L 1 ) ), contrdiction to the fct tht / V G {0} L 1 ) ). Hence no element of L 2 is djcent to ny vertex of G {0} L). Also, G {0} L 1 ) is sugrph of G {0} L), therefore G {0} L) = G {0} L 1 ). ) Now, let V G {0} L 1 ) ). If x V G {0} L) ), then there exists nonzero element y L such tht x y = 0. This implies tht t most one of x nd y my e in L 2, otherwise x y = 0, contrdiction. If x,y L 1, then x V G {0} L 1 ) ). Without loss of generlity, let x L 1 nd y L 2, which gives x = 0, since y. Therefore x G. Thus V G {0} L) ) V G {0} L 1 ) G +NL 2 ) )). Since V G {0} L 1 ) G +NL 2 ) )) V G {0} L) ), the equlity holds. Let x nd y e djcent in G {0} L). Hence t most one of x nd y my e in L 2. If x,y L 1, then x nd y re djcent in G {0} L 1 ). Now, without loss of generlity, ssume tht x L 1 nd y L 2. Therefore x = 0. Hence x G, i.e, x nd y re djcent in G +NL 2 ). Now, let x nd y e djcent in G {0} L 1 ) G +NL 2 ) ). If x,y G {0} L 1 ), we re through. Let x G nd y L 2. Then x = 0. We clim tht x y = 0. Suppose x y 0. Then we hve two possiilities either x y L 1 or x y L 2. If x y L 2, then y the definition of djunct, we hve x y which yields x y = 0, contrdiction. Thus x y / L 2. Hence x y L 1. Since x y y for y L 2, gin y the definition of djunct, we hve x y. This gives x y x x = 0, contrdiction to the fct tht x y 0. Thus we conclude tht x = 0 if nd only if x y = 0 for ny y L 2. Therefore G {0} L) = G {0} L 1 ) G +NL 2 ) ). c) Assume tht = 0. Let x V G {0} L) ). Then there exists nonzero element y L such tht x y = 0. Hence t most one of x nd y my e in L 2. If x,y L 1, then x G {0} L 1 ). Without loss of generlity, let x L 1 nd y L 2. If x, then y the definition of djunct, we hve x y, contrdiction to the fct tht x y = 0. Hence x, i.e., x NL 1 \[)). Therefore x V G {0} L 1 ) NL 1 \[))+NL 2) )). Now, ssume tht x V G {0} L 1 ) NL 1 \[))+NL 2) )). If x G {0} L 1 ), then we re through. Let x V N L 1\[) ) ) +NL 2 ). If x N L 1\[) ), then x. For ny y L 2, we hve x y nd y the definition of djunct nd = 0, we hve x y = 0. Therefore x V G {0} L) ), s y is nonzero element of L. If x NL 2 ), then for ny tom p of L 1, p x = 0. Therefore x G {0} L). Hence we hve V G {0} L) ) = V G {0} L 1 ) NL 1 \[))+NL 2) )). Let x nd y e djcent in G {0} L). Then t most one of x nd y my e in L 2. If x,y L 1, then they re djcent in G {0} L 1 ). Therefore they re djcent in G {0} L 1 ) N ) L 1 \[)) + NL 2 ). Without loss of generlity, let x L 1 nd y L 2. As ove, x. Hence x NL 1 \[)) nd y L 2. ThereforetheyredjcentinNL 1 \[))+NL 2)ndhenceinG {0} L 1 ) N ) L 1 \[)) +NL 2 ). Conversely, suppose tht x nd y re djcent in G {0} L 1 ) N ) L 1 \[)) + NL 2 ). If oth x,y G {0} L 1 ), we re done. Also, t most one of x nd y my e in L 2. Without loss of generlity, let x L 1 nd y L 2, then x, i.e., x NL 1 \[)). Therefore x y = 0 in L. Hence x nd y re djcent in G {0} L). Therefore we get G {0} L) = G {0} L 1 ) N ) L 1 \[)) +NL 2 ). The following Figures 3, 4 nd 5 illustrte Theorem 2.3.

5 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 5 1 L 2 G {0} L 1 ] L 2 ) = G {0} L 1 ) 0 L 1 Figure 3. Theorem 2.3, Cse ) 1 0 L 2 G {0} L 1 ) G + NL 2 ) G {0} L 1 ] L 2) = G {0} L 1 ) G + NL 2 ) ) L 1 Figure 4. Theorem 2.3, Cse ) 1 x 4 0 x 4 x 4 L 1 L 2 G {0} L 1 ) NL 1 \[)) + NL 2) G {0} NL 1 \[)) + NL 2)) Figure 5. Theorem 2.3, Cse c) Let G e grph nd x,y e distinct vertices in G. A pth is simple grph whose vertices cn e ordered so tht two vertices re djcent if nd only if they re consecutive in the list. If G hs x, y-pth, then the distnce from x to y, written dx,y), is the lest length of x, y-pth. If G hs no such pth, then dx,y) =. The dimeter dimg)) is mx x,y VG) dx,y); see West [21].

6 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 6 Corollr.4. Let L e n djunct of two chins C 1 nd C 2 with n djunct pir,1), i.e., L = C 1 ] 1 C 2. If G {0} L), then = 0 nd G {0} L) is complete iprtite grph. Hence dimg {0} L)) 2. Moreover, G {0} L) = K m,n, if C 1 = n+2 nd C 2 = m where m,n N. Proof. Let L = C 1 ] 1 C 2 nd G {0} L). Clerly VG {0} C 1 )) =. If 0, then y Theorem 2.3), we hve G {0} L) = G {0} C 1 ) =, contrdiction. Therefore = 0. Now, every element of C 1 \{0,1} is djcent to ech element of C 2. Hence G {0} L) is complete iprtite grph, in fct G {0} L) = K m,n whenever C 1 = n+2 nd C 2 = m where m,n N. Nottion. Let M n = {0,1, 1, 2,, n } e lttice such tht 0 < i < 1, for every i, i = 1,2,,n with i j = 0 nd i j = 1 for every i j. Remrk 2.5. If L is n djunct of more thn two chins, then G {0} L) need not e iprtite. Consider the lttice L = M 3 depicted in Figure 6. Consider L = C 1 ] 1 0 C 2] 1 0 C 3 where C 1 = {0,x,1}, C 2 = {y} nd C 3 = {z}. Then G {0} L) = K 3, non iprtite grph. 1 z x y z x y 0 G {0} L) L = M 3 Figure 6. A dismntlle lttice with non-iprtite zero-divisor grph The concept of dismntlle lttice ws introduced y Rivl [18]. Definition 2.6 Rivl [18]). A finite lttice L hving n elements is clled dismntlle, if there exists chin L 1 L 2 L n = L) of sulttices of L such tht L i = i, for ll i. The following structure theorem is due to Thkre, Pwr nd Wphre [20]. Structure Theorem Theorem 2.2, Thkre et t. [20]). A finite lttice is dismntlle if nd only if it is n djunct of chins. From the ove structure theorem nd Corollr.4, it is cler tht if the vertex set of zerodivisor grph of djunct of two chins is nonempty then it is lower dismntlle lttice in the following sense. Definition 2.7. We cll dismntlle lttice L to e lower dismntlle if it is chin or every djunct pir in L is of the form 0,) for some L. It should e noted tht ny lttice of the form L = C 0 ] x1 0 C 1] x2 0 ]xn 0 C n is lwys lower dismntlle lttice, where C i s re chins. Consider the lttices depicted in Figure 7. Oserve tht the lttice L is lower dismntlle wheres the lttice L is not lower dismntlle. Definition 2.8. An element x in lttice L is join-reducile meet-reducile) in L if there exist y,z L oth distinct from x, such tht y z = x y z = x); x is join-irreducile meet-irreducile) if it is not join-reducile meet-reducile); x is douly irreducile if it is oth join-irreducile nd meet-irreducile. Therefore, n element x is douly reducile in lttice L if nd only if x hs

7 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 7 L L Figure 7. Exmples of lower dismntlle nd non- lower dismntlle lttice t most one lower cover or x hs t most one upper cover. The set of ll meet-irreducile joinirreducile) elements in L is denoted y ML) JL)). The set of ll douly irreducile elements in L is denoted y IrrL) nd its in L is denoted y RedL). Thus, if x RedL) then x is either join-reducile or meet-reducile. Fornintegern 3, crownis prtillyorderedset{,,,,,x n,y n }inwhichx i y i, x i+1 y i, for i = 1,2,,n 1 nd y n re the only comprility reltions see Figure 8). y n 1 y n x n Figure 8. Crown of order 2n Note tht if L is lower dismntlle lttice with the gretest element 1 s join-reducile element, then it is esy to oserve tht every nonzero nonunit element of L is vertex of G {0} L). The following lemm gives the properties of lower dismntlle lttices which will e used in the sequel frequently. Lemm 2.9. Let L = C 0 ] x1 0 C 1] x2 0 ]xn 0 C n e lower dismntlle lttice, where C i s re chins. Then for nonzero elements, L, we hve. i) = 0 if nd only if where mens nd re incomprle). ii) Let C i with / C i, then if nd only if x i. iii) If 0,1) is n djunct pir i.e., x i = 1 for some i {1,2,,n}), then V G {0} L) ) = L 2. Proof. i)suppose nd 0. It is cler tht there is n djunct pir 1, 1 ) in the djunct representtionoflsuch tht 1 = 0, contrdictionto the definition of lowerdismntlility of L. The converse is ovious. ii) Let C i nd / C i with x i. As C i is joined t x i, we must hve x i. Hence. Conversely, suppose. Now, C i nd / C i. If x i, we hve either x i or x i. The second cse is impossile, y i) ove, s it gives = 0, since x i. Also, it is given tht / C i, hence which yields = 0, contrdiction to the fct tht nd 0. Therefore

8 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 8 x i. iii) As L is lower dismntlle lttice hving 0,1) s n djunct pir, L contins t lest two chins in its djunct representtion. Also = 0 if nd only if. Hence ny L\{0,1} is in V G {0} L) ). nd consequently V G {0} L) ) = L 2. Now, we recll some definitions from grph theory. Definition A cycle is grph with n equl numer of vertices nd edges whose vertices cn e plced round circle so tht two vertices re djcent if nd only if they pper consecutively long the circle. The girth of of grph with cycle, written grg), is the length of its shortest cycle. A grph with no cycle hs infinite grith. A grph with no cycle is cyclic. A tree is connected cyclic grph. A tree is clled rooted tree if one vertex hs een designted the root, in which cse the edges hve nturl orienttion, towrds or wy from the root. A vertex w of rooted tree is clled n ncestor of v if w is on the unique pth from v to the root of the tree; see West [21]. Let T e rooted tree with the root R hs t lest two rnches. Let GT) e the non-ncestor grph of T, i.e., VGT)) = T\{R} nd two vertices re djcent if nd only if no one is n ncestor of the other. Denote the clss of non-ncestor grphs of rooted trees y G T. The cover grph of lttice L, denoted y CGL), is the grph whose vertices re the elements of L nd whose edges re the pirs x,y) with x,y L stisfying x y or y x. The comprility grph of lttice L, denoted y CL), is the grph whose vertices re the elements of L nd two vertices x nd y re djcent if nd only if x nd y re comprle. The complement of the comprility grph CL), i.e., CL) c, is clled the incomprility grph of L. The following result is due to Kelly nd Rivl [13]. Theorem 2.11 Theorem 3.1, Kelly nd Rivl [13]). A finite lttice is dismntlle if nd only if it contins no crown. In the following theorem, we chrcterize the zero-divisor grph G {0} L) of lower dismntlle lttice L in terms of the cover grph CGL) nd the incomprility grph CL) c. Theorem The following sttements re equivlent for finite lttice L with 1 s joinreducile element. ) L is lower dismntlle lttice. ) Every nonzero element of L is meet-irreducile element. c) The cover grph CGL\{0}) of L\{0} is tree. d) The zero-divisor grph of L coinsides with the incomprility grph of L\{0, 1}. Proof. ) ) Let L e lower dismntlle lttice. Then y Structure Theorem, L = C 1 ] 1 0 C 2] 2 0 ]n 1 0 C n, where ech C i is chin. Let 0) L e n element which is not meet-irreducile. Then = c for some,c. But then c. By Lemm 2.9, = c = 0, contrdiction to 0. Hence every nonzero element of L is meet irreducile element. ) c) Let CGL\{0}) e the cover grph of L\{0} nd let C : 1 2 n 1 e cycle in CGL\{0}). For distinct 1, 2, 3 we hve the following three cses. Cse 1): Let e chin. Then for 4, we hve either is chin or nd 4 3. Then, i+1 i, for ll i 4; otherwise we get 4 s meet reducile element. Hence n n 1 nd n = n 1 1 0, s C : 1 2 n 1 is cycle. This contrdicts the fct tht every nonzero element is meet-irreducile. On the other hnd, if is chin, then using the ove rguments, we hve is

9 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 9 chin, Continuing in this wy we get 1 2 n is chin nd 1 n. Hence 1 nd n cn not e djcent, contrdiction to the fct tht C is cycle in CGL\{0}). Cse 2): 2 = 1 3, which is impossile, s 1 3 = 2 0, contrdiction to lower dismntlility of L. Cse 3): 2 = 3 1. Note tht 3 4 otherwise 3 is the meet of 2 nd 4, contrdiction to the fct tht every nonzero element is meet-irreducile. Hence 4 3. In fct m+1 m, for m 3. Using the ove rguments, we gin otin contrdiction. Hence CGL\{0}) is connected cyclic grph. Therefore it is tree. c) ) If L contins crown, then CGL\{0}) contins cycle, contrdiction. Hence L does not contin crown. By pplying Theorem 2.11, L is dismntlle lttice. Now, let nd e incomprle elements of L. Suppose tht 0. Let = 1 2 i = n =, e covering nd lso = 1 2 j = m =, e nother covering, distinct from the first covering such coverings exist, since ). Then 1 2 n = m m 1 1 = 1 is cycle in CGL\{0}), contrdiction to the fct tht CGL\{0}) is tree. Thus L is lower dismntlle lttice. d) ) Suppose G {0} L) = CL\{0,1}) c, for some lttice L. We wnt to show tht L does not contin ny nonzero meet-reducile element. Suppose on the contrry, L hs nonzero meetreducile element sy. Then there exist,c L with,c, such tht = c. Thus nd c re incomprle. So there is n edge c in CL\{0,1}) c. But c 0, hence nd c re not djcent in G {0} L), contrdiction. Consequently every nonzero element of L is meet-irreducile element. ) d) Suppose every nonzero element of L is meet irreducile. By the equivlence of ) nd ) ove, L is lower dismntlle lttice. Hence = 0 if nd only if. Therefore G {0} L) = CL\{0,1}) c. Note tht result similr to the equivlence of sttements ) nd d) of Theorem 2.12 cn e found in Survse [19]. Grillet nd Vrlet [4] introduced the concept of 0-distriutive lttices s generliztion of distriutive lttices. A lttice L with 0 is clled 0-distriutive if, for every triplet,,c) of elements of L, = c = 0 implies c) = 0. More detils out 0-distriutive posets cn e found in Joshi nd Wphre [10]. Foridden configurtions for 0-distriutive lttices re otined y Joshi [7]. Lemm If L is n djunct of two chins with 0,1) s n djunct pir, then L is 0-distriutive. Proof. Let = c = 0, for,,c L. By Lemm 2.9, nd c re either comprle or c = 0. If c = 0, this together with = c = 0 gives L s djunct of t lest three chins, contrdiction. Hence nd c re comprle. By = c = 0, we hve c) = 0. The following result is due to Joshi [8]. Theorem 2.14Theorem2.14,Joshi[8]). Let L e 0-distriutive lttice. Then G {0} L) is complete iprtite if nd only if there exist two miniml prime idels P 1 nd P 2 of L such tht P 1 P 2 = {0}. Theorem Let L e lower dismntlle lttice hving 0,1) s n djunct pir. Then the following sttements re equivlent. ) G {0} L) is complete iprtite grph. ) L is n djunct of two chins only. c) L hs exctly two toms nd exctly two dul toms.

10 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 10 d) There exist two miniml prime idels P 1 nd P 2 of L such tht P 1 P 2 = {0}. e) L is 0-distriutive lttice. Proof. ) ) Suppose G {0} L) = K m,n. Note tht the independent set of K m,n forms chin in L. If L is n djunct of more thn two chins, then L contins t lest three toms, which forms tringle in G {0} L), contrdiction. Hence L is djunct of two chins only. Moreover, s 0,1) is n djunct pir, L = C 1 ] 1 0C 2, where C 1 nd c 2 re chins. ) c) Ovious. c) d) Let d 1 nd d 2 e only dul toms of L. Then P 1 = d 1 ] = {x L : x d 1 } nd P 2 = d 2 ] re idels of L. In fct, P 1 P 2 = {0}, otherwise we get nonzero meet-reducile element in L, contrdiction to Theorem We clim tht P 1 nd P 2 re prime idels. Let P 1, i.e., d 1. If 0, then nd re comprle. Hence P 1 or P 1. Suppose = 0 nd, / P 1 = d 1 ]. Then y Lemm 2.9,. Since d 2 is the only dul tom other tht d 1, we hve, d 2, which gives 0,d 2 ) is n djunct pir in L, hence there exist two toms elow d 2, i.e., L contins three toms one elow d 1 nd two elow d 2 ), contrdiction. Therefore P 1 is prime idel. Similrly P 2 is prime idel. d) ) Follows from Theorem 2.14 [8]. ) e) Let G {0} L) e complete iprtite grph. By the equivlence of sttements ) nd ), L is n djunct of exctly two chins. By Lemm 2.13, L is 0-distriutive. e) ) Suppose tht L is 0-distriutive. Assume on the contrry, ssume tht L is n djunct of morethntwochins, i.e., Lcontinstlestthreetoms, sy,,c. Clerly = c = c = 0. We consider the following two cses. Cse 1) : If = c = c, then L contins sulttice isomorphic to M 3 s shown in Figure 6), contrdiction to 0-distriutivity of L. Cse 2) : Let c. Clerly ) c) is nonzero meet-reducile element in L, contrdiction to Theorem Hence nd c re comprle. Without loss of generlity, suppose c. Hence c, which gives c) =, ut = 0 nd c = 0, gin contrdiction to 0-distriutivity of L. Thus in ny cse L does not contin three toms. Since 0,1) s n djunct pir, it is cler tht L is n djunct of exctly two chins. Therefore G {0} L) is complete iprtite grph. The following result is due to Joshi [8]. Theorem 2.16 Theorem 2.4, Joshi [8]). Let L e lttice. Then G {0} L) is connected with dim G {0} L) ) 3. The following result cn e found in Alizdeh et l. [1]. Theorem 2.17 Theorem 4.2, Alizdeh [1]). Let L e lttice, then grg {0} L) {3,4, }. In the following theorem, we chrcterize the dimeter nd girth of G {0} L) for lower dismntlle lttice L. Theorem Let L e lower dismntlle lttice which is n djunct of n chins, where n 2. Then VG {0} L))) nd dimg {0} L)) 2. Moreover if 0,1) is the only djunct pir in L, then dimg {0} L)) = 1 if nd only if L = M n. Further ) grg {0} L)) = 3 if nd only if L is n djunct of t lest three chins. ) grg {0} L)) = 4 if nd only if L = C 1 ] 0C 2 with C 2 2. c) grg {0} L)) = if nd only if L = C 1 ] 0 C 2 with C 2 = 1.

11 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 11 Proof. Let, VG {0} L))). If, then y Lemm 2.9, = 0 nd hence, re djcent. Further let nd re comprle, sy. Since VG {0} L))), there is n element c 0) such tht c = 0. Hence c = 0. Thus we get pth c of length 2. This shows tht d,) 2 nd in ny cse dimg {0} L)) 2. Let 0,1) e the only djunct pir in L. If L = M n, then G {0} L) = K n. Hence dimg {0} L)) = 1. Conversely, suppose dimg {0} L)) = 1. If L = C 1 ] 1 0 C 2, then G {0} L) if nd only if C 1 3 nd C 2 1. If C 1 3 nd C 2 = 2 then for ny, C 2 we hve d,) = 2. Now, If C 1 4 nd C 2 = 1 then for ny, C 1 \ {0,1}, gin d,) = 2, contrdiction to the fct tht dimg {0} L)) = 1. Therefore C 1 = 3 nd C 2 = 1 nd the result follows y induction. By Theorem 2.17, grg {0} L) {3,4, }. ) If L is n djunct of t lest three chins, then it contins t lest three toms. Hence G {0} L) contins tringle, nd grg {0} L)) = 3. Conversely, let grg {0} L)) = 3. If L = C 1 ] 0 C 2, then y Corollr.4, G {0} L) is complete iprtite. Therefore it does not contin n odd cycle, contrdiction. Hence L is djunct of t lest three chins. ) nd c) If L = C 1 ] 0 C 2, then y Corollry2.4, G {0} L) is complete iprtite grph. Then C 2 = 1 or VG {0} )L) C 1 = 1 if nd only if grg {0} L)) =. If C 2 2 or VG {0} )L) C 1 2, then grg {0} L)) = 4. Remrk Notetht ifwedropthe conditionoflowerdismntlilityofl, then dimg {0} L)) my exceed 2. Consider lttice L = C 1 ] e 0C 2 ] 1 C 3] d 0C 4, where C 1 = {0,,e,1}, C 2 = {}, C 3 = {d} nd C 4 = {c}. Then dimg {0} L)) = 3 s shown in Figure 2. Now, we give reliztion of zero-divisor grphs of lower dismntlle lttices, i.e., we descrie grphs tht re the zero-divisor grphs of lower dismntlle lttices. Proof of Theorem 1.1. ) ) Let G G T. Hence G = VT\{R}) for some rooted tree T with the root R. Let L = VG) {R} {0}. Define reltion on L y, R, 0 nd, for every L. If, then < if nd only if is n ncestor of. Clerly, L, ) is poset. If, then no one is ncestor of the other, hence 0 is the only element elow nd, i.e., = 0. Let A = {c L c is common ncestor of nd }. Then A, s R A. We clim tht the set A forms chin. Let x,y A with x y. Hence x nd y re ncestors of nd oth. But then x y is cycle in the undirected grph of rooted tree, contrdiction. Thus A is chin. Then the smllest element of A it exists due to finiteness of L) is nothing ut. Hence L is lttice with the gretest element R, now denoted. Since meet of ny two incomprle elements is zero, L does not contin crown. Hence y Theorem 2.11, L is dismntlle lttice, sy L = C 0 ] 1 1 C 1 ] 2 2 ] n n C n. Since meet of ny two incomprle elements is zero, we get i = 0, i. Therefore L is lower dismntlle lttice hving 1 s join-reducile element since the root of tree hs t lest two rnches, hence 1 is join-reducile). Also, = 0 if nd only if no one is n ncestor of the other. Therefore G = G {0} L). ) c) Follows y Theorem c) ) Let L e lower dismntlle lttice. Let G e n incomprility grph of L\{0,1}, i.e., G = CL\{0,1}) c. Then Theorem 2.12, the cover grph of L\{0} is rooted tree, sy T, with root 1. Let H e the non-ncestor grph of T. Then clerly, VH) = VG) nd nd re djcent in G if nd only if if nd only if no one is ncestor of the other if nd only if nd re djcent in H. Hence G = H.

12 ZERO-DIVISOR GRAPHS OF LOWER DISMANTLABLE LATTICES-I 12 Acknowledgements: The uthors re grteful to the referee for fruitful suggestions. The first uthor is finncilly supported y University Grnt Commission, New Delhi vi minor reserch project File No /14WRO). References [1] M. Alizdeh, A. K. Ds, H. R. Mimni, M. R. Pournki, S. Yssemi: On the dimeter nd girth of zero-divisor grphs of posets, Discrete Appl. Mth ), [2] D. F. Anderson, P. S. Livingston: The zero-divisor grph of commuttive ring, J. Alger, ), [3] I. Beck: Colouring of commuttive ring, J. Alger ), [4] P. A. Grillet, J. C. Vrlet: Complementedness conditions in lttices, Bull. Soc. Roy. Sci. Leêge ), [5] R. Hlš, M. Jukl: On Beck s colouring of posets, Discrete Mth ), [6] R. Hlš, H. Länger: The zero divisor grph of qoset, Order ), [7] V. V. Joshi: On foridden configurtion of 0-distriutive lttices, Mth. Bohem ), no. 1, [8] V. V. Joshi: Zero divisor grph of poset with respect to n idel, Order 293)2012), [9] V. V. Joshi, A. U. Khiste: On the zero divisor grph of Boolen poset, Mth. Slovc ), no. 2, [10] V. V. Joshi, B. N. Wphre: Chrcteriztions of 0-distriutive posets. Mth. Bohem ), no. 1, [11] V. V. Joshi, B. N. Wphre, H. Y. Pourli: Zero divisor grphs of lttices nd priml idels, Asin-Eur. J. Mth ), no. 3, , 9 pp. [12] V. V. Joshi, B. N. Wphre, H. Y. Pourli: On generlized zero divisor grph of poset, Discrete Appl. Mth ), no , [13] D. Kelly nd I. Rivl: Crowns, fences, nd dismntlle lttices, Cnd. J. Mth ), [14] J. D. LGrnge: Complemented zero divisor grphs nd Boolen rings, J. Alger ), [15] J. D. LGrnge: On relizing zero divisor grphs, Comm. Alger ), [16] D. Lu, T. Wu: The zero divisor grphs of posets nd n ppliction to semigroups, Grphs Comin ), [17] S. K. Nimhorkr, M. P. Wsdikr, L. DeMeyer: Coloring of semilttices, Ars Comin ), [18] I. Rivl: Lttices with douly irreducile elements, Cnd. Mth. Bull ), [19] P. A. Survse: A Study of grphs ssocited with lttices nd relted structures, Ph. D. Thesis sumitted to Dr. Bshe Amedkr Mrthwd University, Aurngd MS) [20] N. K. Thkre, M. M. Pwr nd B. N. Wphre: A structure theorem for dismntlle lttices nd enumertion Period. Mth. Hungr ), no. 1-2, [21] Dougls. B. West: Introduction to Grph Theory, Second Edition, Prentice-Hll of Indi, New Delhi * Deprtment of Mthemtics Grwre College of Commerce Krve Rod, Pune Indi. E-mil ddress: vipmj@gmil.com ** Deprtment of Mthemtics Svitrii Phule Pune Universitye Pune Indi. E-mil ddress: wphre@yhoo.com; nwph@mth.unipune.c.in E-mil ddress: vvj@mth.unipune.c.in; vinykjoshi111@yhoo.com E-mil ddress: hosseinypourli@gmil.com