LECTURE NOTES: A self-contained proof of the Hilbert s Nullstellensatz. Jesús A. De Loera Univ. of California, Davis

Size: px
Start display at page:

Download "LECTURE NOTES: A self-contained proof of the Hilbert s Nullstellensatz. Jesús A. De Loera Univ. of California, Davis"

Transcription

1 LECTURE NOTES: A self-contained proof of the Hilbert s Nullstellensatz Jesús A De Loera Univ of California, Davis 1

2 1 Introduction Hilbert Nullstellensatz is a central result that tells us a necessary and sufficient condition for when a system of equations has a no solution This theorem was first proven by David Hilbert in 19 Here we present a self-contained proof Theorem 11 (Hilbert s Nullstellensatz (HNS)) Let f 1 =, f 2 =,, f s = be a system of polynomials in C[x 1,, x m ], then the system has no root, or solution, if and only if there exist polynomials α 1, α 2,, α s C[x 1,, x m ] such that 1 = n i=1 α i(x 1,, x m )f i (x 1,, x m ) The idea of the proof is by induction on the number of variables One settles it first for one variable and in the case one has more than one variable one needs to have a way to eliminate variables one at a time (this is done using resultants) The proof of the Hilbert Nullstellensatz in in one variable uses a familiar notion: Definition 12 Let f 1,, f s be univariate polynomials in C[x] (eg f 1 (x) = x 2x 3 + 3) We say a polynomial h is a Greatest Common Divisor (GCD) of f 1,, f s if 1) h f 1, h f 2,, h f s 2) p f i for i = 1,, s = p h The centuries old Euclidean division algorithm allow us to compute the GCD Recall Algorithm: (GCD computation) Input: f, g C[x] Output: gcd(f, g) Set i = 1 Set h = f, h 1 = g while h i do divide h i 1 by h i h i 1 = q i h i + r i where r i equals remainder(h i 1, h i ) Set h i = r i i = i + 1 Suppose f, g are univariable polynomials with complex coeffi- Lemma 13 cients 1) If we know q, r, f satisfy f = qg + r, then GCD(f, g) = GCD(g, f qg) = GCD(g, r) 2) GCD(f 1, f 2,, f s ) = GCD(f 1, GCD(f 2,, f s )) 3) If g 1, g 2 are both GCD(f 1,, f s ), then g 1 = cg 2 where c is a constant 2

3 Proof: : For part (1) GCD(f, g) g, and GCD(f, g) f qg = r this implies GCD(f, g) GCD(g, r) by definition: GCD(g, r) g, and GCD(g, r) r = f qg, which implies GCD(g, r) must divides f Also implies GCD(g, r) GCD(f, g) For the proof of part (3) GCD(f 1, f 2 f s ) f i ; for i = 1,, s This implies GCD(f 1, f 2,, f s ) GCD(f 2,, f s ) and it also divides f 1 Therefore GCD(f1, GCD(f 2, f 3,, f s )) is divided by GCD(f1, f 2, f 3,, f s ) Given these two quantities, if h f 1 and h GCD(f 2, f 3,, f s ) then h f i for i = 1 to s Thus GCD(f1, f 2, f 3,, f s ) must divide GCD(f1, GCD(f 2, f 3,, f s )) This proves they are equal Theorem 14 Euclidean Algorithm works: It returns the GCD(f, g) Proof: : We know h i+1 = remainder(h i 1, h i ) Which can means h i+1 = h i qh i (h i 1 ) By the lemma above GCD(h i 1, h i ) = GCD(h i+1, h i ), Since the degrees decrease and eventually h n =, for some n, h n 1 = GCD(h n 2, h n 3 ) = GCD(h n 3, h n 4 ) = = GCD(h, h 1 ) Now, we clearly obtain then an algorithm to compute GCD (f 1, f 2, f s ) using Lemma part (3) But remember our main goal, to find solutions of the system of polynomial equations How can we determine whether system g 1 (x) =,, g r (x) = has a common root? The key point is that if a is a common root, (x a) is a common factor Then when GCD(g 1 (x),, g r (x)) 1, then you have a common solution, any of the roots of this GCD will be a common root Lemma 15 if h = GCD(f 1, f 2, f s ), there exists polynomials a 1, a 2, a s such that h = a 1 f a s f s Proof: This is proved by induction on the number of polynomials Say for n = 2, apply Euclidean algorithm to f 1, f 2 while keeping track of divisors in each iteration h i+1 = h i g i+1 h 1 1 We can start by observing GCD = h n 1 = h n 2 q n 1 h n 3 ( ) In each iteration: h n 2 = h n 3 q n 2 h n 4 ( ) Substitute (**) into (*) and we obtain: GCD(f 1, f 2 ) = (1 q n 1 )h n 3 q n 2 h n 4 Repeat such back substitution using the identities h i+1 = h i g i+1 h 1 1 Eventually, a 1 f 1 + a 2 f 2 = GCD(f 1, f 2 ) Assume lemma is true for S 1 polynomials or less We know GCD(f 1, f 2, f s ) = GCD(f 1, GCD(f 2, f s )) Thus by induction: GCD(f 2, f s ) can be written as h = GCD(f 2, f s ) = b 2 f b s f s Which, by the case of 2 polynomials, gives, as desired: GCD(f 1, f 2, f s ) = GCD(f 1, h) = r 1 f 1 + sh = r 1 f 1 + s(b 2 f b s f s ) = r 1 f 1 + sb 2 f sb s f s ; thenr 1 = a 1, sb 2 = a 2,, sb s = a s 3

