Remarks on semi-algebraic functions

Size: px
Start display at page:

Download "Remarks on semi-algebraic functions"

Transcription

1 Remarks on semi-algebraic functions Seiichiro Wakabayashi April the second version on August In this note we shall give some facts and remarks concerning semi-algebraic functions which we need in another paper. We think that the results given here are all well-known but we could not find any literature in which the main results here ( Theorems 5 10 and 11 below) are given and proved. Definition 1. Let S be a subset of R n. We say that S is semi-algebraic ( or a semi-algebraic set ( in R n )) if there is a finite family {A jk } 1 j m1 k r j of subsets of R n such that each A jk is defined by a real polynomial equation or inequality and m ( r j S = A jk ). Noting that we have the following m ( r j A jk ) = r 1 k 1 =1 r m ( m k m =1 A jk j ) Lemma 2. Let S 1 and S 2 be semi-algebraic sets in R n. Then S c 1 (= Rn \ S 1 ) S 1 S 2 and S 1 S 2 are semi-algebraic. Moreover if T is a semi-algebraic set in R m then S 1 T is semi-algebraic. The following theorem is called the Tarski-Seidenberg theorem ( see e.g. A.2 of [H]). Theorem 3 (Tarski-Seidenberg). Let S be a semi-algebraic set in R n+m. Then is semi-algebraic. S := {x R n ; (xy) S for some y R m }

2 Corollary. Let S and T be semi-algebraic sets in R n+m and R m respectively. Then the set Ŝ {x R n ; (xy) S for any y T } is semi-algebraic. Proof. Since Ŝ c (= R n \ Ŝ) = {x R n ; there is y T satisfying (xy) S c } = {x R n ; there is y R m satisfying (xy) S c (R n T )} Theorem 3 and Lemma 2 prove the corollary. Lemma 4. If S is a semi-algebraic set in R n then the closure S of S and the interior S of S are semi-algebraic. Remark. If S = {x R; x 2 (x 1) > 0} then S = (1 ) and S {x ; x 2 (x 1) 0} = S {0}. Proof. Put D := {(xεy) R 2n+1 ; ε > 0 y Sx R n and x y 2 < ε} E := {(xε) R n (0 ); there is y S satisfying x y 2 < ε}. Then D is semi-algebraic and E = {(xε) R n+1 ; there is y S satisfying (xεy) D}. From Theorem 3 E is semi-algebraic. Since S = {x R n ; (xε) E for any ε > 0} and S = (R n \ S) c S and S are semi-algebraic. Theorem 5. Let P(X) be a polynomial of X = (X 1 X n ) and put A {X R n ; P(X) 0}. Then the number of the connected components of A is finite and each component is semi-algebraic. Proof. We may assume that the coefficients of P(X) are real replacing P(X) by P Re (X) 2 + P Im (X) 2 if necessary where P(X) = P Re (X) + ip Im (X) and P Re (X) and P Im (X) are real polynomials. Let us prove the theorem by induction on n. If n = 1 then the theorem is trivial. Let L N(= {12 }) and suppose that the theorem is valid when n L. Let n = L + 1. We can write P(X) = P 1 (X) m1 P s (X) m s where the P j (X) are irreducible polynomials and mutually prime. Put Q(X) = P 1 (X) P s (X) 2

3 and denote by Q 0 (X) the principal part ( the terms of highest degree) of P(X). We may assume that Q 0 (0 01) 0 using linear transformation if necessary. Let D(X ) be the discriminant of the equation Q(X X n ) = 0 in X n where X = (X 1 X n 1 ). Then D(X ) 0 and by the assumption of induction there are N N and semi-algebraic sets A j in R n 1 ( 1 j N) such that the A j are mutually disjoint and coincide with the connected components of the set {X R n 1 ; D(X ) 0}. For each j N with 1 j N we can write Q(X) = Q 0 (0 01) l (X n λ k (X )) λ 1 (X ) < λ 2 (X ) < < λ r( j) (X ) Imλ k (X ) 0 ( r( j) + 1 k l) for X A j where l = deg Xn Q(X) and r( j) N since the equation Q(X X n ) = 0 in X n has only simple roots for X A j. Put A jk := {X A j R; there are λ 1 λ r( j) R and λ r( j)+1 λ l C such that λ 1 < λ 2 < < λ r( j) Imλ µ 0 ( µ = r( j) + 1 l) Q(X t) = Q 0 (0 01) l µ=1 (t λ µ ) as a polynomial of t and λ k 1 < X n < λ k if 2 k l X n < λ 1 if k = 1 and X n > λ r( j) if k = r( j) + 1} ( k = 12 r( j) + 1). Then the A jk are semi-algebraic and A (A j R) = r( j)+1 A jk. By Lemmas 2 and 4 B jk A jk A is semi-algebraic. Assume that there are disjoint open subsets C 1 and C 2 of B jk satisfying B jk = C 1 C 2 and C 2 A jk /0. Since A jk is connected C 1 A jk A where B denotes the boundary of B in R n for a subset B of R n. So we have C 1 = /0. This implies that B jk are connected. Since (A j R) A = r( j)+1 B jk we have A = N r( j)+1 B jk. Put Λ := {( jk) N N; 1 j N 1 k r( j) + 1}. 3

