Binomial Ideals from Graphs

Size: px
Start display at page:

Download "Binomial Ideals from Graphs"

Transcription

1 Binomial Ideals from Graphs Danielle Farrar University of Washington Yolanda Manzano St. Mary s University Juan Manuel Torres-Acevedo University of Puerto Rico Humacao August 10, 2000 Abstract This paper contains an examination of polynomial ideals associated to graphs and conjectures about them. We will describe how to obtain an ideal I G from a graph G. This ideal encodes the relations among all spanning trees of G. There are five conjectures we are concerned with. The first claims that I G is generated by quadratic binomials. We will discuss the relationships uncovered between different classes of graphs and their ideals. For instance, for any tree or one-circuit graph, I G = 0. Also, we can contract edges that are not part of any circuit. The number of circuits in a graph has a direct correlation to its ideal. 1 Introduction Our research concerns a special case of a conjecture made by Bernd Sturmfels of University of California, Berkeley 3]. This conjecture originates in a problem from linear algebra. From a graph, G, we can construct the matrix M G such that its rows represent the edges of G and its columns represent its spanning trees. For each column, entries of 1 represent edges that are in the spanning tree, 0 represents edges not in the spanning tree. By mapping of these elements, we can create a system of equations. Macaulay uses the Elimination Theorem to solve for the ideal of this matrix. We investigate this and other properties of the ideals from a graph, starting with specific classes, and grouping them by the number of circuits present in the graph. 35

2 Our research is concerned with investigating the following conjectures. 1. I G is generated by quadratic binomials, that is, differences of two monomials, each of which has degree two. 2. There is a reduced Gröbner basis of I G that is generated by quadratic binomials. 3. Any reduced Gröbner basis of I G is generated by quadratic binomials. 4. I G has a reduced Gröbner basis consisting of quadratic binomials with squarefree initial terms. 5. Any reduced Gröbner basis of I G consists of quadratic binomials with squarefree initial terms. In our paper, we will first give some algebra background, and then provide an explanation on how to create I G from G. We will prove that this I G is generated by a certain set of binomials. Then, we will give some background on graph theory, and show how we can reduce the classes of graphs we need to investigate by showing that extraneous edges of a graph do not change the ideal of that graph. We then prove that the ideal of a graph that is a ring or a tree is 0, and explain why Conjectures 1 and 2 should hold for two-circuit graphs. We will show our progress on proving/disproving the above conjectures. 2 Algebra Background In this section we summarize some definitions from abstract algebra. Definition 2.1 A subset I kx 1,, x n ] is an ideal if it satisfies: (i) 0 I. (ii) If f, g I, then f + g I. (iii) If f Iand h kx 1,..., x n ], then hf I. Definition 2.2 A set g 1,..., g s I is a Gröbner basis of I if and only if the leading term of any element of I is divisible by one of the LT (g i ). Definition 2.3 A mapping φ : R S is a ring homomorphism if φ satisfies the properties: (i) φ preserves sums : φ(r + r ) = φ(r) + φ(r ) for all r, r R. (ii) φ preserves products : φ(r r ) = φ(r) φ(r ) for all r, r R. (iii) φ maps the multiplicative identity 1 R to 1 S. 36

3 3 Graphs to Ideals Figure 1: a Let G be a connected, undirected graph and let K be a field. We will construct a binomial ideal I G in a polynomial ring. We will then discuss several conjectures about the ideal I G. First we associate to G a matrix M G with integer entries. Let e 1,..., e n be the edges of G, and let s 1,..., s r be all possible spanning trees of G. Let M G = (m kl ) be the (n r) matrix whose rows are labeled by e 1,..., e n and whose columns are labeled by s 1,..., s r. Let m kl = { 1 if edge ek is part of spanning tree s l 0 otherwise. Using M G, we can define a ring homomorphism by defining it on the variables as follows: φ : Kx 1,..., x r ] Ky 1,..., y n ] x i y m 1i 1 y m 2i 2 y m ri n. Definition 3.1 Let I G = ker(φ) = {f Kx 1,..., x r ] φ(f) = 0}. Example 3.2 Let G be the graph in Figure 1.a. In G, e 1 = 1, 2 e 2 = 1, 3 e 3 = 1, 4 e 4 = 2, 3 e 5 = 3, 4 where (b,c) represent vertices of G. We can then represent the spanning trees of G in the matrix M G =

4 By placing the mapping of M G in Macaulay, we obtain the following ideal: I G =< x 2 x 6 x 1 x 7, x 5 x 6 x 7 x 8, x 4 x 6 x 3 x 8, x 1 x 5 x 2 x 8, x 3 x 5 x 4 x 7, x 1 x 4 x 7 x 2 x 3 x 8 > 4 Binomial Generators of I G We will use the following notation. Let Kx 1,..., x r ] = Kx], Ky 1,..., y n ] = Ky]. Theorem 4.1 The ideal I G is generated by all binomials of the form x u+ x u, where u + u = u N n such that M G u = 0. Proof: A binomial x u x v lies in I G if and only if φ(x u ) = φ(x v ). It therefore suffices to show that each polynomial in I G is a k-linear combination of binomials. Fix a term order on kx]. Suppose f I G cannot be written as a k-linear combination of binomials. We choose a polynomial f with this property such that the initial term in (f) = x u is minimal with respect to the term order. When expanding f(t a 1,, t an ) we get zero. In particular, the term t φ(u) = φ(x u ) must cancel during this expansion. That is, there must be a term φ(x v ) such that φ(x v ) φ(x u ) = 0. Hence there is some other monomial x v x u appearing in f such that φ(v) = φ(u). Also, in the polynomial f := f x u + x v, the initial term of f is less than x u. This means that f cannot be written as a k-linear combination of binomials in I G. But since in (f ) in (f), this is a contradiction. This completes the proof. Lemma 4.2 Let v, w be integer vectors of length n, such that M G v = 0 = M G w. Then x (v+w)+ x (v+w) is a linear combination of the binomials x v+ x v and x w+ x w. More generally, if M G v i = 0 for i = 1,, a, and v = v v a, then the binomial x v+ x v is a linear combination of x (v 1) + x (v 1),, x (va)+ x (va). Then Proof: First observe that (v + w) ± = v ± + w ±. x (v+w)+ x (v+w) = x (v+ )+(w +) x (v )+(w ) This completes the proof. The general case follows by induction. = x v+ x w+ x v x w = x v+ (x w+ x w ) + x v+ x w x v x w = x v+ (x w+ x w ) + x w (x v+ x v ). Corollary 4.3 Let v 1,, v a be a generating set for the set of all v such that M G v = 0. Then the corresponding set of binomials is a generating set for the ideal I G. x (v 1) + x (v 1),, x (va)+ x (va) 38