4 Corollary 1 In the case of one variable, a system of equations f 1 (x) =,, f s (x) = has no common root if and only if 1 = a 1 f a s f s ; for some polynomialsa 1, a 2, a s Now that we have the Nullstellensatz for systems of polynomials in one single variable we will use Resultants to reduce any other system to this simpler case The resultant will be a special determinant obtained from f, g polynomials in R[x], where R is any integral domain (Think R = K[y 1,, y n ], or R = Z) The Sylvester matrix syl(f, g) will have the following crucial property: Theorem 1 Let R be an integral domain The polynomials f, g have a common root factor in R[X] if and only if det(syl(f, g)) = Lemma 18 Let f and g be polynomials in R[x] such that f, g are nonzero, where R is an integral domain, and deg(f) = n, deg(g) = m, then f, g have a common factor if and only if A, B polynomials exist in R[x] such that 1 Af + Bg = Bg = Af 2 deg (A) < m, deg (B) < n 3 A and B are nonzeros Proof: ( ) Suppose f = f 1 h, g = g 1 h, for some common h Let A = g 1 and B = f 1, then g 1 f + f 1 g = g 1 f 1 h g 1 f 1 h = ( ) By contradiction Suppose f, g have no common factor, that implies Ã, B polynomials in k[x] such that Ãf + Bg = 1 Then B = BÃf + B Bg = BÃf BAf = (BÃ BA)f implies deg(b) > n, thus this contradicts our assumption that deg(b) < n Example: f = 2x 3 + 4x 2 g = 2x 2 + 3x + 9 Solution: A = a 1 x + a B = b 2 x 2 + b 1 x + b = Af + Bg = (a 1 x + a )(2x 3 + 4x 2) + (b 2 x 2 + b 1 x + b )(2x 2 + 3x + 9) = (2a 1 + 2b 2 )x 4 + (2a + 3b 2 + 3b 1 )x 3 + (4a 1 + 9b 2 + 3b 1 + 2b )x 2 + ( 2a 1 + 4a + 9b 1 + 3b )x + ( 2a + 9b ) 4

