Lecture 15: Algebraic Geometry II

Size: px
Start display at page:

Download "Lecture 15: Algebraic Geometry II"

Transcription

1 6.859/ 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 Programming The Structure of Ideals in k[x] Lecture 15: Algebraic Geometry II Theorem 1. If k is a field, then every ideal of k[x] is of the form f for some f k[x]. Moreover, f is unique up to multiplication by a nonzero constant in k. Proof: If I = {0}, then I = 0. So assume I = {0}. Let f be a nonzero polynomial of minimum degree in I. Claim: f = I. Clearly, f I. Let g I be arbitrary. The division algorithm yields g = q f + r, where either r = 0 or deg(r) < deg(f). I is an ideal, so q f I, and, thus, r = g q f I. By the choice of f, r = 0. But then g = q f f. Reminder: Gröbner Bases Fix a monomial order. A subset {g 1,..., g s } of an ideal I is a Gröbner basis of I if LT(g 1 ),..., LT(g s ) = LT(I). Equivalently, {g 1,..., g s } I is a Gröbner basis of I iff the leading term of any element in I is divisible by one of the LT(g i ). 1

2 Properties of Gröbner Bases I Theorem. Let G = {g 1,..., g s } be a Gröbner basis for an ideal I, and let f k[x 1,..., x n ]. Then the remainder r on division of f by G is unique, no matter how the elements of G are listed when using the division algorithm. Proof: First, recall the following result: Let I = x α : α A be a monomial ideal. Then a monomial x β lies in I iff x β is divisible by x α for some α A. Suppose f = a 1 g a + a + r with r = r s g s + r = a 1 g 1 + sg s. Then r r I and, thus, LT(r r ) LT(I) = LT(g 1 ),..., LT(g s ). The lemma implies that LT(r r ) is divisible by one of LT(g 1 ),..., LT(g s ). This is impossible since no term of r, r is divisible by one of LT(g 1 ),..., LT(g s ). S-Polynomials Let I = f 1,..., f t. We show that, in general, LT(I) can be strictly larger than LT(f 1 ),..., LT(f t ). Consider I = f 1, f, where f 1 = x 3 xy and f = x y y + x with grlex order. Note that so x I. Thus x = LT(x ) LT(I). x (x y y + x) y (x 3 xy) = x, However, x is not divisible by LT(f 1 ) = x 3 or LT(f ) = x y, so that x LT(f 1 ), LT(f ). What happened? The leading terms in a suitable combination may cancel, leaving only smaller terms. ax α f i bx β f j On the other hand, ax α f i bx β f j I, so its leading term is in LT(I). This is an obstruction to {f 1,..., f t } being a Gröbner basis. Let f, g k[x 1,..., x n ] be nonzero polynomials with multideg(f) = α and multideg(g) = β. Let γ i = max(α i, β i ). We call x γ the least common multiple of LM(f) and LM(g). The S-polynomial of f and g is defined as γ x x S(f, g) = f g. LT(f) LT(g) γ

3 An S-polynomial is designed to produce cancellation of leading terms. Example: Let f = x 3 y x y 3 + x and g = 3x 4 y + y with the grlex order. Then γ = (4, ). Moreover, x 4 y 4 S(f, g) = x 3 y f x y 3x 4 y g 1 = x f y g 3 1 = x 3 y 3 + x 3 y 3 t Consider i=1 c if i, where c i k and multideg(f i ) = δ Z n + for all i. t If multideg( i=1 c t if i ) < δ, then i=1 c if i is a linear combination, with coefficients in k, of the S-polynomials S(f j, f k ) for 1 j, k t. Moreover, each S(f j, f k ) has multidegree < δ. Properties of Gröbner Bases II t c i f i = c jk S(f j, f k ) i=1 j,k Theorem 3. A basis G = {g 1,..., g s } for an ideal I is a Gröbner basis iff for all pairs i = j, the remainder on division of S(g i, g j ) by G is zero. Sketch of proof: s Let f I be a nonzero polynomial. There are polynomials h i such that f = i=1 h i g i. It follows that multideg(f) max(multideg(h i g i )). If <, then some cancellation of leading terms must occur. These can be rewritten as S-polynomials. The assumption allows us to replace S-polynomials by expressions that involve less cancellation. We eventually find an expression for f such that multideg(f) = multideg(h i g i ) for some i. It follows that LT(f) is divisible by LT(g i ). This shows that LT(f) LT(g 1 ),..., LT(g s ). 3