5 Proof: By Theorem 4.1, I G is generated by all binomials of the form x v+ x v for all v = v + v such that M G v = 0. Let v = α 1 v α a v a for some integers α 1,, α a. Then by Lemma 4.2, the binomial x v+ x v combination of the binomials x v i + x v i. This completes the proof. is a linear 5 Some Graph Theory Definitions Definition 5.1 A circuit is a cycle that becomes a tree upon removal of any edge. Definition 5.2 An edge is extraneous if it is not part of any circuit. Definition 5.3 If e is an edge of G, and u and v are the vertices joined by e, then contraction of e is the operation of replacing u and v by a single vertex whose incident edges are the edges other than e that were incident to u or v.2] Lemma 5.4 Let e be an edge of G, and suppose that e is extraneous. contained in every spanning tree of G. Then e is Proof: Let e be an edge not contained in any circuit of G, and connecting vertices u and v. Suppose that a spanning tree s does not contain e. Then s contains a set of edges e p,..., e q that connect u and v. The addition of e to s creates a circuit in G. This is a contradiction, since e is extraneous. Therefore, e must be included in every spanning tree of G. Lemma 5.5 Let G be the graph obtained by contracting an extraneous edge e from a graph G. The spanning trees of G are in 1 1 correspondence with the spanning trees of G, and the corresponding vector m i is obtained from m i by deleting the entry corresponding to e. Proof: A column m i represents a spanning tree in G. Since graph G is obtained by collapsing edge e, the spanning trees in G will not contain the edge e, but all other spanning tree entries of G will correspond to those of G. Likewise, any spanning tree of G can be obtained by adding e to a spanning tree of G, since this edge will be necessary to connect the final vertex of G. Therefore, the vectors m i respresenting the spanning trees in G can be obtained by deleting the entries corresponding to e in the vectors m i in G. Lemma 5.6 For a graph G with r vertices, all spanning trees of G contain r 1 edges. 39

6 6 A Reduction Theorem Theorem 6.1 Let G be a connected graph, and let G be the graph obtained from G by contracting all extraneous edges, that is, all edges that are not part of any circuit. Then I G = I G Proof: By induction it is sufficent to first consider the case where G has one extraneous edge e. Let e 1,..., e n be the edges of G, and suppose that e n is extraneous. By Lemma 5.4, e n is contained in every spanning tree of G, so the last row of M G has all its entries equal to 1. Let M G = (m 1,..., m r ) Then, if φ(x i ) = y m i, each y m i contains y n. By Lemma 5.5, we can say M G is obtained from M G by deleting the last row. Now we must show that I G = I G. First observe that φ = p φ where p : ky 1,..., y n ] ky 1,..., y n 1 ] is the projection sending y n to 1, so that φ is the mapping of G such that Therefore, if f kerφ = I G, then φ : kx 1,..., x r ] ky 1,..., y n 1 ]. φ (f) = p φ(f) = p(0) = 0. So I G I G. To show the reverse inclusion, let x u+ x u I G be a generator. If u = u + u, then M G u = 0. Since we need to show that i=1 u M G = M G u i = 0. This implies that M G u = 0, so that x u+ x u I G. From the system of equations M G u = 0, we obtain a consequence by adding up all rows. Since the columns of M G are the incidence vectors of the spanning trees of G, they all contain the same number of 1 s, since all spanning trees contain the same number of edges, say t, by Lemma 5.6. Then the equation we obtain is tu 1 + tu tu r = 0. Dividing by t gives us the desired equation u 1 + u u r = 0. This shows that I G I G, and the proof is complete. 40 ]

7 7 Proof that I G = 0 if G 1 Circuit We will that for trees and graphs with less than or equal to 1 circuit, I G = 0. From Theorem 5.4 we are able to ignore the case where a one-circuit graph contains extraneous edges. For trees, the only spanning tree of G is G. This means that M G will always be a column consisting entirely of ones where the number of entries in G is equal to the number of edges of G. The mapping for such a matrix will then be kx] ky 1, y 2,..., y n ]. It then follows that When f is of the form x y 1, y 2,..., y n. then From this we can conclude that if and only if Therefore, f = x r + a r 1 x r a 1 x + a 0 φ(f) = (y 1...y n ) r + a r 1 (y 1...y n ) r φ(f) = 0 f = 0. kerφ = I G = 0. This proves that I G = 0 for trees. For graphs with exactly one circuit, the number of edges of G is equal to the number of spanning trees of G. Each spanning tree is distinguished by the edge it excludes. This creates a matrix M G such that M G is a square matrix with 0 entries in the diagonal and 1 entries elsewhere. That is M G = The vectors,α i of M G of this form are linearly independent. It follows that there are no integers v i such that M G v = v 1 α v i α i = 0. Therefore, kerφ = 0 41

