Uncharted Territory of Zero Divisor Graphs and Their Complements

Size: px
Start display at page:

Download "Uncharted Territory of Zero Divisor Graphs and Their Complements"

Transcription

1 Uncharted Territory of Zero Divisor Graphs and Their Complements Amanda Phillips, Julie Rogers, Kevin Tolliver, and Frances Worek July, 004 Abstract Let Γ(Z n ) be a zero divisor graph whose vertices are nonzero zero divisors of Z n and whose edges connect two vertices whose product is zero modulo n. Then Γ(Z n ) represents the complement of Γ(Z n ). The authors explore the center of Γ(Z n ) and Γ(Z n ). Further study is done on planarity, independent sets and cliques, vertices of minimum degree, and connectivity of Γ(Z n ). Introduction The set of zero divisors in a ring are not easily studied using algebraic means because of their unique structure. Therefore, zero divisor graphs are studied to learn more about zero divisors. One relatively unexplored area in graph theory is that of zero divisor graphs and their complements. Our intention in this paper is to introduce and discuss the concept of zero divisor graphs with a focus on their complements by expanding upon the work done by Melody Brickel. An element a in a ring R is a zero divisor if there exists a nonzero element b in R such that ab = 0. We examine the ring Z n = {0,,..., n }, defined as the set of all residue classes modulo n. For ease of notation, we will omit the bars. For example, let us consider Z 8. The set of zero divisors of Z 8 is Z 8 = {0,,, 3, 4, 5, 6, 7}. Z(Z 8 ) = {0,, 4, 6} Since 4 and 6 4 are 0 modulo 8, the elements,4, and 6 along with 0 are zero divisors.

2 A simple graph G is a pair (V, E) where V is a set of vertices and E is a set of edges unordered pairs {v, w} of distinct elements of V. In order to construct the graph of zero divisors of Z n, denoted Γ(Z n ), we need to define the set of vertices and edges. The vertices of Γ(Z n ), denoted V (Γ(Z n )), are the nonzero zero divisors. The edges of Γ(Z n ) are pairs {x, y}, written xy for ease of notation, in V (Γ(Z n )) such that x y and xy = 0 under multiplication modulo n. The complement of a graph G, denoted G, is a simple graph in which all the vertices of G are the same as the vertices of G, but the edges xy E(G) if and only if xy E(G). Consider the zero divisor graph G = Γ(Z n ). The edges of the complement, Γ(Z n ), are the pairs xy in V (Γ(Z n )) such that x y and xy 0 under multiplication modulo n. We provide definitions and notation in a preliminary section, and a glossary of definitions is provided at the end of the paper. We will explore the centers of both zero divisor graphs and their complements. The remainder of our research concentrates on the complements of zero divisor graphs. We determine when these graphs are planar and when an associate class is an independent set. We find a vertex of minimum degree, and this result leads us to the connectivity of Γ(Z n ) for n of a specific type. Preliminaries Let R be a ring and a, b, and u be elements in R. An element a is called a zero divisor if there exists an element b 0 such that ab = 0. The set of zero divisors in R is denoted Z(R). Denote by Z(R) the set of nonzero zero divisors in R. An element a is called a unit if there exists an element b such that ab =. For our purposes in this paper we look at Z n which is a finite ring, so we can say that every element of Z n is either a zero divisor or a unit. Also, we say that two elements a and b are associates if there exists a unit u such that a = ub. We define a b to mean that a and b are associates. For every a, the annihilator of a, denoted ann(a), is the set of all elements x in R such that ax = 0. Note, ann(a) is an ideal of R. We also make use of the Chinese Remainder Theorem, which states that Z m m r = Z m Z m... Z mr when m,..., m r are pairwise relatively prime integers. Let S V (G). The subgraph induced by S is the graph H such that V (H) = S and E(H) = {v v E(G):v, v S}. A path is a sequence of vertices and edges in G such that no vertex is repeated. G is connected if for every u and v in V (G), with u v, there exists a u, v-path.

3 Throughout this paper, we write n = p e p er r, where p < p <... < p r are the prime factors of n. Let v be a vertex in the graph Γ(Z n ). Let us define v i = n p i = p e p e i i p er r, i r. Let N v represent the neighborhood set of v. In other words, N v consists of all vertices adjacent to v. Let A v represent the associate class of v; that is, A v consists of all the associates of v. Since we are considering Z n in this paper we state the following definition. Let n be an integer with x Z n. Pick x Z, 0 x n, such that the class of x (mod n) is x. We then say m x if m x as integers where m Z. 3 Centers In this section we will look at the centers of zero divisor graphs and their complements. To be able to understand what a center is we must first define distance and eccentricity. Let G be a graph and u, v V (G) where u v. Then the distance from u to v, denoted d(u, v), is the length of the shortest u, v path. If there is no u, v path then d(u, v) =. For example, in Γ(Z ), we can see from Figure?? that d(, 3) = 3 and d(4, 8) = Figure : Γ(Z ) The eccentricity of u V (G), denoted ε(u), is the maximum distance from u to any other vertex. Looking back at Γ(Z ), we see that ε(0) = 3 because d(0, v) is at most 3 for any vertex v. Finally we say that the center of G is the subgraph induced by the set of vertices of minimum eccentricity. Note that the center of Γ(Z ) consists of the vertices 4, 6, and 8 together with the edges from 4 to 6 and 6 to 8 because ε(4) = ε(6) = ε(8) =, which is the minimum eccentricity of Γ(Z ). Now let us explore the centers of zero divisor graphs in general. 3

4 Proposition 3.. Let n = p e p er r, where r > or if r = then n p. Also let B = {x Z n : p i x for all i}. The center of Γ(Z n ) is the subgraph induced by ( r i= A v i ) B. Let v V (G) be any vertex. Then, by Lemma??, v = cp f... p fr r, where c is a unit, p v < n, and 0 f i e i for all i. Because v 0, there exists k such that f k e k. Fix j k. If v p j, then p j N v. If v = p j, then p j N v. Therefore d(p j, v) >, which implies that ε(v) >. Thus, no vertex has eccentricity. Let i r. Choose v A vi and t V (G), t v. If t is adjacent to v, then d(v, t) =. If not, then p i t and there exists j i such that t = lp j for some l Z. Note that t is adjacent to v j. We also know that all the vertices in A vi are adjacent to all the vertices in A vj. Therefore, if any vertex t is not adjacent to v, there still exists a v, t path through v j of length. Thus ε(v) =, which implies that ε(u) = for all u A vi and for all i. Similarly, for any vertex u = mp p r for some m Z, if t V (G) and t is adjacent to u, then the distance is. Otherwise, there is some j such that there exists a u, t path through v j. Therefore, ε(u) =. Now we will show that every other vertex in the graph is not in the center because they have eccentricity greater than. Choose u such that u is not associate to p i, for any i, and p p r u. Then there exists j such that p j u implies that u is not adjacent to any vertex in A vj. Note, p j is only adjacent to v j and its associates, but no other vertex. So p j is not adjacent to u. Thus, d(u, p j ) > because any u, p j path has to start at u and end at p j, and must contain an associate of v j as an internal vertex; since u is adjacent to neither p j nor A vj, this path must contain at least one more internal vertex. Hence d(u, p j ) 3 and from [?] we know that diam(γ(z n )) 3, so we can conclude that d(u, p j ) = 3. Therefore ε(u) = 3 implies that u is not in the center. Proposition 3.. If n = p, then the center of Γ(Z n ) is p. The vertex set of G is defined as V (G) = {, 4,..., (p ), p}. Since p is adjacent to all multiples of, ε(p) =. Also note that any multiple of is adjacent only to p, which means that ε = for all multiples of. Therefore, p is the only element in the center since it has the minimum eccentricity. Proposition 3.3. If n = p e, then the center of Γ(Z n ) is A p e. 4

