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

Size: px
Start display at page:

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

Transcription

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

2 History Groebner bases were developed by Buchberger in 1965, who later named them after his advisor, Wolfgang Groebner. Groebner bases were first used to solve the Ideal Membership Problem. Groebner bases can be described as special generating subsets of an ideal in a polynomial ring. They provide the foundation for many algorithms in algebraic geometry and commutative algebra.

3 Efficient Generation of Polynomial Ideals and an Application to Integer Programming Polynomial rings k x,..., (in a finite 1 xn number of indeterminates over a field) are the most fundamental objects of Computational Commutative Algebra. Polynomial rings are associative, commutative rings with identity.

4 A subset of a ring, satisfies: Ideals i. 0 f. ii. If f, g I, then f g. I iii. If f I and h k x x, then., is an ideal if it Different examples of ideals in the polynomial ring: Ideal generated by a finite number of polynomials. Ideal generated by monomials (LT ideal) Ideal generated by binomials (toric ideal). Ideal generated by varieties. I k x,..., 1 xn,..., 1 n hf I

5 Ideal Membership Problem In the single variable case: Given f k x, and an ideal I= f,..., 1 fs, how to determine whether a given polynomial f in 4 6 kx lies, for example, in x 1, x 1? ] kx [ How to find the generator of the ideal contained in k[x]? GCD is the key to the ideal membership problem. In the single variable case, if the division of the polynomial yields zero as the remainder, then it is in the given ideal.

6 Polynomials of one variable Given a nonzero polynomial, let f a0x a1 x... a m m m1, where LT f a0x Division algorithm- let k be a field and let g be a nonzero polynomial in k[x]. Then every f in k[x] can be written as f k x m Ex: f= qg + r, where q, r in K[x], and are unique. 0< deg(r) < deg (g) 1 1 x 2x x 1 x x 2x 1 x

7 Greatest Common Divisor and The Euclidean Algorithm The greatest common divisor of polynomials f,..., is a polynomial h such that: 1 fs k x 1. h divides f,..., 1 fs 2. if p is another polynomial which divides f,..., 1 fs, then p divides h. GCD gives the generator for the ideal,..., 1 s. It exists and is unique, as the consequence of the division algorithm. The Euclidean Algorithm is the classic algorithm for computing the GCD of two polynomials in k[x]. It can also be modified to calculate the GCD of multivariable polynomials. f f

8 Multivariable Polynomials A polynomial f in K[ x,..., ] with coefficients 1 xn in K is a finite linear combination of monomials. f a x, a k n max 0 multi deg f multi deg( f ) LC f a k LM ( f ) x multi deg( f ) LT( f ) LC( f ) LM ( f )

9 Monomial A monomial in K[ x,..., 1 xn ] is a product of 1 2 the form... n x 1 x 2 x a n denoted x and a is the exponent vector with ai 1,..., n Z 0 The total degree of this monomial is the sum 1... n

10 Term Ordering A monomial (term) order on k x,..., 1 xn is a a relation on a set of monomials x or, equivalently, on the set of exponent vectors a a,..., 1 n, a such that: i Z 0 a) is a total order; b) If x x x x u v u w vw n w 0 c) is a well ordering. Given a term order, every nonzero polynomial f k x,..., 1 xn has a unique leading monomial denoted in ( f ).

11 Example How to order? f 4xy z 4z 5x 7 x z k[ x, y, z] 1. With respect to the lex order, the reordering of the terms of f in decreasing order is: f 5x 7x z 4xy z 4z 2. With respect to grlex order: f 7x z 4xy z 5x 4z With respect to grevlex order: f 4xy z 7x z 5x 4z

12 Lexicographic Order n Let ( 1,..., n ) and ( 1,... n) 0. We say if, in the vector difference lex the left most nonzero entry is positive. We will write x x if lex. n Ex: (3,2,4) lex (3,2,1) since (0,0,3) x 3 x 2 x lex x x x

13 Division algorithm in multivariable polynomials n Fix a monomial order on 0 and let F ( f1,..., f s ) be an ordered s-tuple of polynomials in K x,..., 1 xn. Then every f in K x x can be written as 1,..., n F a f... a f r 1 1 s s Where: 1. The ai, r K x1,..., xn 2. No term of r is divisible by any ( ). 3. 1< i < s. in ( f ) in( a f ) i i in f i