8 and, in turn, This completes the proof. I G = 0. 8 Two Circuit Graphs Lemma 8.1 For a graph containing two circuits, let the set of edges e 1, e 2,..., e n be all edges of one of the two circuits. The two circuits have no edges in common, therefore every edge not in one of the two circuits is not part of any circucit. Proof: By definition of extraneous, any edge not a member of one of the two circuits is extraneous. By Theorem 5.4, this edge can be contracted without altering the ideal. Contraction of all extraneous edges will give the two circuit graph the form of two single circuit graphs, or rings, joined by a single vertex. The two graphs cannot have any edges in common, because the existence of such an edge would form another circuit, which would be the set of all edges besides the one the two graphs share. Therefore the only way the graph can remain connected is by a single vertex. The matrix of any two-circuit graph can be represented in the form ] s1 s M G = 1...s 1 s 2 s 2...s 2... s a...s a t 1 t 2...t b t 1 t 2...t b... t 1...t b s i and t j represent vectors where s i has a entries, corresponding to a edges in the first circuit, and t j has b entries, corresponding to b edges in the second circuit. The vector s i consists of all 1 s, except the i th entry of s i which is 0, and the vector t j consists of all 1 s, except the j th entry of t j, which is 0. This can be done because each spanning tree can be obtained by systematically eliminating one edge from each circuit. The quadratic binomials are constructed by choosing blocks i and j in the matrix, where 1 i < j a. Then choose two columns in block i, say ] ] si t k, si Then choose two columns in block j as follows: ] ] sj t k, t l sj (s i, t k ) can be used to represent the spanning tree ] si t l These form the binomial x (si,t k ) x (sj,t l ) x (si,t l ) x (sj,t k ). Conjecture 8.2 The set of all these binomials is a Gröbner basis for I G. 42 t k

9 9 Quadratic Gröbner Bases of I G As seen previously, graphs with 0 and 1 circuits yield a reduced Gröbner basis of 0. The reduced Gröbner bases of graphs with 3,5,6,7, 13 and 14 circuits contain cubic terms, and the reduced Gröbner basis of a graph with 9 circuits contains quartic terms. All of these provide counterexamples to Conjecture 3. We performed these calculations with respect to graded reverse lex ordering, and must try all different term orders to further evaluate Conjecture 2. We have found that all ideals calculated from graphs are generated by quadratic binomials, by isolating the quadratic binomials from the reduced Gröbner basis and determining if the ideal generated by this set of quadratic binomials was equal to the ideal generated by the reduced Gröbner basis. In the case of a graph with 13 circuits, we found that the ideal obtained from this graph was not generated by quadratic binomials when computed with respect to graded reverse lex ordering. We calculated the ideal with respect to lex ordering, and found that the ideal was indeed generated by quadratic binomials. This leads us to believe that term ordering may be important, and we will further investigate this in the future. 10 Ideas for Future Research We will conduct further investigation into Conjectures 2 and 4, doing computation using different term orders in order to draw conclusions regarding these conjectures, as described previously. Graphs calculated with 2 and 4 circuits had ideals and Gröbner Bases consisting of quadratic binomials. This leads us to the conjecture that all graphs with 2 n have this property. Further research is necessary to prove/disprove this concept. Definition 10.1 A block of a graph G is a maximal connected subgraph of G that has no cut-vertex, meaning it does not contain an edge whose deletion increases the number of components. If G itself is connected and has no cut-vertex, then G is a block. The general graphs have been reduced to graphs without extraneous edges. We believe that it may be possible to further reduce our examination of graphs to blocks, that is, it would be sufficient to prove the conjectures for blocks. We suspect that we can collapse edges of blocks that do not alter the number of cycles of the graph. References 1] D. Cox, J. Little, & D. O Shea, Ideals, Varieties and Algorithms, 2nd Ed., Springer-Verlag, New York, ] D. West, Introduction to Graph Theory, Prentice Hall, Upper Saddle River,

10 3] B. Sturmfels, Gröbner Bases and Convex Polytopes, American Mathematics Society, Providence, RI,

Polynomials, Ideals, and Gröbner Bases

Polynomials, Ideals, and Gröbner Bases Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields

More information

Toric Ideals, an Introduction

Toric Ideals, an Introduction The 20th National School on Algebra: DISCRETE INVARIANTS IN COMMUTATIVE ALGEBRA AND IN ALGEBRAIC GEOMETRY Mangalia, Romania, September 2-8, 2012 Hara Charalambous Department of Mathematics Aristotle University

More information

arxiv: v1 [math.ac] 11 Dec 2013

arxiv: v1 [math.ac] 11 Dec 2013 A KOSZUL FILTRATION FOR THE SECOND SQUAREFREE VERONESE SUBRING arxiv:1312.3076v1 [math.ac] 11 Dec 2013 TAKAYUKI HIBI, AYESHA ASLOOB QURESHI AND AKIHIRO SHIKAMA Abstract. The second squarefree Veronese

More information

On the minimal free resolution of a monomial ideal.

On the minimal free resolution of a monomial ideal. On the minimal free resolution of a monomial ideal. Caitlin M c Auley August 2012 Abstract Given a monomial ideal I in the polynomial ring S = k[x 1,..., x n ] over a field k, we construct a minimal free

More information

ABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n

ABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington

More information

Commuting birth-and-death processes

Commuting birth-and-death processes Commuting birth-and-death processes Caroline Uhler Department of Statistics UC Berkeley (joint work with Steven N. Evans and Bernd Sturmfels) MSRI Workshop on Algebraic Statistics December 18, 2008 Birth-and-death

More information

GRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases

GRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases GRÖBNER BASES AND POLYNOMIAL EQUATIONS J. K. VERMA 1. Introduction and preliminaries on Gróbner bases Let S = k[x 1, x 2,..., x n ] denote a polynomial ring over a field k where x 1, x 2,..., x n are indeterminates.

More information

On minors of the compound matrix of a Laplacian

On minors of the compound matrix of a Laplacian On minors of the compound matrix of a Laplacian R. B. Bapat 1 Indian Statistical Institute New Delhi, 110016, India e-mail: rbb@isid.ac.in August 28, 2013 Abstract: Let L be an n n matrix with zero row

More information

Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics. Tan Tran Junior Major-Economics& Mathematics

Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics. Tan Tran Junior Major-Economics& Mathematics Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics Tan Tran Junior Major-Economics& Mathematics History Groebner bases were developed by Buchberger in 1965, who later named

More information

PRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM

PRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM PRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM ALEX FINK 1. Introduction and background Consider the discrete conditional independence model M given by {X 1 X 2 X 3, X 1 X 3 X 2 }. The intersection axiom

More information

On a class of squarefree monomial ideals of linear type

On a class of squarefree monomial ideals of linear type On a class of squarefree monomial ideals of linear type University of Science and Technology of China Shanghai / November 2, 2013 Basic definition Let K be a field and S = K[x 1,...,x n ] a polynomial

More information

Decomposing planar cubic graphs

Decomposing planar cubic graphs Decomposing planar cubic graphs Arthur Hoffmann-Ostenhof Tomáš Kaiser Kenta Ozeki Abstract The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree,

More information

AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS

AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS JESSICA SIDMAN. Affine toric varieties: from lattice points to monomial mappings In this chapter we introduce toric varieties embedded in

More information

Acyclic Digraphs arising from Complete Intersections

Acyclic Digraphs arising from Complete Intersections Acyclic Digraphs arising from Complete Intersections Walter D. Morris, Jr. George Mason University wmorris@gmu.edu July 8, 2016 Abstract We call a directed acyclic graph a CI-digraph if a certain affine

More information

1 Matroid intersection

1 Matroid intersection CS 369P: Polyhedral techniques in combinatorial optimization Instructor: Jan Vondrák Lecture date: October 21st, 2010 Scribe: Bernd Bandemer 1 Matroid intersection Given two matroids M 1 = (E, I 1 ) and

More information

When is a squarefree monomial ideal of linear type?

When is a squarefree monomial ideal of linear type? Commutative Algebra and Noncommutative Algebraic Geometry, I MSRI Publications Volume 67, 2015 When is a squarefree monomial ideal of linear type? ALI ALILOOEE AND SARA FARIDI In 1995 Villarreal gave a

More information

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic). Trees A tree is a graph which is (a) Connected and (b) has no cycles (acyclic). 1 Lemma 1 Let the components of G be C 1, C 2,..., C r, Suppose e = (u, v) / E, u C i, v C j. (a) i = j ω(g + e) = ω(g).

More information

Notes on the Matrix-Tree theorem and Cayley s tree enumerator

Notes on the Matrix-Tree theorem and Cayley s tree enumerator Notes on the Matrix-Tree theorem and Cayley s tree enumerator 1 Cayley s tree enumerator Recall that the degree of a vertex in a tree (or in any graph) is the number of edges emanating from it We will

More information

INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F

INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal

More information

ALGEBRA: From Linear to Non-Linear. Bernd Sturmfels University of California at Berkeley

ALGEBRA: From Linear to Non-Linear. Bernd Sturmfels University of California at Berkeley ALGEBRA: From Linear to Non-Linear Bernd Sturmfels University of California at Berkeley John von Neumann Lecture, SIAM Annual Meeting, Pittsburgh, July 13, 2010 Undergraduate Linear Algebra All undergraduate

More information

Rigidity of Graphs and Frameworks

Rigidity of Graphs and Frameworks Rigidity of Graphs and Frameworks Rigid Frameworks The Rigidity Matrix and the Rigidity Matroid Infinitesimally Rigid Frameworks Rigid Graphs Rigidity in R d, d = 1,2 Global Rigidity in R d, d = 1,2 1

More information

ACYCLIC DIGRAPHS GIVING RISE TO COMPLETE INTERSECTIONS

ACYCLIC DIGRAPHS GIVING RISE TO COMPLETE INTERSECTIONS ACYCLIC DIGRAPHS GIVING RISE TO COMPLETE INTERSECTIONS WALTER D. MORRIS, JR. ABSTRACT. We call a directed acyclic graph a CIdigraph if a certain affine semigroup ring defined by it is a complete intersection.

More information

H A A}. ) < k, then there are constants c t such that c t α t = 0. j=1 H i j

H A A}. ) < k, then there are constants c t such that c t α t = 0. j=1 H i j M ath. Res. Lett. 16 (2009), no. 1, 171 182 c International Press 2009 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY Hal Schenck and Ştefan O. Tohǎneanu Abstract. The Orlik-Solomon algebra is the cohomology

More information

Parity Versions of 2-Connectedness

Parity Versions of 2-Connectedness Parity Versions of 2-Connectedness C. Little Institute of Fundamental Sciences Massey University Palmerston North, New Zealand c.little@massey.ac.nz A. Vince Department of Mathematics University of Florida