4 For ( jk)( j k ) Λ we say that ( jk) ( j k ) if there are ν N and ( j µ k µ ) Λ ( 1 µ ν) satisfying B jµ k µ B jµ+1 k µ+1 /0 ( 0 µ ν) where ( j 0 k 0 ) = ( jk) and ( j ν+1 k ν+1 ) = ( j k ). For ( jk) Λ we put A ( jk) := ( j k ) ( jk) B j k. Then A ( jk) is a connected component of A and semi-algebraic. Moreover we have A = ( jk) Λ A ( jk) which proves the theorem. Definition 6. Let f (X) be a real-valued function defined on R n. We say that f (X) is semi-algebraic ( or a semi-algebraic function) if the graph of f ( = {(Xy) R n+1 ; y = f (X)}) is a semi-algebraic set. Lemma 7. f (X) is semi-algebraic if and only if A {(Xy) R n+1 ; y f (X)} is a semi-algebraic set. Proof. Assume that f (X) is semi-algebraic. Then B {(Xyλ) R n+2 ; λ = f (X) and y λ} is a semi-algebraic set. Therefore Theorem 3 implies that A is semi-algebraic. Next assume that A is semi-algebraic. Then C {(Xyλ) R n+1 ; λ f (X) and y < λ} is semi-algebraic. Therefore Theorem 3 implies that D {(Xy) R n+1 ; y < f (X)} is semi-algebraic. Thus A \ D = {(Xy) R n+1 ; y = f (X)} is semi-algebraic. Definition 8. (i) Let f (X) be a complex-valued function defined on R n. We say that f (X) is semi-algebraic ( or a semi-algebraic function) if Re f (X) and Im f (X) are semi-algebraic. (ii) Let X 0 R n and let f (X) be a complex-valued function defined in a neighborhood of X 0. We say that f (X) is semi-algebraic at X 0 if there is r > 0 such that the sets {(Xy) R n+1 ; X X 0 < r and y = Re f (X)} and {(Xy) R n+1 ; X X 0 < r and y = Im f (X)} are semi-algebraic. (iii) Let U be an open subset of R n and let f (X) be a complex-valued function defined in U. We say that f (X) is semi-algebraic in U if f (X) is semi-algebraic at every X 0 U. Lemma 9. Let X 0 R n and let f (X) and g(x) be semi-algebraic ( resp. semi-algebraic at X 0 ). (i) α f (X) + βg(x) and f (X)g(X) are semi-algebraic ( resp. semi-algebraic at X 0 ) where αβ C. (ii) If g(x) 0 for X R n ( resp. g(x) 0 in a neighborhood of X 0 ) then f (X)/g(X) is semi-algebraic ( resp. semi-algebraic at X 0 ). (iii) If g(x) 0 for X R n ( resp. g(x) 0 in a neighborhood of X 0 ) then g(x) 1/l ( 0) is semi-algebraic ( resp. semi-algebraic at X 0 ) where l N. 4

5 Proof. Let us prove the first part of the assertion (i) in the case where f (X) and g(x) are semi-algebraic at X 0. The other assertions can be proved by the same argument. We may assume that f (X) and g(x) are real-valued. By assumption there is r > 0 such that A {(Xλ) R n+1 ; X X 0 < r and λ = f (X)} and B {(X µ) R n+1 ; X X 0 < r and µ = g(x)} are semi-algebraic sets. Since C := {(Xλ µy) R n+3 ; X X 0 < r λ = f (X) µ = g(x) and y = αλ + β µ} is semi-algebraic Theorem 3 implies that α f (X)+βg(X) is semi-algebraic at X 0. Theorem 10. Let X 0 R n and assume that f (X) is in C and semi-algebraic ( resp. semi-algebraic at X 0 ). Then there is a irreducible polynomial P(zX)( 0) of (zx) = (zx 1 X n ) satisfying P( f (X)X) 0 ( resp. P( f (X)X) = 0 in a neighborhood of X 0 ). Proof. Let us prove the theorem in the case where f (X) is semi-algebraic at X 0. We may assume that f (X) is real-valued. By assumption there is r > 0 such that f (X) C (B r (X 0 )) and the set S {(Xy) B r (X 0 ) R; y = f (X)} is semialgebraic where B r (X 0 ) = {X R n ; X X 0 < r}. First consider the case where n = 1. Let F(zX) be the product of all polynomials F jk (zx) except polynomials depending only on X that appear in the definition of the semi-algebraic set S in Definition 1 as A jk = {(zx) R n+1 ; F jk (zx) = 0 (resp. > 0)}. Then we have F( f (X)X) = 0 in B r (X 0 ) since S is a graph of f (X). Write F(zX) = F 1 (zx) m1 F s (zx) m s where the F j (zx) are irreducible polynomials and mutually prime. We put G(zX) = F 1 (zx) F s (zx) and denote by D(X) the discriminant of the equation G(zX) = 0 in z. Then D(X) 0. Let X 1 B r (X 0 ) and assume that D(X 1 ) 0. Since the roots of G(zX 1 ) = 0 in z are all simple f (X) is analytic at X 1 and there is j(x 1 ) N with 1 j(x 1 ) s such that F j(x 1 ) ( f (X)X) = 0 in a neighborhood of X 1. Next assume that D(X 1 ) = 0. Then there is δ > 0 such that D(X) 0 if 0 < X X 1 < δ. Moreover f (X) is equal to a convergent Puiseux series if 0 < ±(X X 1 ) < δ respectively modifying δ if necessary. Since f (X) is in C the Puiseux series are Taylor series and therefore f (X) is analytic at X 1. So f (X) is analytic in B r (X 0 ) and there is j N with 1 j s such that F j ( f (X)X) = 0 in B r (X 0 ). Next let us consider the case where n 2. Similarly there is a polynomial F(zX) ( 0) such that F( f (X)X) = 0 in B r (X 0 ). Write F(zX) = F 1 (zx) m1 F s (zx) m s 5