14 Changing the order of polynomials in the division set can change the result and, in particular, the remainders will be different. EX: Division 1: Division 2: 2 2 xy x xy 1, y 1 f xy f y 2 1 1, xy x y xy y x y ( 1) 0 ( 1) ( ) r x y f y 1, f xy xy x x y xy ( 1) 0 ( 1) 0 r 0

15 Ideal Membership problem: Given 1 and an ideal I f f, determine if f I 1,..., s f K[ x,, x n ] It is impossible to use the method of the one variable case to solve the ideal membership problem.

16 Groebner Bases Definition: Given a monomial order and an ideal I F[ x1,..., x n ]. We say that g,..., 1 gt is a Groebner Basis of I if in ( g ),..., in ( g ) in ( I). 1 Any Groebner basis for an ideal I is a generating set for I. t

17 If g,..., 1 gt Groebner Bases is a Groebner basis for I, and K[ 1,..., ], then f can be written uniquely in the form f= g+r, where g I( g a1g 1... atgt) and no term of r is divisible by in ( g i ). f x x n { g,..., g t } If 1 is a Groebner basis for I, and f K[ x1,..., x n ], then f I the remainder of f on division by g,..., 1 gn is zero.

18 Hilbert Basis Theorem Every ideal set. That is, I k x,..., 1 xn I g,..., 1 gt has a finite generating for some g g I Fix a monomial order. Then every ideal I K[ x1,..., x n ] other than {0} has a finite Groebner basis. 1,..., t

19 Buchberger Algorithm Let f, g K[ x1,..., x n ] be nonzero. Fix a monomial order and let ( ) u v in f cx, in ( g) dx, c, d k. Let w x u v be the least common multiple of x and x. The S polynomial of f and g is: x x S( f, g) f g LT( f ) LT( g)

20 Example 3 f x 2xy 2 2 g x y 2y x 3 3 x y 3 x y 2 2 S( f, g) ( x 2 xy) ( x y 2 y x) 3 2 x x y x y 3 2x y x y x y x y x x y x y 2xy 2xy x x Which is not divisible by in ( f ) or by in ( g).

21 Buchberger Algorithm Input: Output: a Groebner basis G ' : F REPEAT F f1 f s G': G (,..., ) FOR each pair G g1 g s { p, q}, p q (,..., ) F G in G DO for I, with UNTIL r S : S( p, q) G' IF S 0 THEN G : G { S} G G' G f is the unique remainder of f on division by G { g (r is normal form) 1,..., g n }

22 G x xy x y y x x { 2, 2, } S g g 1 (, ) G G 1 S( g, g ) 2xy g G 1 2 S( g, g ) x 2y g Example G2 { x 2 xy, x 2 y x, x, 2 xy, x 2 y } S( g, g ) 4y G G 2 3 S( g, g ) 2y S g g G (, ) 0 i j REPEAT G x xy x y x x xy x y y { 2, 2,, 2, 2, } S g g G 3 (, ) 0 G3 i j G all other i,j i j REPEAT

23 My Research My research consists of applying specific concepts and constructions from Commutative Algebra to the area known in Economics as Integer Programming. In particular, by means of several algorithms (Conti- Traverso, Buchberger), a specific Transportation Problem (one of the classical problems of Integer Programming) is solved. To find the Toric Ideal and Groebner Basis needed to obtain the optimal solution, it was necessary to explore several versions of Computational Commutative Algebra software such as CoCoa and Maucalay.

24 Terminologies A homomorphism from a ring (R, +, ) to a ring (S,, *) is a function f from R to S that that preserves the structure of a ring, that is, for all a, b in R, the following identities hold: f(a + b) = f(a) f(b) f(a b) = f(a) * f(b)

25 Toric Ideal Fix d A { a1,..., an} Z Identify each a i with a monomial a i 1 1 t F[ t1,..., td, t1,..., td ] (Laurent polynomial ring) Consider the semigroup homomorphism: : N Which lifts to: n Z d u ( u,..., u ) u a... u a 1 n 1 1 n n ^ ker( ) is : k[ x,..., x ] k[ t,..., t, t,..., t ] ^ n 1 d 1 d I A, the Toric Ideal of A

26 Toric Ideal Toric ideal is a special class of ideals in the polynomial ring. The toric ideal I A is a spanned as a F vector space by the set of binomials { x u x v : u, v N n and( u) ( v)}