More information

Structural Grobner Basis. Bernd Sturmfels and Markus Wiegelmann TR May Department of Mathematics, UC Berkeley.

Structural Grobner Basis. Bernd Sturmfels and Markus Wiegelmann TR May Department of Mathematics, UC Berkeley. I 1947 Center St. Suite 600 Berkeley, California 94704-1198 (510) 643-9153 FAX (510) 643-7684 INTERNATIONAL COMPUTER SCIENCE INSTITUTE Structural Grobner Basis Detection Bernd Sturmfels and Markus Wiegelmann

More information

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

POLYNOMIAL DIVISION AND GRÖBNER BASES. Samira Zeada

POLYNOMIAL DIVISION AND GRÖBNER BASES. Samira Zeada THE TEACHING OF MATHEMATICS 2013, Vol. XVI, 1, pp. 22 28 POLYNOMIAL DIVISION AND GRÖBNER BASES Samira Zeada Abstract. Division in the ring of multivariate polynomials is usually not a part of the standard

More information

A short course on matching theory, ECNU Shanghai, July 2011.

A short course on matching theory, ECNU Shanghai, July 2011. A short course on matching theory, ECNU Shanghai, July 2011. Sergey Norin LECTURE 3 Tight cuts, bricks and braces. 3.1. Outline of Lecture Ear decomposition of bipartite graphs. Tight cut decomposition.

More information

On the extremal Betti numbers of binomial edge ideals of block graphs

On the extremal Betti numbers of binomial edge ideals of block graphs On the extremal Betti numbers of binomial edge ideals of block graphs Jürgen Herzog Fachbereich Mathematik Universität Duisburg-Essen Essen, Germany juergen.herzog@uni-essen.de Giancarlo Rinaldo Department

More information

On a Conjecture of Thomassen

On a Conjecture of Thomassen On a Conjecture of Thomassen Michelle Delcourt Department of Mathematics University of Illinois Urbana, Illinois 61801, U.S.A. delcour2@illinois.edu Asaf Ferber Department of Mathematics Yale University,

More information

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y] Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j

More information

ALGEBRAIC PROPERTIES OF BIER SPHERES

ALGEBRAIC PROPERTIES OF BIER SPHERES LE MATEMATICHE Vol. LXVII (2012 Fasc. I, pp. 91 101 doi: 10.4418/2012.67.1.9 ALGEBRAIC PROPERTIES OF BIER SPHERES INGA HEUDTLASS - LUKAS KATTHÄN We give a classification of flag Bier spheres, as well as

More information

COMBINATORIAL SYMBOLIC POWERS. 1. Introduction The r-th symbolic power of an ideal I in a Notherian ring R is the ideal I (r) := R 1

COMBINATORIAL SYMBOLIC POWERS. 1. Introduction The r-th symbolic power of an ideal I in a Notherian ring R is the ideal I (r) := R 1 COMBINATORIAL SYMBOLIC POWERS SETH SULLIVANT arxiv:math/0608542v1 [mathac] 22 Aug 2006 Abstract Symbolic powers of ideals are studied in the combinatorial context of monomial ideals When the ideals are

More information

arxiv: v2 [math.ac] 24 Sep 2014

arxiv: v2 [math.ac] 24 Sep 2014 When is a Squarefree Monomial Ideal of Linear Type? Ali Alilooee Sara Faridi October 16, 2018 arxiv:1309.1771v2 [math.ac] 24 Sep 2014 Abstract In 1995 Villarreal gave a combinatorial description of the

More information

NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS

NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van

More information

Solution. That ϕ W is a linear map W W follows from the definition of subspace. The map ϕ is ϕ(v + W ) = ϕ(v) + W, which is well-defined since

Solution. That ϕ W is a linear map W W follows from the definition of subspace. The map ϕ is ϕ(v + W ) = ϕ(v) + W, which is well-defined since MAS 5312 Section 2779 Introduction to Algebra 2 Solutions to Selected Problems, Chapters 11 13 11.2.9 Given a linear ϕ : V V such that ϕ(w ) W, show ϕ induces linear ϕ W : W W and ϕ : V/W V/W : Solution.

More information

Ring Sums, Bridges and Fundamental Sets

Ring Sums, Bridges and Fundamental Sets 1 Ring Sums Definition 1 Given two graphs G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) we define the ring sum G 1 G 2 = (V 1 V 2, (E 1 E 2 ) (E 1 E 2 )) with isolated points dropped. So an edge is in G 1 G

More information

DIRAC S THEOREM ON CHORDAL GRAPHS

DIRAC S THEOREM ON CHORDAL GRAPHS Seminar Series in Mathematics: Algebra 200, 1 7 DIRAC S THEOREM ON CHORDAL GRAPHS Let G be a finite graph. Definition 1. The graph G is called chordal, if each cycle of length has a chord. Theorem 2 (Dirac).

More information

Integral Closure of Monomial Ideals

Integral Closure of Monomial Ideals Communications to SIMAI Congress, ISSN 1827-9015, Vol. 3 (2009) 305 (10pp) DOI: 10.1685/CSC09305 Integral Closure of Monomial Ideals Paola L. Staglianò Dipartimento di Matematica, Facoltà di Scienze MM.FF.NN.

More information

Problem Set 1 Solutions

Problem Set 1 Solutions Math 918 The Power of Monomial Ideals Problem Set 1 Solutions Due: Tuesday, February 16 (1) Let S = k[x 1,..., x n ] where k is a field. Fix a monomial order > σ on Z n 0. (a) Show that multideg(fg) =