4 Buchberger s Algorithm Consider I = f 1, f, where f 1 = x 3 xy and f = x y y + x with grlex order. Let F = (f 1, f ). S(f 1, f ) = x ; its remainder on division by F is x. Add f 3 = x to the generating set F. S(f 1, f 3 ) = xy; its remainder on division by F is xy. Add f 4 = xy to the generating set F. S(f 1, f 4 ) = xy ; its remainder on division by F is 0. S(f, f 3 ) = y + x; its remainder is y + x. Add f 5 = y + x to the generating set F. The resulting set F satisfies the S-pair criterion, so it is a Gröbner basis. Buchberger s Algorithm The algorithm: In: F = (f 1,..., f t ) {defining I = f 1,..., f t } Out: Gröbner basis G = (g 1,..., g s ) for I, with F G 1. G := F. REPEAT 3. G := G 4. FOR each pair p q in G DO 5. S := remainder of S(p, q) on division by G 6. IF S = 0 THEN 7. UNTIL G = G Buchberger s Algorithm Proof of correctness: G := G {S} The algorithm terminates when G = G, which means that G satisfies the S-pair criterion. Proof of finiteness: The ideals LT(G ) from successive iterations form an ascending chain. 4

5 Let us call this chain J 1 J J 3. Their union J = J i is an ideal as well. By Hilbert s Basis Theorem, it is finitely generated: i=1 J = h 1,..., h r. Each of the h l is contained in one of the J i. Let N be the maximum such index i. Then J = h 1,..., h r J N J N+1 J. So the chain stabilizes with J N, and the algorithm terminates after a finite number of steps. Minimal Gröbner Basis Let G be a Gröbner basis for I, and let p G be such that LT(p) LT(G \ {p}). Then G \ {p} is also a Gröbner basis for I. A minimal Gröbner basis for an ideal I is a Gröbner basis G for I such that 1. LC(p) = 1 for all p G.. For all p G, LT(p) LT(G \ {p}). A given ideal may have many minimal Gröbner bases. But we can single one out that is better than the others: A reduced Gröbner basis for an ideal I is a Gröbner basis G for I such that 1. LC(p) = 1 for all p G.. For all p G, no monomial of p lies in LT(G \ {p}). Reduced Gröbner Basis Lemma 4. Let I = {0} be an ideal. Then, for a given monomial ordering, I has a unique reduced Gröbner basis. (One can obtain a reduced Gröbner basis from a minimal one by replacing g G by the remainder of g on division by G \ {g}, and repeating.) Elimination Theory Systematic methods for eliminating variables from systems of polynomial equations. For example, consider x 1 + x + 3x 3 + 4x 4 + 5x x 6 15 = 0, x 1 x 1 = 0,..., x 6 x 6 = 0. The reduced Gröbner basis with respect to lex order is G = {x 6 x 6, x 5 + x 6 1, x 4 + x 6 1, x 3 + x 6 1, x + x 6 1, x 1 + x 6 1}. So the original system has exactly two solutions: x = (1, 1, 1, 1, 1, 0) or x = (0, 0, 0, 0, 0, 1) 5

6 Given I = f 1,..., f s k[x 1,..., x n ], the l-th elimination ideal I l is the ideal of k[x l+1,..., x n ] defined by I l = I k[x l+1,..., x n ]. I l consists of all consequences of f 1 = f = = f s = 0 which eliminate the variables x 1,..., x l. Eliminating x 1,..., x l means finding nonzero polynomials in I l. Theorem 5. Let I k[x 1,..., x n ] be an ideal, and let G be a Gröbner basis of I with respect to lex order where x 1 > x > > x n. Then, for every 0 l n 1, the set G l = G k[x l+1,..., x n ] is a Gröbner basis of the l-th elimination ideal I l. Proof: It suffices to show that LT(I l ) LT(G l ). We show that LT(f), for f I l arbitrary, is divisible by LT(g) for some g G l. Note that LT(f) is divisible by LT(g) for some g G. Since f I l, this means that LT(g) involves only x l+1,..., x n. Any monomial involving x 1,..., x l is greater than all monomials in k[x l+1,..., x n ]. Hence, LT(g) k[x l+1,..., x n ] implies g k[x l+1,..., x n ]. Therefore, g G l. The Weak Nullstellensatz Recall that a variety V k n can be studied via the ideal This gives a map V I(V ). On the other hand, given an ideal I, I(V ) = {f k[x 1,..., x n ] : f(x) = 0 for all x V }. V (I) = {x k n : f(x) = 0 for all f I}. is an affine variety, by Hilbert s Basis Theorem. This gives a map I V (I). Note that the map V is not one-to-one: for example, V (x) = V (x ) = {0}. Recall that k is algebraically closed if every nonconstant polynomial in k[x] has a root in k. 6