27 Integer Programming Given any cost vector w R n, find a point u in 1 () b which minimizes the value of the linear functional u u w. The idea here is to apply toric ideals to model and solve the problem.

28 1 () b n Given any cost vector w R find a point u in which minimizes the value of the linear functional. 1 Fix s, t Z, e,..., e N s ' ' t 1,..., t,, s e e N n s t d s t u ' { i j : 1,...,, 1,..., } st st : N N, u w t t s s { u } ( u,..., u ; u,..., u ) ij 1j sj i1 it j1 j1 i1 i1 The fiber 1 ( rc ; ) consists of all non-negative integer matrices with row sums r and column sums c. A e e i s j t N d st

29 Algorithm Input: a dnmatrix A and a cost function w R Output: An optimal point u 1 () b with uw minimal for any given bim( ). 1. Compute the reduced Groebner basis G for with respect to weight order. 2. For any given vector bim( ) do: a. Find any feasible solution v 1 () b. u v b. Compute the normal form x of x with respect to the weight order. Output u. n

30 The Transportation Problem s= 4 factories t=3 stores S, S, S F 1 F 2 F F 3 4 F, F, F, F produces 120 units produces 204 units produces 92 units produces 55 units demands 183 units demands 190 units demands 98 units W is the non negative real cost associated with transporting one unit from to. F i S j We want the transportation plan that minimizes total cost of shipping all 942 units. In the fiber: 1 (120,204,92,55;183,190,98) S 1 S 2 S 3 We have all the possible transportation plans.

31 And let be the diagonal term order ( x11 x12... x st ). In this case is the set of 2*2 minors. G w w Consider the feasible solution v x x11 x12 x13 x 21x22 x23x31 x32 x33 x41 x42x43 Corresponding to the matrix v =

32 The normal form of Groebner basis v x with respect to the { x x x x :1 i j 4,1 k l 4} il jk ik jl u x x x x x x x Which is the optimal solution is u

33 Use of Software CoCoa MaCaulay

34

35

36

37

38

39

40 CONCLUSIONS The use of techniques from Groebner Basis Theory, and Commutative Algebra in general, to solve a classical problem from Economics, Integer Programming, shows how advances in research in pure mathematics find applications never imagined. As I am a double major, this project let me see first hand how a very abstract area of Mathematics has an application to my other field.

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

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

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

Lesson 14 Properties of Groebner Bases

Lesson 14 Properties of Groebner Bases Lesson 14 Properties of Groebner Bases I. Groebner Bases Yield Unique Remainders Theorem Let be a Groebner basis for an ideal, and let. Then there is a unique with the following properties (i) No term

More information

Groebner Bases and Applications

Groebner Bases and Applications Groebner Bases and Applications Robert Hines December 16, 2014 1 Groebner Bases In this section we define Groebner Bases and discuss some of their basic properties, following the exposition in chapter

More information

PREMUR Seminar Week 2 Discussions - Polynomial Division, Gröbner Bases, First Applications

PREMUR Seminar Week 2 Discussions - Polynomial Division, Gröbner Bases, First Applications PREMUR 2007 - Seminar Week 2 Discussions - Polynomial Division, Gröbner Bases, First Applications Day 1: Monomial Orders In class today, we introduced the definition of a monomial order in the polyomial

More information

A decoding algorithm for binary linear codes using Groebner bases

A decoding algorithm for binary linear codes using Groebner bases A decoding algorithm for binary linear codes using Groebner bases arxiv:1810.04536v1 [cs.it] 9 Oct 2018 Harinaivo ANDRIATAHINY (1) e-mail : hariandriatahiny@gmail.com Jean Jacques Ferdinand RANDRIAMIARAMPANAHY

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

Abstract Algebra for Polynomial Operations. Maya Mohsin Ahmed

Abstract Algebra for Polynomial Operations. Maya Mohsin Ahmed Abstract Algebra for Polynomial Operations Maya Mohsin Ahmed c Maya Mohsin Ahmed 2009 ALL RIGHTS RESERVED To my students As we express our gratitude, we must never forget that the highest appreciation

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 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

MTH310 EXAM 2 REVIEW

MTH310 EXAM 2 REVIEW MTH310 EXAM 2 REVIEW SA LI 4.1 Polynomial Arithmetic and the Division Algorithm A. Polynomial Arithmetic *Polynomial Rings If R is a ring, then there exists a ring T containing an element x that is not

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

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

