arxiv: v1 [math.ac] 28 Jun 2018

Transcription

1 arxiv: v1 [math.ac] 28 Jun 2018 On a new extension of the zero-divisor graph A. Cherrabi, H. Essannouni, E. Jabbouri,, A. Ouadfel Laboratory of Mathematics, Computing and Applications-Information Security (LabMia-SI) Faculty of Sciences, Mohammed-V University in Rabat. Rabat. Morocco. Abstract In this paper, we introduce a new graph whose vertices are the nonzero zero-divisors of commutative ring R and for distincts elements x and y in the set Z(R) of the nonzero zero-divisors of R, x and y are adjacent if and only if xy = 0 or x + y Z(R). we present some properties and examples of this graph and we study his relation with the zero-divisor graph and with a subgraph of total graph of a commutative ring. Introduction Throughout this paper, R will denote a commutative ring with 1 0, Z(R) its set of zero-divisors and Z(R) = Z(R) {0}. The concept of the zerodivisor graph of a commutative ring was first introduced by I. Beck in [4] where he was interested in colorings of commutative ring. In the I. Beck s work, all the elements of a commutative ring were vertices of the graph and two distinct elements x and y are adjacent if and only if xy = 0. In [3], D.F. Anderson and P.S. Livingston have modified the definition by considering the graph Γ(R) with vertices in the set of nonzero zero-divisors of a ring R and for distinct vertices x,y, x and y are adjacent if and only if xy = 0. In [2], D. F Anderson and A. Badawi introduced the total graph T(Γ(R)) of a commutative ring R with all elements of R as vertices and for distinct x,y R, the vertices x and y are adjacent if and only if x+y Z(R) and considered his induced subgraph Z(Γ(R)) with vertices in Z(R). Corresponding Author: aliouadfel@gmail.com 1

2 As stated in [3], the purpose of the introduction of the zero-divisor graph was to illuminate the structure of Z(R). Since Z(R) is a part of the ring R, we think that defining a graph using both operations, i.e., addition and product, helps us to better approach the interactions between the elements of this semi-group. In this context, we introduce, in this article, a new graph, denoted Γ(R), as theundirected simplegraphwhosevertices are thenonzero zero-divisors of R and for distinct x,y Z(R), x and y are adjacent if and only if xy = 0 or x+y Z(R). It s obvious that Γ(R) is no other than the union of Γ(R) and the induced subgraph Z (Γ(R)) of T(Γ(R)) with vertices in Z(R) and that Z (Γ(R)) and Γ(R) are spanning subgraphs of Γ(R). We note also that the vertices of the subgraph Z(Γ(R)) studied in [2] are in Z(R) while the vertices of the Z (Γ(R)) are in Z(R). Recall that a simple graph G = (V,E) is connected if there exists a path between any two distinct vertices. For distinct vertices x and y of G, the distance d(x,y) is the length of the shortest path connecting x and y; if there is no such path, d(x,y) =. The diameter of G is diam(g) = sup{d(x,y)/x,y V andx y}. The girth of G, denoted g(g), is the length of the shortest cycle in G and g(g) = if G contains no cycle. G is complete if it is connected with diameter one and K n denote the complete graph with n vertices. Basic reference for graph theory is [5]. As usual, Z n denote the integers modulo n. General reference for commutative ring theory is [1]. In the first section, we give some examples to illustrate the difference between the graphs Γ(R), Z (Γ(R)) and the new graph Γ(R). We also give all the graphs Γ(R) when Z(R) 9. The second section is devoted to study the diameter, the girth of Γ(R) and the relation between this graph and the two others spanning subgraphs. In the third section, we complete this study by giving some other properties of our graph. 1 Examples 1. Below, we illustrate the difference between the three graphs by the figures corresponding to the cases where R = Z 6 and R = Z 2 Z 4. 2