7 Also recall that C is algebraically closed (Fundamental Theorem of Algebra). Consider 1, 1 + x, and 1 + x + x 4 in R[x]. They generate different ideals: However, V (I 1 ) = V (I ) = V (I 3 ) =. I 1 = 1 = R[x], I = 1 + x, I 3 = 1 + x + x 4. This problem goes away in the one-variable case if k is algebraically closed: Let I be an ideal in k[x], where k is algebraically closed. Then I = f, and V (I) are the roots of f. Since every nonconstant polynomial has a root, V (I) = implies that f is a nonzero constant. Hence, 1/f k. Thus, 1 = (1/f) f I. Consequently, g 1 = g I for all g k[x]. It follows that I = k[x] is the only ideal of k[x] that represents the empty variety when k is algebraically closed. The same holds when there is more than one variable! Theorem 6. Let k be an algebraically closed field, and let I k[x 1,..., x n ] be an ideal satisfying V (I) =. Then I = k[x 1,..., x n ]. (Can be thought of as the Fundamental Theorem of Algebra for Multivariate Polynomials: every system of polynomials that generates an ideal smaller than C[x 1,..., x n] has a common zero in C n.) The system f 1 = 0, f = 0,..., f s = 0 does not have a common solution in C n iff V (f 1,..., f s ) =. By the Weak Nullstellensatz, this happens iff 1 f 1,..., f s. Regardless of the monomial ordering, {1} is the only reduced Gröbner basis for the ideal 1. Proof: Let g 1,..., g s be a Gröbner basis of I = 1. Thus, 1 LT(I) = LT(g 1 ),..., LT(g s ). Hence, 1 is divisible by some LT(g i ), say LT(g 1 ). So LT(g 1 ) is constant. Then every other LT(g i ) is a multiple of that constant, so g,..., g s can be removed from the Gröbner basis. Since LT(g 1 ) is constant, g 1 itself is constant. 7

8 0/1-Integer Programming: Feasibility Normally, n a ij x j = b i j=1 x j {0, 1} i = 1,... m j = 1,..., n Equivalently, n f i := a ij x j b i = 0 i = 1,... m j=1 g j := x j x j = 0 j = 1,..., n An algorithm: In: A Z m n, b Z m Out: a feasible solution x to Ax = b, x {0, 1} n 1. I := f 1,..., f m, g 1,..., g n. Compute a Gröbner basis G of I using lex order 3. IF G = {1} THEN 4. infeasible 5. ELSE 6. Find x n in V (G n1 ) 7. FOR l = n 1 TO 1 DO 8. Extend ( x l+1,..., x n) to ( x l,..., x n) V (G l 1 ) Example: Consider x 1 + x + 3x 3 + 4x 4 + 5x x 6 = 15 x 1, x,..., x 6 {0, 1} The reduced Gröbner basis is G = {x 6 x 6, x 5 + x 6 1, x 4 + x 6 1, x 3 + x 6 1, x + x 6 1, x 1 + x 6 1} G 5 = {x 6 x 6 }, so x 6 = 0 and x 6 = 1 are possible solutions We get x = (1, 1, 1, 1, 1, 0) or x = (0, 0, 0, 0, 0, 1) 8