Math 615: Lecture of January 10, 2007

Math 615: Lecture of January 10, 2007 Math 615: Lecture of January 10, 2007 The definition of lexicographic order is quite simple, but the totally ordered set that one gets is not even if there are only two variables one has 1 < x 2 < x 2

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

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

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

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

1. Algebra 1.5. Polynomial Rings

1. Algebra 1.5. Polynomial Rings 1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are

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

Section III.6. Factorization in Polynomial Rings

Section III.6. Factorization in Polynomial Rings III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)

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

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

The F 4 Algorithm. Dylan Peifer. 9 May Cornell University

The F 4 Algorithm. Dylan Peifer. 9 May Cornell University The F 4 Algorithm Dylan Peifer Cornell University 9 May 2017 Gröbner Bases History Gröbner bases were introduced in 1965 in the PhD thesis of Bruno Buchberger under Wolfgang Gröbner. Buchberger s algorithm

More information

Rewriting Polynomials

Rewriting Polynomials Rewriting Polynomials 1 Roots and Eigenvalues the companion matrix of a polynomial the ideal membership problem 2 Automatic Geometric Theorem Proving the circle theorem of Appolonius 3 The Division Algorithm

More information

A gentle introduction to Elimination Theory. March METU. Zafeirakis Zafeirakopoulos

A gentle introduction to Elimination Theory. March METU. Zafeirakis Zafeirakopoulos A gentle introduction to Elimination Theory March 2018 @ METU Zafeirakis Zafeirakopoulos Disclaimer Elimination theory is a very wide area of research. Z.Zafeirakopoulos 2 Disclaimer Elimination theory

More information

REGULARITY AND ALGEBRAIC PROPERTIES OF CERTAIN LATTICE IDEALS JORGE NEVES, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL

REGULARITY AND ALGEBRAIC PROPERTIES OF CERTAIN LATTICE IDEALS JORGE NEVES, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL REGULARITY AND ALGEBRAIC PROPERTIES OF CERTAIN LATTICE IDEALS JORGE NEVES, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL Dedicated to Professor Aron Simis on the occasion of his 70th birthday Abstract. We

More information

Standard Bases for Linear Codes over Prime Fields

Standard Bases for Linear Codes over Prime Fields Standard Bases for Linear Codes over Prime Fields arxiv:1708.05490v1 cs.it] 18 Aug 2017 Jean Jacques Ferdinand RANDRIAMIARAMPANAHY 1 e-mail : randriamiferdinand@gmail.com Harinaivo ANDRIATAHINY 2 e-mail

More information

The original expression can be written as, 4-2 Greatest common divisor of univariate polynomials. Let us consider the following two polynomials.

The original expression can be written as, 4-2 Greatest common divisor of univariate polynomials. Let us consider the following two polynomials. Algebraic Geodesy and Geoinformatics 2009 PART I - METHODS 4 Groebner Basis 4- Greatest common divisor of integers Let us consider the following integer numbers 2, 20 and 8. Factorize them, Clear@"Global

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

Lecture 4 February 5

Lecture 4 February 5 Math 239: Discrete Mathematics for the Life Sciences Spring 2008 Lecture 4 February 5 Lecturer: Lior Pachter Scribe/ Editor: Michaeel Kazi/ Cynthia Vinzant 4.1 Introduction to Gröbner Bases In this lecture

More information

COMMUTATIVE RINGS. Definition 3: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

COMMUTATIVE RINGS. Definition 3: A domain is a commutative ring R that satisfies the cancellation law for multiplication: COMMUTATIVE RINGS Definition 1: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative

More information

Solving systems of polynomial equations and minimization of multivariate polynomials

Solving systems of polynomial equations and minimization of multivariate polynomials François Glineur, Polynomial solving & minimization - 1 - First Prev Next Last Full Screen Quit Solving systems of polynomial equations and minimization of multivariate polynomials François Glineur UCL/CORE

More information

(Rgs) Rings Math 683L (Summer 2003)