3 Γ(Z 6 ) Z (Γ(Z 6 )) Γ(Z 6 ) Γ(Z 2 Z 4 ) (1,2) (1,0) (0,2) Z (Γ(Z 2 Z 4 )) (1,2) (1,0) (0,2) Γ(Z 2 Z 4 ) (1,2) (1,0) (0,2) (0,3) (0,1) (0,3) (0,1) (0,3) (0,1) 2. Let n = Z(R). Using the given list [6] of commutative rings R such that n 9, we see that: If n {1,2,3,4,6,8}, Γ(R) is the complete graph K n. Ifn {5,7}, weobtaintwonon-isomorphicgraphsoneofwhichis the complete graph K n and the other is not complete. For n = 5, the non-complete graph is obtained by the non-isomorphic rings Z 2 Z 4, and Z 2 Z 2 [x]/(x 2 ) (figure 1). For n = 7, the noncomplete graph is obtained by the non-isomorphic rings Z 12 and Z 3 Z 2 [x]/(x 2 ) (figure 2). If n = 9, we obtain three non-isomorphic graphs one of which is the complete graph K 9 and the others are not complete. The two non-complete graphs are obtained respectively by the nonisomorphic rings Z 4 F 4 or Z 2 [x]/(x 2 ) F 4 (figure 3) and by Z 2 Z 2 Z 3 (figure 4). Figure 1: the only non-complete graph obtained when Z(R) = 5. 3

4 Figure 2: the only non-complete graph obtained when Z(R) = 7. Figure 3: the first non-complete graph obtained when Z(R) = 9. Figure 4: the second non-complete graph obtained when Z(R) = 9. 2 Diameter, girth and the relation between Γ(R) and the others graphs Theorem 2.1. If x and y are distinct vertices of Γ(R), then d(x,y) 2 and consequently the graph Γ(R) is connected and diam( Γ(R)) 2. Proof. Let x,y Z(R) so there exists a,b Z(R) such that ax = 0 and by = 0. If ab 0, then ab(x+y) = 0 and so x and y are adjacent. If ab = 0, then a(b+x) = 0 so x b y. Theorem 2.2. If Z (R) 3, then g( Γ(R)) = 3. 4

5 Proof. If Γ(R) is complete, then g( Γ(R)) = 3. Suppose that there exists two distinct vertices x,y such that x and y are not connected then there exists a,b Z(R) : ax = by = 0 so ab(x + y) = 0 hence ab = 0, because x+y / Z(R), and thus a(b+x) = 0 therefore b+x Z(R). On the other hand, we have x a, if not bx = ba = 0 so b(x + y) = 0 hence x and y are adjacent; a b, if not ay = by = 0 so a(x + y) = 0 then x and y are adjacent, and x b, if not xy = by = 0 so x and y are adjacent, and thus we obtain a 3-cycle x a b x. Remark 2.3. Since Γ(R) is connected with diam(γ(r)) 3 [3] and Γ(R) is a spanning subgraph of Γ(R), we can deduct that Γ(R) is connected and his diameter is less than 3. On the other hand, in general, Z (Γ(R)) is a non-connected spanning subgraph of Γ(R) as shown in the example R = Z 6 cited above. However, the theorem 2.1 shows that diam( Γ(R)) 2. The examples given in the introduction show that the diameter of Γ(R) can be one (case where R = Z 6 ) or two (case where R = Z 2 Z 4 ). We have g(γ(r)) {4, } [3] and, in general, g(z (Γ(R))) =, however g( Γ(R)) = 3. Given that the diameter can be one or two, we will characterize the finite rings R such that graph Γ(R) is a complete graph. Theorem 2.4. Let R a finite ring. Γ(R) is a complete graph if and only if R is a local ring or a product of two fields or R (Z 2 ) n. Proof. ) It is obvious that if R is a local ring or a product of two fields, then Γ(R) is a complete graph. Suppose that R = Z n 2 so R is a boolean ring. Let x,y Z(R), if xy 0 so xy(x+y) = xy +xy = 0 then x+y Z(R). ) Suppose that R is not local. Since R is finite, R R 1...R n and n 2, where R 1,...,R n are local rings. We claim that all rings R i are fields, If not there exists i such that R i is not a field so there exists x i Z(R i ) and we consider x = (1,...,x i,...,1),y = (0,...,1,...0) Z(R) so xy 0 and x+y / Z(R), if not 1 m i, where m i is the maximal ideal of R i. Suppose that n > 2 then char(r) = 2, if not we consider x = (0,1,...,1), y = (1,0,1,...,1), then xy 0 and x+y / Z(R). to finish, we claim that R Z n 2, if not there exists i such that R i Z 2 so there exists x i R i 5