6 where the F j (zx) are irreducible polynomials and mutually prime. We put G(zX) = F 1 (zx) F s (zx) and denote by D(X) the discriminant of the equation G(zX) = 0 in z. We have D(X) 0. We may assume that D 0 (0 01) 0 where D 0 (X) denotes the principal part of D(X) using linear transformation if necessary. If D(X 0 ) 0 then f (X) is analytic at X 0 and we can choose j N with 1 j s so that F j ( f (X)X) = 0 in a neighborhood of X 0. Now assume that D(X 0 ) = 0. Choose X 1 R n 1 so that X 1 X 0 < r where X 0 = (X1 0 X n 0 ) and X 0 = (X1 0 X n 1 0 ). Since D(X1 X n ) 0 in X n applying the same argument for the case n = 1 we can see that f (X 1 X n ) is analytic in X n if (X 1 X n ) B r (X 0 ) and that there is j N with 1 j s satisfying F j ( f (X 1 X n )X 1 X n ) = 0 if (X 1 X n ) B r (X 0 ). On the other hand for each connected component A k of the set {X R n ; D(X) 0} there is j j(a k ) N with 1 j s satisfying F j ( f (X)X) = 0 in A k B r (X 0 ). Therefore there are δ > 0 and j N such that 1 j s and F j ( f (X)X) = 0 if X B r (X 0 ) and X X 0 < δ. Theorem 11. Let X 0 R n and assume that f (X) is a continuous function defined on R n ( resp. near X 0 ). Moreover we assume that there is a polynomial P(zX) ( 0) satisfying P( f (X)X) 0 ( resp. P( f (X)X) = 0 in a neighborhood of X 0 ). Then f (X) is semi-algebraic ( resp. semi-algebraic at X 0 ). Proof. Let us prove the theorem in the case where f (X) is defined in B r (X 0 ). We may assume that f (X) is real-valued and that P(zλ) is a real polynomial. Write P(zX) = P 1 (zx) m1 P s (zx) m s where the P j (zx) are irreducible and mutually prime. We put Q(zX) = P 1 (zx) P s (zx) and denote by D(X) the discriminant of the equation Q(zX) = 0 in z. Then we have D(X) 0. Put A := {X R n ; D(X) 0}. It follows from Theorem 5 that there are a finite number of semi-algebraic sets A 1 A N in R n such that the A j are the disjoint connected components of A and A = N A j. For each j N with 1 j N there are r( j) N with 1 r( j) m a polynomial c(x) and λ k (X) defined in A j ( 1 k m) such that c(x) 0 and Q(zX) = c(x) m (z λ k (X)) λ 1 (X) < λ 2 (X) < < λ r( j) (X) Imλ k (X) 0 ( r( j) + 1 k m) 6

7 for X A j where m = deg z Q(zX). Let j N satisfy 1 j N and A j B r (X 0 ) /0. Then there exists uniquely k( j) N satisfying 1 k( j) r( j) and λ k( j) (X) = f (X) in A j B r (X 0 ). Put E j := {(Xy) A j R; X B r (X 0 ) and there are a R and λ 1 λ m C such that Q(z X) = a m (z λ k ) λ 1 < < λ r( j) Imλ k 0 ( r( j) + 1 k m) and y = λ k( j) }. Then E j is semi-algebraic and Put E j = {(Xy) A j R; X B r (X 0 ) and y = f (X)}. Ẽ j := {(Xy) A j R; X B r (X 0 ) and y = f (X)}. Since Ẽ j = E j B r (X 0 ) R Ẽ j is semi-algebraic. So E j:a j B r (X 0 ) /0 Ẽ j is semi-algebraic. Note that N A j = R n and that A j B r (X 0 ) = /0 if A j B r (X 0 ) = /0. Then we have E = {(Xy) B r (X 0 ) R; y = f (X)}. References [H] L. Hörmander The Analysis of Linear Partial Differential Operators II Springer-Verlag Berlin-Heidelberg-New York-Tokyo