5 setting the coefficients equal to zero: 2a 1 + 2b 2 = (1) 2a + 3b 2 + 2b 1 = (2) 4a 1 + 9b 2 + 3b 1 + 2b = (3) 2a 1 + 4a + 9b 1 + 3b = (4) 2a + 9b = (5) form the Sylvester matrix (S(f, g)): } {{ } S(f,g) Therefore, there is no common factor a 1 a b 2 b 1 b = det(s(f, g)) = 113 ALGORITHM: Input: f, g R[x] Output: Yes/No depending on whether they have a common factor Step 1: Compute the Sylvester matrix S(f, g) Step 2: Compute its determinant (= Resultant) If Resultant =, Return Yes there s a common factor Else Resultant Return No, there s no common factor Properties of Resultants : Proof: 1 Resultant GCD(f, g) = 1 2 Resultant(f, g) is a polynomial whose variables are the coefficients of f&g and it has integer coefficients 3 There exists polynomials C, D k[x], such that Cf+Dg = Resultant(f, g) 1 By lemma, resultant there is no common factor GCD(f, g) = 1 5

6 2 Resultant(f, g) = det a n b m a n 1 a n bm 1 b m a n 1 bm 1 a an b bm a b a b }{{} m }{{} n 3 Resultant(f, g) = Take C =, D =, then we are Done Resultant(f, g) det[s(f, g)] Because Resultant(f, g) GCD(f, g) = 1 Then there exist Cf + Dg = 1 Sylvester c n c n 1 c d m d m 1 d = 1 By Cramer s Rules: C i s and D j s can be written in the form: Resultant(f,g) Cf + Dg = 1 multiply by Resultant(f, g) The denominators cancel, hence Cf + Dg = Resultant(f, g) Lemma 19 B(x 1, x 2, x n )ɛc[x 1, x 2, x n ] polynomial that is not identically zero, then Z 1, Z 2, Z n ɛc such that B(Z 1, Z 2,, Z n ) Proof: By induction on n the number of variables If n = 1 we are done, because univariate polynomials have finitely many roots, thus B(x 1 ) in infinitely values Suppose the Lemma is true for n 1 variables and take

7 B(x 1, x 2, x n ) not identically zero Expand it in terms of x n, B(x 1, x 2, x n ) = P d (x 1, x 2, x n 1 )x d n + P d 1 (x 1, x 2,, x n 1 )zn d P 1 (x 1, x 2, x n 1 ) by hypothesis, P i (x 1, x 2, x n ) is not identically zero for some i Thus by induction z 1, z 2, z n 1 ɛc where P i (z 1, z 2, z n 1 ) Substitute x k = z k for k = 1, 2,, n 1 In B, B(z 1, z 2,, z n 1, z n ), compute its root β 1, β 2,, β n, let z n be any complex number β i Lemma 11 (Make me monic!) Let b(x 1, x 2,, x n ) be a polynomial all of whose monomials have total degree d There exist a change of coordinates x 1 = λ 1 y 1 + y n, x 2 = λ 2 y 2 + y n,, x i = λ i y i + y n x n = y n such that B(y 1 +λ 1 y n,, y n 1 +λ n 1 y n, y n ) = P (y 1, y n ) is a monic polynomial with respect to the variable y n This means with C d = 1 P (y 1, y n ) = C d (y 1, y n 1 )y d n + + C (y 1,, y n 1 ) Proof: Do substitution with parameter λ 1, λ 2,, λ n 1 ; say d is the highest degree for y n The leading coefficient, will be the polynomial in λ 1, λ 2, λ n 1 call leading coefficient C d From previous lemma we can find λ 1, λ 2, λ n 1 values in C that make C d Divide by constant C d (λ 1, λ 2, λ n 1 ), P 1 (y 1, y n ) = 1 yn+ d junk Theorem 111 (Hilbert s Nullstellensatz) Let f 1 =, f 2 =, f s = be a system of polynomial equation, f 1, f s ɛc[x 1, x n ] then there is no common solution over C n α 1, α 2, α s ɛc[x 1,, x n ] such that α 1 f 2 +α 2 f 2 ++α s f s = 1 Proof: By induction on the number of variables We already proved it for n = 1 using the GCD properties Suppose true for n 1 variables, you are now given a system with n variables (1) By Lemma about changes of variables you can assume f 1 is monic with respect to x n (2) Let y be an auxiliary variable Let Q(x 1, x 2,, x n, y) = f 2 + yf 3 + y 2 f y s 2 f s (3) Compute the resultant of f 1,Q with respect to x n namely Res(f 1, Q) = R d (x 1,, x n 1 )y d + R d 1 (x 1,, x n 1 )y d R (x 1,, x n 1 ) We saw there exist A, B C[x 1,, x n, y] Af + BQ = Res(f 1, Q, x n ) Because of induction, if I can prove R =, R 1 =,, R d = has no common root then done Thus we know now how, given a system of polynomials without a common root, we can construct a new polynomial whose resultant must also have no solution Here is all as a lemma Lemma 112 Given the system of polynomials f 1 = f 2 = = f s = without a common root, we let Q(x 1, x 2,, x n, y) = f 2 + yf 3 + y 2 f y s 2 f s

8 Next, we compute the resultant: Res(f 1, Q, x 1 ) = R d (x 1,, x n 1 )y d +R d 1 (x 1,, x n 1 )y d 1 + +R (x 1,, x n ) And find the system R d = R d 1 = = R =, which also has no solution Proof: By contradiction, suppose not true, therefore, there must exist a solution to the system constructed Specifically, a 1, a 2,, a n 1 (let these be denoted by ā) such that R d (ā) = R d 1 (ā) = = R (ā) = Thus, Res(f 1, Q, x n )(ā) = Remember, since the resultant equals zero, the polynomials f 1 (ā, x n ) and Q(ā, x n, y) must have a common factor This means that they share a root Let this root be denoted as β So, f 1 (ā, β) = Q(ā, y, β) =, for any value of y Since y is unconstrained, the only way Q can be distinctly zero is if f 2 (ā, β) = f 3 (ā, β) = = Therefore, we have found a solution We will now use Hilbert s Nullstellensatz to prove the fundamental theorem that characterises which polynomials vanish in a variety! Theorem 113 (The Strong Hilbert Nullstellensatz) Let h i, g C[x 1,, x m ] We define the hypothesis variety as follows V = { x h 1 ( x) = h 2 ( x) = = h n ( x) = } Here V can be interpreted as the set of all positions or configurations where the hypotheses are satisfied, then g( x) = x V g r (x 1,, x m ) = n i=1 α i(x 1,, x m )h i (x 1,, x m ) where α i C[x 1,, x m ] Proof: (= ) Suppose g( x) = x V Let f i be defined as follows: f = 1 + g(x)t C[x 1, x 2,, x m, t] f 1 = h 1 f 2 = h 2 f i = h i There is no solution of this system (1 ) thus the Hilbert s Nullstellensatz implies 1 = α (1+tg(x))+α 1 h 1 +α 2 h 2 ++α n h n where α i C[x 1, x 2,, x m, t] If we set t = 1/g, then we get 1 = α 1 (x 1,, x m, 1/g)h 1 (x 1,, x m ) + + α n (x 1,, x m, 1/g)h n (x 1,, x m ) where the denominators look like g(x 1,, x m ) k Then pick the highest power of g that appears in the denominator, and multiply the expression by it we get the desired statement Now let us prove the converse, which is easy Given g n (x 1,, x m ) = n α i (x 1,, x m )h i (x 1,, x m ), i=1 when x is a root of the system of equations means = h i ( x) = = g r ( x) = = g( x) = References [1] Cox, D, Little, J, and O Shea, D Ideals, varieties, and Algorithms, Springer Verlag, Undergraduate Text, 2nd Edition, 199 8

9 [2] Cox, D, Little, J, and O Shea, D Using Algebraic Geometry, Springer Verlag, Undergraduate Text, 2nd Edition, 199 [3] Sturmfels, B Gröbner bases and convex polytopes, university lecture series, vol 8, AMS, Providence RI, (199) 9

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

it is easy to see that α = a

it is easy to see that α = a 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 UF. Therefore

More information

Unique Factorization

Unique Factorization Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

More information

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

More information

RESULTANT AND DISCRIMINANT OF POLYNOMIALS

RESULTANT AND DISCRIMINANT OF POLYNOMIALS RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results

More information

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Kevin Broughan University of Waikato, Hamilton, New Zealand May 13, 2010 Remainder and Factor Theorem 15 Definition of factor If f (x)

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

PROBLEM SET 6: POLYNOMIALS

PROBLEM SET 6: POLYNOMIALS PROBLEM SET 6: POLYNOMIALS 1. introduction In this problem set we will consider polynomials with coefficients in K, where K is the real numbers R, the complex numbers C, the rational numbers Q or any other

More information

Gröbner Bases and their Applications

Gröbner Bases and their Applications Gröbner Bases and their Applications Kaitlyn Moran July 30, 2008 1 Introduction We know from the Hilbert Basis Theorem that any ideal in a polynomial ring over a field is finitely generated [3]. However,

More information

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18 of Gallian s Contemporary Abstract Algebra. Most of the important

More information

The Division Algorithm for Polynomials Handout Monday March 5, 2012

The Division Algorithm for Polynomials Handout Monday March 5, 2012 The Division Algorithm for Polynomials Handout Monday March 5, 0 Let F be a field (such as R, Q, C, or F p for some prime p. This will allow us to divide by any nonzero scalar. (For some of the following,

More information

Factoring Polynomials

Factoring Polynomials Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent

More information

GREATEST COMMON DIVISOR

GREATEST COMMON DIVISOR DEFINITION: GREATEST COMMON DIVISOR The greatest common divisor (gcd) of a and b, denoted by (a, b), is the largest common divisor of integers a and b. THEOREM: If a and b are nonzero integers, then their

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

9. POLYNOMIALS. Example 1: The expression a(x) = x 3 4x 2 + 7x 11 is a polynomial in x. The coefficients of a(x) are the numbers 1, 4, 7, 11.

9. POLYNOMIALS. Example 1: The expression a(x) = x 3 4x 2 + 7x 11 is a polynomial in x. The coefficients of a(x) are the numbers 1, 4, 7, 11. 9. POLYNOMIALS 9.1. Definition of a Polynomial A polynomial is an expression of the form: a(x) = a n x n + a n-1 x n-1 +... + a 1 x + a 0. The symbol x is called an indeterminate and simply plays the role

More information

15. Symmetric polynomials

15. Symmetric polynomials 15. Symmetric polynomials 15.1 The theorem 15.2 First examples 15.3 A variant: discriminants 1. The theorem Let S n be the group of permutations of {1,, n}, also called the symmetric group on n things.

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

Real Roots of Univariate Polynomials with Real Coefficients

Real Roots of Univariate Polynomials with Real Coefficients Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials

More information

SOLVING POLYNOMIAL EQUATIONS

SOLVING POLYNOMIAL EQUATIONS C SOLVING POLYNOMIAL EQUATIONS We will assume in this appendix that you know how to divide polynomials using long division and synthetic division. If you need to review those techniques, refer to an algebra

More information

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field 1. Throughout this section, F is a field and F [x] is the ring of polynomials with coefficients in F. We will

More information

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl) Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness

More information

3 Factorisation into irreducibles

3 Factorisation into irreducibles 3 Factorisation into irreducibles Consider the factorisation of a non-zero, non-invertible integer n as a product of primes: n = p 1 p t. If you insist that primes should be positive then, since n could

More information

8 Divisibility and prime numbers

8 Divisibility and prime numbers 8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

More information

MCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 9 April. Hilbert Polynomials

MCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 9 April. Hilbert Polynomials Hilbert Polynomials For a monomial ideal, we derive the dimension counting the monomials in the complement, arriving at the notion of the Hilbert polynomial. The first half of the note is derived from

More information

7. Some irreducible polynomials

7. Some irreducible polynomials 7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

More information

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook. Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

More information

Lagrange Interpolation is a method of fitting an equation to a set of points that functions well when there are few points given.

Lagrange Interpolation is a method of fitting an equation to a set of points that functions well when there are few points given. Polynomials (Ch.1) Study Guide by BS, JL, AZ, CC, SH, HL Lagrange Interpolation is a method of fitting an equation to a set of points that functions well when there are few points given. Sasha s method

More information

Basic Algorithms In Computer Algebra

Basic Algorithms In Computer Algebra Basic Algorithms In Computer Algebra Kaiserslautern SS 2011 Prof. Dr. Wolfram Decker 2. Mai 2011 References Cohen, H.: A Course in Computational Algebraic Number Theory. Springer, 1993. Cox, D.; Little,

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

More information

Computational algebraic geometry

Computational algebraic geometry Computational algebraic geometry Learning coefficients via symbolic and numerical methods Anton Leykin Georgia Tech AIM, Palo Alto, December 2011 Let k be a field (R or C). Ideals varieties Ideal in R

More information

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ] 1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

More information

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors. The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

More information

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com Polynomials Alexander Remorov alexanderrem@gmail.com Warm-up Problem 1: Let f(x) be a quadratic polynomial. Prove that there exist quadratic polynomials g(x) and h(x) such that f(x)f(x + 1) = g(h(x)).

More information

H/wk 13, Solutions to selected problems

H/wk 13, Solutions to selected problems H/wk 13, Solutions to selected problems Ch. 4.1, Problem 5 (a) Find the number of roots of x x in Z 4, Z Z, any integral domain, Z 6. (b) Find a commutative ring in which x x has infinitely many roots.

More information

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

More information

Section 4.2: The Division Algorithm and Greatest Common Divisors

Section 4.2: The Division Algorithm and Greatest Common Divisors Section 4.2: The Division Algorithm and Greatest Common Divisors The Division Algorithm The Division Algorithm is merely long division restated as an equation. For example, the division 29 r. 20 32 948

More information

minimal polyonomial Example

minimal polyonomial Example Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We

More information

11 Multivariate Polynomials

11 Multivariate Polynomials CS 487: Intro. to Symbolic Computation Winter 2009: M. Giesbrecht Script 11 Page 1 (These lecture notes were prepared and presented by Dan Roche.) 11 Multivariate Polynomials References: MC: Section 16.6

More information

a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4)