6 such x i / {0,1} then we consider x = (0,...,x i,1,...,1),y = (1,...,x i + 1,0,...,0) hence we obtain xy 0 because x i (x i + 1) 0 and x + y = (1,...,1) / Z(R) because 2x i = 0. Corollary 2.5. Let R be a reduced finite ring such that R is not a field and R is not boolean. Γ(R) is a complete graph if and only if R has exactly two maximal ideals. Proof. Since R is a reduced finite ring, R K 1 K n, wherek i = R/m i and m 1,...,m n are the maximal ideals of R so Γ(R) Γ(K 1 K n ) as graphs then, since R is not boolean, Γ(R) is complete if and only if n = 2. It is easy to deduce from the preceding theorem the following corollary: Corollary 2.6. Let n > 1 a composite integer. Γ(Zn ) is complete if and only if n is a power of a prime number or n is a product of two distinct primes. the following corollary determines when the complete graph K n is obtained using the graph Γ(Z k ). Corollary 2.7. Let n N. (a) Suppose that n is even, then there exists k N such that Γ(Z k ) = K n if and only if n+1 is a power of a prime number or the even number n + 2 verify the Goldbach s conjecture with two distinct prime numbers. (b) Suppose that n is odd, then then there exists k N such that Γ(Z k ) = K n if and only if n+1 is a power of 2 or n is prime. Proof. (a): Suppose that Γ(Z k ) = K n then k = p α or k = pq, where p and q are distinct primes. If k = p α so Z(Z k ) = p α 1 1 = n then n+1 = p α 1. If k = pq so Z(Z k ) = p+q 2 = n then n+2 = p+q. Reciprocally, if n + 1 = p α, let s put k = p α+1 so Γ(Z k ) is complete and Z(Z k ) = p α 1 = n. If n + 2 = p + q, let s put k = pq then Γ(Z k ) is complete and Z(Z k ) = n. (b): Suppose that Γ(Z k ) = K n then k = p α or k = pq with p and q are distinctprimes. Ifk = p α so Z(Z k ) = p α 1 1 = nthenn+1 = p α 1 hence p = 2 because n+1is even. If k = pq, with p < q, so Z(Z k ) = p+q 2 = n then n+2 = p+q therefore p = 2 because n is odd then n = q. Reciprocally, if n+1 = 2 α or n = q, let s put respectively k = 2 α+1 and k = 2q, where q is an odd prime. 6