5 Every vertex in A p e has ε = because V (G) = {p, p,..., p, p,..., (p )p,..., (p )p e } and all the vertices are multiples of p; therefore, every vertex in A p e is adjacent to all vertices in the graph. Every other vertex in the graph has some non-neighbor and therefore has ε and is not in the center. We now look at the center of Γ(Z n ). Lemma 3.4. Let n = p e p er r, r, and let v V (Γ(Z n )). For all i j, either p i N v or p j N v. Explore two cases, either v A vi or v A vi. First case v A vi. The vertex p i is not adjacent to v = up e p e i i p er r and v p j = up e p e i i p e j+ j p er r, which is not divisible by n. So v and p j are adjacent. Second case, v A vi. Then v = up f p fr r, where u is a unit and 0 f i e i for all i r. There exists f i < e i or there exists k such that f k e k. Therefore, v p i is not divisible by n, since f i < e i or f k e k. This implies that p j is adjacent to v. Proposition 3.5. The center of Γ(Z n ), denoted G, for n = p e p er r long as r 3. is Γ(Z n ) as Let x V (G). Consider three cases, either there exists an i such that x A vi, there exists an i such that x N vi, or x E = V (G) ( r i= A v i ) ( r i= N v i ). Suppose x A vi, x is adjacent to every vertex in N x. Note p j, p k N x, such that j, k are distinct and not equal to i. If w N x, either w is adjacent to p j or p k, by Lemma??. Then there is a x, w-path with length. Suppose x N vi. Note p j, p k N x, such that j, k are distinct and not equal to i. If w N x, either w is adjacent to p j or p k, by Lemma??. Then there is a x, w-path with length. Suppose x E. Note p j, p k N x, such that j, k are distinct and not equal to i. If w N x, either w is adjacent to p j or p k, by Lemma??. Then there is a x, w-path with length. Proposition 3.6. The center of Γ(Z n ), denoted G, for n = p e p e, where e > or e >, is the subgraph induced by V (G) (A v A v ). 5

6 Consider the five cases, either x is in A v, A v, N v, N v, or E = V (G) A v A v N v N v. Suppose x A v. The vertex x is adjacent to every vertex in N v. Say w V (G) A v. Note p N x, which is adjacent to every vertex w. Then there is a xw-path with length two. Say w V (G) N v E. Now N v and N v are disjoint sets because there is no vertex in G that is not divisible by p and not divisible by p. Also, p is adjacent to p. Note p N v. Therefore, there is a x, w-path with length 3, and every vertex in A v has eccentricity 3. Similarly, every vertex in A v has eccentricity 3. Next, let x N v. Note p N x. If w N x, w is adjacent to p. Then there is a x, w-path with length. So N v has eccentricity. Similarly, N v has eccentricity. Suppose x E. Note p N x. If w N x, w is adjacent to p. Then there is a x, w-path with length. So E has eccentricity. Let v V (G) be any vertex. Then v = cp f p f, where c is a unit and 0 f i e i for all i. There exists k such that f k e k. The vertex w = p e f p e f N v. Therefore, d(v, w) > implies ε(v) >. Thus, no vertex has eccentricity. It follows that every vertex in G A v A v has eccentricity of two. The subgraph induced by these vertices is the center. 4 Planarity In this section, we determine when Γ(Z n Z nr ) is planar where n,..., n r Z. A graph is called planar if it can be drawn in the plane with none of its edges overlapping. Using Kuratowski s Theorem, if there exists a subgraph of G which is isomorphic to K 5, the complete graph on 5 vertices, or K 3,3, the complete bipartite graph with 3 elements in each subset of the partition, then G is not planar. A complete graph, denoted K n, is the graph on n vertices with all possible edges. G is bipartite if its vertices can be partitioned into two nonempty independent subsets. Theorem 4.. Γ(Z n Z nr ) is planar if and only if Z n Z nr = Zp for some prime p or Z n Z nr is isomorphic to Z Z, Z Z 3, Z 8, Z Z 4, Z Z Z, Z 3 Z 3, Z Z 5, Z 4 Z 3, or Z 3 Z 5. Consider the four cases: r 4, r = 3, r =, and r =. 6

7 Figure : K 5 Figure 3: K 3,3 Case : Consider Z n Z nr with r 4. There is a subgraph isomorphic to K 3,3 induced by the bipartition {(,0, 0, 0,...), (0,, 0,,...), (,, 0, 0,...)} {(,,, 0,...), (,, 0,,...), (, 0, 0,,...)}. Thus Γ(Z n... Z nr ) is not planar. Case : Consider Z n Z n Z n3. If n i 3 for some i, then a K 3,3 subgraph may be induced. Without loss of generality, assume n 3 3. Then a K 3,3 subgraph may be induced by the bipartition {(, 0, ), (0, 0, ), (0,, )} {(0, 0, ), (0,, ), (, 0, )}. Therefore Γ(Z n... Z nr ) is not planar. If n = n = n 3 =, then Γ(Z Z Z ) is planar, as shown in Figure??. (0, 0, ) (0,, ) (, 0, ) (0,, 0) (, 0, 0) (,, 0) Figure 4: Γ(Z Z Z ) Case 3: Let r =. That is, consider Z n, where n = p e p es s. We shall examine three subcases, a) s 3, b) s =, c) s =. a) If s 3, then Z n = Zp e Z e p Z p es, and we may construct a subgraph s isomorphic to K 3,3 using the bipartition {(, 0,..., 0), (,,,..., 0), (,,,... )} {(,, 0,..., 0), (,,,..., 0), (,,,..., 0)}. Therefore Γ(Z n ) is not planar. 7

8 b) Consider n = p e p e. First let us look at p 7. In this case, there is a subgraph isomorphic to K 5 induced by the vertices {p, p,..., 5p}. Next, consider the case n = e 3 e. When e = and e =, Γ(Z Z 3 ) is planar as shown in Figure??. (0, ) (0, ) (, 0) Figure 5: Γ(Z Z 3 ) When e, the graph contains a K 5 subgraph induced by {, 4, 6, 8, 0}. Therefore Γ(Z n ) is not planar. When e = and e =, Γ(Z n ) is planar, as shown in Figure??. (0, ) (, ) (3, 0) (0, ) (, ) (, 0) (, 0) Figure 6: Γ(Z 4 Z 3 ) When e 3, a subgraph isomorphic to K 5 is induced by the vertices {, 4, 8, 0, 4}. Now consider the case where n = e 5 e. If e = and e =, the graph is planar, as shown in Figure??. When e, the vertices {5, 5, 5, 35, 45} induce a subgraph isomorphic to K 5. This may also be done when e, using the vertices {, 4, 6, 8, }. Consider the case n = 3 e 5 e. For the case e = and e =, the graph is planar, as shown in Figure??. 8

9 (0, ) (0, 3) (0, ) (0, 4) (, 0) Figure 7: Γ(Z Z 5 ) (0, ) (0, 3) (0, ) (0, 4) (, 0) (, 0) Figure 8: Γ(Z 3 Z 5 ) When e or e, Γ(Z n ) is not planar since a subgraph isomorphic to K 5 may be constructed from the vertices {5, 0, 0, 5, 30}. c) For n = p e when e =, Γ(Z p ) is the empty graph since Z(Z p ) =. For n = p e when p 7 and e 3 the graph is not planar since we can form a K 5 subgraph from the vertices p, p,..., 5p. The vertex set of Γ(Z p ) is {p, p,..., (p )p}. Thus the product of any two vertices is congruent to zero modulo p, resulting in Γ(Z p ) being completely disconnected. Thus our graph is planar. When p = and e 4, we can form a K 5 subgraph from the vertices {, 4, 6, 0, 4}. Therefore, Γ(Z n ) is not planar. When p = and e = 3, n = 8. Γ(Z 8 ) is shown to be planar in Figure??. When p = 3 and e 3, we can form a K 5 subgraph from the vertices {3, 6,, 5, }. Therefore Γ(Z n ) is not planar. When p = 5 and e 3, we can form a K 5 subgraph from the vertices {5, 0, 5, 0, 30}. Therefore the graph is not planar. Case 4: Consider r =. Z n Z n = Z p e...pr er Z q f...qs fs = Z e p... Z fr p r Z f... Z fs q s, with p,..., p r distinct primes and q,..., q s distinct primes. q 9

10 4 6 Figure 9: Γ(Z 8 ) When r or f, Z n is a direct product of three or more factors, thus reducing the problem to cases and. When r =, f =, and p q, Z e p Z f q = Zp e q f, reducing the problem to case 3. When r =, f =, p = q, and p e f, p are both greater than or equal to 4, a K 3,3 subgraph is induced by the bipartition {(0, ), (0, ), (0, 3)} {(, 0), (, 0), (3, 0)}. Thus Z e p Z f p is not planar. The previous case does not cover when p e < 4 or p f < 4. When p e < 4 and p f < 4, the only cases to consider are Γ(Z Z ) and Γ(Z 3 Z 3 ). Both graphs are planar as shown in Figures?? and??. (0, ) (, 0) Figure 0: Γ(Z Z ) (0, ) (0, ) (, 0) (, 0) Figure : Γ(Z 3 Z 3 ) When p f > 4 and p e < 4, a K 5 subgraph may be induced from the vertices {(, 0), (0, ), (0, 3), (0, 4), (0, 5)}. A similar argument holds for p e > 4 and p f < 4. If p e < 4 and p f = 4, it is the case Γ(Z Z 4 ). This graph is planar, as shown in Figure??. 0