Modern Algebra 2: Midterm 2

Modern Algebra 2: Midterm 2 Modern Algebra 2: Midterm 2 April 3, 2014 Name: Write your answers in the space provided. Continue on the back for more space. The last three pages are left blank for scratch work. You may detach them.

More information

Section IV.23. Factorizations of Polynomials over a Field

Section IV.23. Factorizations of Polynomials over a Field IV.23 Factorizations of Polynomials 1 Section IV.23. Factorizations of Polynomials over a Field Note. Our experience with classical algebra tells us that finding the zeros of a polynomial is equivalent

More information

Chapter 4. Measure Theory. 1. Measure Spaces

Chapter 4. Measure Theory. 1. Measure Spaces Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if

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. PIDs Definition 1 A principal ideal domain (PID) is an integral

More information

LOWELL WEEKLY JOURNAL

LOWELL WEEKLY JOURNAL G $ G 2 G ««2 ««q ) q «\ { q «««/ 6 «««««q «] «q 6 ««Z q «««Q \ Q «q «X ««G X G ««? G Q / Q Q X ««/«X X «««Q X\ «q «X \ / X G XX «««X «x «X «x X G X 29 2 ««Q G G «) 22 G XXX GG G G G G G X «x G Q «) «G

More information

Section 33 Finite fields

Section 33 Finite fields Section 33 Finite fields Instructor: Yifan Yang Spring 2007 Review Corollary (23.6) Let G be a finite subgroup of the multiplicative group of nonzero elements in a field F, then G is cyclic. Theorem (27.19)

More information

Algebraic function fields

Algebraic function fields Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics

More information

Mathematical Olympiad Training Polynomials

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

More information

Minimum Polynomials of Linear Transformations

Minimum Polynomials of Linear Transformations Minimum Polynomials of Linear Transformations Spencer De Chenne University of Puget Sound 30 April 2014 Table of Contents Polynomial Basics Endomorphisms Minimum Polynomial Building Linear Transformations

More information

Two Posts to Fill On School Board

Two Posts to Fill On School Board Y Y 9 86 4 4 qz 86 x : ( ) z 7 854 Y x 4 z z x x 4 87 88 Y 5 x q x 8 Y 8 x x : 6 ; : 5 x ; 4 ( z ; ( ) ) x ; z 94 ; x 3 3 3 5 94 ; ; ; ; 3 x : 5 89 q ; ; x ; x ; ; x : ; ; ; ; ; ; 87 47% : () : / : 83

More information

CHAPTER 10: POLYNOMIALS (DRAFT)

CHAPTER 10: POLYNOMIALS (DRAFT) CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously

More information

Mathematical Journal of Okayama University

Mathematical Journal of Okayama University Mathematical Journal of Okayama University Volume 48, Issue 1 2006 Article 1 JANUARY 2006 On Euclidean Algorithm Kaoru Motose Hirosaki University Copyright c 2006 by the authors. Mathematical Journal of

More information

Name: MAT 444 Test 4 Instructor: Helene Barcelo April 19, 2004

Name: MAT 444 Test 4 Instructor: Helene Barcelo April 19, 2004 MAT 444 Test 4 Instructor: Helene Barcelo April 19, 004 Name: You can take up to hours for completing this exam. Close book, notes and calculator. Do not use your own scratch paper. Write each solution

More information

55 Separable Extensions

55 Separable Extensions 55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple

More information

Solutions to Exercises, Section 2.5

Solutions to Exercises, Section 2.5 Instructor s Solutions Manual, Section 2.5 Exercise 1 Solutions to Exercises, Section 2.5 For Exercises 1 4, write the domain of the given function r as a union of intervals. 1. r(x) 5x3 12x 2 + 13 x 2

More information

7.4: Integration of rational functions

7.4: Integration of rational functions A rational function is a function of the form: f (x) = P(x) Q(x), where P(x) and Q(x) are polynomials in x. P(x) = a n x n + a n 1 x n 1 + + a 0. Q(x) = b m x m + b m 1 x m 1 + + b 0. How to express a

More information

' Liberty and Umou Ono and Inseparablo "

' Liberty and Umou Ono and Inseparablo 3 5? #< q 8 2 / / ) 9 ) 2 ) > < _ / ] > ) 2 ) ) 5 > x > [ < > < ) > _ ] ]? <

More information