9 Structural insights: The polynomials in the reduced Gröbner basis can be partitioned into n sets: S n contains only one polynomial, which is either x n, x n 1, or x n x n. S i, for 1 i n 1, contains polynomials in x n,..., x i. Similar to row echelon form in Gaussian elimination. Allows solving the system variable by variable. Example: Consider x 1 + x + 3x 3 + 4x 4 + 6x 5 = 6, x 1,..., x 5 {0.1} The reduced Gröbner basis is { } x 5 x 5, x 4 x 5, x 4 x 4, x 3 + x 4 + x 5 1, x + x 5 1, x 1 + x 4 + x 5 1 The sets are S 5 = {x 5 x 5 } S 4 = {x 4 x 5, x 4 x 4 } S 3 = {x 3 + x 4 + x 5 1} S = {x + x 5 1} S 1 = {x 1 + x 4 + x 5 1} 0/1-Integer Programming: Optimization Modify the algorithm as follows: n Let h = y j=1 c j x j. Consider k[x 1,..., x n, y] and V (f 1,..., f m, g 1,..., g m, h). Use lex order with x 1 > > x n > y. The reduced Gröbner basis is either {1} or its intersection with k[y] is a polynomial in y. Every root of this polynomial is an objective function value that can be feasibly attained. Find the minimum root, and work backwards to get the associated values of x n,..., x 1. Example: { } min x 1 + x + 3x 3 : x 1 + x + x 3 = 3, x 1,..., x 3 {0, 1}. The reduced Gröbner basis is { } 1 7y + y, 3 + x 3 y, 4 + x + y, 1 x 1. The two roots of 1 7y + y are 3 and 4. The minimum value is y = 3, and the corresponding solution is (1, 1, 0). 9

10 MIT OpenCourseWare J / 6.859J Integer Programming and Combinatorial Optimization Fall 009 For information about citing these materials or our Terms of Use, visit:

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

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

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

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

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

Algebraic Geometry I

Algebraic Geometry I 6.859/15.083 Iteger Programmig ad Combiatorial Optimizatio Fall 2009 Lecture 14: Algebraic Geometry I Today... 0/1-iteger programmig ad systems of polyomial equatios The divisio algorithm for polyomials

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

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

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

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

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

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

S-Polynomials and Buchberger s Algorithm

S-Polynomials and Buchberger s Algorithm S-Polynomials and Buchberger s Algorithm J.M. Selig Faculty of Business London South Bank University, London SE1 0AA, UK 1 S-Polynomials As we have seen in previous talks one of the problems we encounter

More information

Gröbner Bases & their Computation

Gröbner Bases & their Computation Gröbner Bases & their Computation Definitions + First Results Priyank Kalla Associate Professor Electrical and Computer Engineering, University of Utah kalla@ece.utah.edu http://www.ece.utah.edu/~kalla

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

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

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

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

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

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

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

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

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

Coding Theory: A Gröbner Basis Approach

Coding Theory: A Gröbner Basis Approach Eindhoven University of Technology Department of Mathematics and Computer Science Coding Theory: A Gröbner Basis Approach Master s Thesis by D.W.C. Kuijsters Supervised by Dr. G.R. Pellikaan February 6,

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

Gröbner Bases over a Dual Valuation Domain

Gröbner Bases over a Dual Valuation Domain International Journal of Algebra, Vol. 7, 2013, no. 11, 539-548 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.3550 Gröbner Bases over a Dual Valuation Domain André Saint Eudes Mialébama

More information

Computational Theory of Polynomial Ideals

Computational Theory of Polynomial Ideals Eidgenössische Technische Hochschule Zürich Computational Theory of Polynomial Ideals a Bachelor Thesis written by Paul Steinmann supervised by Prof. Dr. Richard Pink Abstract We provide methods to do

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

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

Gröbner Bases, Ideal Computation and Computational Invariant Theory

Gröbner Bases, Ideal Computation and Computational Invariant Theory Gröbner Bases, Ideal Computation and Computational Invariant Theory Supervised by Kazuhiro Yokoyama Tristan Vaccon September 10, 2010 1 Contents Preamble 4 Introduction 4 1 Algebraic Geometry 4 1.1 Affine

More information

Higher-Dimensional Analogues of the Combinatorial Nullstellensatz