11 (0, ) (, ) (0, ) (0, 3) (, 0) Figure : Γ(Z Z 4 ) 5 Independent Sets and Cliques A clique in a graph is a set of pairwise adjacent vertices. An independent set in a graph is a set of pairwise nonadjacent vertices. Our goal in this section is to show that the associate class of a zero divisor in Z n is either a clique or an independent set in the graph Γ(Z n ). For example let us examine n = p p for Γ(Z n ), where p, p are distinct primes. There are four associate classes: A p = {x Z n : p x}, A p = {x Z n : p x}, A p = {x Z n : p x}, A p p = {x Z n : p p x} A p A p A p A p p We can say that A p is a clique. For all x, x A p, x is adjacent to x since x x = up, where u is a unit, which is not divisible by n. Also, A p p is an independent set. For all x, x A p p, x is not adjacent to x since x x = up p, where u is a unit, which is divisible by n. Proposition 5.. A p a pa par r is an independent set if and only if a e, a e,..., a r er. ( ): Let A a p pa pa k be an associate class of the graph, where k r. k par r Choose x, x A a p pa pa k. Assume that the associate class is an independent k par r set and there exists some number a k < e k, where a a k a r. Now x x = up a p a p a k k p ar r, where u is a unit. Since a k < e k, then a k < e k, which means that x x it is not divisible by n. This means that x and x are adjacent which is a contradiction to the definition of an independent set.

12 ( ): Assume that a i e i for all i. Choose x, x A a p pa up a p a p a k k p ar r, where u is a unit. Since a i e i. Now x pa k k par r x = for all i, then a i e i, which means the product is divisible by n. This means that x and x are not adjacent and the associate class is an independent set. Proposition 5.. Every non-independent associate class is a clique. Assume A p f A f p p f k k p f k k p fr r is not an independent set. This implies f k < e k. Let x, y. We know that x y = up f p fr p f k r k p fr r, where u is a unit. Since < e k, the product will not be divisible by n and all vertices will be adjacent. f k Therefore, the associate class will be a clique. 6 Minimum Degree We now look at vertices of minimum degree in Γ(Z n ). First we will discuss some definitions and give some examples referring back to Figure??. Let G be a finite graph. The degree of a vertex v in V (G), denoted deg v, is the number of edges containing v as an endpoint. For example in Γ(Z ), deg (4) = 3 and deg (9) =. The minimum degree of G is defined as δ(g) = min{deg(v) : v V (G)}, and the vertices which have the minimum degree are called vertices of minimum degree. In Γ(Z ), and 0 are both vertices of minimum degree because deg () = deg (0) =. We will prove in Theorem?? that a vertex of minimum degree in Γ(Z n ) is p e p e p er r, but first we must establish the following lemmas. Lemma 6.. Every nonzero zero divisor in Z n is associate to a zero divisor of the form p f p fr r where 0 f i e i. Let x be a nonzero zero divisor. Then there exists some p i such that x = c p i. If c is a unit in Z n, then x and p i are associates. If not, then there exists some p i such that x = c p i p. If c is a unit in Z n, then x and p i p i are associates. If not, we continue this process inductively until c k is a unit in Z n. Then we can say that x is associate to a zero divisor of the form p f p fr r where 0 f i e i. Lemma 6.. If u and v are associates, then N u {u, v} = N v {u, v}.

13 ( ): Let x N u {u, v}. We can say that n xu. By the previous lemma and because u and v are associates, this implies that n xv which implies x N v {u, v}. Also, we must exclude {u, v} because u could be in N v and vice versa but neither u nor v can be in their own neighborhood sets. ( ): A similar argument can be made. Lemma 6.3. Let u = p n p n p r n r and x i = p n p i n i + p r n r be vertices in G. Then N xi N u. Suppose n,..., n r are integers such that for all k we have n k e k, and such that n n i < e i and n j < e j for some i < j r. Let u = p n n p p r r and x i = p n p i n i + p r n r. Since x i p e n p e n p e i n i i p er nr r = 0, Similarly, N xi = {w V (G) : p i r j= p e j n j j w}. If y N xi then p r i j= pe j n j j N u = {w V (G) : r j= p e j n j j w}. y which implies that r j= pe j n j j y meaning y N u. However, z = p e n p i e i n i p r e r n r N u and z N xi. Therefore, N xi N u. Lemma 6.4. For all u V (G) where G = Γ(Z n ), there exists some k such that N vk {v k, u} N u {v k, u}. Choose an arbitrary vertex u. By Lemma?? we know that u is associate to a vertex of the form w = p f p fr r. By Lemma?? we can say that N u {u, w} = N w {u, w}. If there exists a k such that w = v k then N w = N vk which implies N vk {v k, u} = N u {v k, u}. If no such k exists, then there exists an i {,..., r} such that x = p i w 0. Then N x {x, w} N w {x, w} N w {w} by Lemma??. If there exists a k such that x = v k then stop. If no such k exists, then there exists an i {,..., r} such that x = p i x. Then N x {x, x, w} N x {x, x, w} N w {x, w} N w {w} by Lemma??. If there exists a k such that x = v k then stop. If no such k exists, then continue this process inductively until x m = v k for some k. Let 3