7 Examples 2.8. To get K 12, we take k = 13 2 = 169 then Γ(Z 169 ) = K 12. Also, to get K 48, we take k = 7 3 = 343 or k = 3.47 = 141 or k = 7.43 = 301 or k = = 481 or k = = 589 and we obtain Γ(Z k ) = K 48. To get K 7, we take k = 16 then Γ(Z 16 ) = K 7. Also, to get K 11, we take k = 22 then Γ(Z 22 ) = K 11. There is no k N such Γ(Z k ) = K 9. In the rest of this section, we determine the cases when Γ(R) coincide with the spanning subgraphs Γ(R) and Z (Γ(R)). Theorem 2.9. Suppose that R is finite. Γ(R) = Γ(R) if and only if Γ(R) is complete. Proof. It is obvious that if R is a field thenγ(r) = Γ(R) so we suppose that R is not a field. Since Γ(R) is a spanning subgraph of Γ(R), if Γ(R) is a complete graph, then Γ(R) is too so Γ(R) = Γ(R). Reciprocally, sinceris a finitering, R R 1 R n, wherer 1,...,R n are local rings then n 2, indeed if n > 2, Γ(R) Γ(R) because (0,1,0,...,0) and (0,1,1,0,...,0) are adjacent in Γ(R) and are not adjacent in Γ(R). If n = 1, then R is local so Γ(R) = Γ(R) is complete. If n = 2, we also claim that R 1 and R 2 are fields because if, for example, R 1 is not a field, (x,1) and (0,1), where x Z(R 1 ), are adjacent in Γ(R) but they are not adjacent in Γ(R). Since R 1 and R 2 are fields, Γ(R) = Γ(R) is complete. Using the previous theorem and theorem 3.3 of [3], we obtain: Corollary Let R a finite ring. If Γ(R) = Γ(R) then either R Z 2 Z 2 or (R,m) is local with m 2 = 0, char(r) = p or p 2 and Γ(R) = p n 1, where p is prime and n 1. Corollary Let n > 1 a composite integer. Γ(Z n ) = Γ(Z n ) if and only if n = p 2, where p is prime. thefollowingresultdetermineswhen Γ(R) coincides withtheother graph Z (Γ(R)): Theorem Let R a finite ring. Γ(R) = Z (Γ(R)) if and only if R is local. 7

8 Proof. It is obvious that if R is a field then Z (Γ(R)) = Γ(R) so we suppose that R is not a field. R is local so Z (Γ(R)) is complete then Γ(R) is complete. Reciprocally, sincerisfinite, R R 1 R n, wherer 1,...,R n are local rings. We claim that n = 1, indeed, if n > 1, we consider x = (1,0,1,...,1) and y = (0,1,0,...,0) so it is obvious that x,y Z(R) are adjacent as vertices of Γ(R) but they are not adjacent as vertices of the graph Z (Γ(R)) hence Γ(R) Z (Γ(R)). Corollary Γ(R) = Z (Γ(R)) if and only if Z(R) is an ideal of R if and only if Z (Γ(R)) is complete. Corollary Let n > 1 a composite integer. Γ(Z n ) = Z (Γ(Z n )) if and only if n is a power of a prime. Remark It is obvious that if Γ(R) or Z (Γ(R)) is complete then Γ(R) is complete. However, the reciprocal is false as shown in the example where R = Z 6. 3 Others Properties of Γ(R) In this section, we give some properties of Γ(R): Theorem 3.1. If R is finite ring such that R is not a field, then there exists a vertex of Γ(R) which is adjacent to every other vertex. Proof. Since R is finite, R R 1...R n, where R 1,...,R n are local finite rings. Case 1: Suppose that all R i are fields; if n = 2, then Γ(R) is complete and the result is obvious. If n 3, let a = (a 1,0,...,0) Z(R) so for every x = (x 1,...,x n ) Z(R), a and x are adjacent, indeed, since x = (x 1,...,x n ) is in Z(R), there exists i such that x i = 0. if i = 1, ax = 0; if i 1, a+x = (a 1 +x 1,...,0,...,x n ) Z(R). Case 2: Suppose that there exists i such that R i is not a field thus we can suppose that R 1 is not a field. Let a 1 Z(R 1 ) and a = (a 1,0,...,0) R, we have a Z(R). Let x = (x 1,...,x n ) Z(R), if there exists i such that x i = 0, we check as before that a and x are adjacent. If i, x i 0, so there existsj suchthatx j Z(R j ) soifj = 1, a+x = (a 1 +x 1,x 2,...,x n ) Z(R) because a 1 +x 1 Z(R 1 ) and if j 1, a+x = (a 1 +x 1,x 2,...,x j,...,x n ) is in Z(R) because x j Z(R j ). Remark 3.2. according to the previous theorem, If R is finite, Γ(R) has a spanning (non-induced) subgraph which is a star graph. In general, the graphs Γ(R) and Z (Γ(R)) don t have this property. 8