More information

Explicit Deformation of Lattice Ideals via Chip Firing Games on Directed Graphs

Explicit Deformation of Lattice Ideals via Chip Firing Games on Directed Graphs Explicit Deformation of Lattice Ideals via Chip Firing Games on Directed Graphs arxiv:40.3268v [math.co] 4 Jan 204 Spencer Backman and Madhusudan Manjunath For a finite index sublattice L of the root lattice

More information

A Polarization Operation for Pseudomonomial Ideals

A Polarization Operation for Pseudomonomial Ideals A Polarization Operation for Pseudomonomial Ideals Jeffrey Sun September 7, 2016 Abstract Pseudomonomials and ideals generated by pseudomonomials (pseudomonomial ideals) are a central object of study in

More information

T. Hibi Binomial ideals arising from combinatorics

T. Hibi Binomial ideals arising from combinatorics T. Hibi Binomial ideals arising from combinatorics lecture notes written by Filip Rupniewski (email: frupniewski@impan.pl) Binomial Ideals conference 3-9 September 207, Łukęcin, Poland Lecture Let S =

More information

Enumeration of subtrees of trees

Enumeration of subtrees of trees Enumeration of subtrees of trees Weigen Yan a,b 1 and Yeong-Nan Yeh b a School of Sciences, Jimei University, Xiamen 36101, China b Institute of Mathematics, Academia Sinica, Taipei 1159. Taiwan. Theoretical

More information

Betti Numbers of Splittable Graphs

Betti Numbers of Splittable Graphs Betti Numbers of Splittable Graphs Brittany Burns Dept. of Mathematical Sciences Shawnee State University, Portsmouth, OH 45662 USA Haley Mansfield Dept. of Mathematics Kansas State University, Manhattan,

More information

Topics in Graph Theory

Topics in Graph Theory Topics in Graph Theory September 4, 2018 1 Preliminaries A graph is a system G = (V, E) consisting of a set V of vertices and a set E (disjoint from V ) of edges, together with an incidence function End

More information

5 Flows and cuts in digraphs

5 Flows and cuts in digraphs 5 Flows and cuts in digraphs Recall that a digraph or network is a pair G = (V, E) where V is a set and E is a multiset of ordered pairs of elements of V, which we refer to as arcs. Note that two vertices

More information

Math 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010

Math 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010 Math 4370 Exam 1 Handed out March 9th 2010 Due March 18th 2010 Problem 1. Recall from problem 1.4.6.e in the book, that a generating set {f 1,..., f s } of I is minimal if I is not the ideal generated

More information

arxiv: v2 [math.ac] 19 Dec 2008

arxiv: v2 [math.ac] 19 Dec 2008 A combinatorial description of monomial algebras arxiv:0810.4836v2 [math.ac] 19 Dec 2008 Ignacio Oeda Universidad de Extremadura Departamento de Matemáticas e-mail: oedamc@unex.es March 22, 2009 Abstract

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

MINIMAL FREE RESOLUTIONS OF LINEAR EDGE IDEALS

MINIMAL FREE RESOLUTIONS OF LINEAR EDGE IDEALS MINIMAL FREE RESOLUTIONS OF LINEAR EDGE IDEALS RI-XIANG CHEN DEPARTMENT OF MATHEMATICS, CORNELL UNIVERSITY, ITHACA, NY 14853 Abstract. We construct minimal free resolutions for all edge ideals which have

More information

The Interlace Polynomial of Graphs at 1

The Interlace Polynomial of Graphs at 1 The Interlace Polynomial of Graphs at 1 PN Balister B Bollobás J Cutler L Pebody July 3, 2002 Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152 USA Abstract In this paper we

More information

Summer Project. August 10, 2001

Summer Project. August 10, 2001 Summer Project Bhavana Nancherla David Drescher August 10, 2001 Over the summer we embarked on a brief introduction to various concepts in algebraic geometry. We used the text Ideals, Varieties, and Algorithms,

More information

Lecture 2: Gröbner Basis and SAGBI Basis

Lecture 2: Gröbner Basis and SAGBI Basis Lecture 2: Gröbner Basis and SAGBI Basis Mohammed Tessema Suppose we have a graph. Suppose we color the graph s vertices with 3 colors so that if the vertices are adjacent they are not the same colors.

More information

arxiv: v2 [math.ac] 17 Apr 2013

arxiv: v2 [math.ac] 17 Apr 2013 ALGEBRAIC PROPERTIES OF CLASSES OF PATH IDEALS MARTINA KUBITZKE AND ANDA OLTEANU arxiv:1303.4234v2 [math.ac] 17 Apr 2013 Abstract. We consider path ideals associated to special classes of posets such as

More information

A Saturation Algorithm for Homogeneous Binomial Ideals