14 B = {v k, w, x, x,..., x m }. By construction, N vk B = N xm B N w {v k, w}. It is easy to see that if x k w = 0 then x k v k = 0. It follows that if x k N vk i.e. x k v k 0 then x k N w i.e. x k w 0. Therefore, N vk {v k, w} N w {v k, w} which implies N vk {v k, u, w} N w {v k, u, w} = N u {v k, u, w} by Lemma??. Using a similar argument if w N vk then w N u. Therefore, N vk {v k, u} N u {v k, u}. Lemma 6.5. Let n be an integer. Then Z(Z n ) = n φ(n) is the cardinality of the set of nonzero zero divisors of Z n, i.e the number of vertices in Γ(Z n ) and Γ(Z n ). There are n elements in Z n, and the number of units of Z n is given by φ(n). Since every element of a finite ring is either a zero divisor or a unit, n φ(n) will tell us the number of zero divisors in Z n. Since Z(Z n ) denotes nonzero zero divisors we have the formula Z(Z n ) = n φ(n). e e Lemma 6.6. Let v i = p p i e i p r r be an element of V (Γ(Z n )). Then { n φ(n) ann(vi ) if vi N vi = 0 n φ(n) ann(v i ) + if vi = 0. The annihilator of an element a in Z n is denoted ann(a) and consists of all elements r in Z n such that ra = 0. Therefore r = 0 is contained in every ann(a). Also, a is contained in ann(a) if and only if a = 0. In Γ(Z n ) since v i is adjacent to all other vertices w such that aw = 0, and no vertex can be adjacent to itself or 0, { ann(vi ) if vi deg (v i ) = 0 ann(v i ) if vi = 0. Now looking at Γ(Z n ), we know that edges are replaced with non-edges and vice versa. Therefore, N vi will be equal to the total number of vertices in the graph minus the degree of v i in the original graph. Using the previous lemma, { n φ(n) N vi = Z(Z n ) ann(vi ) if vi deg (v i ) = 0 n φ(n) ann(v i ) + if vi = 0. Lemma 6.7. Let n be an integer then Z n = ann(a) (a). Fix a in a ring R and a mapping m a : R R where m a (x) = ax. Then m a is a group homomorphism and Ker (m a ) = {r R : m a (r) = 0}. Then we can say R = ker(m a ) im(m a ) = ann(a) (a). Lemma 6.8. Let n be an integer then (a) = 4 n. gcd(a,n)

15 We can say that (a) is equal to the order of a in Z n. Let j = a and let d = gcd(a, n). We can say. ja = rn for some r Z and n. a = n a d d 0(mod n). We also know that j n which implies that for some k Z, then jk = n. This implies d d that jkd = n, which gives us kd n. We can also say that jakd = na which leads to rnkd = na. By cancellation, rkd = a which implies that kd a. Now we have kd a and kd n and since gcd(a, n) = d this implies that k =. Since jk = n, this implies d that j = n. This leads us to n = a where d was defined as gcd(a, n). Therefore, d d a = n. gcd(a,n) e e Theorem 6.9. Let G = Γ(Z n ) where n = p p r r e minimum degree is v = p e e p p r r. and e i. Then a vertex of For each i, i r, and each integer f i, 0 f i e i, define A f p = {x Z p fr n : r f f p p r r x}. Then the classes A f p partition V (G) into equivalence classes as p fr r a consequence of Lemma??. From Lemma?? we can say that for all u in V (G), N vi {v i, u} N u {v i, u} so there exists some i such that N vi has the smallest cardinality of all the vertices in G. { n φ(n) ann(vi ) if vi The cardinality of N vi = 0 n φ(n) ann(v i ) + if vi = 0 as shown in Lemma?? and Lemma??. Therefore, since we are looking at the vertices of the form v i and if we choose i such that ann(v i ) is maximized, then N vi will be minimized. We know from Lemma n?? that Z n = ann(a) (a) for all a V (G) and by Lemma?? (a) =. gcd(a,n) n Therefore, n = ann(v i ) ann(v gcd(v i,n) i) = gcd(v i, n). Since n = p i v i, this implies that ann(v i ) = v i. e e We claim that v i v i+ + for all i r. Since v i = p p i e i p r r and e e v i+ = p p i e i p i+ e i+ p r r, we can write v i+ = p i p i+ v i. Because p i < p i+ for all i, we can say v i+ < v i which leads to v i+ + v i. Now, N vi n φ(n) v i + = n φ(n) (v i ) 5

16 n φ(n) v i+ N vi+ and therefore N vi N vi+. Now we can say N v has the minimum cardinality of all the vertices in G and e v = p e e p p r r is a vertex of minimum degree. 7 Connectivity Using the vertex of minimum degree that we found in the previous section, we will now look at the connectivity of Γ(Z n ) when n = p e p e. A vertex cut of a graph G is a subset S V (G) such that G S has more than one component or is a single vertex. The connectivity of G, denoted κ(g), is the cardinality of the smallest set S such that S is a vertex cut. Let us establish the following lemma to use in our proofs. e Lemma 7.. Let G = Γ(Z n ) where n = p p er r and e >. Then N v = δ(g) = p e (p )p e p er r p e (p )p e (p ) p er r (p r ). Recall v = p e p e p er r. Identifying Z n with Z e p Z p er using the Chinese Remainder Theorem, we can write v = (p e r, 0,..., 0). Then N v contains all vertices w such that the first component contains a unit in Z e p and the other components can be anything as long as one of the components is a zero divisor. The number of choices for the first component can be found using the Euler phi function to give us the number of units in Z e p. This will give us p e (p ) choices for the first component. Since the other components can be anything, there are p e i i choices for each of the other components i r. We must also subtract off the cases where all the components are units which will be p e (p ) pr er (p r ). Therefore, there are p e (p )p e p er r p e (p )p e (p ) p er r (p r ) neighbors of v, and since v is a vertex of minimum degree it is also the minimum degree of G, denoted δ(g). e Theorem 7.. Let G = Γ(Z n ), where n = p e p κ(g) is equal to the minimum degree δ(g). and e >. Then the connectivity 6

17 It is well-known that κ(g) δ(g). We will show that κ(g) δ(g), leading to κ(g) = δ(g). Let n = p e p e. By the Chinese Remainder Theorem, Z n = Zp e Z e p. By Theorem e?? a vertex of minimum degree in Z n is v = p e p. Since we are using the Chinese Remainder Theorem, this vertex is identified with (p e, 0). The neighborhood set of v contains all vertices w such that w = (u, a) where u is a unit in Z e p and a is not a unit in Z e p. Therefore, we have two cases. Case : w = (u, 0) Case : w = (u, k p n ) where k Z, k 0, and n < e In Case, w is not adjacent to z = (0, b) where b 0. In Case, w is not adjacent to z = (0, k p e n ) where k Z, k 0. We would like to find a vertex y such that y is adjacent to w and z in both of the cases above. We choose y = (x, u ) where x is a nonzero zero divisor in Z e p and u is a unit in Z e p. We now look at G, a subgraph of G where V (G ) = V (G) N v +. By construction, we know that at least one vertex of the form w will remain in G. We want to prove that for every vertex u in G there exists a u, w-path. If u is adjacent to w, then we are done. If u is not adjacent to w, then it is of the form z described above. If one vertex of the form y exists in G, then a u, w-path exists through y. We know N v = p e (p )p e p e (p )p e (p ) by Lemma??. If we have more than N v vertices like y, then we will have κ(g) δ(g). To find the number of vertices of the form y, we multiply the number of nonzero zero divisors in Z e p by the number of units in Z e p. The number of nonzero zero divisors in Z e p is p e p e (p ) by Lemma??, and the number of units in Z e p is p e (p ). Therefore, the total number of possibilities for y is (p e p e (p ) )(p e (p )). We now want to prove that the following inequality is true (p e p e (p ) )(p e (p )) > p e (p )p e p e (p )p e (p ) which can be reduced to p e (p e p p p e + ) >. We know that p e will always be positive, so if we prove p e p p p e + 0 the inequality will hold. Now p (p e ) p e p pe p e 7

18 p pe p + p p e p p + p p e p Since when e p e >, the inequality holds when p p +. Since p < p by construction, p p + will always hold. This proves that κ(g) δ(g), and we can conclude that κ(g) = δ(g). e Theorem 7.3. Let G = Γ(Z n ), where n = p p and e >. Then κ(g) = δ(g) A v +. We will once again use the Chinese Remainder Theorem to say Z n = Zp Z e p and a minimum degree vertex is v = (, 0). Knowing that Z p is a field, we can partition the vertices of G into four sets as follows. X = {(a, 0) : a 0} X = {(a, x) : a 0, x Z(Z e p ) } X 3 = {(0, x) : x Z(Z e p ) } X 4 = {(0, u) : u is a unit in Z e p } Note that the sets above will be nonempty as long as e >. We know that all vertices in X are adjacent to all vertices in X. Also, all vertices in X and X 3 are adjacent to all vertices in X 4. The vertices in X 3 and X 4 will not be adjacent to the vertices in X. Note that v X and there are p vertices in X. Also, there are (p )(p e p e (p ) ) vertices in X, derived similarly to the number of vertices of the form y in Theorem??. Since X = A v is a clique and v is not adjacent to itself this allows us to conclude that deg v = X + X = p + (p )(p e p e (p ) ). In addition, there are p e (p ) vertices in X 4. Now we will show that κ(g) δ(g) A v +. Examine G X. If we remove X from the graph, then X will be isolated from the rest of the graph, i.e. the graph will be disconnected. The number of vertices in X is (p )(p e p e (p ) ) which is equivalent to δ(g) A v +. Therefore, we can conclude that κ(g) δ(g) A v +. Since all vertices in X and X 3 are adjacent to all vertices in X 4 if we prove X 4 deg v A v + we can conclude that κ(g) δ(g) A v +. Therefore, we want to prove the following inequality p e (p ) (p )(p e p e (p ) ) 8

19 which can be reduced to p e (p p ) p. We can say that p and p e (p p ). Therefore, the inequality is always true and we can conclude that X 4 deg v A v +. The vertices in X 4 correspond to our vertices of the form y used in the proof of Theorem?? and the vertices in X correspond to the vertices of the form w. By a similar argument, we can conclude κ(g) δ(g) A v + leading us to κ(g) = δ(g) A v +. 8 Conclusion We conclude this paper with a suggestion for further research. We have looked at connectivity for Γ(Z n ) when n = p e p e, but these findings could be generalized to the case where n is the product of three or more powers of primes. Our conjecture for this case is presented below. Conjecture 8.. Let G = Γ(Z n ) where n = p e p e p er r for primes p <... < p r. Then κ(g) = δ(g) A v + when e = and κ(g) = δ(g) when e >. 9 Acknowledgements A special thanks to our advisor, Dr. Reza Akhtar of Miami University, for his instruction, guidance, and sense of humor throughout our research experience. Our gratitude goes to Leigh Cobbs, our graduate assistant from Rutgers University, for her dedication and the encouragement she has given us to succeed. We thank Dr. Thomas Farmer of Miami University for assistance with the writing of our paper. In addition, we would like to acknowledge Dr. Vasant Waikar, Dr. Dennis Davenport, and all others at Miami University who have helped make the Summer Undergraduate Mathematical Science Research Institute possible. Our appreciation also goes to the National Security Agency and the National Science Foundation for their support. 9

20 0 Glossary adjacent Two vertices u and v are adjacent if there is an edge connecting u and v in the graph. annihilator Let R be a ring and a R. Define the annihilator of a to be the set ann(a) = {x R : ax = 0}. associates Let R be a ring. Two elements a, b R are called associates if there exists a unit u R such that a = ub. bipartite A graph is bipartite if its vertex set can be partitioned into two non-empty independent subsets. center Let G be a graph and u, v V (G), u v. The center of G is the subgraph induced by the set of vertices of minimum eccentricity. clique A clique is a subset C V (G) such that the subgraph induced by C contains all the possible edges. complement The complement of G, denoted Ḡ is the graph such that V (Ḡ) = V (G) and xy E(Ḡ) xy / E(G). complete graph The complete graph on n-vertices, denoted K n, is the graph with n vertices and all possible edges. connected Let G be a graph. G is connected if for every u, v V (G), u v, there exists a u, v path. connectivity The connectivity of G is κ(g) = min{k : there exists a vertex cut S, S = k}. degree The degree of a vertex v V (G) is the number of edges containing v as an endpoint. distance Let G be a graph and u, v V (G), u v. The distance from u to v is d(u, v) = min{length(p ) : P is a u, v path}. If there is no u, v path then d(u, v) =. eccentricity Let G be a graph. The eccentricity of u V (G) is ε G (u) = ε(u) = max d(u, v) where v V (G) and v u. independent set An independent set is a subset S V (G) such that the subgraph induced by S has no edges. path A path is a sequence of vertices and edges in G such that no vertex is repeated, unless this path is a cycle where the first and last vertices are the same. 0

21 planar A graph is planar if it can be drawn in the plane without any two edges crossing. simple graph A simple graph is a pair (V, E) where V = V (G), a vertex set, and E = E(G), an edge set, and each e E is an unordered pair {u, v} of distinct vertices {u, v} V. subgraph Let G be a graph. A subgraph of G is a graph H such that V (H) V (G) and E(H) E(G) and for every e E(H), the endpoints of e are in V (H). subgraph induced by S Let G be a graph, S V (G). The subgraph induced by S is the graph H such that V (H) = S and E(H) = {v v E(G) : v, v S}. unit Let R be a ring. An element a R is called a unit if there exists a b R such that ab =. vertex cut A vertex cut of graph G is a subset S V (G) such that G S has more than one component or is a single vertex. vertices of minimum degree Let G be a finite graph. The vertices of minimum degree are defined as δ(g) = min{deg(v) : v V (G)}. zero divisor Let R be a ring. An element z R is called a zero divisor if there exists a b R, b 0 such that zb = 0.

22 References [] R. Akhtar, L. Lee. Zero-divisor graphs via ideals, preprint. [] D. F. Anderson, A. Frazier, A. Lauve, P. Livingston. The zero-divisor graph of a commutative ring. II Lect. Notes Pure and Appl. Math. 0 (00), 6-7. [3] D. F. Anderson and P. Livingston. The zero-divisor graph of a commutative ring. J. Algebra. 7 (999), no., [4] M. Brickel. Complements of Zero Divisor Graphs. Plan B Project, Miami University, 004. [5] A. Lauve. Zero-divisor graphs of finite commutative rings. Senior Thesis, University of Oklahoma, 999. Amanda Phillips Franklin College Franklin, IN aphillips@franklincollege.edu Julie Rogers Marymount University Arlington, VA jfr30@marymount.edu Kevin Tolliver Morehouse College Atlanta, GA kptco06@hotmail.com Frances Worek The Pennsylvania State University University Park, PA few@psu.edu

How Many Ways Can You Divide Zero?

How Many Ways Can You Divide Zero? How Many Ways Can You Divide Zero? Katherine Benson, Louis Cruz, Yesenia Cruz Rosado, Melissa Tolley, Bryant Watkins Abstract Let Σ(R) be the graph whose vertices are the nonzero zero divisors of a ring

More information

Connectivity of the zero-divisor graph for finite rings

Connectivity of the zero-divisor graph for finite rings Connectivity of the zero-divisor graph for finite rings Reza Akhtar and Lucas Lee Abstract The vertex-connectivity and edge-connectivity of the zero-divisor graph associated to a finite commutative ring

More information

Modular Representations of Graphs

Modular Representations of Graphs Modular Representations of Graphs Crystal Altamirano, Stephanie Angus, Lauren Brown, Joseph Crawford, and Laura Gioco July 2011 Abstract A graph G has a representation modulo r if there exists an injective

More information

CUT VERTICES IN ZERO-DIVISOR GRAPHS OF FINITE COMMUTATIVE RINGS

CUT VERTICES IN ZERO-DIVISOR GRAPHS OF FINITE COMMUTATIVE RINGS CUT VERTICES IN ZERO-DIVISOR GRAPHS OF FINITE COMMUTATIVE RINGS M. AXTELL, N. BAETH, AND J. STICKLES Abstract. A cut vertex of a connected graph is a vertex whose removal would result in a graph having

More information

Assignment 4 Solutions of graph problems

Assignment 4 Solutions of graph problems Assignment 4 Solutions of graph problems 1. Let us assume that G is not a cycle. Consider the maximal path in the graph. Let the end points of the path be denoted as v 1, v k respectively. If either of

More information

SANDRA SPIROFF AND CAMERON WICKHAM

SANDRA SPIROFF AND CAMERON WICKHAM A ZERO DIVISOR GRAPH DETERMINED BY EQUIVALENCE CLASSES OF ZERO DIVISORS arxiv:0801.0086v2 [math.ac] 17 Aug 2009 SANDRA SPIROFF AND CAMERON WICKHAM Abstract. We study the zero divisor graph determined by

More information

Some properties of the line graphs associated to the total graph of a commutative ring

Some properties of the line graphs associated to the total graph of a commutative ring Pure and Applied Mathematics Journal 013; () : 51-55 Published online April, 013 (http://wwwsciencepublishinggroupcom/j/pamj) doi: 1011648/jpamj0130011 Some properties of the line graphs associated to

More information

Symmetric Product Graphs

Symmetric Product Graphs Rochester Institute of Technology RIT Scholar Works Theses Thesis/Dissertation Collections 5-20-2015 Symmetric Product Graphs Evan Witz Follow this and additional works at: http://scholarworks.rit.edu/theses

More information

A generalization of zero divisor graphs associated to commutative rings

A generalization of zero divisor graphs associated to commutative rings Proc. Indian Acad. Sci. (Math. Sci.) (2018) 128:9 https://doi.org/10.1007/s12044-018-0389-0 A generalization of zero divisor graphs associated to commutative rings M. AFKHAMI 1, A. ERFANIAN 2,, K. KHASHYARMANESH

More information

Theorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M- augmenting path.

Theorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M- augmenting path. 3 Matchings Hall s Theorem Matching: A matching in G is a subset M E(G) so that no edge in M is a loop, and no two edges in M are incident with a common vertex. A matching M is maximal if there is no matching

More information

CMSC Honors Discrete Mathematics

CMSC Honors Discrete Mathematics CMSC 27130 Honors Discrete Mathematics Lectures by Alexander Razborov Notes by Justin Lubin The University of Chicago, Autumn 2017 1 Contents I Number Theory 4 1 The Euclidean Algorithm 4 2 Mathematical

More information

The Structure of Zero Divisor Sum Graphs

The Structure of Zero Divisor Sum Graphs The Structure of Zero Divisor Sum Graphs Chantelle Bicket, Samantha Graffeo, Whitney Ross, Edward Washington Abstract Let Σ n be the graph whose vertex set is the set of non-zero zero divisors of Z n where

More information

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element. The first exam will be on Wednesday, September 22, 2010. The syllabus will be sections 1.1 and 1.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive

More information

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge. 1 Graph Basics What is a graph? Graph: a graph G consists of a set of vertices, denoted V (G), a set of edges, denoted E(G), and a relation called incidence so that each edge is incident with either one

More information

A ZERO DIVISOR GRAPH DETERMINED BY EQUIVALENCE CLASSES OF ZERO DIVISORS. Introduction

A ZERO DIVISOR GRAPH DETERMINED BY EQUIVALENCE CLASSES OF ZERO DIVISORS. Introduction A ZERO DIVISOR GRAPH DETERMINED BY EQUIVALENCE CLASSES OF ZERO DIVISORS SANDRA SPIROFF AND CAMERON WICKHAM Abstract. We study the zero divisor graph determined by equivalence classes of zero divisors of

More information

HW Graph Theory SOLUTIONS (hbovik)

HW Graph Theory SOLUTIONS (hbovik) Diestel 1.3: Let G be a graph containing a cycle C, and assume that G contains a path P of length at least k between two vertices of C. Show that G contains a cycle of length at least k. If C has length

More information

Weak Dynamic Coloring of Planar Graphs

Weak Dynamic Coloring of Planar Graphs Weak Dynamic Coloring of Planar Graphs Caroline Accurso 1,5, Vitaliy Chernyshov 2,5, Leaha Hand 3,5, Sogol Jahanbekam 2,4,5, and Paul Wenger 2 Abstract The k-weak-dynamic number of a graph G is the smallest

More information

Math 776 Graph Theory Lecture Note 1 Basic concepts

Math 776 Graph Theory Lecture Note 1 Basic concepts Math 776 Graph Theory Lecture Note 1 Basic concepts Lectured by Lincoln Lu Transcribed by Lincoln Lu Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved

More information

CHAPTER 8. Copyright Cengage Learning. All rights reserved.

CHAPTER 8. Copyright Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS Copyright Cengage Learning. All rights reserved. SECTION 8.3 Equivalence Relations Copyright Cengage Learning. All rights reserved. The Relation Induced by a Partition 3 The Relation

More information

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2 Graph Theory S I I S S I I S Graphs Definition A graph G is a pair consisting of a vertex set V (G), and an edge set E(G) ( ) V (G). x and y are the endpoints of edge e = {x, y}. They are called adjacent

More information

1 Elementary number theory

1 Elementary number theory Math 215 - Introduction to Advanced Mathematics Spring 2019 1 Elementary number theory We assume the existence of the natural numbers and the integers N = {1, 2, 3,...} Z = {..., 3, 2, 1, 0, 1, 2, 3,...},

More information

Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes

Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes Leonor Aquino-Ruivivar Mathematics Department, De La Salle University Leonorruivivar@dlsueduph

More information

On vertex types of graphs

On vertex types of graphs On vertex types of graphs arxiv:1705.09540v1 [math.co] 26 May 2017 Pu Qiao, Xingzhi Zhan Department of Mathematics, East China Normal University, Shanghai 200241, China Abstract The vertices of a graph

More information

Math Introduction to Advanced Mathematics

Math Introduction to Advanced Mathematics Math 215 - Introduction to Advanced Mathematics Number Theory Fall 2017 The following introductory guide to number theory is borrowed from Drew Shulman and is used in a couple of other Math 215 classes.

More information

Treewidth and graph minors

Treewidth and graph minors Treewidth and graph minors Lectures 9 and 10, December 29, 2011, January 5, 2012 We shall touch upon the theory of Graph Minors by Robertson and Seymour. This theory gives a very general condition under

More information

Math 778S Spectral Graph Theory Handout #2: Basic graph theory

Math 778S Spectral Graph Theory Handout #2: Basic graph theory Math 778S Spectral Graph Theory Handout #: Basic graph theory Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved the Königsberg Bridge problem: Is it possible

More information

Determining Corresponding Artinian Rings to Zero-Divisor Graphs

Determining Corresponding Artinian Rings to Zero-Divisor Graphs Wellesley College Wellesley College Digital Scholarship and Archive Honors Thesis Collection 2016 Determining Corresponding Artinian Rings to Zero-Divisor Graphs Abigail Mary Jones Wellesley College, ajones3@wellesley.edu

More information

Star Decompositions of the Complete Split Graph

Star Decompositions of the Complete Split Graph University of Dayton ecommons Honors Theses University Honors Program 4-016 Star Decompositions of the Complete Split Graph Adam C. Volk Follow this and additional works at: https://ecommons.udayton.edu/uhp_theses

More information

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition. 18.433 Combinatorial Optimization Matching Algorithms September 9,14,16 Lecturer: Santosh Vempala Given a graph G = (V, E), a matching M is a set of edges with the property that no two of the edges have

More information

FOUR EDGE-INDEPENDENT SPANNING TREES 1

FOUR EDGE-INDEPENDENT SPANNING TREES 1 FOUR EDGE-INDEPENDENT SPANNING TREES 1 Alexander Hoyer and Robin Thomas School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332-0160, USA ABSTRACT We prove an ear-decomposition theorem

More information

Bipartite Roots of Graphs

Bipartite Roots of Graphs Bipartite Roots of Graphs Lap Chi Lau Department of Computer Science University of Toronto Graph H is a root of graph G if there exists a positive integer k such that x and y are adjacent in G if and only

More information

5 Graphs

5 Graphs 5 Graphs jacques@ucsd.edu Some of the putnam problems are to do with graphs. They do not assume more than a basic familiarity with the definitions and terminology of graph theory. 5.1 Basic definitions

More information

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings On the Relationships between Zero Forcing Numbers and Certain Graph Coverings Fatemeh Alinaghipour Taklimi, Shaun Fallat 1,, Karen Meagher 2 Department of Mathematics and Statistics, University of Regina,

More information

Hamiltonian cycles in bipartite quadrangulations on the torus

Hamiltonian cycles in bipartite quadrangulations on the torus Hamiltonian cycles in bipartite quadrangulations on the torus Atsuhiro Nakamoto and Kenta Ozeki Abstract In this paper, we shall prove that every bipartite quadrangulation G on the torus admits a simple

More information

Graph theory - solutions to problem set 1

Graph theory - solutions to problem set 1 Graph theory - solutions to problem set 1 1. (a) Is C n a subgraph of K n? Exercises (b) For what values of n and m is K n,n a subgraph of K m? (c) For what n is C n a subgraph of K n,n? (a) Yes! (you

More information

Subdivisions of Graphs: A Generalization of Paths and Cycles

Subdivisions of Graphs: A Generalization of Paths and Cycles Subdivisions of Graphs: A Generalization of Paths and Cycles Ch. Sobhan Babu and Ajit A. Diwan Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Powai, Mumbai 400076,

More information

CLAW-FREE 3-CONNECTED P 11 -FREE GRAPHS ARE HAMILTONIAN

CLAW-FREE 3-CONNECTED P 11 -FREE GRAPHS ARE HAMILTONIAN CLAW-FREE 3-CONNECTED P 11 -FREE GRAPHS ARE HAMILTONIAN TOMASZ LUCZAK AND FLORIAN PFENDER Abstract. We show that every 3-connected claw-free graph which contains no induced copy of P 11 is hamiltonian.

More information

Two Characterizations of Hypercubes

Two Characterizations of Hypercubes Two Characterizations of Hypercubes Juhani Nieminen, Matti Peltola and Pasi Ruotsalainen Department of Mathematics, University of Oulu University of Oulu, Faculty of Technology, Mathematics Division, P.O.

More information

Line Graphs and Circulants

Line Graphs and Circulants Line Graphs and Circulants Jason Brown and Richard Hoshino Department of Mathematics and Statistics Dalhousie University Halifax, Nova Scotia, Canada B3H 3J5 Abstract The line graph of G, denoted L(G),

More information

Graph Theory Day Four

Graph Theory Day Four Graph Theory Day Four February 8, 018 1 Connected Recall from last class, we discussed methods for proving a graph was connected. Our two methods were 1) Based on the definition, given any u, v V(G), there

More information

Lecture 20 : Trees DRAFT

Lecture 20 : Trees DRAFT CS/Math 240: Introduction to Discrete Mathematics 4/12/2011 Lecture 20 : Trees Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last time we discussed graphs. Today we continue this discussion,

More information

Problem Set 3. MATH 776, Fall 2009, Mohr. November 30, 2009

Problem Set 3. MATH 776, Fall 2009, Mohr. November 30, 2009 Problem Set 3 MATH 776, Fall 009, Mohr November 30, 009 1 Problem Proposition 1.1. Adding a new edge to a maximal planar graph of order at least 6 always produces both a T K 5 and a T K 3,3 subgraph. Proof.

More information

Chapter 4. square sum graphs. 4.1 Introduction

Chapter 4. square sum graphs. 4.1 Introduction Chapter 4 square sum graphs In this Chapter we introduce a new type of labeling of graphs which is closely related to the Diophantine Equation x 2 + y 2 = n and report results of our preliminary investigations

More information

Problem Set 2 Solutions

Problem Set 2 Solutions Problem Set 2 Solutions Graph Theory 2016 EPFL Frank de Zeeuw & Claudiu Valculescu 1. Prove that the following statements about a graph G are equivalent. - G is a tree; - G is minimally connected (it is

More information

Characterizing Graphs (3) Characterizing Graphs (1) Characterizing Graphs (2) Characterizing Graphs (4)

Characterizing Graphs (3) Characterizing Graphs (1) Characterizing Graphs (2) Characterizing Graphs (4) S-72.2420/T-79.5203 Basic Concepts 1 S-72.2420/T-79.5203 Basic Concepts 3 Characterizing Graphs (1) Characterizing Graphs (3) Characterizing a class G by a condition P means proving the equivalence G G

More information

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2, List of Theorems Mat 416, Introduction to Graph Theory 1. Ramsey s Theorem for graphs 8.3.11. Theorem 1 The numbers R(p, q) exist and for p, q 2, R(p, q) R(p 1, q) + R(p, q 1). If both summands on the

More information

MC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points

MC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points MC 0 GRAPH THEORY 0// Solutions to HW # 0 points + XC points ) [CH] p.,..7. This problem introduces an important class of graphs called the hypercubes or k-cubes, Q, Q, Q, etc. I suggest that before you

More information

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial. 2301-670 Graph theory 1.1 What is a graph? 1 st semester 2550 1 1.1. What is a graph? 1.1.2. Definition. A graph G is a triple (V(G), E(G), ψ G ) consisting of V(G) of vertices, a set E(G), disjoint from

More information

The Structure and Properties of Clique Graphs of Regular Graphs

The Structure and Properties of Clique Graphs of Regular Graphs The University of Southern Mississippi The Aquila Digital Community Master's Theses 1-014 The Structure and Properties of Clique Graphs of Regular Graphs Jan Burmeister University of Southern Mississippi

More information

Basics of Graph Theory

Basics of Graph Theory Basics of Graph Theory 1 Basic notions A simple graph G = (V, E) consists of V, a nonempty set of vertices, and E, a set of unordered pairs of distinct elements of V called edges. Simple graphs have their

More information

Planar graphs. Chapter 8

Planar graphs. Chapter 8 Chapter 8 Planar graphs Definition 8.1. A graph is called planar if it can be drawn in the plane so that edges intersect only at vertices to which they are incident. Example 8.2. Different representations

More information

Rigidity, connectivity and graph decompositions

Rigidity, connectivity and graph decompositions First Prev Next Last Rigidity, connectivity and graph decompositions Brigitte Servatius Herman Servatius Worcester Polytechnic Institute Page 1 of 100 First Prev Next Last Page 2 of 100 We say that a framework

More information

On the packing chromatic number of some lattices

On the packing chromatic number of some lattices On the packing chromatic number of some lattices Arthur S. Finbow Department of Mathematics and Computing Science Saint Mary s University Halifax, Canada BH C art.finbow@stmarys.ca Douglas F. Rall Department

More information

Number Theory and Graph Theory

Number Theory and Graph Theory 1 Number Theory and Graph Theory Chapter 6 Basic concepts and definitions of graph theory By A. Satyanarayana Reddy Department of Mathematics Shiv Nadar University Uttar Pradesh, India E-mail: satya8118@gmail.com

More information

Math Summer 2012

Math Summer 2012 Math 481 - Summer 2012 Final Exam You have one hour and fifty minutes to complete this exam. You are not allowed to use any electronic device. Be sure to give reasonable justification to all your answers.

More information

WUCT121. Discrete Mathematics. Graphs

WUCT121. Discrete Mathematics. Graphs WUCT121 Discrete Mathematics Graphs WUCT121 Graphs 1 Section 1. Graphs 1.1. Introduction Graphs are used in many fields that require analysis of routes between locations. These areas include communications,

More information

9.5 Equivalence Relations

9.5 Equivalence Relations 9.5 Equivalence Relations You know from your early study of fractions that each fraction has many equivalent forms. For example, 2, 2 4, 3 6, 2, 3 6, 5 30,... are all different ways to represent the same

More information

CS 311 Discrete Math for Computer Science Dr. William C. Bulko. Graphs

CS 311 Discrete Math for Computer Science Dr. William C. Bulko. Graphs CS 311 Discrete Math for Computer Science Dr. William C. Bulko Graphs 2014 Definitions Definition: A graph G = (V,E) consists of a nonempty set V of vertices (or nodes) and a set E of edges. Each edge

More information

WALL, NICOLE TURPIN, M.A. On the Reconstruction Conjecture. (2008) Directed by Dr. Paul Duvall. 56 pp.

WALL, NICOLE TURPIN, M.A. On the Reconstruction Conjecture. (2008) Directed by Dr. Paul Duvall. 56 pp. WALL, NICOLE TURPIN, M.A. On the Reconstruction Conjecture. (2008) Directed by Dr. Paul Duvall. 56 pp. Every graph of order three or more is reconstructible. Frank Harary restated one of the most famous

More information

Eternal Domination: Criticality and Reachability

Eternal Domination: Criticality and Reachability Eternal Domination: Criticality and Reachability William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224-2669 wkloster@unf.edu Gary MacGillivray Department of Mathematics

More information

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE Professor Kindred Math 104, Graph Theory Homework 2 Solutions February 7, 2013 Introduction to Graph Theory, West Section 1.2: 26, 38, 42 Section 1.3: 14, 18 Section 2.1: 26, 29, 30 DO NOT RE-DISTRIBUTE

More information

The Restrained Edge Geodetic Number of a Graph

The Restrained Edge Geodetic Number of a Graph International Journal of Computational and Applied Mathematics. ISSN 0973-1768 Volume 11, Number 1 (2016), pp. 9 19 Research India Publications http://www.ripublication.com/ijcam.htm The Restrained Edge

More information

Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem

Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem David Glickenstein November 26, 2008 1 Graph minors Let s revisit some de nitions. Let G = (V; E) be a graph. De nition 1 Removing

More information

Recognizing Interval Bigraphs by Forbidden Patterns

Recognizing Interval Bigraphs by Forbidden Patterns Recognizing Interval Bigraphs by Forbidden Patterns Arash Rafiey Simon Fraser University, Vancouver, Canada, and Indiana State University, IN, USA arashr@sfu.ca, arash.rafiey@indstate.edu Abstract Let

More information

AXIOMS FOR THE INTEGERS

AXIOMS FOR THE INTEGERS AXIOMS FOR THE INTEGERS BRIAN OSSERMAN We describe the set of axioms for the integers which we will use in the class. The axioms are almost the same as what is presented in Appendix A of the textbook,

More information

Partitioning Complete Multipartite Graphs by Monochromatic Trees

Partitioning Complete Multipartite Graphs by Monochromatic Trees Partitioning Complete Multipartite Graphs by Monochromatic Trees Atsushi Kaneko, M.Kano 1 and Kazuhiro Suzuki 1 1 Department of Computer and Information Sciences Ibaraki University, Hitachi 316-8511 Japan

More information

Characterizations of graph classes by forbidden configurations

Characterizations of graph classes by forbidden configurations Characterizations of graph classes by forbidden configurations Zdeněk Dvořák September 14, 2015 We consider graph classes that can be described by excluding some fixed configurations. Let us give some

More information

Extremal Graph Theory: Turán s Theorem

Extremal Graph Theory: Turán s Theorem Bridgewater State University Virtual Commons - Bridgewater State University Honors Program Theses and Projects Undergraduate Honors Program 5-9-07 Extremal Graph Theory: Turán s Theorem Vincent Vascimini

More information

Pebble Sets in Convex Polygons

Pebble Sets in Convex Polygons 2 1 Pebble Sets in Convex Polygons Kevin Iga, Randall Maddox June 15, 2005 Abstract Lukács and András posed the problem of showing the existence of a set of n 2 points in the interior of a convex n-gon

More information

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1 Graph fundamentals Bipartite graph characterization Lemma. If a graph contains an odd closed walk, then it contains an odd cycle. Proof strategy: Consider a shortest closed odd walk W. If W is not a cycle,

More information

Ma/CS 6b Class 5: Graph Connectivity

Ma/CS 6b Class 5: Graph Connectivity Ma/CS 6b Class 5: Graph Connectivity By Adam Sheffer Communications Network We are given a set of routers and wish to connect pairs of them to obtain a connected communications network. The network should

More information

Decreasing the Diameter of Bounded Degree Graphs

Decreasing the Diameter of Bounded Degree Graphs Decreasing the Diameter of Bounded Degree Graphs Noga Alon András Gyárfás Miklós Ruszinkó February, 00 To the memory of Paul Erdős Abstract Let f d (G) denote the minimum number of edges that have to be

More information

On vertex-coloring edge-weighting of graphs

On vertex-coloring edge-weighting of graphs Front. Math. China DOI 10.1007/s11464-009-0014-8 On vertex-coloring edge-weighting of graphs Hongliang LU 1, Xu YANG 1, Qinglin YU 1,2 1 Center for Combinatorics, Key Laboratory of Pure Mathematics and

More information

The Structure of Bull-Free Perfect Graphs

The Structure of Bull-Free Perfect Graphs The Structure of Bull-Free Perfect Graphs Maria Chudnovsky and Irena Penev Columbia University, New York, NY 10027 USA May 18, 2012 Abstract The bull is a graph consisting of a triangle and two vertex-disjoint

More information

2 The Fractional Chromatic Gap

2 The Fractional Chromatic Gap C 1 11 2 The Fractional Chromatic Gap As previously noted, for any finite graph. This result follows from the strong duality of linear programs. Since there is no such duality result for infinite linear

More information

Small Survey on Perfect Graphs

Small Survey on Perfect Graphs Small Survey on Perfect Graphs Michele Alberti ENS Lyon December 8, 2010 Abstract This is a small survey on the exciting world of Perfect Graphs. We will see when a graph is perfect and which are families

More information

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE Professor Kindred Math 104, Graph Theory Homework 3 Solutions February 14, 2013 Introduction to Graph Theory, West Section 2.1: 37, 62 Section 2.2: 6, 7, 15 Section 2.3: 7, 10, 14 DO NOT RE-DISTRIBUTE

More information

Let G = (V, E) be a graph. If u, v V, then u is adjacent to v if {u, v} E. We also use the notation u v to denote that u is adjacent to v.

Let G = (V, E) be a graph. If u, v V, then u is adjacent to v if {u, v} E. We also use the notation u v to denote that u is adjacent to v. Graph Adjacent Endpoint of an edge Incident Neighbors of a vertex Degree of a vertex Theorem Graph relation Order of a graph Size of a graph Maximum and minimum degree Let G = (V, E) be a graph. If u,

More information

K 4 C 5. Figure 4.5: Some well known family of graphs

K 4 C 5. Figure 4.5: Some well known family of graphs 08 CHAPTER. TOPICS IN CLASSICAL GRAPH THEORY K, K K K, K K, K K, K C C C C 6 6 P P P P P. Graph Operations Figure.: Some well known family of graphs A graph Y = (V,E ) is said to be a subgraph of a graph

More information

HW Graph Theory Name (andrewid) - X. 1: Draw K 7 on a torus with no edge crossings.

HW Graph Theory Name (andrewid) - X. 1: Draw K 7 on a torus with no edge crossings. 1: Draw K 7 on a torus with no edge crossings. A quick calculation reveals that an embedding of K 7 on the torus is a -cell embedding. At that point, it is hard to go wrong if you start drawing C 3 faces,

More information

Graph Theory: Introduction

Graph Theory: Introduction Graph Theory: Introduction Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering, IIT Kharagpur pallab@cse.iitkgp.ernet.in Resources Copies of slides available at: http://www.facweb.iitkgp.ernet.in/~pallab

More information

The strong chromatic number of a graph

The strong chromatic number of a graph The strong chromatic number of a graph Noga Alon Abstract It is shown that there is an absolute constant c with the following property: For any two graphs G 1 = (V, E 1 ) and G 2 = (V, E 2 ) on the same

More information

Fundamental Properties of Graphs

Fundamental Properties of Graphs Chapter three In many real-life situations we need to know how robust a graph that represents a certain network is, how edges or vertices can be removed without completely destroying the overall connectivity,

More information

Exercise set 2 Solutions

Exercise set 2 Solutions Exercise set 2 Solutions Let H and H be the two components of T e and let F E(T ) consist of the edges of T with one endpoint in V (H), the other in V (H ) Since T is connected, F Furthermore, since T

More information

Part II. Graph Theory. Year

Part II. Graph Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 53 Paper 3, Section II 15H Define the Ramsey numbers R(s, t) for integers s, t 2. Show that R(s, t) exists for all s,

More information

Math 170- Graph Theory Notes

Math 170- Graph Theory Notes 1 Math 170- Graph Theory Notes Michael Levet December 3, 2018 Notation: Let n be a positive integer. Denote [n] to be the set {1, 2,..., n}. So for example, [3] = {1, 2, 3}. To quote Bud Brown, Graph theory

More information

Discrete mathematics , Fall Instructor: prof. János Pach

Discrete mathematics , Fall Instructor: prof. János Pach Discrete mathematics 2016-2017, Fall Instructor: prof. János Pach - covered material - Lecture 1. Counting problems To read: [Lov]: 1.2. Sets, 1.3. Number of subsets, 1.5. Sequences, 1.6. Permutations,

More information

arxiv: v4 [math.co] 4 Apr 2011

arxiv: v4 [math.co] 4 Apr 2011 Upper-critical graphs (complete k-partite graphs) José Antonio Martín H. Faculty of Computer Science, Complutense University of Madrid, Spain arxiv:1011.4124v4 [math.co] 4 Apr 2011 Abstract This work introduces

More information

EDGE MAXIMAL GRAPHS CONTAINING NO SPECIFIC WHEELS. Jordan Journal of Mathematics and Statistics (JJMS) 8(2), 2015, pp I.

EDGE MAXIMAL GRAPHS CONTAINING NO SPECIFIC WHEELS. Jordan Journal of Mathematics and Statistics (JJMS) 8(2), 2015, pp I. EDGE MAXIMAL GRAPHS CONTAINING NO SPECIFIC WHEELS M.S.A. BATAINEH (1), M.M.M. JARADAT (2) AND A.M.M. JARADAT (3) A. Let k 4 be a positive integer. Let G(n; W k ) denote the class of graphs on n vertices

More information

Modules. 6 Hamilton Graphs (4-8 lectures) Introduction Necessary conditions and sufficient conditions Exercises...

Modules. 6 Hamilton Graphs (4-8 lectures) Introduction Necessary conditions and sufficient conditions Exercises... Modules 6 Hamilton Graphs (4-8 lectures) 135 6.1 Introduction................................ 136 6.2 Necessary conditions and sufficient conditions............. 137 Exercises..................................

More information

List Coloring Graphs

List Coloring Graphs List Coloring Graphs January 29, 2004 CHROMATIC NUMBER Defn 1 A k coloring of a graph G is a function c : V (G) {1, 2,... k}. A proper k coloring of a graph G is a coloring of G with k colors so that no

More information

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PAUL BALISTER Abstract It has been shown [Balister, 2001] that if n is odd and m 1,, m t are integers with m i 3 and t i=1 m i = E(K n) then K n can be decomposed

More information

These notes present some properties of chordal graphs, a set of undirected graphs that are important for undirected graphical models.

These notes present some properties of chordal graphs, a set of undirected graphs that are important for undirected graphical models. Undirected Graphical Models: Chordal Graphs, Decomposable Graphs, Junction Trees, and Factorizations Peter Bartlett. October 2003. These notes present some properties of chordal graphs, a set of undirected

More information

Some relations among term rank, clique number and list chromatic number of a graph

Some relations among term rank, clique number and list chromatic number of a graph Discrete Mathematics 306 (2006) 3078 3082 www.elsevier.com/locate/disc Some relations among term rank, clique number and list chromatic number of a graph Saieed Akbari a,b, Hamid-Reza Fanaï a,b a Department

More information

arxiv: v3 [cs.dm] 24 Jul 2018

arxiv: v3 [cs.dm] 24 Jul 2018 Equimatchable Claw-Free Graphs aieed Akbari a,1, Hadi Alizadeh b, Tınaz Ekim c, Didem Gözüpek b, Mordechai halom c,d,2 a Department of Mathematical ciences, harif University of Technology, 11155-9415,

More information

Some Elementary Lower Bounds on the Matching Number of Bipartite Graphs

Some Elementary Lower Bounds on the Matching Number of Bipartite Graphs Some Elementary Lower Bounds on the Matching Number of Bipartite Graphs Ermelinda DeLaViña and Iride Gramajo Department of Computer and Mathematical Sciences University of Houston-Downtown Houston, Texas

More information

1 Matchings with Tutte s Theorem

1 Matchings with Tutte s Theorem 1 Matchings with Tutte s Theorem Last week we saw a fairly strong necessary criterion for a graph to have a perfect matching. Today we see that this condition is in fact sufficient. Theorem 1 (Tutte, 47).

More information

Progress Towards the Total Domination Game 3 4 -Conjecture

Progress Towards the Total Domination Game 3 4 -Conjecture Progress Towards the Total Domination Game 3 4 -Conjecture 1 Michael A. Henning and 2 Douglas F. Rall 1 Department of Pure and Applied Mathematics University of Johannesburg Auckland Park, 2006 South Africa

More information

Math 443/543 Graph Theory Notes

Math 443/543 Graph Theory Notes Math 443/543 Graph Theory Notes David Glickenstein September 3, 2008 1 Introduction We will begin by considering several problems which may be solved using graphs, directed graphs (digraphs), and networks.

More information

Directed Graphs of Commutative Rings

Directed Graphs of Commutative Rings Rose-Hulman Undergraduate Mathematics Journal Volume 14 Issue 2 Article 11 Directed Graphs of Commutative Rings Seth Hausken University of St. Thomas, hauskenseth@gmail.com Jared Skinner University of

More information