a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4) ROOTS OF POLYNOMIAL EQUATIONS In this unit we discuss polynomial equations. A polynomial in x of degree n, where n 0 is an integer, is an expression of the form P n (x) =a n x n + a n 1 x n 1 + + a 1 x

More information

THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

More information

CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 Solutions CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

More information

Algebra 3: algorithms in algebra

Algebra 3: algorithms in algebra Algebra 3: algorithms in algebra Hans Sterk 2003-2004 ii Contents 1 Polynomials, Gröbner bases and Buchberger s algorithm 1 1.1 Introduction............................ 1 1.2 Polynomial rings and systems

More information

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9 Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned

More information

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson JUST THE MATHS UNIT NUMBER 1.8 ALGEBRA 8 (Polynomials) by A.J.Hobson 1.8.1 The factor theorem 1.8.2 Application to quadratic and cubic expressions 1.8.3 Cubic equations 1.8.4 Long division of polynomials

More information

MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

More information

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom. Some Polynomial Theorems by John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.com This paper contains a collection of 31 theorems, lemmas,

More information

LEARNING OBJECTIVES FOR THIS CHAPTER

LEARNING OBJECTIVES FOR THIS CHAPTER CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

More information

Factorization Algorithms for Polynomials over Finite Fields

Factorization Algorithms for Polynomials over Finite Fields Degree Project Factorization Algorithms for Polynomials over Finite Fields Sajid Hanif, Muhammad Imran 2011-05-03 Subject: Mathematics Level: Master Course code: 4MA11E Abstract Integer factorization is

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