(Rgs) Rings Math 683L (Summer 2003) (Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that

More information

Computing with polynomials: Hensel constructions

Computing with polynomials: Hensel constructions Course Polynomials: Their Power and How to Use Them, JASS 07 Computing with polynomials: Hensel constructions Lukas Bulwahn March 28, 2007 Abstract To solve GCD calculations and factorization of polynomials

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

Unit 13: Polynomials and Exponents

Unit 13: Polynomials and Exponents Section 13.1: Polynomials Section 13.2: Operations on Polynomials Section 13.3: Properties of Exponents Section 13.4: Multiplication of Polynomials Section 13.5: Applications from Geometry Section 13.6:

More information

Computational methods in the study of symplectic quotients

Computational methods in the study of symplectic quotients Computational methods in the study of symplectic quotients Hans-Christian Herbig, UFRJ and Christopher Seaton, Rhodes College Instituto de Matemática Aplicado, Universidade Federal do Rio de Janeiro January

More information

Binomial Ideals from Graphs

Binomial Ideals from Graphs 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

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

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series. 6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral

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

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

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

Reversely Well-Ordered Valuations on Polynomial Rings in Two Variables

Reversely Well-Ordered Valuations on Polynomial Rings in Two Variables Reversely Well-Ordered Valuations on Polynomial Rings in Two Variables Edward Mosteig Loyola Marymount University Los Angeles, California, USA Workshop on Valuations on Rational Function Fields Department

More information

Polynomials. Chapter 4

Polynomials. Chapter 4 Chapter 4 Polynomials In this Chapter we shall see that everything we did with integers in the last Chapter we can also do with polynomials. Fix a field F (e.g. F = Q, R, C or Z/(p) for a prime p). Notation

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z). 18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian

More information

Questionnaire for CSET Mathematics subset 1

Questionnaire for CSET Mathematics subset 1 Questionnaire for CSET Mathematics subset 1 Below is a preliminary questionnaire aimed at finding out your current readiness for the CSET Math subset 1 exam. This will serve as a baseline indicator for

More information

50 Algebraic Extensions

50 Algebraic Extensions 50 Algebraic Extensions Let E/K be a field extension and let a E be algebraic over K. Then there is a nonzero polynomial f in K[x] such that f(a) = 0. Hence the subset A = {f K[x]: f(a) = 0} of K[x] does

More information

Notes 6: Polynomials in One Variable

Notes 6: Polynomials in One Variable Notes 6: Polynomials in One Variable Definition. Let f(x) = b 0 x n + b x n + + b n be a polynomial of degree n, so b 0 0. The leading term of f is LT (f) = b 0 x n. We begin by analyzing the long division

More information

Lecture 7: Polynomial rings

Lecture 7: Polynomial rings Lecture 7: Polynomial rings Rajat Mittal IIT Kanpur You have seen polynomials many a times till now. The purpose of this lecture is to give a formal treatment to constructing polynomials and the rules

More information

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under

More information

Polynomials and Gröbner Bases

Polynomials and Gröbner Bases Alice Feldmann 16th December 2014 ETH Zürich Student Seminar in Combinatorics: Mathema:cal So

More information

COMPUTATIONAL COMMUTATIVE ALGEBRA NOTES

COMPUTATIONAL COMMUTATIVE ALGEBRA NOTES COMPUTATIONAL COMMUTATIVE ALGEBRA NOTES ALEXANDER M. KASPRZYK 1. Reference Material The official course textbook is [CLO07]. This is an excellent book; the style is clear and the material accessible. For

More information

Rings. EE 387, Notes 7, Handout #10

Rings. EE 387, Notes 7, Handout #10 Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0

More information

Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg

Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg Setup Let k be a field. For computations we use k = Q. k[p] := k[p 1,..., p n ] the polynomial ring in n indeterminates

More information

Gröbner Bases. eliminating the leading term Buchberger s criterion and algorithm. construct wavelet filters

Gröbner Bases. eliminating the leading term Buchberger s criterion and algorithm. construct wavelet filters Gröbner Bases 1 S-polynomials eliminating the leading term Buchberger s criterion and algorithm 2 Wavelet Design construct wavelet filters 3 Proof of the Buchberger Criterion two lemmas proof of the Buchberger

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Mathematical Olympiad Training Polynomials

Mathematical Olympiad Training Polynomials Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,

More information

M3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS

M3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS M3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS (1) (a) Fix a monomial order. A finite subset G = {g 1,..., g m } of an ideal I k[x 1,..., x n ] is called a Gröbner basis if (LT(g

More information

x 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7

x 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7 Linear Algebra and its Applications-Lab 1 1) Use Gaussian elimination to solve the following systems x 1 + x 2 2x 3 + 4x 4 = 5 1.1) 2x 1 + 2x 2 3x 3 + x 4 = 3 3x 1 + 3x 2 4x 3 2x 4 = 1 x + y + 2z = 4 1.4)

