ZERODIVISOR AND IDEALDIVISOR GRAPHS OF COMMUTATIVE RINGS


 Maryann Payne
 1 years ago
 Views:
Transcription
1 ZERODIVISOR AND IDEALDIVISOR GRAPHS OF COMMUTATIVE RINGS T. BRAND, M. JAMESON, M. MCGOWAN, AND J.D. MCKEEL Abstract. For a commutative ring R, we can form the zerodivisor graph Γ(R) or the idealdivisor graph Γ I (R) with respect to an ideal I of R. We consider the diameters of direct products of zerodivisor and idealdivisor graphs. 1. Introduction and Definitions The concept of a zerodivisor graph was first introduced in 1988 in [3] by Beck, who was interested in the coloring of the zerodivisor graph. However, we use the slightly altered definition of a zerodivisor graph offered by Anderson and Livingston in [1]. Anderson and Livingston also proved that the diameter of Γ(R) is less than or equal to three for all commutative rings R. This knowledge of small diameter of zerodivisor graphs led Axtell, Stickles, and Warfel to find necessary and sufficient conditions for the direct product of two commutative rings R 1 and R 2 to have various diameters in [2]. Given a commutative ring R, recall that the set of zerodivisors Z(R) is the set {x R there exists y R such that xy = 0}, where R = R {0}. Also, Z(R) = Z(R) {0}. Finally, we define regular elements to be reg(r) = R Z(R) and the annihilator of a zerodivisor x to be ann(x) = {y Z(R) xy = 0}. We can define the zerodivisor graph of R, Γ(R), as follows: x Γ(R) if and only if x Z(R), and x, y Γ(R) are adjacent if and only if xy = 0. Furthermore, we can define the diameter of any graph diam(γ) = max{d(x, y) x and y are distinct vertices of Γ(R)}. For the sake of generalization we can think of {0} as an ideal of the ring R. Given a commutative ring R and any ideal I of R, we define the idealdivisors of R with respect to I as Z I (R) = {x R there exists y R I such that xy I}. Furthermore, we can define Z I (R) as Z I (R) I. Also, reg I (R) = R Z I (R) and ann I (x) = {y Z I (R) xy I}. We can define the idealdivisor graph of R, Γ I (R), by letting x be an element of Γ I (R) if and only if x is an element of Z I (R) ; x and y in Γ I (R) are adjacent if and only if xy is an element of I. The idealdivisor graph was first discussed by Redmond in [4]. He was able to generalize many of the concepts and theorems of the zerodivisor graph to the idealdivisor graph. In particular, Redmond showed that the diameter of Γ I (R) is less than or equal to three for all commutative rings R and I an arbitrary ideal of R. In this paper we complete the classification done by Axtell, Stickles, and Warfel in [2] to include direct products of commutative rings that have diameter zero and generalize the entire classification to idealdivisor graphs. Date: February 27,
2 2 T. BRAND, M. JAMESON, M. MCGOWAN, AND J.D. MCKEEL 2. IdealDivisor Graphs of Direct Products We begin with some necessary lemmas generalized from similar lemmas used by Axtell, Stickles, and Warfel. Lemma 2.1. Let R 1 and R 2 be rings with ideals I 1 and I 2, respectively, with Z I1 (R 1 ) or Z I2 (R 2 ) (or both). If reg I1 (R 1 ) and reg I2 (R 2 ), then diam(γ I1 I 2 R 2 )) = 3. Proof. Without loss of generality, let a Z I1 (R 1 ). Then there exists b Z I1 (R 1 ) such that ab I 1. Let r 1 reg I1 (R 1 ), r 2 reg I2 (R 2 ). Then (r 1, 0) (0, r 2 ) (a, 0) (b, r 2 ) is a path of length 3. Assume there is a shorter path from (r 1, 0) to (b, r 2 ). Clearly, (r 1, 0)(b, r 2 ) / I 1 I 2, so there is no path of length 1. Assume there exists (x, y) Z I1 I 2 R 2 ) such that (x, y)(r 1, 0), (x, y)(b, r 2 ) I 1 I 2. Then xr 1 I 1 and yr 2 I 2, which gives x I 1 and y I 2, a contradiction. Hence, diam(γ I1 I 2 R 2 )) = 3. Lemma 2.2. If R 1 = I 1 and diam(γ I2 (R 2 )) > 0, then diam(γ I1 I 2 R 2 )) = diam(γ I2 (R 2 )). Proof. Let R 1 = I 1 and let diam(γ I2 (R 2 )) > 0. Suppose diam(γ I1 I 2 R 2 )) = n > diam(γ I2 (R 2 )) such that n = 2 or 3. Then (a 0, x 0 ), (a 1, x 1 ),..., (a n, x n ) Z I1 I 2 R 2 ) such that (a 0, x 0 ) (a 1, x 1 )... (a n, x n ) is a minimal path. Then x 0 x 1... x n, but since n > diam(γ I2 (R 2 )), x 0 x 1... x n must not be a minimal path. This can happen in two ways: If i, j such that 0 i < j n, j i + 1, and x i x j. Then (a i, x i ) (a j, x j ), a contradiction of (a 0, x 0 ) (a 1, x 1 )... (a n, x n )being a minimal path. If n = 3 and y Z I2 (R 2 ) such that y / {x i 0 i n} and x 0 y x n. Then (a 0, x 0 ) (0, y) (a n, x n ), a contradiction of (a 0, x 0 ) (a 1, x 1 )... (a n, x n )being a minimal path. So diam(γ I1 I 2 R 2 )) diam(γ I2 (R 2 )). Suppose diam(γ I1 I 2 R 2 )) < diam(γ I2 (R 2 )) = n such that 1 n 3. Then x 0, x 1,..., x n Z I2 (R 2 ) such that x 0 x 1... x n is a minimal path. Since R 1 = I 1, a 0, a 1,..., a n R 1, (a 0, x 0 ) (a 1, x 1 )... (a n, x n ) is a minimal path of length n, a contradiction. So diam(γ I1 I 2 R 2 )) diam(γ I2 (R 2 )). Thus diam(γ I1 I 2 R 2 )) = diam(γ I2 (R 2 )). Lemma 2.3. (Analogue to ASW Lemma 2.2) Let R be a commutative ring with ideal I. If R = Z I (R) and diam(γ I (R)) = 1, then R 2 I. Proof. Note that for all x, y R with x y, xy I because diam(γ I (R)) = 1. Assume that a 2 / I for some a R. Let b Z I (R) with b a. Observe that a + b a. Since R = Z I (R) and diam(γ I (R)) = 1, we have ab I. So, a(a + b) = a 2 + ab I, which implies a 2 I, a contradiction. Theorem 2.4. Let R 1, R 2 be commutative rings such that diam(γ(r 1 )) = diam(γ(r 2 )) = 0. Then
3 ZERODIVISOR AND IDEALDIVISOR GRAPHS OF COMMUTATIVE RINGS 3 (i) diam(γ R 2 )) = 0 if and only if (without loss of generality) R 1 = {0}. (ii) diam(γ R 2 )) = 1 if and only if R 1 = R 2 = 2 and R 1 = R2. (iii) diam(γr 2 )) = 3 if and only if R 1 Z(R 1 ), R 2 Z(R 2 ), and (without loss of generality) Z(R 1 ) = 1. (iv) diam(γ R 2 )) = 2 otherwise. Proof. (i) ( ) Assume for contradiction that diam(γ R 2 )) = 0 and R 1, R 2 {0}. Then x R1, y R2. Now (x, 0) and (0, y) are two adjacent vertices in Γ R 2 ), so diam(γ R 2 )) > 0. ( ) Assume without loss of generality that R 1 = {0}. Then R 1 R 2 = R2, so diam(γ R 2 )) = 0. (ii) ( ) Assume diam(γ R 2 )) = 1. Assume without loss of generality R 1 2. If R 1 = 1, then R 1 = {0}, so diam(γ R 2 )) = 0 by part (i). Thus assume R 1 3. Thus we have distinct x, y R1. Note that xy 0 because diam(γ(r 1 )) = 0. Also, note that R 2 > 1 by part (i) also. Let z R2. Now, we have path (x, 0) (0, z) (y, 0) which is minimal since xy 0. Thus diam(γ R 2 )) 2. Assume R 1 R 2. By argument above, R 1 = R 2 = 2. Recall that there are only two rings of order two: Z 2 and 2Z 4. Since diam(γ(z 2 2Z 4 )) = 2, we have a contradiction. Thus R 1 = R2. ( ) Assume R 1 = R 2 = 2 and R 1 = R2. Since there are only two rings of order two, and diam(γ(2z 4 2Z 4 )) = 1 = diam(γ(z 2 Z 2 )) = 1, then diam(γ R 2 )) = 1. (iii) ( ) Assume diam(γ R 2 )) = 3. Assume without loss of generality that Z(R 1 ) = R 1. Also R 1 > 1 by part (i). Thus, since diam(γ(r 1 )) = 0, R 1 = 2Z4. Then every vertex in Γ R 2 ) is adjacent to (x, 0), where x R1. Then diam(γ R 2 )) 2. This is a contradiction, of diam(γ R 2 )) = 3, so R 1 Z(R 1 ) and R 2 Z(R 2 ). Assume Γ(R 1 ) = Γ(R 2 ) = K 0, the graph with no vertices. Thus Z(R 1 ) = Z(R 2 ) =. Thus every vertex in Γ R 2 ) must be of the form (x, 0) or (0, y), where x reg(r 1 ), y reg(r 2 ). Thus Γ R 2 ) is complete bipartite, so diam(γ R 2 )) 2. ( ) By Lemma 2.1. (iv) Follows from (i), (ii), (iii). 3. IdealDivisor Graphs of Direct Products (Diameter Zero By N) Lemma 3.1. Let Γ I (R) be the idealdivisor graph of R with respect to an ideal I such that Γ I (R) has exactly one vertex. Then I = {0}. Proof. Assume Γ I (R) as above. Then x Z I (R) such that x 2 I. Let i I. Now (x + i)x = x 2 + ix I. Thus, since there is only one vertex in Γ I (R), we know that x + i = x, so i = 0. Thus I = {0}. Lemma 3.2. (Analogue to ASW Lemma 2.3) Let R be a commutative ring with ideal I such that diam(γ I (R)) = 2. Suppose Z I (R) is a (not necessarily proper) subring of R. Then for all x, y Z I (R), there exists a z / I such that xz, yz I.
4 4 T. BRAND, M. JAMESON, M. MCGOWAN, AND J.D. MCKEEL Proof. Let x, y Z I (R). If x I, then simply choose z such that yz I. We can similarly find z if y I or if x = y. Thus we assume x, y are distinct and not in I. Since diam(γ I (R)) = 2, if xy I, we know that there exists some z Z I (R) such that xz, yz I. So assume xy I. If x 2 I, then clearly we can choose z = x. A similar situation exists if y 2 I. Therefore we may also assume that x 2, y 2 I. Let X = {x Z I (R) xx I} and Y = {y Z I (R) yy I}. Note that since x Y and y X, these sets are not empty. Furthermore, if X Y, then choosing z X Y will suffice. Thus assume that X Y =. Consider the element x + y. Obviously x + y x and x + y y. If x + y I, then x(x + y) I which implies that x 2 I. Thus x + y / I. Thus x + y Z I (R) since Z I (R) is a subring. Furthermore, since x 2, y 2 I, we know that x + y X and x + y Y. But the diameter of Γ I (R) is 2, so we know that we can find some w X such that xw I, w(x + y) I. But then w(x+y) I which implies that wy I, so w X Y, which is a contradiction. Theorem 3.3. Let R 1, R 2 be commutative rings and I 1, I 2 be their respective ideals such that diam(γ I1 (R 1 )) = diam(γ I2 (R 2 )) = 0. Then R 2 )) = 0 if and only if (without loss of generality) I 1 = R 1 and either R 1 = {0} or I 2 is a prime ideal R 2 )) = 1 if and only if (without loss of generality) I 1 = {0} and either Z I1 (R 1 ) with I 2 = R 2 {0} or R 1 = R2 with R 1 = 2 R 2 )) = 3 if and only if R 1 Z I1 (R 1 ), R 2 Z I2 (R 2 ) and (without loss of generality) Z I1 (R 1 ) = 1. (iv) diam(γ I1 I 2 R 2 )) = 2 otherwise. Proof. (i) ( ) Assume diam(γ I1 I 2 R 2 )) = 0. Now, if reg I1 (R 1 ), reg I2 (R 2 ), then x reg I1 (R 1 ), y reg I2 (R 2 ). Then (x, 0)(0, y) = 0 I 1 I 2, which is a contradiction of diam(γ I1 I 2 R 2 )) = 0. Thus, without loss of generality, reg I1 (R 1 ) =, so R 1 = I 1. If Γ I1 I 2 R 2 ) = K 0, then I 1 I 2 is a prime ideal. Now, consider ab I 2. Then (0, a)(0, b) I 1 I 2. Since I 1 I 2 is prime, (0, a) I 1 I 2 or (0, b) I 1 I 2.Thus a I 2 or b I 2. Thus I 2 is a prime ideal. If Γ I1 I 2 R 2 ) has one vertex, then I 1 I 2 = {0}, by Lemma 3.1. Then I 1 = I 2 = {0}, and Γ I1 I 2 R 2 ) = Γ R 2 ). By Theorem 2.4, then without loss of generality, R 1 = {0}. ( ) Assume I 1 = R 1 and either R 1 = {0} or I 2 is a prime ideal. Let I 1 = R 1 = {0}. If diam(γ I1 I 2 R 2 )) > 0, (0, y 1 ), (0, y 2 ) / I 1 I 2 such that (0, y 1 )(0, y 2 ) I 1 I 2. Then y 1, y 2 / I 2 and y 1 y 2 I 2, so diam(γ I2 (R 2 )) > 0. This is a contradiction, so diam(γ I1 I 2 R 2 )) = 0. Let I 1 = R 1, and I 2 be a prime ideal of R 2. If diam(γ I1 I 2 R 2 )) > 0, then there exist distinct (x 1, y 1 ), (x 2, y 2 ) / I 1 I 2 such that (x 1, y 1 )(x 2, y 2 ) I 1 I 2. Since R 1 = I 1, we have y 1, y 2 / I 2 and y 1 y 2 I 2. Thus I 2 is not a prime ideal. This is a contradiction, so diam(γ I1 I 2 R 2 )) = 0. (ii) ( ) Assume diam(γ I1 I 2 R 2 )) = 1. Assume Γ I1 (R 1 ) = Γ I2 (R 2 ) = K 0. Since diam(γ I1 I 2 R 2 )) = 1, vertices (x, 0), (0, y) Z I1 I 2 R 2 ). Thus x reg I1 (R 1 ), y reg I2 (R 2 ). For all i I 1, (x + i, 0)(0, y) I 1 I 2, and (x + i, 0)(x, 0) /
5 ZERODIVISOR AND IDEALDIVISOR GRAPHS OF COMMUTATIVE RINGS 5 I 1 I 2. This implies that (x+i, 0) = (x, 0), so i = 0 and thus I 1 = {0}. Similarly, I 2 = {0}. By Theorem 2.4, R 1 = R 2 = 2 and R 1 = R2. Assume Γ I1 (R 1 ) = K 1 and Γ I2 (R 2 ) = K 0. By Lemma 3.1, I 1 = {0}. Let x Z I1 (R 1 ) (x must exist since Γ I1 (R 1 ) = K 1 ). If R 2 I 2, y reg I2 (R 2 ). Then (x, 0)(x, y) I 1 I 2 and (x, 0)(0, y) I 1 I 2, but (x, y)(0, y) / I 1 I 2. Thus diam(γ I1 I 2 R 2 )) 2. So I 2 = R 2. Also note that I 2 {0} (since I 2 = {0} would imply diam(γ I1 I 2 R 2 )) = 0 by part (i) above). Assume Γ I1 (R 1 ) = Γ I2 (R 2 ) = K 1. By Lemma 3.1, I 1 = I 2 = {0}, so R 1 = R 2 = 2 and R 1 = R2 by Theorem 2.4. ( ) Assume that I 1 = {0} and R 1 = R2 with R 1 = 2. Thus diam(γ I1 I 2 R 2 )) = 1 by Theorem 2.4. Assume that I 1 = {0} and Z I1 (R 1 ) with I 2 = R 2 {0}. Let x Z I1 (R 1 ). Thus, for all vertices (x, y 1 ), (x, y 2 ) Z I2 I 2 R 2 ) (we know y 1, y 2 I 2, so the first entry must indeed be x), it s clear that (x, y 1 )(x, y 2 ) I 1 I 2. Also, there are at least two vertices since I 2 {0}, so diam(γ I1 I 2 R 2 )) = 1. (iii) ( )Assume diam(γ I1 I 2 R 2 )) = 3. Assume Γ I1 (R 1 ) = Γ I2 (R 2 ) = K 0. Then Z I1 (R 1 ) = Z I2 (R 2 ) =. Now, consider (x 1, y 1 ), (x 2, y 2 ) Z I1 I 2 R 2 ) such that d((x 1, y 1 ), (x 2, y 2 )) = 3. Since (x 1, y 1 ) / I 1 I 2, assume without loss of generality that x 1 reg I1 (R 1 ). Then y 1 I 2. Similarly, x 2 reg I1 (R 1 ) or y 2 reg I2 (R 2 ).  If x 2 reg I1 (R 1 ), then y 2 I 2 because (x 2, y 2 ) Z I1 I 2 R 2 ). Let (a, b) be a vertex adjacent to (x 1, y 1 ). We know that x 1 a I 1, so a I 1. Thus (a, b)(x 2, y 2 ) I 1 I 2 since a I 1 and y 2 I 2. Thus d((x 1, y 1 ), (x 2, y 2 )) = 2.  If y 2 reg I2 (R 2 ), then x 2 I 1. Thus (x 1, y 1 )(x 2, y 2 ) I 1 I 2, so d((x 1, y 1 ), (x 2, y 2 )) = 1. In either case, we have a contradiction. Assume Γ I1 (R 1 ) = K 1 and Γ I2 (R 2 ) = K 0. I 1 = {0} by Lemma 3.1. If R 2 = Z I2 (R 2 ), then R 2 = I 2. Let x Z I1 (R 1 ). Since R 2 = Z I2 (R 2 ), the set of vertices is Z I1 I 2 R 2 ) = {(x, i) i I 2 }, all of which are adjacent to each other by definition. So Γ I1 I 2 R 2 ) = K R2. This is a contradiction of diam(γ I1 I 2 R 2 )) = 3, so R 2 Z I2 (R 2 ). If R 1 = Z I1 (R 1 ), then (x, 0) is adjacent to all other vertices in Γ I1 I 2 R 2 ), where x Z I1 (R 1 ). Thus diam(γ I1 I 2 R 2 )) 2. Thus R 1 Z I1 (R 1 ). Assume Γ I1 (R 1 ) = Γ I2 (R 2 ) = K 1. Then I 1 = I 2 = {0} by Lemma 3.1, so R 1 Z I1 (R 1 ) and R 2 Z I2 (R 2 ) by Theorem 2.4. ( ) Assume R 1 Z I1 (R 1 ), R 2 Z I2 (R 2 ), Γ I1 (R 1 ) = K 1 and diam(γ I1 I 2 R 2 )) 3. Let x 1 reg I1 (R 1 ), x 2 Z I1 (R 1 ), and y reg I2 (R 2 ). Consider the distinct vertices (x 1, 0) and (x 2, y). Clearly, (x 1, 0)(x 2, y) / I 1 I 2 by construction. Thus (a, b) Z I1 I 2 R 2 ) such that (a, b)(x 1, 0) I 1 I 2 and (a, b)(x 2, y) I 1 I 2. Since x 1 a I 1 and yb I 2, then (a, b) I 1 I 2, which is a contradiction. Thus diam(γ I1 I 2 R 2 )) = 3. (iv) Follows from (i), (ii), (iii).
6 6 T. BRAND, M. JAMESON, M. MCGOWAN, AND J.D. MCKEEL Theorem 3.4. Let diam(γ I1 (R 1 )) = 0 and diam(γ I2 (R 2 )) = 1. (i) diam(γ R 2 )) > 0. (ii) diam(γ R 2 )) = 1 if and only if both R 2 1 I 1 and R 2 2 I 2 or R 1 = I 1. (iii) diam(γr 2 )) = 2 if and only if R 1 I 1 and (without loss of generality) R 2 1 I 1 and R 2 2 I 2. (iv) diam(γ R 2 )) = 3 if and only if R 2 1 I 1 and R 2 2 I 2. Proof. Let diam(γ I1 (R 1 )) = 0 and diam(γ I2 (R 2 )) = 1. (i) Let x, y Z I 2 (R 2 ) such that x y and xy I 2. Then (0, x)(0, y) = (0, xy) I 1 I 2, so diam(γ I1 I 2 R 2 )) > 0. (ii) ( ) Let diam(γ I1 I 2 R 2 )) = 1. Suppose R1 2 I 1, then a, b R 1 such that ab / I 1. Clearly a, b / I 1. Let c ZI 2 (R 2 ). Then (a, c), (b, 0) ZI 1 I 2 R 2 ), but (a, c)(b, 0) = (ab, 0) / I 1 I 2, so d((a, c), (b, 0)) > 1, a contradiction. Suppose R2 2 I 2, then a, b R 2 such that ab / I 2. Clearly a, b / I 2. If ZI 1 (R 1 ), let c ZI 1 (R 1 ). Then (c, a), (0, b) ZI 1 I 2 R 2 ), but (c, a)(0, b) = (0, ab) / I 1 I 2, so d((c, a), (0, b)) > 1, a contradiction. Thus Z I1 (R 1 ) =, so consider R 1 I 1. If R 1 I 1, then R1 2 I 1, a contradiction from earlier. Thus R 1 I 1 =, so R 1 = I 1. ( ) Suppose R 1 = I 1. By Lemma 2.2, diam(γ I1 I 2 R 2 )) = diam(γ I2 (R 2 )) = 1. Suppose R1 2 I 1 and R2 2 I 2. Then for all (a, b), (c, d) Z I1 I 2 R 2 ), since ac I 1 and bd I 2, (ac, bd) I 1 I 2, so diam(γ I1 I 2 R 2 )) = 1. (iii) ( ) Let diam(γ I1 I 2 R 2 )) = 2. By contrapositive of Lemma 2.2, R 1 I 1. Suppose Z I1 (R 1 ). Assume reg I1 (R 1 ), reg I2 (R 2 ). Let a reg I1 (R 1 ), b reg I2 (R 2 ), c Z I1 (R 1 ), d Z I2 (R 2 ). Since a is regular, we need an element from I 1 in the first component to kill a, and since b is regular, we need an element from I 2 in the second component to kill b. Then ann I1 I 2 ((a, d)) = {(i, l) dl I 2 and i I 1 } and ann I1 I 2 ((c, b)) = {m, i) cm I 1 and i I 2 }. Since ann I1 I 2 ((a, d)) ann I1 I 2 (c, b) = I 1 I 2, only trivial elements (elements in I 1 I 2 ) can kill both (a, d) and (c, b), so d((a, d), (c, b)) > 2, a contradiction. Thus either reg I1 (R 1 ) = or reg I2 (R 2 ) =. Suppose reg I2 (R 2 ) =. Then R 2 = Z I2 (R 2 ) and by Lemma 2.3, R2 2 I 2. By ii), R1 2 I 1. Now suppose reg I1 (R 1 ) =. Since diam(γ I1 (R 1 )) = 0 and Z I1 (R 1 ), Γ I1 (R 1 ) = K 1. Then Z I1 (R 1 ) = {a}, a 2 I 1, and R 1 = {0, a}. Then R1 2 I 1, and by ii), R Suppose Z I1 (R 1 ) =. Then since R 1 I 1, reg I1 (R 1 ), and R1 2 I 1. Assume reg I2 (R 2 ). Let a reg I1 (R 1 ), x Z I2 (R 2 ), r reg I2 (R 2 ). Then (a, x), (0, r) Z I1 I 2 R 2 ). Since a is regular, we need an element from I 1 in the first component to kill it a, and since r is regular, we need an element from I 2 in the second component to
7 ZERODIVISOR AND IDEALDIVISOR GRAPHS OF COMMUTATIVE RINGS 7 kill r. Then ann I1 I 2 ((a, x)) = {(i, y) xy I 2 and i I 1 } and ann I1 I 2 ((0, r)) = {(b, i) b R 1 and i I 2 }. Since ann I1 I 2 ((a, x)) ann I1 I 2 ((0, r)) = I 1 I 2, only trivial elements (elements in I 1 I 2 ) can kill both (a, x) and (0, r), so d((a, x), (0, r)) > 2, a contradiction. Thus reg I2 (R 2 ) =, so R 2 = Z I2 (R 2 ) and by Lemma 2.3, R2 2 I 2. ( ) Assume R1 2 I 1, R2 2 I 2, and R 1 I 1. Let c R 1 I 1. Then (c, 0) is adjacent to every vertex in Γ I1 I 2 R 2 ), so diam(γ I1 I 2 R 2 )) 2. Then from i), diam(γ I1 I 2 R 2 )) 1, so diam(γ I1 I 2 R 2 )) = 2. Assume R1 2 I 1 and R2 2 I 2. Let c R 2 I 2. Then (0, c) is adjacent to every vertex in Γ I1 I 2 R 2 ), so diam(γ I1 I 2 R 2 )) 2. Then from i), diam(γ I1 I 2 R 2 )) 1, so diam(γ I1 I 2 R 2 )) = 2. (iv) Follows from (i), (ii), and (iii). Corollary 3.5. Let diam(γ(r 1 )) = 0 and diam(γ(r 2 )) = 1. (i) diam(γ R 2 )) > 0. (ii) diam(γ R 2 )) = 1 if and only if R 2 1 = 0 = R 2 2 or R 1 = {0}. (iii) diam(γ R 2 )) = 2 if and only if R 1 {0} and (without loss of generality) R 2 1 = 0 and R (iv) diam(γ R 2 )) = 3 if and only if R 2 1, R Theorem 3.6. Let R 1 and R 2 be rings with ideals I 1 and I 2, respectively, such that diam(γ I1 (R 1 )) = 0 and diam(γ I2 (R 2 )) = 2. Then: R 2 )) > 1. R 2 )) = 2 if and only if R 1 = Z I1 (R 1 ) or R 2 = Z I2 (R 2 ). R 2 )) = 3 if and only if R 1 Z I1 (R 1 ) and R 2 Z I2 (R 2 ). Proof. (i) Since diam(γ I2 (R 2 )) 2, there exist distinct y 1, y 2 Z I2 (R 2 ) with y 1 y 2 / I 2. Then (0, y 1 )(0, y 2 ) = (0, y 1 y 2 ) / I 1 I 2. Therefore diam(γ I1 I 2 R 2 )) > 1. (ii) ( ) Let R 1 = Z I1 (R 1 ) (the proof of Theorem 3.13 satisfies the case where R 2 = Z I2 (R 2 )). Since diam(γ I1 (R 1 )) = 0, either R 1 = I 1 or R 1 = I 1 {a}, where a 2 I 1. Thus, R 2 1 I 1. Therefore, (r, 0)(x, y) I 1 I 2 for all r R 1, (x, y) Z I1 I 2 R 2 ). Hence, diam(γ I1 I 2 R 2 )) 2. By (i), diam(γ I1 I 2 R 2 )) = 2. ( ) By the contrapositive of Lemma 2.1. (iii) By (i) and (ii). Corollary 3.7. Let R 1 and R 2 be rings with diam(γ(r 1 )) = 0 and diam(γ(r 2 )) = 2. Then: (i) diam(γ R 2 )) > 1. (ii) diam(γ R 2 )) = 2 if and only if R 1 = Z(R 1 ) or R 2 = Z(R 2 ). (iii) diam(γ R 2 )) = 3 if and only if R 1 Z(R 1 ) and R 2 Z(R 2 ). Theorem 3.8. Let R 1 and R 2 be commutative rings. If diam(γ I1 (R 1 )) = 0 and diam(γ I2 (R 2 )) = 3, then: R 2 )) > 1. R 2 )) = 2 if and only if R 1 = Z I (R 1 ) I 1. R 2 )) = 3 if and only if R 1 = I 1 or R 1 Z I (R 1 ).
8 8 T. BRAND, M. JAMESON, M. MCGOWAN, AND J.D. MCKEEL Proof. (i) Same as Theorem 3.6 (i). (ii) ( ) Let diam(γ I1 I 2 R 2 )) = 2. Assume that R 1 Z I (R 1 ). Note that since diam(γ I1 I 2 (R 2 )(R 2 ) = 3), we can find a minimal path of length 3, y 1 y 2 y 3 y 4 We also know there exists r 1 reg I (R 1 ). But then consider the path (0, y 1 ) (r 1, y 2 ) (0, y 3 ) (r 1, y 4 ) Clearly none of the elements in the path are adjacent. If there exists some (i, b) where i I 1 such that (0, y 1 ) (i, b) (r 1, y 4 ) is a path, this contradicts the fact that d(y 1, y 4 ) = 3. Thus that path must be minimal as well. But this implies d((0, y 1 ), (r 1, y 4 )) = 3, a contradiction. If Z I (R 1 ) = I 1, then if j I 1, the path (j, y 1 ) (j, y 2 ) (j, y 3 ) (j, y 4 ) is clearly minimal, so we get a contradiction here as well. ( ) Let R 1 = Z I (R 1 ) I 1. Then there exist a, b R 1 (not necessarily distinct) where ab I 1. We know that we have the minimal path in Γ I2 (R 2 ) y 1 y 2 y 3 y 4 therefore the path (a, y 1 ) (b, y 2 ) (0, y 3 ) is minimal, so diamγ I1 I 2 R 2 )) 2. Note that since diam(γ I1 (R 1 )) = 0, if pq I 1, then p = q. Since R 1 I 1, we know that p exists. Thus all elements in Γ I1 I 2 R 2 ) are of the form (j, r 2 ) or (p, r 2 ) for some r 2 R 2. Thus the element (p, 0) is a bridge between any two other elements, so we know the diameter of Γ R 2 ) is exactly 2. (iii) Follows from (i) and (ii). Corollary 3.9. Let R 1 and R 2 be commutative rings. Then if diam(γ(r 1 )) = 0 and diam(γ(r 2 )) = 3 then: (i) diam(γ R 2 )) > 1. (ii) diam(γ R 2 )) = 2 if and only if R 1 = Z(R 1 ) {0}. (iii) diam(γ R 2 )) = 3 if and only if R 1 = {0} or R 1 Z(R 1 ). Theorem Let R 1 and R 2 be commutative rings with ideals I 1 and I 2, respectively, such that diam(γ I1 (R 1 )) = diam(γ I2 (R 2 )) = 1. Then R 2 )) = 1 if and only if R 2 1 I 1 and R 2 2 I 2. R 2 )) = 2 if and only if without loss of generality R 2 1 I 1 and R 2 2 I 2. R 2 )) = 3 if and only if R 2 1 I 1 and R 2 2 I 2. Proof. (i) ( ) Without loss of generality, let diam(γ I1 I 2 R 2 )) = 1 and R1 2 I 1. Then there exist x 1, x 2 R 1 such that x 1 x 2 / I 1. Therefore (x 1, 0)(x 2, 0) / I 1 I 2, so diam(γ I1 I 2 R 2 )) > 1. ( ) Let R1 2 I 1 and R2 2 I 2. Then for all (x 1, y 1 ), (x 2, y 2 ) R 1 R 2, we know that x 1 x 2 I 1 and y 1 y 2 I 2, so (x 1, y 1 )(x 2, y 2 ) = (x 1 x 2, y 1 y 2 ) I 1 I 2.
9 ZERODIVISOR AND IDEALDIVISOR GRAPHS OF COMMUTATIVE RINGS 9 (ii) ( ) Assume diam(γ I1 I 2 R 2 )) = 2. If R 2 1 I 1 and R 2 2 I 2, then diam(γ I1 I 2 R 2 )) = 1 by part (i), which forms a contradiction. Thus assume R 2 1 I 1 and R 2 2 I 2. By Lemma 2.3, there must exist x 1 reg I1 (R 1 ), and y 1 reg I2 (R 2 ). Let x 2 Z I1 (R 1 ), y 2 Z I2 (R 2 ) and consider the two elements (x 1, y 2 ), (x 2, y 1 ) Z I1 I 2 R 2 ). Clearly (x 1, y 2 )(x 2, y 1 ) = (x 1 x 2, y 1 y 2 ) / I 1 I 2 by choice of x 1 and y 1. Since diam(γ I1 I 2 R 2 )) = 2, there must exist an element (a, b) Z I1 I 2 R 2 ) such that (x 1, y 2 )(a, b) I 1 I 2 and (x 2, y 1 )(a, b) I 1 I 2. Thus x 1 a I 1, so a I 1. Similarly, y 1 b I 2, so b I 2. Thus (a, b) I 1 I 2, so we have a contradiction. ( ) Assume without loss of generality that R 2 1 I 1, R 2 2 I 2. Then diam(γ I1 I 2 R 2 )) > 1 by part (i). Also, since R 2 1 I 1, for all x 1, x 2 R 1, x 1 x 2 I 1. Thus (x 1, 0) is adjacent to every vertex in Γ I1 I 2 R 2 ), so a path of length 2 can be found between any two vertices in Γ I1 I 2 R 2 ) by way of the vertex (x 1, 0). Thus diam(γ I1 I 2 R 2 )) = 2. (iii) Follows directly from parts (i) and (ii). Theorem Let R 1 and R 2 be commutative rings with ideals I 1 and I 2, respectively, such that diam(γ I1 (R 1 )) = 1 and diam(γ I2 (R 2 )) = 2. Then: R 2 )) > 1. R 2 )) = 2 if and only if R 1 = Z I1 (R 1 ) or R 2 = Z I2 (R 2 ). R 2 )) = 3 if and only if R 1 Z I1 (R 1 ) and R 2 Z I2 (R 2 ). Proof. (i) Same as Theorem 3.6 (i). (ii) ( ) Let R 1 = Z I1 (R 1 ) (the case where R 2 = Z I2 (R 2 ) is addressed by the proof of Theorem 3.13). Thus, we have R1 2 I 1 by Lemma 2.3. Let a R1. Since (a, 0)(x, y) I 1 I 2 for all (x, y) Z ( I 1 I 2 R 1 R 2 ), we have diam(γ I1 I 2 R 2 )) 2. It follows from (i) that diam(γ I1 I 2 R 2 )) = 2. ( ) Assume that diam(γ I1 I 2 R 2 )) = 2, R 1 Z I1 (R 1 ), and R 2 Z I2 (R 2 ). Let x Z I1 (R 1 ), y Z I2 (R 2 ), m reg I1 (R 1 ), n reg I2 (R 2 ). Then (x, n)(m, y) / I 1 I 2. Since diam(γ I1 I 2 R 2 )) = 2, there exists (a, b) Z I1 I 2 R 2 ) such that (x, n)(a, b), (m, y)(a, b) I 1 I 2. Then ma I 1 and nb I 2, so (a, b) I 1 I 2, a contradiction. (iii) Follows from (i) and (ii). Theorem Let R 1 and R 2 be commutative rings with ideals I 1 and I 2, respectively, such that diam(γ I1 (R 1 )) = 1 and diam(γ I2 (R 2 )) = 3. Then: R 2 )) > 1. R 2 )) = 2 if and only if R 1 = Z I1 (R 1 ). R 2 )) = 3 if and only if R 1 Z I1 (R 1 ). Proof. (i) Same as Theorem 3.6 (i). (ii) ( ) Same as Theorem 3.11 (ii). ( ) Assume that diam(γ I1 I 2 R 2 )) = 2 and R 1 Z I1 (R 1 ). Let m reg I1 (R 1 ). Since diam(γ I2 (R 2 )) = 3, there exist distinct y 1, y 2 Z I2 (R 2 ) with y 1 y 2 / I 2, and there is no y 3 Z I2 (R 2 ) such that y 1 y 3, y 2 y 3 I 2. Now (m, y 1 ), (m, y 2 ) Z I1 I 2 R 2 ), and (m, y 1 )(m, y 2 ) / I 1 I 2.
10 10 T. BRAND, M. JAMESON, M. MCGOWAN, AND J.D. MCKEEL Since diam(γ I1 I 2 R 2 )) = 2, there exists (a, b) Z I1 I 2 R 2 ) such that (m, y 1 )(a, b), (m, y 2 )(a, b) I 1 I 2. Then ma I 1, so we have a I 1. Also, y 1 b, y 2 b I 2. Hence, b I 2. Thus, (a, b) I 1 I 2, a contradiction. (iii) By (i) and (ii). Theorem Let R 1 and R 2 be commutative rings with ideals I 1 and I 2, respectively, such that diam(γ I (R 1 )) = diam(γ I (R 2 )) = 2. Then: R 2 )) > 1 R 2 )) = 2 if and only if R 1 = Z I1 (R 1 ) or R 2 = Z I2 (R 2 ) R 2 )) = 3 if and only if R 1 Z I1 (R 1 ) and R 2 Z I2 (R 2 ) Proof. (i) Same as Theorem 3.6 (i). (ii) ( ) Without loss of generality, let R 1 = Z I1 (R 1 ). Since R 1 = Z I1 (R 1 ), by Lemma 3.2, for all x 1, x 2 Z I1 (R 1 ), there exists x 3 R 1 I 1 such that x 3 x 1, x 3 x 2 I 1. So for all (x 1, y 1 ), (x 2, y 2 ) Z I1 I 2 R 2 ), there exists (x 3, 0) Z I1 I 2 R 2 ) such that (x 1, y 1 )(x 3, 0) I 1 I 2. If without loss of generality (x 2, y 2 ) = (x 3, 0) then (x 1, y 1 )(x 2, y 2 ) I 1 I 2. Thus diam(γ I1 I 2 R 2 )) 2 and by (i), diam(γ I1 I 2 R 2 )) = 2. ( ) Same as Theorem 3.11 (ii). (iii) By (i) and (ii). Theorem Let R 1 and R 2 be commutative rings with ideals I 1 and I 2, respectively, such that diam(γ I1 (R 1 )) = 2 and diam(γ I2 (R 2 )) = 3. Then: R 2 )) > 1. R 2 )) = 2 if and only if R 1 = Z I1 (R 1 ). R 2 )) = 3 if and only if R 1 Z I1 (R 1 ). Proof. (i) Same as Theorem 3.6 (i). (ii) ( ) Same as Theorem 3.13 (ii). ( ) Let diam(γ I1 I 2 R 2 )) = 2. Assume that R 1 Z I1 (R 1 ). Let k reg I1 (R 1 ). Since diam(γ I2 (R 2 )) = 3, we know that we can find a minimal path y 1 y 2 y 3 y 4 where d(y 1, y 4 ) = 3. Similarly, we know that that since Γ I1 (R 1 ) has diameter 2, we can find x 1 and x 2 such that x 1 is adjacent to x 2. Then consider the following path in Γ I1 I 2 R 2 ): (k, y 1 ) (0, y 2 ) (x 1, y 3 ) (x 2, y 4 ) Note that (k, y 1 ) can t be adjacent to (x 2, y 4 ) since k reg I1 (R 1 ). Then there must exist some (a, b) such that (k, y 1 )(a, b) I 1 I 2 and (a, b)(x 2, y 4 ) I 1 I 2. Note that this forces a I 1. Then b can t be in I 2. But then d(y 1, y 4 ) = 2, which is a contradiction. Thus R 1 = Z I1 (R 1 ). (iii) By (i) and (ii).
11 ZERODIVISOR AND IDEALDIVISOR GRAPHS OF COMMUTATIVE RINGS 11 Theorem Let R 1 and R 2 be commutative rings with ideals I 1 and I 2, respectively, such that diam(γ I1 (R 1 )) = diam(γ I2 (R 2 )) = 3. Then diam(γ I1 I 2 R 2 )) = 3. Proof. Since diam(γ I1 (R 1 )) = 3, there exist vertices x 1, x 2, x 3, x 4 Γ I1 (R 1 ) such that there is a minimal path x 1 x 2 x 3 x 4 and d(x 1, x 4 ) = 3. Similarly, we can find vertices y 1, y 2, y 3, y 4 Γ I2 (R 2 ) such that there is a minimal path y 1 y 2 y 3 y 4 and d(y 1, y 4 ) = 3. Now consider the following path in Γ I1 I 2 R 2 ); (x 1, y 1 ) (x 2, y 2 ) (x 3, y 3 ) (x 4, y 4 ) Assume that d((x 1, y 1 ), (x 4, y 4 )) < 3. Then there are two cases: (x 1, y 1 ) is adjacent to (x 4, y 4 ). But this would imply that x 1 was adjacent to x 4 in Γ I1 (R 1 ), which would contradict the fact that d(x 1, x 4 ) = 3. (x 1, y 1 ) is adjacent to some (a, b) which is adjacent to (x 4, y 4 ). Assume a I 1. But then y 1 b I 2 and by 4 I 2 which would imply that in Γ I2 (R 2 ), we would have the path y 1 b y 4 which contradicts d(y 1, y 4 ) = 3. We get a similar contradiction if b I 2. Thus d((x 1, y 1 ), (x 4, y 4 )) 3. Since the diameter of a idealdivisor graph is always bounded by 3, we get that diam(γ I1 I 2 R 2 )) = 3. References [1] Anderson, D. and Livingston, P., The ZeroDivisor Graph of a Commutative Ring, J. Algebra 217 (1999), [2] Axtell, M., Stickles, J., and Warfel, J., ZeroDivisor Graphs of Direct Products of Commutative Rings, Houston Journal of Mathematics(to appear). [3] Beck, I., Coloring of Commutative Rings, J. Algebra 116 (1988), [4] Redmond, S., An IdealBased ZeroDivisor Graph of a Commutative Ring, Comm. Alg. Vol. 31, No. 9 (2003), Harvey Mudd College address: Harvey Mudd College address: John Carroll University address: University of Evansville address:
ZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS
ZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS M. AXTELL, J. COYKENDALL, AND J. STICKLES Abstract. We recall several results of zero divisor graphs of commutative rings. We
More informationinv lve a journal of mathematics Zerodivisor ideals and realizable zerodivisor graphs Michael Axtell, Joe Stickles and Wallace Trampbachls
inv lve a journal of mathematics Zerodivisor ideals and realizable zerodivisor graphs Michael Axtell, Joe Stickles and Wallace Trampbachls mathematical sciences publishers 2009 Vol. 2, No. 1 INVOLVE
More informationGRAPHS AND ZERODIVISORS. In an algebra class, one uses the zerofactor property to solve polynomial equations.
GRAPHS AND ZERODIVISORS M. AXTELL AND J. STICKLES In an algebra class, one uses the zerofactor property to solve polynomial equations. For example, consider the equation x 2 = x. Rewriting it as x (x
More informationZERODIVISOR GRAPHS OF MATRICES OVER COMMUTATIVE RINGS
Communications in Algebra, 37: 1186 1192, 2009 Copyright Taylor & Francis Group, LLC ISSN: 00927872 print/15324125 online DOI: 10.1080/00927870802465951 ZERODIVISOR GRAPHS OF MATRICES OVER COMMUTATIVE
More informationZeroDivisor Graphs and Lattices of Finite Commutative Rings
Rose Hulman Undergraduate Mathematics Journal ZeroDivisor Graphs and Lattices of Finite Commutative Rings Darrin Weber a Volume 1, no. 1, Spring 011 Sponsored by RoseHulman Institute of Technology Department
More informationCOMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:
COMMUTATIVE RINGS Definition: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative
More informationBasic Properties of Rings
LECTURE 15 Basic Properties of Rings Theorem 15.1. For any element a in a ring R, the equation a + x 0 R has a unique solution. We know that a + x 0 R has at least one solution u R by Axiom (5) in the
More informationREALIZING ZERO DIVISOR GRAPHS
REALIZING ZERO DIVISOR GRAPHS ADRIANNA GUILLORY, MHEL LAZO, LAURA MONDELLO, AND THOMAS NAUGLE Abstract. In understanding the underlying structures of a commutative ring with unity, it helps to find illustrative
More informationAlgebraic Structures II
MAS 305 Algebraic Structures II Notes 10 Autumn 2006 Ring Theory A ring is a set R with two binary operations + and satisfying (a) (R,+) is an Abelian group; (b) R is closed under ; (c) is associative;
More informationSome Properties of Zero Divisor Graphs
International Mathematical Forum, Vol. 7, 2012, no. 16, 761767 Some Properties of Zero Divisor Graphs Abumoslem Mohammadi, Mohammad Etezadi and Saeed Hasanzadeh Faculty of Sciences, Emam Ali University,
More informationQuotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.
More informationGRAPH CONNECTIVITY. 9 Elementary Properties
9 Elementary Properties 30 GRAPH CONNECTIVITY 9 Elementary Properties Definition 9.1: A graph G is said to be connected if for every pair of vertices there is a path joining them. The maximal connected
More informationCHAPTER 6: RATIONAL NUMBERS AND ORDERED FIELDS
CHAPTER 6: RATIONAL NUMBERS AND ORDERED FIELDS LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN 1. Introduction In this chapter we construct the set of rational numbers Q using equivalence
More informationON IRREDUCIBLE DIVISOR GRAPHS IN COMMUTATIVE RINGS WITH ZERODIVISORS
 TAMKANG JOURNAL OF MATHEMATICS Volume 46, Number 4, 365388, December 2015 doi:10.5556/j.tkjm.46.2015.1753 This paper is available online at http://journals.math.tku.edu.tw/index.php/tkjm/pages/view/onlinefirst
More informationConnectivity. Definition 1 A separating set (vertex cut) of a connected G is a set S V (G) such that G S has more than one component.
Connectivity Definition 1 A separating set (vertex cut) of a connected G is a set S V (G) such that G S has more than one component. The connectivity, κ(g), is the minimum size of a vertex set S such that
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18 of Gallian s Contemporary Abstract Algebra. Most of the important
More informationZeroDivisor Graphs, Commutative Rings of Quotients, and Boolean Algebras
University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange Doctoral Dissertations Graduate School 52008 ZeroDivisor Graphs, Commutative Rings of Quotients, and Boolean Algebras
More informationConstructing Zero Divisor Graphs
Constructing Zero Divisor Graphs Alaina Wickboldt, Louisiana State University Alonza Terry, Xavier University of Louisiana Carlos Lopez, Mississippi State University SMILE 2011 Outline Introduction/Background
More informationIrreducible Divisor Graphs
Irreducible Divisor Graphs Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND 581055075 Jack Maney Department of Mathematical Sciences The University of South Dakota 414
More informationMA 274: EQUIVALENCE RELATIONS
MA 274: EQUIVALENCE RELATIONS 1. EQUIVALENCE RELATIONS Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that: (1) is reflexive. That is, (2) is symmetric. That is, x A,x
More information3.3 Proofs Involving Quantifiers
3.3 Proofs Involving Quantifiers 1. In exercise 6 of Section 2.2 you use logical equivalences to show that x(p (x) Q(x)) is equivalent to xp (x) xq(x). Now use the methods of this section to prove that
More informationSection 12.7: Maximum and Minimum Values. Definition: A function f(x, y) has a local maximum at (a, b) if f(x, y) f(a, b) for all (x, y) in
Section 12.7: Maximum and Minimum Values Definition: A function f(x, y) has a local maximum at (a, b) if f(x, y) f(a, b) for all (x, y) in some disk with center (a, b). The number f(a, b) is called a local
More informationAlgebraic Structures II
MAS 305 Algebraic Structures II Notes 12 Autumn 2006 Factorization in integral domains Lemma If a, b, c are elements of an integral domain R and ab = ac then either a = 0 R or b = c. Proof ab = ac a(b
More informationComments on the Pumping Lemma for Regular Languages
Comments on the Pumping Lemma for Regular Languages I will not go over the proof of the lemma here. The purpose of this section is to help you to understand how to use the lemma. The pumping lemma is used
More informationINTRODUCTION TO RAMSEY THEORY. Kristina Buschur
INTRODUCTION TO RAMSEY THEORY Kristina Buschur 1. Introduction In general, Ramsey theory deals with the guaranteed occurrence of specific structures in some part of a large arbitrary structure which has
More informationPartitioning edgecoloured complete graphs into monochromatic cycles and paths
arxiv:1205.5492v1 [math.co] 24 May 2012 Partitioning edgecoloured complete graphs into monochromatic cycles and paths Alexey Pokrovskiy Departement of Mathematics, London School of Economics and Political
More informationTopology I  Exercises and Solutions
Topology I  Exercises and Solutions July 25, 2014 1 Metric spaces 1. Let p be a prime number, and d: Z Z [0, + ) be a function defined by d p (x, y) = p max{m N : pm x y}. Prove that d p is a metric on
More informationDefinition For a set F, a polynomial over F with variable x is of the form
*7. Polynomials Definition For a set F, a polynomial over F with variable x is of the form a n x n + a n 1 x n 1 + a n 2 x n 2 +... + a 1 x + a 0, where a n, a n 1,..., a 1, a 0 F. The a i, 0 i n are the
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 50
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 50 RAVI VAKIL CONTENTS 1. Differentials: Motivation and game plan 1 2. The affine case: two of three definitions 2 1. DIFFERENTIALS: MOTIVATION AND GAME PLAN Differentials
More informationSection 3.6. [tx, ty] = t[x, y] S.
Section 3.6. (a) Let S be the set of vectors [x, y] satisfying x = 2y. Then S is a vector subspace of R 2. For (i) [, ] S as x = 2y holds with x = and y =. (ii) S is closed under addition. For let [x,
More information1. A nonzero ideal in a principal ideal domain is maximal if and only if it is prime.
Hungerford: Algebra III.3. Factorization in Commutative Rings 1. A nonzero ideal in a principal ideal domain is maximal if and only if it is prime. Proof: Let R be a PID and let I be a proper ideal in
More informationMATH REVIEW KIT. Reproduced with permission of the Certified General Accountant Association of Canada.
MATH REVIEW KIT Reproduced with permission of the Certified General Accountant Association of Canada. Copyright 00 by the Certified General Accountant Association of Canada and the UBC Real Estate Division.
More informationMATH 118 HW 1 LINDSAY CROSS, KELLY DOUGAN, KEVIN LIU
MATH 118 HW 1 LINDSAY CROSS, KELLY DOUGAN, KEVIN LIU 1.2 Problem 2. Find the greatest common divisor g of the numbers 1819 and 3574, and then find integers x and y to satisfy 1819x + 3587y = g. Use the
More information25 Integral Domains. Subrings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 25 Integral Domains. Subrings In Section 24 we defined the terms unitary rings and commutative rings. These terms together
More information1. The set of all nilpotent elements in a commutative ring forms an ideal.
Hungerford: Algebra III.2. Ideals 1. The set of all nilpotent elements in a commutative ring forms an ideal. Proof: Let R be a commutative ring and let N denote the set of all nilpotent elements in R.
More informationClass One: Degree Sequences
Class One: Degree Sequences For our purposes a graph is a just a bunch of points, called vertices, together with lines or curves, called edges, joining certain pairs of vertices. Three small examples of
More informationIn the question below determine whether the binary relation is: (1) reflexive, (2) symmetric, (3) antisymmetric, (4) transitive.
163 Discrete Mathematics eview 3 Use the following to answer question 1: In the question below determine whether the binary relation is: (1) reflexive, (2) symmetric, (3) antisymmetric, (4) transitive.
More informationThe WellOrdering Principle for the Integers. Some proofs in mathematics use a property of the set of integers called the WellOrdering Principle.
The WellOrdering Principle for the Integers Some proofs in mathematics use a property of the set of integers called the WellOrdering Principle. Definition of the WellOrdering Principle for the Integers
More informationON WEAKLY PRIMARY IDEALS
Georgian Mathematical Journal Volume 12 (2005), Number 3, 423 429 ON WEAKLY PRIMARY IDEALS SHAHABADDIN EBRAHIMI ATANI AND FARKHONDEH FARZALIPOUR Abstract. Weakly prime ideals in a commutative ring with
More informationGRAPH THEORY: INTRODUCTION
GRAPH THEORY: INTRODUCTION DEFINITION 1: A graph G consists of two finite sets: a set V (G) of vertices a set E(G) of edges, where each edge is associated with a set consisting of either one or two vertices
More informationMATH Algebra for High School Teachers Integral Domains
MATH 57091  Algebra for High School Teachers Integral Domains Professor Donald L. White Department of Mathematical Sciences Kent State University D.L. White (Kent State University) 1 / 8 Cancellation
More informationTriangle deletion. Ernie Croot. February 3, 2010
Triangle deletion Ernie Croot February 3, 2010 1 Introduction The purpose of this note is to give an intuitive outline of the triangle deletion theorem of Ruzsa and Szemerédi, which says that if G = (V,
More informationLOCAL RECOGNITION OF NONINCIDENT POINTHYPERPLANE GRAPHS
LOCAL RECOGNITION OF NONINCIDENT POINTHYPERPLANE GRAPHS ARJEH M. COHEN, HANS CUYPERS, RALF GRAMLICH Abstract. Let P be a projective space. By H(P) we denote the graph whose vertices are the nonincident
More informationEuclidean Domains and the Gaussian Integers : An Application
Euclidean Domains and the Gaussian Integers : An Application Shreejit Bandyopadhyay July 28, 2013 Abstract Commutative algebra is essentially the study of commutative rings and in this paper, we shed some
More informationPartitioning a graph into a cycle and an anticycle, a proof of Lehel s conjecture
Partitioning a graph into a cycle and an anticycle, a proof of Lehel s conjecture Stéphane Bessy and Stéphan Thomassé Abstract We prove that every graph G has a vertex partition into a cycle and an anticycle
More information30 Subrings, Ideals and Homomorphisms
30 Subrings, Ideals and Homomorphisms As in the case of groups, we give a name to subsets of a ring which are themselves rings 301 Definition: Let R be a ring A nonempty subset S of R is called a subring
More informationMTH 548 Graph Theory Fall 2003 Lesson 4  Paths and Cycles Walk, Trail, Path length= number of edges Connected graph, components circuit=closed
MTH 548 Graph Theory Fall 2003 Lesson 4  Paths and Cycles Walk, Trail, Path length= number of edges Connected graph, components circuit=closed trail, cycle=closed path Thm 3: u, vwalk implies u, vpath.
More informationPosets/1. 1 What is a poset? This is an abbreviated version of the Combinatorics Study Group notes by Thomas Britz and Peter Cameron.
Posets This is an abbreviated version of the Combinatorics Study Group notes by Thomas Britz and Peter Cameron. 1 What is a poset? A binary relation R on a set X is a set of ordered pairs of elements of
More informationAPPENDIX EXISTENCE AND UNIQUENESS OF A COMPLETE ORDERED FIELD
APPENDIX EXISTENCE AND UNIQUENESS OF A COMPLETE ORDERED FIELD This appendix is devoted to the proofs of Theorems 1.1 and 1.2, which together assert that there exists a unique complete ordered field. Our
More information12 Greatest Common Divisors. The Euclidean Algorithm
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 12 Greatest Common Divisors. The Euclidean Algorithm As mentioned at the end of the previous section, we would like to
More informationDoublecrossed chords and distancehereditary graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 65(2) (2016), Pages 183 190 Doublecrossed chords and distancehereditary graphs Terry A. McKee Department of Mathematics & Statistics Wright State University
More informationGroups, Rings, and Fields. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, S S = {(x, y) x, y S}.
Groups, Rings, and Fields I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, A binary operation φ is a function, S S = {(x, y) x, y S}. φ : S S S. A binary
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More informationFriendship twographs
DIMACS Technical Report 200814 November 2008 Friendship twographs by Endre Boros 1 RUTCOR, Rutgers Center for Operations Research Rutgers, The State University of New Jersey 640 Bartholomew Road, Piscataway,
More informationH/wk 13, Solutions to selected problems
H/wk 13, Solutions to selected problems Ch. 4.1, Problem 5 (a) Find the number of roots of x x in Z 4, Z Z, any integral domain, Z 6. (b) Find a commutative ring in which x x has infinitely many roots.
More information8 Divisibility and prime numbers
8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express
More informationSubgraphs and Paths and Cycles
15 October, 2015 Subgraphs Definition Let G = (V, E) be a graph. Graph H = (V, E ) is a subgraph of G if V V and E E. Subgraphs Definition Let G = (V, E) be a graph. Graph H = (V, E ) is a subgraph of
More information(Vertex) Colorings. We can properly color W 6 with. colors and no fewer. Of interest: What is the fewest colors necessary to properly color G?
Vertex Coloring 2.1 37 (Vertex) Colorings Definition: A coloring of a graph G is a labeling of the vertices of G with colors. [Technically, it is a function f : V (G) {1, 2,..., c}.] Definition: A proper
More informationCourse Notes for CS336: Graph Theory
Course Notes for CS336: Graph Theory Jayadev Misra The University of Texas at Austin 5/11/01 Contents 1 Introduction 1 1.1 Basics................................. 2 1.2 Elementary theorems.........................
More informationPOLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).
More informationOverview. Relations and Their Properties Equivalence Relations Partial Orderings
Chapter 9 Overview Relations and Their Properties Equivalence Relations Partial Orderings Section 9.1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example:
More informationOn the Structure of Finite Boolean Algebra Delin Tan, Ph.D.
On the Structure of Finite Boolean Algebra Delin Tan, Ph.D. Abstract Boolean algebra has very important applications in computer digital design. In this paper, we have investigated the structure of general
More informationCancelling an a on the left and a b on the right, we get b + a = a + b, which is what we want. Note the following identity.
15. Basic Properties of Rings We first prove some standard results about rings. Lemma 15.1. Let R be a ring and let a and b be elements of R. Then (1) a0 = 0a = 0. (2) a( b) = ( a)b = (ab). Proof. Let
More informationCommutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald
Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Adam Boocher 1 Rings and Ideals 1.1 Rings and Ring Homomorphisms A commutative ring A with identity is a set with two binary
More informationConnectivity. 5.1 Cut Vertices. Handout #Ch5 San Skulrattanakulchai Gustavus Adolphus College Oct 27, MCS236: Graph Theory
MCS236: Graph Theory Handout #Ch5 San Skulrattanakulchai Gustavus Adolphus College Oct 27, 2010 Connectivity 5.1 Cut Vertices Definition 1. A vertex v in a connected graph G is a cut vertex if G v is
More informationVERTEX DEGREES IN PLANAR GRAPHS
VERTEX DEGREES IN PLANAR GRAPHS Douglas B. West Department of Mathematics University of Illinois Urbana, Illinois 6101 Todd Will Department of Mathematics University of Illinois Urbana, Illinois 6101 Abstract
More information3. Prime and maximal ideals. 3.1. Definitions and Examples.
COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,
More informationHonours Graph Theory
University of Zimbabwe HMTH215 Graph Theory Honours Graph Theory Author: P. Mafuta Department: Mathematics April 6, 2016 Chapter 1 Introduction: Basic Graph Theory This course serves to answer many questions
More informationCourse 421: Algebraic Topology Section 1: Topological Spaces
Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............
More informationSolutions A ring A is called a Boolean ring if x 2 = x for all x A.
1. A ring A is called a Boolean ring if x 2 = x for all x A. (a) Let E be a set and 2 E its power set. Show that a Boolean ring structure is defined on 2 E by setting AB = A B, and A + B = (A B c ) (B
More informationMATH 113 HOMEWORK 1: SOLUTIONS
MATH 3 HOMEWORK : SOLUTIONS Problems From the Book: Axler Chapter, problems, 4, 8, 9, and 3. Solution to. Multiplying the numerator by its congruence directly gives a simplified expression of the ratio
More informationEvery tree contains a large induced subgraph with all degrees odd
Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University
More informationHomework 13 Solutions. X(n) = 3X(n 1) + 5X(n 2) : n 2 X(0) = 1 X(1) = 2. Solution: First we find the characteristic equation
Homework 13 Solutions PROBLEM ONE 1 Solve the recurrence relation X(n) = 3X(n 1) + 5X(n ) : n X(0) = 1 X(1) = Solution: First we find the characteristic equation which has roots r = 3r + 5 r 3r 5 = 0,
More informationCS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On wellordering and induction: (a) Prove the induction principle from the wellordering principle. (b) Prove the wellordering
More informationPUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.
PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include
More informationGraphs with four boundary vertices
Graphs with four boundary vertices Tobias Müller Attila Pór JeanSébastien Sereni Abstract A vertex v of a graph G is a boundary vertex if there exists a vertex u such that the distance in G from u to
More informationModern Algebra, Review for Final Exam
Modern Algebra, Review for Final Exam As with the first two onehour exams, the final exam be divided into three sections: a section on definitions and statements of important results, a section on examples
More information27 Principal ideal domains and Euclidean rings
Note. From now on all rings are commutative rings with identity 1 0 unless stated otherwise. 27 Principal ideal domains and Euclidean rings 27.1 Definition. If R is a ring and S is a subset of R then denote
More informationCS 103 Homework 2 Solutions Spring
Problem 1 Nim is a family of games played by two players. The game is set up with several of piles of stones. Players take turns removing stones from the piles, such that each move involves removing one
More informationINCIDENCEBETWEENNESS GEOMETRY
INCIDENCEBETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationA simple communication model can be represented by Fig. 1.1.
Chapter 1 Introduction Lecture 1, January 11, 2011 1.1 Examples In the modern era, digital information has become a valuable commodity. For example, governments, corporations, and universities all exchange
More information1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]
1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not
More information26 Ideals and Quotient Rings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed
More informationBROCK UNIVERSITY MATHEMATICS MODULES
BROCK UNIVERSITY MATHEMATICS MODULES 11A2.2 Introduction to Factoring a Polynomial Author: Darcy Berry WWW What it is: Expressing a polynomial as a product of polynomials of smaller degree. Why you need
More informationL(3, 2, 1)Labeling of Simple Graphs
L(3,, 1)Labeling of Simple Graphs Jean Clipperton Simpson College, IA jean.clipperton@simpson.edu Jessica Gehrtz Concordia CollegeMoorhead, MN jrgehrtz@cord.edu Zsuzsanna Szaniszlo Valparaiso University,
More informationFurther linear algebra. Chapter I. Integers.
Further linear algebra. Chapter I. Integers. Andrei Yafaev Number theory is the theory of Z = {0, ±1, ±2,...}. 1 Euclid s algorithm, Bézout s identity and the greatest common divisor. We say that a Z divides
More informationRigid twodimensional frameworks with three collinear points
Egerváry Research Group on Combinatorial Optimization Technical reports TR200402. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationThe Jacobson radical
The Jacobson radical April 1, 2015 At this point we have a good understanding of semisimple rings, in that we know they are all products of matrix rings over division algebras. Of course, the details of
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationThe number of edges in a bipartite graph of given radius
The number of edges in a bipartite graph of given radius P. Dankelmann, Henda C. Swart, P. van den Berg University of KwaZuluNatal, Durban, South Africa Abstract Vizing established an upper bound on the
More informationDefinition A tree is a connected, acyclic graph. Alternately, a tree is a graph in which any two vertices are connected by exactly one simple path.
11.5 Trees Examples Definitions Definition A tree is a connected, acyclic graph. Alternately, a tree is a graph in which any two vertices are connected by exactly one simple path. Definition In an undirected
More informationNUROP Congress Paper Properties of Chordal Graphs. Pow T.M. 1 and Tay T.S. 2
NUROP Congress Paper Properties of Chordal Graphs Pow T.M. 1 and Tay T.S. 2 Department of Mathematics, Faculty of Science, National University of Singapore 10 Kent Ridge Road, Singapore 117546 ABSTRACT
More informationSUM OF TWO SQUARES JAHNAVI BHASKAR
SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted
More informationMAD 3105 PRACTICE TEST 2 SOLUTIONS
MAD 3105 PRACTICE TEST 2 SOLUTIONS 1. Define a graph G with V (G) = {a, b, c, d, e}, E(G) = {r, s, t, u, v, w, x, y, z} and γ, the function defining the edges, is given by the table ɛ r s t u v w x y z
More informationMath 112 Solutions for Problem Set 2 Spring, 2013 Professor Hopkins
Math 112 Solutions for Problem Set 2 Spring, 2013 Professor Hopkins 1. (Rudin, Ch 1, #6). Fix b > 1. (a) If m,n,p,q are integers, n > 0, q > 0, and r = m/n = p/q, prove that (b m ) 1/n = (b p ) 1/q. Hence
More informationChapter 5. Connectivity. 5.1 Introduction
Chapter 5 Connectivity 5.1 Introduction The (strong) connectivity corresponds to the fact that a (directed) (u, v)path exists for any pair of vertices u and v. However, imagine that the graphs models
More information1.5 Problems and solutions
15 PROBLEMS AND SOLUTIONS 11 15 Problems and solutions Homework 1: 01 Show by induction that n 1 + 2 2 + + n 2 = n(n + 1)(2n + 1) 01 Show by induction that n 1 + 2 2 + + n 2 = n(n + 1)(2n + 1) We ve already
More informationP adic numbers And BruhatTits Tree
P adic numbers And BruhatTits Tree In the first part of these notes we give a brief introduction to padic numbers. In the second part we discuss some properties of the BruhatTits tree. It is mostly
More informationFactorisation CHAPTER Introduction
FACTORISATION 217 Factorisation CHAPTER 14 14.1 Introduction 14.1.1 Factors of natural numbers You will remember what you learnt about factors in Class VI. Let us take a natural number, say 30, and write
More informationRulers: Every line has a ruler, (distance preserving bijection to the real numbers).
5200/7200 Metric geometry Axioms. We are given a set S of points, a collection of subsets of S called lines, and a symmetric, non negative distance function on pairs of points of S, such that two points
More information