Degree Bounds for Gröbner Bases in Algebras of Solvable Type

Degree Bounds for Gröbner Bases in Algebras of Solvable Type Degree Bounds for Gröbner Bases in Algebras of Solvable Type Matthias Aschenbrenner University of California, Los Angeles (joint with Anton Leykin) Algebras of Solvable Type... introduced by Kandri-Rody

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

Introduction to Finite Fields (cont.)

Introduction to Finite Fields (cont.) Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number

More information

Integer roots of quadratic and cubic polynomials with integer coefficients

Integer roots of quadratic and cubic polynomials with integer coefficients Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street

More information

Equations, Inequalities & Partial Fractions

Equations, Inequalities & Partial Fractions Contents Equations, Inequalities & Partial Fractions.1 Solving Linear Equations 2.2 Solving Quadratic Equations 1. Solving Polynomial Equations 1.4 Solving Simultaneous Linear Equations 42.5 Solving Inequalities

More information

MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

More information

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of

More information

The Euclidean Algorithm

The Euclidean Algorithm The Euclidean Algorithm A METHOD FOR FINDING THE GREATEST COMMON DIVISOR FOR TWO LARGE NUMBERS To be successful using this method you have got to know how to divide. If this is something that you have

More information

Lecture 3: Finding integer solutions to systems of linear equations