A Saturation Algorithm for Homogeneous Binomial Ideals A Saturation Algorithm for Homogeneous Binomial Ideals Deepanjan Kesh and Shashank K Mehta Indian Institute of Technology, Kanpur - 208016, India, {deepkesh,skmehta}@cse.iitk.ac.in Abstract. Let k[x 1,...,

More information

ACTING FREELY GABRIEL GASTER

ACTING FREELY GABRIEL GASTER ACTING FREELY GABRIEL GASTER 1. Preface This article is intended to present a combinatorial proof of Schreier s Theorem, that subgroups of free groups are free. While a one line proof exists using the

More information

Tropical Algebra. Notes by Bernd Sturmfels for the lecture on May 22, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Tropical Algebra. Notes by Bernd Sturmfels for the lecture on May 22, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Tropical Algebra Notes by Bernd Sturmfels for the lecture on May 22, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The tropical semiring (R { },, ) consists of the real numbers R,

More information

MINIMALLY NON-PFAFFIAN GRAPHS

MINIMALLY NON-PFAFFIAN GRAPHS MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect

More information

Monomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra

Monomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra Monomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra Susan M. Hermiller Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE

More information

Toric Fiber Products

Toric Fiber Products Toric Fiber Products Seth Sullivant North Carolina State University June 8, 2011 Seth Sullivant (NCSU) Toric Fiber Products June 8, 2011 1 / 26 Families of Ideals Parametrized by Graphs Let G be a finite

More information

arxiv: v1 [math.ac] 6 Jan 2019

arxiv: v1 [math.ac] 6 Jan 2019 GORENSTEIN T-SPREAD VERONESE ALGEBRAS RODICA DINU arxiv:1901.01561v1 [math.ac] 6 Jan 2019 Abstract. In this paper we characterize the Gorenstein t-spread Veronese algebras. Introduction Let K be a field

More information

Even Cycles in Hypergraphs.

Even Cycles in Hypergraphs. Even Cycles in Hypergraphs. Alexandr Kostochka Jacques Verstraëte Abstract A cycle in a hypergraph A is an alternating cyclic sequence A 0, v 0, A 1, v 1,..., A k 1, v k 1, A 0 of distinct edges A i and

More information

RING ELEMENTS AS SUMS OF UNITS

RING ELEMENTS AS SUMS OF UNITS 1 RING ELEMENTS AS SUMS OF UNITS CHARLES LANSKI AND ATTILA MARÓTI Abstract. In an Artinian ring R every element of R can be expressed as the sum of two units if and only if R/J(R) does not contain a summand

More information

MULTIPLICITIES OF MONOMIAL IDEALS

MULTIPLICITIES OF MONOMIAL IDEALS MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I

More information

The chromatic covering number of a graph

The chromatic covering number of a graph The chromatic covering number of a graph Reza Naserasr a Claude Tardif b May 7, 005 a: Department of Mathematics, Simon Fraser University, Burnaby BC, V5A 1S6, Canada. Current address: Department of Combinatorics

More information

Hamiltonicity in Connected Regular Graphs

Hamiltonicity in Connected Regular Graphs Hamiltonicity in Connected Regular Graphs Daniel W. Cranston Suil O April 29, 2012 Abstract In 1980, Jackson proved that every 2-connected k-regular graph with at most 3k vertices is Hamiltonian. This

More information

Exploiting Chordal Structure in Polynomial Ideals: A Gröbner Bases Approach

Exploiting Chordal Structure in Polynomial Ideals: A Gröbner Bases Approach Exploiting Chordal Structure in Polynomial Ideals: A Gröbner Bases Approach The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation

More information

Handout - Algebra Review

Handout - Algebra Review Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much

More information

Computing Minimal Polynomial of Matrices over Algebraic Extension Fields

Computing Minimal Polynomial of Matrices over Algebraic Extension Fields Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 2, 2013, 217 228 Computing Minimal Polynomial of Matrices over Algebraic Extension Fields by Amir Hashemi and Benyamin M.-Alizadeh Abstract In this

More information

On the adjacency matrix of a block graph

On the adjacency matrix of a block graph On the adjacency matrix of a block graph R. B. Bapat Stat-Math Unit Indian Statistical Institute, Delhi 7-SJSS Marg, New Delhi 110 016, India. email: rbb@isid.ac.in Souvik Roy Economics and Planning Unit

More information

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1 2 3 style total Math 415 Examination 3 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. The rings

More information

Classification of Root Systems

Classification of Root Systems U.U.D.M. Project Report 2018:30 Classification of Root Systems Filip Koerfer Examensarbete i matematik, 15 hp Handledare: Jakob Zimmermann Examinator: Martin Herschend Juni 2018 Department of Mathematics

More information

Every line graph of a 4-edge-connected graph is Z 3 -connected

Every line graph of a 4-edge-connected graph is Z 3 -connected European Journal of Combinatorics 0 (2009) 595 601 Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc Every line graph of a 4-edge-connected

More information

Packing of Rigid Spanning Subgraphs and Spanning Trees

Packing of Rigid Spanning Subgraphs and Spanning Trees Packing of Rigid Spanning Subgraphs and Spanning Trees Joseph Cheriyan Olivier Durand de Gevigney Zoltán Szigeti December 14, 2011 Abstract We prove that every 6k + 2l, 2k-connected simple graph contains

More information

Graphs & Algorithms: Advanced Topics Nowhere-Zero Flows

Graphs & Algorithms: Advanced Topics Nowhere-Zero Flows Graphs & Algorithms: Advanced Topics Nowhere-Zero Flows Uli Wagner ETH Zürich Flows Definition Let G = (V, E) be a multigraph (allow loops and parallel edges). An (integer-valued) flow on G (also called

More information

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going

More information

A degree bound for codimension two lattice ideals

A degree bound for codimension two lattice ideals Journal of Pure and Applied Algebra 18 (003) 01 07 www.elsevier.com/locate/jpaa A degree bound for codimension two lattice ideals Leah H. Gold Department of Mathematics, Texas A& M University, College

More information

Lecture 15: Algebraic Geometry II

Lecture 15: Algebraic Geometry II 6.859/15.083 Integer Programming and Combinatorial Optimization Fall 009 Today... Ideals in k[x] Properties of Gröbner bases Buchberger s algorithm Elimination theory The Weak Nullstellensatz 0/1-Integer

More information

1 xa 2. 2 xan n. + c 2 x α 2

1 xa 2. 2 xan n. + c 2 x α 2 Operations Research Seminar: Gröbner Bases and Integer Programming Speaker: Adam Van Tuyl Introduction In this talk I will discuss how to use some of the tools of commutative algebra and algebraic geometry

More information

An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms

An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms Fausto Di Biase and Rüdiger Urbanke CONTENTS 1. Introduction 2. The Solution by Means of a Gröbner Basis over Kx;y 3. The Solution

More information

15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu)

15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu) 15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu) First show l = c by proving l c and c l. For a maximum matching M in G, let V be the set of vertices covered by M. Since any vertex in