Higher-Dimensional Analogues of the Combinatorial Nullstellensatz Higher-Dimensional Analogues of the Combinatorial Nullstellensatz Jake Mundo July 21, 2016 Abstract The celebrated Combinatorial Nullstellensatz of Alon describes the form of a polynomial which vanishes

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

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

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

15.083J Optimization over Integers. Lectures 13-14: Algebraic geometry and integer optimization

15.083J Optimization over Integers. Lectures 13-14: Algebraic geometry and integer optimization 1 15.083J Optimization over Integers Lectures 13-14: Algebraic geometry and integer optimization Typos and errors corrected. Section 7.4 completely rewritten. geometry optimization optimization 7.1. Background

More information

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

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

Algorithms for computing syzygies over V[X 1,..., X n ] where V is a valuation ring

Algorithms for computing syzygies over V[X 1,..., X n ] where V is a valuation ring Algorithms for computing syzygies over V[X 1,..., X n ] where V is a valuation ring Ihsen Yengui Department of Mathematics, University of Sfax, Tunisia Graz, 07/07/2016 1 Plan Computing syzygies over V[X

More information

ALGEBRAIC STRUCTURE AND DEGREE REDUCTION

ALGEBRAIC STRUCTURE AND DEGREE REDUCTION ALGEBRAIC STRUCTURE AND DEGREE REDUCTION Let S F n. We define deg(s) to be the minimal degree of a non-zero polynomial that vanishes on S. We have seen that for a finite set S, deg(s) n S 1/n. In fact,

More information

Page 23, part (c) of Exercise 5: Adapt the argument given at the end of the section should be Adapt the argument used for the circle x 2 +y 2 = 1

Page 23, part (c) of Exercise 5: Adapt the argument given at the end of the section should be Adapt the argument used for the circle x 2 +y 2 = 1 Ideals, Varieties and Algorithms, fourth edition Errata for the fourth edition as of August 6, 2018 Page 23, part (c) of Exercise 5: Adapt the argument given at the end of the section should be Adapt the

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

Algebraic Optimization with Applications to System Theory

Algebraic Optimization with Applications to System Theory VRIJE UNIVERSITEIT Algebraic Optimization with Applications to System Theory ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Vrije Universiteit Amsterdam, op gezag van de rector

More information

10. Noether Normalization and Hilbert s Nullstellensatz

10. Noether Normalization and Hilbert s Nullstellensatz 10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.

More information

On the Inoue invariants of the puzzles of Sudoku type

On the Inoue invariants of the puzzles of Sudoku type Communications of JSSAC (2016) Vol. 2, pp. 1 14 On the Inoue invariants of the puzzles of Sudoku type Tetsuo Nakano Graduate School of Science and Engineering, Tokyo Denki University Kenji Arai Graduate

More information

Comparison between XL and Gröbner Basis Algorithms

Comparison between XL and Gröbner Basis Algorithms Comparison between XL and Gröbner Basis Algorithms Gwénolé Ars 1, Jean-Charles Faugère 2, Hideki Imai 3, Mitsuru Kawazoe 4, and Makoto Sugita 5 1 IRMAR, University of Rennes 1 Campus de Beaulieu 35042

More information

Algebraic Varieties. Chapter Algebraic Varieties

Algebraic Varieties. Chapter Algebraic Varieties Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :

More information

Introduction to linear programming

Introduction to linear programming Chapter 2 Introduction to linear programming 2.1 Single-objective optimization problem We study problems of the following form: Given a set S and a function f : S R, find, if possible, an element x S that

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

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of

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

On the relation of the Mutant strategy and the Normal Selection strategy

On the relation of the Mutant strategy and the Normal Selection strategy On the relation of the Mutant strategy and the Normal Selection strategy Martin Albrecht 1 Carlos Cid 2 Jean-Charles Faugère 1 Ludovic Perret 1 1 SALSA Project -INRIA, UPMC, Univ Paris 06 2 Information

More information

Polynomial interpolation over finite fields and applications to list decoding of Reed-Solomon codes

Polynomial interpolation over finite fields and applications to list decoding of Reed-Solomon codes Polynomial interpolation over finite fields and applications to list decoding of Reed-Solomon codes Roberta Barbi December 17, 2015 Roberta Barbi List decoding December 17, 2015 1 / 13 Codes Let F q be

More information

Interval Gröbner System and its Applications

Interval Gröbner System and its Applications Interval Gröbner System and its Applications B. M.-Alizadeh Benyamin.M.Alizadeh@gmail.com S. Rahmany S_Rahmani@du.ac.ir A. Basiri Basiri@du.ac.ir School of Mathematics and Computer Sciences, Damghan University,

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

Gröbner bases for the polynomial ring with infinite variables and their applications

Gröbner bases for the polynomial ring with infinite variables and their applications Gröbner bases for the polynomial ring with infinite variables and their applications Kei-ichiro Iima and Yuji Yoshino Abstract We develop the theory of Gröbner bases for ideals in a polynomial ring with

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

Notes taken by Graham Taylor. January 22, 2005

Notes taken by Graham Taylor. January 22, 2005 CSC4 - Linear Programming and Combinatorial Optimization Lecture : Different forms of LP. The algebraic objects behind LP. Basic Feasible Solutions Notes taken by Graham Taylor January, 5 Summary: We first

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #2 09/10/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #2 09/10/2013 18.78 Introduction to Arithmetic Geometry Fall 013 Lecture # 09/10/013.1 Plane conics A conic is a plane projective curve of degree. Such a curve has the form C/k : ax + by + cz + dxy + exz + fyz with

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

1 The linear algebra of linear programs (March 15 and 22, 2015)

1 The linear algebra of linear programs (March 15 and 22, 2015) 1 The linear algebra of linear programs (March 15 and 22, 2015) Many optimization problems can be formulated as linear programs. The main features of a linear program are the following: Variables are real

More information

Polynomial Rings. (Last Updated: December 8, 2017)

Polynomial Rings. (Last Updated: December 8, 2017) Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters

More information

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

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

4-1 The Algebraic-Geometric Dictionary P. Parrilo and S. Lall, ECC

4-1 The Algebraic-Geometric Dictionary P. Parrilo and S. Lall, ECC 4-1 The Algebraic-Geometric Dictionary P. Parrilo and S. Lall, ECC 2003 2003.09.02.02 4. The Algebraic-Geometric Dictionary Equality constraints Ideals and Varieties Feasibility problems and duality The

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

Grobner Bases: Degree Bounds and Generic Ideals

Grobner Bases: Degree Bounds and Generic Ideals Clemson University TigerPrints All Dissertations Dissertations 8-2014 Grobner Bases: Degree Bounds and Generic Ideals Juliane Golubinski Capaverde Clemson University, julianegc@gmail.com Follow this and

More information

2. Intersection Multiplicities

2. Intersection Multiplicities 2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.

More information

An Improvement of Rosenfeld-Gröbner Algorithm

An Improvement of Rosenfeld-Gröbner Algorithm An Improvement of Rosenfeld-Gröbner Algorithm Amir Hashemi 1,2 Zahra Touraji 1 1 Department of Mathematical Sciences Isfahan University of Technology Isfahan, Iran 2 School of Mathematics Institute for

More information

QR Decomposition. When solving an overdetermined system by projection (or a least squares solution) often the following method is used:

QR Decomposition. When solving an overdetermined system by projection (or a least squares solution) often the following method is used: (In practice not Gram-Schmidt, but another process Householder Transformations are used.) QR Decomposition When solving an overdetermined system by projection (or a least squares solution) often the following

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

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

Hilbert Polynomials. dimension and counting monomials. a Gröbner basis for I reduces to in > (I)

Hilbert Polynomials. dimension and counting monomials. a Gröbner basis for I reduces to in > (I) Hilbert Polynomials 1 Monomial Ideals dimension and counting monomials 2 The Dimension of a Variety a Gröbner basis for I reduces to in > (I) 3 The Complexity of Gröbner Bases a bound on the degrees of

More information

Lecture 5. 1 Goermans-Williamson Algorithm for the maxcut problem

Lecture 5. 1 Goermans-Williamson Algorithm for the maxcut problem Math 280 Geometric and Algebraic Ideas in Optimization April 26, 2010 Lecture 5 Lecturer: Jesús A De Loera Scribe: Huy-Dung Han, Fabio Lapiccirella 1 Goermans-Williamson Algorithm for the maxcut problem

More information

Polynomial Review Problems

Polynomial Review Problems Polynomial Review Problems 1. Find polynomial function formulas that could fit each of these graphs. Remember that you will need to determine the value of the leading coefficient. The point (0,-3) is on

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

Appendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS

Appendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS Appendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS Here we consider systems of linear constraints, consisting of equations or inequalities or both. A feasible solution

More information

Convex Optimization. (EE227A: UC Berkeley) Lecture 28. Suvrit Sra. (Algebra + Optimization) 02 May, 2013

Convex Optimization. (EE227A: UC Berkeley) Lecture 28. Suvrit Sra. (Algebra + Optimization) 02 May, 2013 Convex Optimization (EE227A: UC Berkeley) Lecture 28 (Algebra + Optimization) 02 May, 2013 Suvrit Sra Admin Poster presentation on 10th May mandatory HW, Midterm, Quiz to be reweighted Project final report

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

THE FUNDAMENTAL THEOREM ON SYMMETRIC POLYNOMIALS. Hamza Elhadi S. Daoub

THE FUNDAMENTAL THEOREM ON SYMMETRIC POLYNOMIALS. Hamza Elhadi S. Daoub THE TEACHING OF MATHEMATICS 2012, Vol. XV, 1, pp. 55 59 THE FUNDAMENTAL THEOREM ON SYMMETRIC POLYNOMIALS Hamza Elhadi S. Daoub Abstract. In this work we are going to extend the proof of Newton s theorem

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

x 1 + x 2 2 x 1 x 2 1 x 2 2 min 3x 1 + 2x 2

x 1 + x 2 2 x 1 x 2 1 x 2 2 min 3x 1 + 2x 2 Lecture 1 LPs: Algebraic View 1.1 Introduction to Linear Programming Linear programs began to get a lot of attention in 1940 s, when people were interested in minimizing costs of various systems while

More information

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G. Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the

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

HMMT February 2018 February 10, 2018

HMMT February 2018 February 10, 2018 HMMT February 018 February 10, 018 Algebra and Number Theory 1. For some real number c, the graphs of the equation y = x 0 + x + 18 and the line y = x + c intersect at exactly one point. What is c? 18

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

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS ALICE MARK Abstract. This paper is a simple summary of the first most basic definitions in Algebraic Geometry as they are presented in Dummit and Foote ([1]),

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y

More information

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

SPECIAL POINTS AND LINES OF ALGEBRAIC SURFACES

SPECIAL POINTS AND LINES OF ALGEBRAIC SURFACES SPECIAL POINTS AND LINES OF ALGEBRAIC SURFACES 1. Introduction As we have seen many times in this class we can encode combinatorial information about points and lines in terms of algebraic surfaces. Looking

More information

D(f/g)(P ) = D(f)(P )g(p ) f(p )D(g)(P ). g 2 (P )

D(f/g)(P ) = D(f)(P )g(p ) f(p )D(g)(P ). g 2 (P ) We first record a very useful: 11. Higher derivatives Theorem 11.1. Let A R n be an open subset. Let f : A R m and g : A R m be two functions and suppose that P A. Let λ A be a scalar. If f and g are differentiable

More information

On the BMS Algorithm

On the BMS Algorithm On the BMS Algorithm Shojiro Sakata The University of Electro-Communications Department of Information and Communication Engineering Chofu-shi, Tokyo 182-8585, JAPAN Abstract I will present a sketch of

More information

3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions

3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions A. LINEAR ALGEBRA. CONVEX SETS 1. Matrices and vectors 1.1 Matrix operations 1.2 The rank of a matrix 2. Systems of linear equations 2.1 Basic solutions 3. Vector spaces 3.1 Linear dependence and independence

More information

Chapter 1 Vector Spaces

Chapter 1 Vector Spaces Chapter 1 Vector Spaces Per-Olof Persson persson@berkeley.edu Department of Mathematics University of California, Berkeley Math 110 Linear Algebra Vector Spaces Definition A vector space V over a field

More information

Constructions with ruler and compass.

Constructions with ruler and compass. Constructions with ruler and compass. Semyon Alesker. 1 Introduction. Let us assume that we have a ruler and a compass. Let us also assume that we have a segment of length one. Using these tools we can

More information