Lecture 3: Finding integer solutions to systems of linear equations Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture

More information

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients DOI: 10.2478/auom-2014-0007 An. Şt. Univ. Ovidius Constanţa Vol. 221),2014, 73 84 Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients Anca

More information

GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!

GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014! GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!!! Challenge Problem 2 (Mastermind) due Fri. 9/26 Find a fourth guess whose scoring will allow you to determine the secret code (repetitions are

More information

Partial Fractions. p(x) q(x)

Partial Fractions. p(x) q(x) Partial Fractions Introduction to Partial Fractions Given a rational function of the form p(x) q(x) where the degree of p(x) is less than the degree of q(x), the method of partial fractions seeks to break

More information

Ideal Class Group and Units

Ideal Class Group and Units Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

More information

Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions

Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions Tomas Recio a J Rafael Sendra b Luis Felipe Tabera a, Carlos Villarino b a Dpto de Matemáticas, Universidad de Cantabria,

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

PYTHAGOREAN TRIPLES KEITH CONRAD

PYTHAGOREAN TRIPLES KEITH CONRAD PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

More information

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information

Basics of Polynomial Theory

Basics of Polynomial Theory 3 Basics of Polynomial Theory 3.1 Polynomial Equations In geodesy and geoinformatics, most observations are related to unknowns parameters through equations of algebraic (polynomial) type. In cases where

More information

1 Lecture: Integration of rational functions by decomposition

1 Lecture: Integration of rational functions by decomposition Lecture: Integration of rational functions by decomposition into partial fractions Recognize and integrate basic rational functions, except when the denominator is a power of an irreducible quadratic.

More information

2 Polynomials over a field

2 Polynomials over a field 2 Polynomials over a field A polynomial over a field F is a sequence (a 0, a 1, a 2,, a n, ) where a i F i with a i = 0 from some point on a i is called the i th coefficient of f We define three special

More information

6.2 Permutations continued

6.2 Permutations continued 6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

More information

Die ganzen zahlen hat Gott gemacht

Die ganzen zahlen hat Gott gemacht Die ganzen zahlen hat Gott gemacht Polynomials with integer values B.Sury A quote attributed to the famous mathematician L.Kronecker is Die Ganzen Zahlen hat Gott gemacht, alles andere ist Menschenwerk.

More information

DIVISIBILITY AND GREATEST COMMON DIVISORS

DIVISIBILITY AND GREATEST COMMON DIVISORS DIVISIBILITY AND GREATEST COMMON DIVISORS KEITH CONRAD 1 Introduction We will begin with a review of divisibility among integers, mostly to set some notation and to indicate its properties Then we will

More information

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R:

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R: 30 3. RINGS, IDEALS, AND GRÖBNER BASES 3.1. Polynomial rings and ideals The main object of study in this section is a polynomial ring in a finite number of variables R = k[x 1,..., x n ], where k is an

More information

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures Number Theory Hungarian Style Cameron Byerley s interpretation of Csaba Szabó s lectures August 20, 2005 2 0.1 introduction Number theory is a beautiful subject and even cooler when you learn about it

More information

Today s Topics. Primes & Greatest Common Divisors

Today s Topics. Primes & Greatest Common Divisors Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime

More information

QUADRATIC RECIPROCITY IN CHARACTERISTIC 2

QUADRATIC RECIPROCITY IN CHARACTERISTIC 2 QUADRATIC RECIPROCITY IN CHARACTERISTIC 2 KEITH CONRAD 1. Introduction Let F be a finite field. When F has odd characteristic, the quadratic reciprocity law in F[T ] (see [4, Section 3.2.2] or [5]) lets

More information

Cyclotomic Extensions

Cyclotomic Extensions Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate

More information

Equivalence of Polynomial Identity Testing and Deterministic Multivariate Polynomial Factorization

Equivalence of Polynomial Identity Testing and Deterministic Multivariate Polynomial Factorization Equivalence of Polynomial Identity Testing and Deterministic Multivariate Polynomial Factorization Swastik Kopparty Shubhangi Saraf Amir Shpilka Abstract In this paper we show that the problem of deterministically

More information

2.1 Complexity Classes

2.1 Complexity Classes 15-859(M): Randomized Algorithms Lecturer: Shuchi Chawla Topic: Complexity classes, Identity checking Date: September 15, 2004 Scribe: Andrew Gilpin 2.1 Complexity Classes In this lecture we will look

More information

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

More information

Application. Outline. 3-1 Polynomial Functions 3-2 Finding Rational Zeros of. Polynomial. 3-3 Approximating Real Zeros of.

Application. Outline. 3-1 Polynomial Functions 3-2 Finding Rational Zeros of. Polynomial. 3-3 Approximating Real Zeros of. Polynomial and Rational Functions Outline 3-1 Polynomial Functions 3-2 Finding Rational Zeros of Polynomials 3-3 Approximating Real Zeros of Polynomials 3-4 Rational Functions Chapter 3 Group Activity:

More information

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1. MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

More information

Lecture Notes on Polynomials

Lecture Notes on Polynomials Lecture Notes on Polynomials Arne Jensen Department of Mathematical Sciences Aalborg University c 008 Introduction These lecture notes give a very short introduction to polynomials with real and complex

More information

The Mean Value Theorem

The Mean Value Theorem The Mean Value Theorem THEOREM (The Extreme Value Theorem): If f is continuous on a closed interval [a, b], then f attains an absolute maximum value f(c) and an absolute minimum value f(d) at some numbers

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

More information

6 EXTENDING ALGEBRA. 6.0 Introduction. 6.1 The cubic equation. Objectives

6 EXTENDING ALGEBRA. 6.0 Introduction. 6.1 The cubic equation. Objectives 6 EXTENDING ALGEBRA Chapter 6 Extending Algebra Objectives After studying this chapter you should understand techniques whereby equations of cubic degree and higher can be solved; be able to factorise

More information

3.6. Partial Fractions. Introduction. Prerequisites. Learning Outcomes

3.6. Partial Fractions. Introduction. Prerequisites. Learning Outcomes Partial Fractions 3.6 Introduction It is often helpful to break down a complicated algebraic fraction into a sum of simpler fractions. For 4x + 7 example it can be shown that x 2 + 3x + 2 has the same

More information

Non-unique factorization of polynomials over residue class rings of the integers

Non-unique factorization of polynomials over residue class rings of the integers Comm. Algebra 39(4) 2011, pp 1482 1490 Non-unique factorization of polynomials over residue class rings of the integers Christopher Frei and Sophie Frisch Abstract. We investigate non-unique factorization

More information

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12 CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

More information

Theory of Matrices. Chapter 5

Theory of Matrices. Chapter 5 Chapter 5 Theory of Matrices As before, F is a field We use F[x] to represent the set of all polynomials of x with coefficients in F We use M m,n (F) and M m,n (F[x]) to denoted the set of m by n matrices

More information

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu Integer Polynomials June 9, 007 Yufei Zhao yufeiz@mit.edu We will use Z[x] to denote the ring of polynomials with integer coefficients. We begin by summarizing some of the common approaches used in dealing

More information

Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and

Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and Breaking The Code Ryan Lowe Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and a minor in Applied Physics. As a sophomore, he took an independent study

More information

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

More information

Roots of Polynomials

Roots of Polynomials Roots of Polynomials (Com S 477/577 Notes) Yan-Bin Jia Sep 24, 2015 A direct corollary of the fundamental theorem of algebra is that p(x) can be factorized over the complex domain into a product a n (x

More information

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

More information

The Method of Partial Fractions Math 121 Calculus II Spring 2015

The Method of Partial Fractions Math 121 Calculus II Spring 2015 Rational functions. as The Method of Partial Fractions Math 11 Calculus II Spring 015 Recall that a rational function is a quotient of two polynomials such f(x) g(x) = 3x5 + x 3 + 16x x 60. The method

More information

The van Hoeij Algorithm for Factoring Polynomials

The van Hoeij Algorithm for Factoring Polynomials The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial

More information

On the Infinitude of Prime Elements

On the Infinitude of Prime Elements Revista Colombiana de Matemáticas Volumen 47(2013)2, páginas 167-179 On the Infinitude of Prime Elements Acerca de la infinitud de elementos primos Luis F. Cáceres-Duque 1, José A. Vélez-Marulanda 2,a,

More information

Number Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may

Number Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may Number Theory Divisibility and Primes Definition. If a and b are integers and there is some integer c such that a = b c, then we say that b divides a or is a factor or divisor of a and write b a. Definition

More information