More information

We say that a polynomial is in the standard form if it is written in the order of decreasing exponents of x. Operations on polynomials:

We say that a polynomial is in the standard form if it is written in the order of decreasing exponents of x. Operations on polynomials: R.4 Polynomials in one variable A monomial: an algebraic expression of the form ax n, where a is a real number, x is a variable and n is a nonnegative integer. : x,, 7 A binomial is the sum (or difference)

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

MIT Algebraic techniques and semidefinite optimization February 16, Lecture 4

MIT Algebraic techniques and semidefinite optimization February 16, Lecture 4 MIT 6.972 Algebraic techniques and semidefinite optimization February 16, 2006 Lecture 4 Lecturer: Pablo A. Parrilo Scribe: Pablo A. Parrilo In this lecture we will review some basic elements of abstract

More information

Algebra Review. Terrametra Resources. Lynn Patten

Algebra Review. Terrametra Resources. Lynn Patten Terrametra Resources Lynn Patten ALGEBRAIC EXPRESSION A combination of ordinary numbers, letter symbols, variables, grouping symbols and operation symbols. Numbers remain fixed in value and are referred

More information

Counting Zeros over Finite Fields with Gröbner Bases

Counting Zeros over Finite Fields with Gröbner Bases Counting Zeros over Finite Fields with Gröbner Bases Sicun Gao May 17, 2009 Contents 1 Introduction 2 2 Finite Fields, Nullstellensatz and Gröbner Bases 5 2.1 Ideals, Varieties and Finite Fields........................

More information

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

More information

2a 2 4ac), provided there is an element r in our

2a 2 4ac), provided there is an element r in our MTH 310002 Test II Review Spring 2012 Absractions versus examples The purpose of abstraction is to reduce ideas to their essentials, uncluttered by the details of a specific situation Our lectures built

More information

Definition For a set F, a polynomial over F with variable x is of the form

Definition For a set F, a polynomial over F with variable x is of the form *6. Polynomials Definition For a set F, a polynomial over F with variable x is of the form a n x n + a n 1 x n 1 + a n 2 x n 2 +... + a 1 x + a 0, where a n, a n 1,..., a 1, a 0 F. The a i, 0 i n are the

More information

8 Appendix: Polynomial Rings

8 Appendix: Polynomial Rings 8 Appendix: Polynomial Rings Throughout we suppose, unless otherwise specified, that R is a commutative ring. 8.1 (Largely) a reminder about polynomials A polynomial in the indeterminate X with coefficients

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

More information

CSL361 Problem set 4: Basic linear algebra

CSL361 Problem set 4: Basic linear algebra CSL361 Problem set 4: Basic linear algebra February 21, 2017 [Note:] If the numerical matrix computations turn out to be tedious, you may use the function rref in Matlab. 1 Row-reduced echelon matrices

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been

More information

Polytopes and Algebraic Geometry. Jesús A. De Loera University of California, Davis

Polytopes and Algebraic Geometry. Jesús A. De Loera University of California, Davis Polytopes and Algebraic Geometry Jesús A. De Loera University of California, Davis Outline of the talk 1. Four classic results relating polytopes and algebraic geometry: (A) Toric Geometry (B) Viro s Theorem

More information

MCS 563 Spring 2014 Analytic Symbolic Computation Friday 31 January. Quotient Rings

MCS 563 Spring 2014 Analytic Symbolic Computation Friday 31 January. Quotient Rings Quotient Rings In this note we consider again ideals, but here we do not start from polynomials, but from a finite set of points. The application in statistics and the pseudo code of the Buchberger-Möller

More information

An introduction to Hodge algebras

An introduction to Hodge algebras An introduction to Hodge algebras Federico Galetto May 28, 2009 The Grassmannian Let k be a field, E a k-vector space of dimension m Define Grass(n, E) := {V E dim V = n} If {e 1,, e m } is a basis of

More information

PolynomialExponential Equations in Two Variables

PolynomialExponential Equations in Two Variables journal of number theory 62, 428438 (1997) article no. NT972058 PolynomialExponential Equations in Two Variables Scott D. Ahlgren* Department of Mathematics, University of Colorado, Boulder, Campus Box

More information

Local properties of plane algebraic curves

Local properties of plane algebraic curves Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying

More information