9 Theorem 3.3. (a) If Z(R) 3, then every vertex of Γ(R) is a vertex in a triangle. (b) If x and y are two distinct vertices non-adjacent, then there exists vertices z and t such that x z y t is a square. Proof. (a):let x Z(R). Case 1: Suppose there is y Z(R) such that x and y are not adjacent, then, with the notation used in the proof of theorem 2.2, we have xab is a triangle. Case 2: Suppose t Z(R), x and t are adjacent. Let y,z Z(R) such that x,y and z are distinct. We can suppose that y and z are not adjacent, if not it is obvious that xyz is a triangle, so yz 0 and y + z / Z(R). We have xy 0 or xz 0, if not x(y + z) = 0 so y and z are adjacent. Suppose that xy 0 (the case xz 0 is similar), let a,b Z(R) such that ay = bz = 0 and s = y + z. Since y and z are not adjacent, s / Z(R) so sb(a + z) = sba = (y + z)ba = yba = 0 and since y,z are not adjacent sb = (y+z)b 0 hence a+z Z(R). Since xy 0, a x and since yz 0, a z, then xaz is a triangle. (b): Let x,y Z(R) such that x y, xy 0 and x + y / Z(R) so there exists z,t Z(R) such that xz = 0 ant yt = 0. Let s = x + y so st(y + z) = stz = t(sz) = t(yz) = 0 and since st 0 because s / Z(R) then y +z Z(R). In the same way, sz(x +t) = szt = z(st) = z(xt) = 0 thus x + t Z(R). On the other hand, The four vertices x,y,z and t are distinct, indeed, x t, if not x and y are adjacent, x z, if not x and y are adjacent, y t, if not x and y are adjacent, t z, if not z(x+y) = 0 so x and y are adjacent, y z, if not xy = 0, and thus xzyt is a square. Remark 3.4. As can be seen,these properties are verified for a finite or infinite rings. Definition 3.5. [6] A graph G = (V,E) is said to be hypotriangulated if for every 3-path xzy, x and y are adjacent or there exists a vertex t z such that xty is a 3-path. Corollary 3.6. Γ(R) is an hypotriangulated graph. Remark 3.7. In the previous results, we showed that every vertex in Γ(R) is a vertex in a triangle and that Γ(R) is hypotriangulated. We recall that a chord of a cycle C = (V(C),E(C)) in a graph G = (V,E) is an edge in E \ E(C) such that both of whose ends lie on V(C). Also a graph is 9

10 triangulated (or chordal) if every cycle of length greater than three has a chord. we ask if Γ(R) is triangulated? the answer is negative as showed by the following example: let n = = 390. it is obvious that C = ( ) is a cycle in Γ(Z n ) and C doesn t a chord. References [1] M.F. Atiyah, I.G. Macdonald, Introduction to Commutative Algebra, Addison-Wesley Pub- lishing Company, [2] D.F. Anderson, A. Badawi, The total graph of a commutative ring. J. Algebra 320(7), (2008) [3] D.F. Anderson, P.S. Livingston, The zero-divisor graph of a commutative ring, J. Algebra 217 (1999), [4] I. Beck, Coloring of commutative rings, J. Algebra 116 (1988), [5] R. Diestel, Graph Theory, Springer-Verlag, New York, [6] S.P. Redmond, On zero-divisor graphs of small finite commutative rings, Discrete Mathematics 307 (2007) [7] H. Topart, Etude d une nouvelle classe de graphes : les graphes hypotriangulés. Conservatoire national des arts et metiers - CNAM,