EXAMPLES OF PROOFS BY INDUCTION

EXAMPLES OF PROOFS BY INDUCTION EXAMPLES OF PROOFS BY INDUCTION KEITH CONRAD 1. Introduction In this handout we illustrate proofs by induction from several areas of mathematics: linear algebra, polynomial algebra, and calculus. Becoming

More information

March Algebra 2 Question 1. March Algebra 2 Question 1

March Algebra 2 Question 1. March Algebra 2 Question 1 March Algebra 2 Question 1 If the statement is always true for the domain, assign that part a 3. If it is sometimes true, assign it a 2. If it is never true, assign it a 1. Your answer for this question

More information

Algebraic approximation of semianalytic sets

Algebraic approximation of semianalytic sets Algebraic approximation of semianalytic sets M. Ferrarotti, E. Fortuna and L. Wilson Politecnico di Torino Università di Pisa University of Hawai i at Mānoa Liverpool, June 2012 An algebraic set in R n

More information

ABSOLUTE VALUES AND VALUATIONS

ABSOLUTE VALUES AND VALUATIONS ABSOLUTE VALUES AND VALUATIONS YIFAN WU, wuyifan@umich.edu Abstract. We introduce the basis notions, properties and results of absolute values, valuations, discrete valuation rings and higher unit groups.

More information

Part IX. Factorization