Unit 3 Vocabulary. An algebraic expression that can contains. variables, numbers and operators (like +, An equation is a math sentence stating

Unit 3 Vocabulary. An algebraic expression that can contains. variables, numbers and operators (like +, An equation is a math sentence stating Hart Interactive Math Algebra 1 MODULE 2 An algebraic expression that can contains 1 Algebraic Expression variables, numbers and operators (like +,, x and ). 1 Equation An equation is a math sentence stating

More information

{ independent variable some property or restriction about independent variable } where the vertical line is read such that.

{ independent variable some property or restriction about independent variable } where the vertical line is read such that. Page 1 of 5 Introduction to Review Materials One key to Algebra success is identifying the type of work necessary to answer a specific question. First you need to identify whether you are dealing with

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

Ch 7 Summary - POLYNOMIAL FUNCTIONS

Ch 7 Summary - POLYNOMIAL FUNCTIONS Ch 7 Summary - POLYNOMIAL FUNCTIONS 1. An open-top box is to be made by cutting congruent squares of side length x from the corners of a 8.5- by 11-inch sheet of cardboard and bending up the sides. a)

More information

Math 121 Homework 2: Notes on Selected Problems

Math 121 Homework 2: Notes on Selected Problems Math 121 Homework 2: Notes on Selected Problems Problem 2. Let M be the ring of 2 2 complex matrices. Let C be the left M-module of 2 1 complex vectors; the module structure is given by matrix multiplication:

More information

f(x) = h(x)g(x) + r(x)

f(x) = h(x)g(x) + r(x) Monomial Orders. In the polynomial algebra over F a eld in one variable x; F [x], we can do long division (sometimes incorrectly called the Euclidean algorithm). If f(x) = a 0 + a x + ::: + a n x n 2 F

More information

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication. Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

More information

MCS 563 Spring 2014 Analytic Symbolic Computation Monday 27 January. Gröbner bases

MCS 563 Spring 2014 Analytic Symbolic Computation Monday 27 January. Gröbner bases Gröbner bases In this lecture we introduce Buchberger s algorithm to compute a Gröbner basis for an ideal, following [2]. We sketch an application in filter design. Showing the termination of Buchberger

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

MATH 497A: INTRODUCTION TO APPLIED ALGEBRAIC GEOMETRY

MATH 497A: INTRODUCTION TO APPLIED ALGEBRAIC GEOMETRY MATH 497A: INTRODUCTION TO APPLIED ALGEBRAIC GEOMETRY These are notes from the Penn State 2015 MASS course Introduction to Applied Algebraic Geometry. This class is taught by Jason Morton and the notes

More information

Chapter 4. Greatest common divisors of polynomials. 4.1 Polynomial remainder sequences

Chapter 4. Greatest common divisors of polynomials. 4.1 Polynomial remainder sequences Chapter 4 Greatest common divisors of polynomials 4.1 Polynomial remainder sequences If K is a field, then K[x] is a Euclidean domain, so gcd(f, g) for f, g K[x] can be computed by the Euclidean algorithm.

More information

Algorithms for Algebraic Geometry

Algorithms for Algebraic Geometry Chapter 2 Algorithms for Algebraic Geometry Outline: 1. Gröbner basics. 39 47 9 2. Algorithmic applications of Gröbner bases. 48 56 9 3. Resultants and Bézout s Theorem. 57 69 13 4. Solving equations with

More information

Introduction to Gröbner Bases for Geometric Modeling. Geometric & Solid Modeling 1989 Christoph M. Hoffmann

Introduction to Gröbner Bases for Geometric Modeling. Geometric & Solid Modeling 1989 Christoph M. Hoffmann Introduction to Gröbner Bases for Geometric Modeling Geometric & Solid Modeling 1989 Christoph M. Hoffmann Algebraic Geometry Branch of mathematics. Express geometric facts in algebraic terms in order

More information

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Boolean polynomials and Gröbner bases: An algebraic approach to solving the SAT-problem av John Sass 2011 - No 4 MATEMATISKA

More information

Coding Theory ( Mathematical Background I)

Coding Theory ( Mathematical Background I) N.L.Manev, Lectures on Coding Theory (Maths I) p. 1/18 Coding Theory ( Mathematical Background I) Lector: Nikolai L. Manev Institute of Mathematics and Informatics, Sofia, Bulgaria N.L.Manev, Lectures

More information