More information

NUMERICAL MACAULIFICATION

NUMERICAL MACAULIFICATION NUMERICAL MACAULIFICATION JUAN MIGLIORE AND UWE NAGEL Abstract. An unpublished example due to Joe Harris from 1983 (or earlier) gave two smooth space curves with the same Hilbert function, but one of the

More information

MONOMIAL IDEALS WHOSE POWERS HAVE A LINEAR RESOLUTION

MONOMIAL IDEALS WHOSE POWERS HAVE A LINEAR RESOLUTION MATH. SCAND. 95 (2004), 23 32 MONOMIAL IDEALS WHOSE POWERS HAVE A LINEAR RESOLUTION JÜRGEN HERZOG, TAKAYUKI HIBI and XINXIAN ZHENG Introduction In this paper we consider graded ideals in a polynomial ring

More information

ON A CONJECTURE BY KALAI

ON A CONJECTURE BY KALAI ISRAEL JOURNAL OF MATHEMATICS 00 (XXXX), 1 5 DOI: 10.1007/s000000000000000000000000 ON A CONJECTURE BY KALAI BY Giulio Caviglia Department of Mathematics, Purdue University 150 N. University Street, West

More information

5 The existence of Gröbner basis

5 The existence of Gröbner basis 5 The existence of Gröbner basis We use Buchberger s criterion from the previous section to give an algorithm that constructs a Gröbner basis of an ideal from any given set of generators Hilbert s Basis

More information

Extension theorems for homomorphisms

Extension theorems for homomorphisms Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following

More information

Min-Rank Conjecture for Log-Depth Circuits

Min-Rank Conjecture for Log-Depth Circuits Min-Rank Conjecture for Log-Depth Circuits Stasys Jukna a,,1, Georg Schnitger b,1 a Institute of Mathematics and Computer Science, Akademijos 4, LT-80663 Vilnius, Lithuania b University of Frankfurt, Institut

More information

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of

More information

arxiv: v1 [math.nt] 16 Jan 2018

arxiv: v1 [math.nt] 16 Jan 2018 ROOTED TREE MAPS AND THE KAWASHIMA RELATIONS FOR MULTIPLE ZETA VALUES HENRIK BACHMANN AND TATSUSHI TANAKA arxiv:1801.05381v1 [math.nt] 16 Jan 2018 Abstract. Recently, inspired by the Connes-Kreimer Hopf

More information

The planar resolution algorithm

The planar resolution algorithm The planar resolution algorithm Dumitru Stamate 1 Introduction Let I = < m 1,..., m r > S := K[x 1,..., x n ] be an arbitrary monomial ideal, where K is a field. As we saw in [5], by computing the Scarf

More information

4 Hilbert s Basis Theorem and Gröbner basis

4 Hilbert s Basis Theorem and Gröbner basis 4 Hilbert s Basis Theorem and Gröbner basis We define Gröbner bases of ideals in multivariate polynomial rings and see how they work in tandem with the division algorithm. We look again at the standard

More information

Dirac s Map-Color Theorem for Choosability

Dirac s Map-Color Theorem for Choosability Dirac s Map-Color Theorem for Choosability T. Böhme B. Mohar Technical University of Ilmenau, University of Ljubljana, D-98684 Ilmenau, Germany Jadranska 19, 1111 Ljubljana, Slovenia M. Stiebitz Technical

More information

arxiv: v1 [math.ac] 18 Mar 2014

arxiv: v1 [math.ac] 18 Mar 2014 LINEARLY RELATED POLYOMINOES arxiv:1403.4349v1 [math.ac] 18 Mar 2014 VIVIANA ENE, JÜRGEN HERZOG, TAKAYUKI HIBI Abstract. We classify all convex polyomino ideals which are linearly related or have a linear

More information

arxiv: v1 [math.co] 20 Sep 2012

arxiv: v1 [math.co] 20 Sep 2012 arxiv:1209.4628v1 [math.co] 20 Sep 2012 A graph minors characterization of signed graphs whose signed Colin de Verdière parameter ν is two Marina Arav, Frank J. Hall, Zhongshan Li, Hein van der Holst Department

More information

THE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER

THE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER THE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER arxiv:1409.2041v2 [math.ac] 11 Sep 2014 Abstract. We define the Buchberger resolution, which is a graded free resolution of a monomial ideal in

More information

Nowhere zero flow. Definition: A flow on a graph G = (V, E) is a pair (D, f) such that. 1. D is an orientation of G. 2. f is a function on E.

Nowhere zero flow. Definition: A flow on a graph G = (V, E) is a pair (D, f) such that. 1. D is an orientation of G. 2. f is a function on E. Nowhere zero flow Definition: A flow on a graph G = (V, E) is a pair (D, f) such that 1. D is an orientation of G. 2. f is a function on E. 3. u N + D (v) f(uv) = w ND f(vw) for every (v) v V. Example:

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 217 Section 11.1 Exercise 6. Let V be a vector space of finite dimension. If ϕ is any linear transformation

More information

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC). Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

More information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

More information