Part IX. Factorization IX.45. Unique Factorization Domains 1 Part IX. Factorization Section IX.45. Unique Factorization Domains Note. In this section we return to integral domains and concern ourselves with factoring (with respect

More information

Math 4310 Solutions to homework 7 Due 10/27/16

Math 4310 Solutions to homework 7 Due 10/27/16 Math 4310 Solutions to homework 7 Due 10/27/16 1. Find the gcd of x 3 + x 2 + x + 1 and x 5 + 2x 3 + x 2 + x + 1 in Rx. Use the Euclidean algorithm: x 5 + 2x 3 + x 2 + x + 1 = (x 3 + x 2 + x + 1)(x 2 x

More information

Upper Bounds for Partitions into k-th Powers Elementary Methods

Upper Bounds for Partitions into k-th Powers Elementary Methods Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 9, 433-438 Upper Bounds for Partitions into -th Powers Elementary Methods Rafael Jaimczu División Matemática, Universidad Nacional de Luján Buenos Aires,

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

Computation of a Power Integral Basis of a Pure Cubic Number Field

Computation of a Power Integral Basis of a Pure Cubic Number Field Int. J. Contemp. Math. Sci., Vol. 2, 2007, no. 13, 601-606 Computation of a Power Integral Basis of a Pure Cubic Number Field L houssain EL FADIL Faculté Polydisciplinaire de Ouarzazat Ouarzazat-Morocco

More information

Results and open problems related to Schmidt s Subspace Theorem. Jan-Hendrik Evertse

Results and open problems related to Schmidt s Subspace Theorem. Jan-Hendrik Evertse Results and open problems related to Schmidt s Subspace Theorem Jan-Hendrik Evertse Universiteit Leiden 29 ièmes Journées Arithmétiques July 6, 2015, Debrecen Slides can be downloaded from http://pub.math.leidenuniv.nl/

More information

MTH310 EXAM 2 REVIEW

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

More information

Definable Extension Theorems in O-minimal Structures. Matthias Aschenbrenner University of California, Los Angeles

Definable Extension Theorems in O-minimal Structures. Matthias Aschenbrenner University of California, Los Angeles Definable Extension Theorems in O-minimal Structures Matthias Aschenbrenner University of California, Los Angeles 1 O-minimality Basic definitions and examples Geometry of definable sets Why o-minimal

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

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

More information

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

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

Homework 8 Solutions to Selected Problems

Homework 8 Solutions to Selected Problems Homework 8 Solutions to Selected Problems June 7, 01 1 Chapter 17, Problem Let f(x D[x] and suppose f(x is reducible in D[x]. That is, there exist polynomials g(x and h(x in D[x] such that g(x and h(x

More information

Yunhi Cho and Young-One Kim

Yunhi Cho and Young-One Kim Bull. Korean Math. Soc. 41 (2004), No. 1, pp. 27 43 ANALYTIC PROPERTIES OF THE LIMITS OF THE EVEN AND ODD HYPERPOWER SEQUENCES Yunhi Cho Young-One Kim Dedicated to the memory of the late professor Eulyong

More information

Midterm 1 Solutions Thursday, February 26

Midterm 1 Solutions Thursday, February 26 Math 59 Dr. DeTurck Midterm 1 Solutions Thursday, February 26 1. First note that since f() = f( + ) = f()f(), we have either f() = (in which case f(x) = f(x + ) = f(x)f() = for all x, so c = ) or else

More information

Section VI.33. Finite Fields

Section VI.33. Finite Fields VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,

More information

6-1 The Positivstellensatz P. Parrilo and S. Lall, ECC

6-1 The Positivstellensatz P. Parrilo and S. Lall, ECC 6-1 The Positivstellensatz P. Parrilo and S. Lall, ECC 2003 2003.09.02.10 6. The Positivstellensatz Basic semialgebraic sets Semialgebraic sets Tarski-Seidenberg and quantifier elimination Feasibility

More information

Econ Slides from Lecture 2

Econ Slides from Lecture 2 Econ 205 Sobel Econ 205 - Slides from Lecture 2 Joel Sobel August 31, 2010 Econ 205 Sobel Limits of Functions Take any function f, f : X R for X = (c, d) (so note that it is an open set) and take a X.

More information

This chapter contains a very bare summary of some basic facts from topology.

This chapter contains a very bare summary of some basic facts from topology. Chapter 2 Topological Spaces This chapter contains a very bare summary of some basic facts from topology. 2.1 Definition of Topology A topology O on a set X is a collection of subsets of X satisfying the

More information

P -adic root separation for quadratic and cubic polynomials

P -adic root separation for quadratic and cubic polynomials P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible

More information

Abstract Algebra: Chapters 16 and 17

Abstract Algebra: Chapters 16 and 17 Study polynomials, their factorization, and the construction of fields. Chapter 16 Polynomial Rings Notation Let R be a commutative ring. The ring of polynomials over R in the indeterminate x is the set

More information

Parity of the Number of Irreducible Factors for Composite Polynomials

Parity of the Number of Irreducible Factors for Composite Polynomials Parity of the Number of Irreducible Factors for Composite Polynomials Ryul Kim Wolfram Koepf Abstract Various results on parity of the number of irreducible factors of given polynomials over finite fields

More information

CALCULUS JIA-MING (FRANK) LIOU

CALCULUS JIA-MING (FRANK) LIOU CALCULUS JIA-MING (FRANK) LIOU Abstract. Contents. Power Series.. Polynomials and Formal Power Series.2. Radius of Convergence 2.3. Derivative and Antiderivative of Power Series 4.4. Power Series Expansion

More information

Example (cont d): Function fields in one variable...

Example (cont d): Function fields in one variable... Example (cont d): Function fields in one variable... Garrett 10-17-2011 1 Practice: consider K a finite extension of k = C(X), and O the integral closure in K of o = C[X]. K = C(X, Y ) for some Y, and

More information

Polynomials. Chapter 4

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

More information

Solutions of exercise sheet 6

Solutions of exercise sheet 6 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1

More information

MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

More information

Factorization of integer-valued polynomials with square-free denominator

Factorization of integer-valued polynomials with square-free denominator accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday

More information

Institutionen för matematik, KTH.

Institutionen för matematik, KTH. Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................

More information

z -FILTERS AND RELATED IDEALS IN C(X) Communicated by B. Davvaz

z -FILTERS AND RELATED IDEALS IN C(X) Communicated by B. Davvaz Algebraic Structures and Their Applications Vol. 2 No. 2 ( 2015 ), pp 57-66. z -FILTERS AND RELATED IDEALS IN C(X) R. MOHAMADIAN Communicated by B. Davvaz Abstract. In this article we introduce the concept

More information

Globalization and compactness of McCrory Parusiński conditions. Riccardo Ghiloni 1

Globalization and compactness of McCrory Parusiński conditions. Riccardo Ghiloni 1 Globalization and compactness of McCrory Parusiński conditions Riccardo Ghiloni 1 Department of Mathematics, University of Trento, 38050 Povo, Italy ghiloni@science.unitn.it Abstract Let X R n be a closed

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about

More information

A. H. Hall, 33, 35 &37, Lendoi

A. H. Hall, 33, 35 &37, Lendoi 7 X x > - z Z - ----»»x - % x x» [> Q - ) < % - - 7»- -Q 9 Q # 5 - z -> Q x > z»- ~» - x " < z Q q»» > X»? Q ~ - - % % < - < - - 7 - x -X - -- 6 97 9

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

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

THE NUMBERS THAT CAN BE REPRESENTED BY A SPECIAL CUBIC POLYNOMIAL

THE NUMBERS THAT CAN BE REPRESENTED BY A SPECIAL CUBIC POLYNOMIAL Commun. Korean Math. Soc. 25 (2010), No. 2, pp. 167 171 DOI 10.4134/CKMS.2010.25.2.167 THE NUMBERS THAT CAN BE REPRESENTED BY A SPECIAL CUBIC POLYNOMIAL Doo Sung Park, Seung Jin Bang, and Jung Oh Choi

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

Decomposition of a recursive family of polynomials

Decomposition of a recursive family of polynomials Decomposition of a recursive family of polynomials Andrej Dujella and Ivica Gusić Abstract We describe decomposition of polynomials f n := f n,b,a defined by f 0 := B, f 1 (x := x, f n+1 (x = xf n (x af

More information

Irreducible multivariate polynomials obtained from polynomials in fewer variables, II

Irreducible multivariate polynomials obtained from polynomials in fewer variables, II Proc. Indian Acad. Sci. (Math. Sci.) Vol. 121 No. 2 May 2011 pp. 133 141. c Indian Academy of Sciences Irreducible multivariate polynomials obtained from polynomials in fewer variables II NICOLAE CIPRIAN

More information

6.3 Partial Fractions

6.3 Partial Fractions 6.3 Partial Fractions Mark Woodard Furman U Fall 2009 Mark Woodard (Furman U) 6.3 Partial Fractions Fall 2009 1 / 11 Outline 1 The method illustrated 2 Terminology 3 Factoring Polynomials 4 Partial fraction

More information

Computing Limits of Real Multivariate Rational Functions

Computing Limits of Real Multivariate Rational Functions Computing Limits of Real Multivariate Rational Functions Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza Western University, Canada July 22, 2016 Outline 1 Statement of the problem and previous works 2

More information

Cover Page. The handle holds various files of this Leiden University dissertation

Cover Page. The handle   holds various files of this Leiden University dissertation Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05

More information

INTRODUCTION TO REAL ANALYTIC GEOMETRY

INTRODUCTION TO REAL ANALYTIC GEOMETRY INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E

More information

DIVISORS ON NONSINGULAR CURVES

DIVISORS ON NONSINGULAR CURVES DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce

More information

Continuity and differentiability of set-valued maps revisited in the light of tame geometry

Continuity and differentiability of set-valued maps revisited in the light of tame geometry Continuity and differentiability of set-valued maps revisited in the light of tame geometry ARIS DANIILIDIS & C. H. JEFFREY PANG Abstract Continuity of set-valued maps is hereby revisited: after recalling

More information

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002 Background on Groups, Rings, and Finite Fields Andreas Klappenecker September 12, 2002 A thorough understanding of the Agrawal, Kayal, and Saxena primality test requires some tools from algebra and elementary

More information

,... We would like to compare this with the sequence y n = 1 n

,... We would like to compare this with the sequence y n = 1 n Example 2.0 Let (x n ) n= be the sequence given by x n = 2, i.e. n 2, 4, 8, 6,.... We would like to compare this with the sequence = n (which we know converges to zero). We claim that 2 n n, n N. Proof.

More information

The Caratheodory Construction of Measures

The Caratheodory Construction of Measures Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,

More information

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial

More information

Modern Algebra Lecture Notes: Rings and fields set 6, revision 2

Modern Algebra Lecture Notes: Rings and fields set 6, revision 2 Modern Algebra Lecture Notes: Rings and fields set 6, revision 2 Kevin Broughan University of Waikato, Hamilton, New Zealand May 20, 2010 Solving quadratic equations: traditional The procedure Work in

More information

Real Algebraic Sets. Michel Coste. March 23, 2005

Real Algebraic Sets. Michel Coste. March 23, 2005 Real Algebraic Sets Michel Coste March 23, 2005 2 These lecture notes come from a mini-course given in the winter school of the network Real Algebraic and Analytic Geometry organized in Aussois (France)

More information

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

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields

More information

Final. due May 8, 2012

Final. due May 8, 2012 Final due May 8, 2012 Write your solutions clearly in complete sentences. All notation used must be properly introduced. Your arguments besides being correct should be also complete. Pay close attention

More information

Contents. O-minimal geometry. Tobias Kaiser. Universität Passau. 19. Juli O-minimal geometry

Contents. O-minimal geometry. Tobias Kaiser. Universität Passau. 19. Juli O-minimal geometry 19. Juli 2016 1. Axiom of o-minimality 1.1 Semialgebraic sets 2.1 Structures 2.2 O-minimal structures 2. Tameness 2.1 Cell decomposition 2.2 Smoothness 2.3 Stratification 2.4 Triangulation 2.5 Trivialization

More information

Complete Nevanlinna-Pick Kernels

Complete Nevanlinna-Pick Kernels Complete Nevanlinna-Pick Kernels Jim Agler John E. McCarthy University of California at San Diego, La Jolla California 92093 Washington University, St. Louis, Missouri 63130 Abstract We give a new treatment

More information

From now on we assume that K = K.

From now on we assume that K = K. Divisors From now on we assume that K = K. Definition The (additively written) free abelian group generated by P F is denoted by D F and is called the divisor group of F/K. The elements of D F are called

More information

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group.

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group. Algebra Review 2 1 Fields A field is an extension of the concept of a group. Definition 1. A field (F, +,, 0 F, 1 F ) is a set F together with two binary operations (+, ) on F such that the following conditions

More information

A CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY

A CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY A CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY KEITH A. KEARNES Abstract. We show that a locally finite variety satisfies a nontrivial congruence identity

More information

Variational Analysis and Tame Optimization

Variational Analysis and Tame Optimization Variational Analysis and Tame Optimization Aris Daniilidis http://mat.uab.cat/~arisd Universitat Autònoma de Barcelona April 15 17, 2010 PLAN OF THE TALK Nonsmooth analysis Genericity of pathological situations

More information

Chapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem

Chapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem Chapter 6 Approximation of algebraic numbers by rationals Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer Verlag 1980, Chap.II, 1,, Chap. IV, 1 L.J. Mordell,

More information

oenofc : COXT&IBCTOEU. AU skaacst sftwer thsa4 aafcekr will be ehat«s«ai Bi. C. W. JUBSSOS. PERFECT THBOUGH SDFFEBISG. our

oenofc : COXT&IBCTOEU. AU skaacst sftwer thsa4 aafcekr will be ehat«s«ai Bi. C. W. JUBSSOS. PERFECT THBOUGH SDFFEBISG. our x V - --- < x x 35 V? 3?/ -V 3 - ) - - [ Z8 - & Z - - - - - x 0-35 - 3 75 3 33 09 33 5 \ - - 300 0 ( -? 9 { - - - -- - < - V 3 < < - - Z 7 - z 3 - [ } & _ 3 < 3 ( 5 7< ( % --- /? - / 4-4 - & - % 4 V 2

More information

Algebra Homework, Edition 2 9 September 2010

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

More information

Numerical Analysis: Interpolation Part 1

Numerical Analysis: Interpolation Part 1 Numerical Analysis: Interpolation Part 1 Computer Science, Ben-Gurion University (slides based mostly on Prof. Ben-Shahar s notes) 2018/2019, Fall Semester BGU CS Interpolation (ver. 1.00) AY 2018/2019,

More information

Functions and Equations

Functions and Equations Canadian Mathematics Competition An activity of the Centre for Education in Mathematics and Computing, University of Waterloo, Waterloo, Ontario Euclid eworkshop # Functions and Equations c 006 CANADIAN

More information

Test 2. Monday, November 12, 2018

Test 2. Monday, November 12, 2018 Test 2 Monday, November 12, 2018 Instructions. The only aids allowed are a hand-held calculator and one cheat sheet, i.e. an 8.5 11 sheet with information written on one side in your own handwriting. No

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

MATH 614 Dynamical Systems and Chaos Lecture 3: Classification of fixed points.

MATH 614 Dynamical Systems and Chaos Lecture 3: Classification of fixed points. MATH 614 Dynamical Systems and Chaos Lecture 3: Classification of fixed points. Periodic points Definition. A point x X is called a fixed point of a map f : X X if f(x) = x. A point x X is called a periodic

More information

A GENERALIZATION OF DAVENPORT S CONSTANT AND ITS ARITHMETICAL APPLICATIONS

A GENERALIZATION OF DAVENPORT S CONSTANT AND ITS ARITHMETICAL APPLICATIONS C O L L O Q U I U M M A T H E M A T I C U M VOL. LXIII 1992 FASC. 2 A GENERALIZATION OF DAVENPORT S CONSTANT AND ITS ARITHMETICAL APPLICATIONS BY FRANZ H A L T E R - K O C H (GRAZ) 1. For an additively

More information

Integration of Rational Functions by Partial Fractions

Integration of Rational Functions by Partial Fractions Title Integration of Rational Functions by MATH 1700 MATH 1700 1 / 11 Readings Readings Readings: Section 7.4 MATH 1700 2 / 11 Rational functions A rational function is one of the form where P and Q are

More information

arxiv: v1 [math.ac] 28 Dec 2007

arxiv: v1 [math.ac] 28 Dec 2007 arxiv:0712.4329v1 [math.ac] 28 Dec 2007 On the value-semigroup of a simple complete ideal in a two-dimensional regular local ring S. Greco Politecnico di Torino Abstract K. Kiyek University of Paderborn

More information

50 Algebraic Extensions

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

More information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

EXTENSIONS OF ABSOLUTE VALUES

EXTENSIONS OF ABSOLUTE VALUES CHAPTER III EXTENSIONS OF ABSOLUTE VALUES 1. Norm and Trace Let k be a field and E a vector space of dimension N over k. We write End k (E) for the ring of k linear endomorphisms of E and Aut k (E) = End

More information

Notes for Math 345. Dan Singer Minnesota State University, Mankato. August 23, 2006

Notes for Math 345. Dan Singer Minnesota State University, Mankato. August 23, 2006 Notes for Math 345 Dan Singer Minnesota State University, Mankato August 23, 2006 Preliminaries 1. Read the To The Student section pp. xvi-xvii and the Thematic Table of Contents. 2. Read Appendix A: Logic

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

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3... Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

More information

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement. Math 421, Homework #6 Solutions (1) Let E R n Show that (Ē) c = (E c ) o, i.e. the complement of the closure is the interior of the complement. 1 Proof. Before giving the proof we recall characterizations

More information