RECENT RESULTS ON LINEAR RECURRENCE SEQUENCES

Size: px
Start display at page:

Download "RECENT RESULTS ON LINEAR RECURRENCE SEQUENCES"

Transcription

1 RECENT RESULTS ON LINEAR RECURRENCE SEQUENCES Jan-Hendrik Evertse (Leiden) General Mathematics Colloquium, Delft May 19,

2 INTRODUCTION A linear recurrence sequence U = {u n } n=0 (in C) is a sequence given by a linear recurrence (1) u n = c 1 u n 1 + c 2 u n c k u n k (n k) with coefficients c i C and initial values u 0,..., u k 1 C. The smallest k such that U satisfies a recurrence of type (1) is called the order of U. If k is the order of U, then the coefficients c 1,..., c k are uniquely determined. In that case the companion polynomial of U is given by F U (X) := X k c 1 X k 1 c 2 X k 2 c k. 2

3 FACT. Let U = {u n } n=0 be a linear recurrence sequence. Assume that its companion polynomial can be factored as (2) F U (X) = (X α 1 ) e 1 (X α r ) e r with distinct α 1,..., α r and e i > 0. Then u n can be expressed as a polynomialexponential sum, (3) u n = r i=1 f i (n)α n i for n 0 where f i is a polynomial of degree e i 1 (i = 1,..., r). Conversely, if {u n } n=0 is given by (3) then it is a linear recurrence sequence with companion polynomial given by (2). 3

4 Proof. Let U = {u n } n=0 be a linear recurrence sequence of order k with companion polynomial F U (X) = X k c 1 X k 1 c k = (X α 1 ) e 1 (X α r ) er. Then for some polynomial A of degree < k and for certain constants c ij, n=0 u n X n = = = A(X) 1 c 1 X c 2 X 2 c k X k r e i i=1 j=1 c ij (1 α i X) j r e i c ij i=1 j=1 n=0 ( ) n+j 1 j 1 α n i X n. 4

5 ZERO MULTIPLICITY The zero multiplicity of a linear recurrence sequence U = {u n } n=0 is given by N(U) := #{n Z 0 : u n = 0}. Assume that U has companion polynomial F U (X) = (X α 1 ) e 1 (X α r ) e r with α i distinct, e i > 0. U is called non-degenerate if none of the quotients α i /α j (1 i < j r) is a root of unity. THEOREM (Skolem-Mahler-Lech, ) Let U be a non-degenerate linear recurrence sequence. Then N(U) is finite. 5

6 Example. Let U = {u n } n=0 be given by u n = 3 n +( 3) n +n(2 n (2e 2πi/3 ) n ) (n 0). Then U has companion polynomial F U (X) = (X 3)(X+3)(X 2) 2 (X 2e 2πi/3 ) 2 and u n = 0 for n = 3,9,15,.... Problem. Suppose that U is non-degenerate. Find a good upper bound for N(U). 6

7 Example. Let U = {u n } n=0 be a linear recurrence sequence of order k with terms in R. Suppose that its companion polynomial is F U (X) = (X α 1 ) e 1 (X α r ) e r with 0 < α 1 < < α r. Then U is nondegenerate and u n = r i=1 f i (n)α n i (n 0) where the f i are polynomials with real coefficients. FACT (Follows from Rolle s Theorem) The function u(x) := r i=1 f i (x)α x i has at most r i=1 deg f i k 1 zeros in R. Hence N(U) k 1. Old conjecture: N(U) C(k) for every nondegenerate linear recurrence sequence U of order k with terms in C. 7

8 Linear recurrence sequences of order 3 THEOREM (Beukers, 1991) Let U = {u n } n=0 be a non-degenerate linear recurrence sequence of order 3 with terms in Q. Then N(U) 6. Example (Berstel, 1974) u n+3 = 2u n+2 4u n+1 + 4u n (n 3), u 0 = u 1 = 0, u 2 = 1. Then u 0 = u 1 = u 4 = u 6 = u 13 = u 52 = 0. THEOREM (Beukers, Schlickewei, 1996) Let U = {u n } n=0 be a non-degenerate linear recurrence sequence of order 3 with terms in C. Then N(U) 61. 8

9 Linear recurrence sequences of arbitrary order Earlier results in the 1990 s: Schlickewei, van der Poorten and Schlickewei, Schlickewei and Schmidt: upper bounds for N(U) valid for linear recurrence sequences with algebraic terms and depending on the order k of U and other parameters. THEOREM (Schmidt, 2000). Let U = {u n } n=0 be a non-degenerate linear recurrence sequence of order k with terms in C. Then N(U) expexpexp(20k). 9

10 Steps in the proof. 1) Reduce to the case that all terms of U are algebraic numbers, using a specialization argument from algebraic geometry. 2) Apply techniques from Diophantine approximation, the Quantitative p-adic Subspace Theorem. 3) Write u n = r i=1 f i (n)α n i, where the f i are polynomials. The proof is by induction on ri=1 deg f i. 4) Special case (Schlickewei, Schmidt, Ev.) Suppose that u n = k i=1 c i α n i where the c i are non-zero constants. Then N(U) e (6k)3k. 10

11 THE QUOTIENT OF TWO LINEAR RECURRENCE SEQUENCES If {u n } n=0, {v n} n=0 are linear recurrence sequences, then so are {λu n + µv n } n=0 (λ, µ C) and {u n v n } n=0. What about {u n/v n } n=0? If this is a linear recurrence sequence then u n /v n = r i=1 h i (n)γ n i for certain polynomials h i and certain γ i. Hence all terms u n /v n lie in a finitely generated subring of C, namely the ring generated by the γ i and the coefficients of the h i. 11

12 THEOREM (Pourchet, 1979, van der Poorten, 1988) Let U = {u n } n=0, V = {v n} n=0 be two linear recurrence sequences with terms in C. Suppose that there is a finitely generated subring R of C such that u n /v n R for all but finitely many n. Then there is n 0 0 such that {u n /v n } n=n 0 is a linear recurrence sequence. Can we weaken the condition u n /v n R for all but finitely many n to u n /v n R for infinitely many n? 12

13 THEOREM (Corvaja, Zannier, 2002) Let U = {u n } n=0, V = {v n} n=0 be two linear recurrence sequences with terms in C. Assume that there is a finitely generated subring R of C such that u n /v n R for infinitely many n. Then there are a polynomial g(x) and positive integers a, b such that { g(an + b) u an+b v an+b } n=0 are linear recurrence sequences., { van+b g(an + b) } Proof. 1) Reduce to the case that U, V have algebraic terms by a specialization argument. 2) Apply the p-adic Subspace Theorem. 13

14 Example. Let u n = 4 n 1 ( 1) n 1, v n = n 2 n 1 + n ( 1) n 1 (n 0). For every prime number n 3 we have u n = 4n 1 1 v n n(2 n 1 + 1) = 2n 1 1 n (using Fermat s little theorem). Z Hence u n /v n Z for infinitely many n. Verify that (2n+1) u2n+1 v 2n+1 = 2 2n 1, v 2n+1 2n + 1 = 22n +1 are linear recurrence sequences, but that {u n /v n } n=0 and {nu n/v n } n=0 are not linear recurrence sequences. 14

15 D-TH ROOTS OF LINEAR RECURRENCE SEQUENCES Let d be a positive integer, let {u n } n=0 be a linear recurrence sequence and suppose that there is a linear recurrence sequence {v n } n=0 such that u n = vn d for all n. Write v n = r i=1 h i (n)γ n i where γ i C and h i is a polynomial. Let R be the ring generated by the γ i and the coefficients of the h i. Then for every n there is y R with y d = u n. 15

16 THEOREM (Zannier, 2000) Let d be a positive integer, let {u n } n=0 be a linear recurrence sequence with terms in C and suppose that there is a finitely generated subring of C such that for every n 0 there is y R with y d = u n. Then there is a linear recurrence sequence {v n } n=0 such that vd n = u n for every n 0. Proof. Specialization, algebraic number theory, arithmetic geometry. What if there is y R with y d = u n for infinitely many n? 16

17 THEOREM (Corvaja, Zannier, 1998) Let d be a positive integer. Let {u n } n=0 be a linear recurrence sequence with terms in Q, satisfying the following condition: u n = r i=1 c i α n i for n 0, where the c i are non-zero constants, and where α 1 > max( α 2,..., α r ). Assume that for infinitely many n there is y Q such that y d = u n. Then there are a linear recurrence sequence {v n } n=0 with terms in Q, as well as positive integers a, b, such that v d n = u an+b for every n 0. Proof. p-adic Subspace Theorem. 17

18 THE SUBSPACE THEOREM For x = (x 1,..., x m ) Z m put x := max( x 1,..., x m ) SUBSPACE THEOREM (Schmidt, 1972) Let L i (X) = α i1 X 1 + +α im X m (i = 1,..., m) be m linearly independent linear forms in m variables with algebraic coefficients in C and let δ > 0. Then the set of solutions x Z m of L 1 (x) L m (x) x δ is contained in the union of finitely many proper linear subspaces of Q m. 18

19 Example (m = 3). Consider (4) (x 1 2x 2 )(x 1 + 2x 2 )(x 3 2x 2 ) x 1. 1) (4) has infinitely many solutions x = (x 1, x 2, x 3 ) Z 3 in the subspace x 1 = x 3, which are given by x 1 = x 3, x 2 1 2x2 2 = 1, x 1 x ) (4) has infinitely many solutions x Z 3 in the subspace x 1 = x 3, which are given by x 1 = x 3, x 2 1 2x2 2 = 1, x 1x ) (4) has only finitely many solutions x Z 3 with x 1 ±x 3, given by (±1,0,0), (0,0, ±1). Remark. The Pell equation x 2 1 2x2 2 = 1 has infinitely many solutions in integers x 1, x 2. 19

20 p-adic absolute values Given a prime number p we define the p-adic absolute value p on Q by 0 p = 0; a p = p r if a = p r b/c where b, c are integers not divisible by p. Example: = 2 3 since = Likewise = 3 2. Properties: ab p = a p b p ; a + b p max( a p, b p ); a Z, a divisible by p r a p p r. Product formula: a composed of primes p 1,..., p t a a p1 a pt = 1. 20

21 P-ADIC SUBSPACE THEOREM (Schlickewei, 1977) Let p 1,..., p t be distinct prime numbers. Let L 1 (X),..., L m (X) be m linearly independent linear forms in m variables with coefficients in Q. For each p {p 1,..., p t }, let L 1p (X),..., L mp (X) be m linearly independent linear forms in m variables with coefficients in Q. Let δ > 0. Then the set of solutions x Z m of L 1 (x) L m (x) t i=1 L 1,pi (x) L m,pi (x) pi x δ is contained in the union of finitely many proper linear subspaces of Q m. 21

22 Remark 1. There is a more general result in which the coefficients of the linear forms L i, L ip are algebraic, and the solutions x have their coordinates in a given algebraic number field (Schmidt, Schlickewei). Remark 2. All proofs given up to now for the (p-adic) Subspace Theorem are ineffective, i.e., these proofs do not allow to determine effectively the subspaces containing all solutions. Remark 3. There is however a Quantitative p-adic Subspace Theorem, giving an explicit upper bound for the number of subspaces containing all solutions (Schmidt 1989, Schlickewei 1991,..., Schlickewei& Ev., 2002). This is a crucial tool in the proof of Schmidt s theorem on the zero multiplicity of linear recurrence sequences. 22

23 AN APPLICATION We prove: THEOREM Let p, q be two prime numbers with p > q. Then there are only finitely many positive integers n such that p n 1 q n 1 Z. (This is a special case of the Theorem of Corvaja and Zannier on quotients of linear recurrence sequences). 23

24 Let h be a positive integer. Then (q hn 1) pn ( h 1 1 q n 1 = (pn 1) q ). in i=0 Hence q hnpn h 1 1 q n 1 + i=0 q in h 1 i=0 p n q in = pn 1 q n 1, or x 1 + x x 2h+1 = pn 1 q n 1 where x 1 = q hn p n 1 q n 1, x i = q (i 2)n (i = 2,..., h + 1), x i = p n q (i h 2)n (i = h + 2,...,2h + 1). 24

25 Put x n := (x 1, x 2,..., x 2h+1 ) = (q hn p n 1 q n 1,1,..., q(h 1)n, p n,..., p n q (h 1)n ). LEMMA Let q h+1 > p. Then there is δ > 0 such that for all sufficiently large n with pn 1 q n 1 Z we have (x x 2h+1 )x 2 x 2h+1 x 1 x 2h+1 p x 1 x 2h+1 q x n δ. Hence {x n : pn 1 q n 1 Z} is contained in a finite union of proper linear subspaces of Q 2h+1. 25

26 Proof. Suppose z n := pn 1 q n 1 Z. Recall x n = (x 1, x 2,..., x 2h+1 ) Hence = (q hn p n 1 q n 1,1,..., q(h 1)n, x n = q hn p n 1 q n 1 (pqh 1 ) n. Further, x x 2h+1 = pn 1 q n 1 ; x 1 p = q hn z n p = 1; x 1 q = q hn z n q q hn ; p n,..., p n q (h 1)n ). x i x i p x i q = 1 for i = 2,...,2h + 1 and so the product of these terms is at most q hnpn 1 q n 1 (qh+1 /p) n x n δ where δ = log qh+1 /p pq h 1. QED. 26

27 The set {x n : pn 1 q n 1 Z} is contained in the union of finitely many proper linear subspaces of Q 2h+1. It suffices to show that if T is any proper linear subspace of Q 2h+1, then there are only finitely many n such that x n T. 27

28 W.l.o.g. T is given by an equation a 1 x a 2h+1 x 2h+1 = 0 with a i Q. Substitute x n = (q hn p n 1 q n 1,1,..., q(h 1)n, and multiply with q n 1. p n,..., p n q (h 1)n ) Then we obtain an equation r i=1 c i α n i = 0 where each α i is an integer composed of p and q and each c i is a constant. The left-hand side is a non-degenerate linear recurrence sequence. So by the Skolem-Mahler-Lech Theorem (or Rolle s Theorem), there are only finitely many possibilities for n. QED 28

29 Two integers a, b are called multiplicatively independent if there are no positive integers m, n such that a m = b n. By extending the above argument, the following result can be proved: THEOREM (Bugeaud, Corvaja, Zannier, 2003) Let a, b be two multiplicatively independent integers. Then lim n loggcd(a n 1, b n 1) n = 0. 29

On Schmidt s Subspace Theorem. Jan-Hendrik Evertse

On Schmidt s Subspace Theorem. Jan-Hendrik Evertse On Schmidt s Subspace Theorem Jan-Hendrik Evertse Universiteit Leiden Winter school on Lang s and Vojta s conjectures March 3, 2014, CIRM, Luminy Slides can be downloaded from http://www.math.leidenuniv.nl/

More information

DIOPHANTINE EQUATIONS AND DIOPHANTINE APPROXIMATION

DIOPHANTINE EQUATIONS AND DIOPHANTINE APPROXIMATION DIOPHANTINE EQUATIONS AND DIOPHANTINE APPROXIMATION JAN-HENDRIK EVERTSE 1. Introduction Originally, Diophantine approximation is the branch of number theory dealing with problems such as whether a given

More information

The Subspace Theorem and twisted heights

The Subspace Theorem and twisted heights The Subspace Theorem and twisted heights Jan-Hendrik Evertse Universiteit Leiden evertse@math.leidenuniv.nl Heights 2011, Tossa de Mar April 29, 2011 Schmidt s Subspace Theorem Theorem (Schmidt, 1972)

More information

LINEAR FORMS IN LOGARITHMS

LINEAR FORMS IN LOGARITHMS LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted 2008. 1. Linear forms in logarithms

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

LINEAR EQUATIONS IN VARIABLES WHICH LIE IN A MULTIPLICATIVE GROUP

LINEAR EQUATIONS IN VARIABLES WHICH LIE IN A MULTIPLICATIVE GROUP LINEAR EQUATIONS IN VARIABLES WHICH LIE IN A MULTIPLICATIVE GROUP J.-H. Evertse, H.P. Schlickewei, W.M. Schmidt Abstract Let K be a field of characteristic 0 and let n be a natural number. Let Γ be a subgroup

More information

LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday

LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field

More information

The number of solutions of linear equations in roots of unity

The number of solutions of linear equations in roots of unity ACTA ARITHMETICA LXXXIX.1 (1999) The number of solutions of linear equations in roots of unity by Jan-Hendrik Evertse (Leiden) 1. Introduction. We deal with equations (1.1) a 1 ζ 1 +... + a n ζ n = 1 in

More information

Unit equations in characteristic p. Peter Koymans

Unit equations in characteristic p. Peter Koymans Unit equations in characteristic p Peter Koymans Universiteit Leiden XXX th Journées Arithmétiques Caen, France, July 2017 Introduction Let K be a number field with unit group OK. For fixed a, b, c K consider

More information

ZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n

ZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n ZEROES OF INTEGER LINEAR RECURRENCES DANIEL LITT Consider the integer linear recurrence 1. Introduction x n = x n 1 + 2x n 2 + 3x n 3 with x 0 = x 1 = x 2 = 1. For which n is x n = 0? Answer: x n is never

More information

#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT

#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT #A5 INTEGERS 8A (208) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT Yann Bugeaud IRMA, UMR 750, Université de Strasbourg et CNRS, Strasbourg, France bugeaud@math.unistra.fr

More information

(IV.C) UNITS IN QUADRATIC NUMBER RINGS

(IV.C) UNITS IN QUADRATIC NUMBER RINGS (IV.C) UNITS IN QUADRATIC NUMBER RINGS Let d Z be non-square, K = Q( d). (That is, d = e f with f squarefree, and K = Q( f ).) For α = a + b d K, N K (α) = α α = a b d Q. If d, take S := Z[ [ ] d] or Z

More information

A further improvement of the Quantitative Subspace Theorem

A further improvement of the Quantitative Subspace Theorem Annals of Mathematics 177 (2013), 513 590 http://dx.doi.org/10.4007/annals.2013.177.2.4 A further improvement of the Quantitative Subspace Theorem By J.-H. Evertse and R. G. Ferretti Abstract In 2002,

More information

Automorphisms of varieties and critical density. Jason Bell (U. Michigan)

Automorphisms of varieties and critical density. Jason Bell (U. Michigan) Automorphisms of varieties and critical density Jason Bell (U. Michigan) belljp@umich.edu 1 Let X be a topological space and let S be an infinite subset of X. We say that S is critically dense if every

More information

PolynomialExponential Equations in Two Variables

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

More information

Rings. EE 387, Notes 7, Handout #10

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

More information

Equations in roots of unity

Equations in roots of unity ACTA ARITHMETICA LXXVI.2 (1996) Equations in roots of unity by Hans Peter Schlickewei (Ulm) 1. Introduction. Suppose that n 1 and that a 1,..., a n are nonzero complex numbers. We study equations (1.1)

More information

To Robert Tijdeman on his 75-th birthday

To Robert Tijdeman on his 75-th birthday S-PARTS OF VALUES OF UNIVARIATE POLYNOMIALS, BINARY FORMS AND DECOMPOSABLE FORMS AT INTEGRAL POINTS YANN BUGEAUD, JAN-HENDRIK EVERTSE, AND KÁLMÁN GYŐRY To Robert Tijdeman on his 75-th birthday 1. Introduction

More information

be a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n

be a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n Rend. Lincei Mat. Appl. 8 (2007), 295 303 Number theory. A transcendence criterion for infinite products, by PIETRO CORVAJA and JAROSLAV HANČL, communicated on May 2007. ABSTRACT. We prove a transcendence

More information

QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias

QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS Alain Lasjaunias 1991 Mathematics Subject Classification: 11J61, 11J70. 1. Introduction. We are concerned with diophantine approximation

More information

On prime factors of integers which are sums or shifted products. by C.L. Stewart (Waterloo)

On prime factors of integers which are sums or shifted products. by C.L. Stewart (Waterloo) On prime factors of integers which are sums or shifted products by C.L. Stewart (Waterloo) Abstract Let N be a positive integer and let A and B be subsets of {1,..., N}. In this article we discuss estimates

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

Effective results for unit equations over finitely generated domains. Jan-Hendrik Evertse

Effective results for unit equations over finitely generated domains. Jan-Hendrik Evertse Effective results for unit equations over finitely generated domains Jan-Hendrik Evertse Universiteit Leiden Joint work with Kálmán Győry (Debrecen) Paul Turán Memorial Conference, Budapest August 22,

More information

A SUBSPACE THEOREM FOR ORDINARY LINEAR DIFFERENTIAL EQUATIONS

A SUBSPACE THEOREM FOR ORDINARY LINEAR DIFFERENTIAL EQUATIONS J. Austral. Math. Soc. {Series A) 50 (1991), 320-332 A SUBSPACE THEOREM FOR ORDINARY LINEAR DIFFERENTIAL EQUATIONS ALICE ANN MILLER (Received 22 May 1989; revised 16 January 1990) Communicated by J. H.

More information

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2 8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose

More information

Cullen Numbers in Binary Recurrent Sequences

Cullen Numbers in Binary Recurrent Sequences Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn

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

Four Basic Sets. Divisors

Four Basic Sets. Divisors Four Basic Sets Z = the integers Q = the rationals R = the real numbers C = the complex numbers Divisors Definition. Suppose a 0 and b = ax, where a, b, and x are integers. Then we say a divides b (or

More information

Approximation of complex algebraic numbers by algebraic numbers of bounded degree

Approximation of complex algebraic numbers by algebraic numbers of bounded degree Approximation of complex algebraic numbers by algebraic numbers of bounded degree YANN BUGEAUD (Strasbourg) & JAN-HENDRIK EVERTSE (Leiden) Abstract. To measure how well a given complex number ξ can be

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse December 11, 2007 8 Approximation of algebraic numbers Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer

More information

Some remarks on diophantine equations and diophantine approximation

Some remarks on diophantine equations and diophantine approximation Some remarks on diophantine equations and diophantine approximation Claude LEVESQUE and Michel WALDSCHMIDT Dedicated to professor Hà Huy Khoái. Abstract. We first recall the connection, going back to A.

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

On the power-free parts of consecutive integers

On the power-free parts of consecutive integers ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the

More information

MTH 310, Section 001 Abstract Algebra I and Number Theory. Sample Midterm 1

MTH 310, Section 001 Abstract Algebra I and Number Theory. Sample Midterm 1 MTH 310, Section 001 Abstract Algebra I and Number Theory Sample Midterm 1 Instructions: You have 50 minutes to complete the exam. There are five problems, worth a total of fifty points. You may not use

More information

Fibonacci numbers of the form p a ± p b

Fibonacci numbers of the form p a ± p b Fibonacci numbers of the form p a ± p b Florian Luca 1 and Pantelimon Stănică 2 1 IMATE, UNAM, Ap. Postal 61-3 (Xangari), CP. 8 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn University

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

LINEAR RECURSIVE SEQUENCES. The numbers in the sequence are called its terms. The general form of a sequence is

LINEAR RECURSIVE SEQUENCES. The numbers in the sequence are called its terms. The general form of a sequence is LINEAR RECURSIVE SEQUENCES BJORN POONEN 1. Sequences A sequence is an infinite list of numbers, like 1) 1, 2, 4, 8, 16, 32,.... The numbers in the sequence are called its terms. The general form of a sequence

More information

Reachability Problems for Continuous Linear Dynamical Systems

Reachability Problems for Continuous Linear Dynamical Systems Reachability Problems for Continuous Linear Dynamical Systems James Worrell Department of Computer Science, Oxford University (Joint work with Ventsislav Chonev and Joël Ouaknine) CONCUR September 2nd

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

SYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS

SYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS SYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS J MC LAUGHLIN Abstract Let fx Z[x] Set f 0x = x and for n 1 define f nx = ff n 1x We describe several infinite

More information

A QUANTITATIVE VERSION OF THE ABSOLUTE SUBSPACE THEOREM

A QUANTITATIVE VERSION OF THE ABSOLUTE SUBSPACE THEOREM A QUANTITATIVE VERSION OF THE ABSOLUTE SUBSPACE THEOREM Jan-Hendrik Evertse (Leiden) and Hans Peter Schlickewei (Marburg) 1 Introduction The celebrated Subspace Theorem of W. M. Schmidt [12] says the following:

More information

ON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS. Yann Bugeaud Université de Strasbourg, France

ON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS. Yann Bugeaud Université de Strasbourg, France GLASNIK MATEMATIČKI Vol. 44(64)(2009), 323 331 ON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS Yann Bugeaud Université de Strasbourg, France Abstract. Let n be a positive integer. Let ξ

More information

Reachability Problems for Continuous Linear Dynamical Systems

Reachability Problems for Continuous Linear Dynamical Systems Reachability Problems for Continuous Linear Dynamical Systems James Worrell Department of Computer Science, Oxford University (Joint work with Ventsislav Chonev and Joël Ouaknine) FICS 2015 September 12th,

More information

Solutions I.N. Herstein- Second Edition

Solutions I.N. Herstein- Second Edition Solutions I.N. Herstein- Second Edition Sadiah Zahoor Please email me if any corrections at sadiahzahoor@cantab.net. R is a ring in all problems. Problem 0.1. If a, b, c, d R, evaluate (a + b)(c + d).

More information

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of

More information

. As the binomial coefficients are integers we have that. 2 n(n 1).

. As the binomial coefficients are integers we have that. 2 n(n 1). Math 580 Homework. 1. Divisibility. Definition 1. Let a, b be integers with a 0. Then b divides b iff there is an integer k such that b = ka. In the case we write a b. In this case we also say a is a factor

More information

Continued Fractions New and Old Results

Continued Fractions New and Old Results Continued Fractions New and Old Results Jeffrey Shallit School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada shallit@cs.uwaterloo.ca https://www.cs.uwaterloo.ca/~shallit Joint

More information

ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p

ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p BJORN POONEN 1. Statement of results Let K be a field of characteristic p > 0 equipped with a valuation v : K G taking values in an ordered

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

THE NUMBER OF SOLUTIONS OF DECOMPOSABLE FORM EQUATIONS. Jan-Hendrik Evertse

THE NUMBER OF SOLUTIONS OF DECOMPOSABLE FORM EQUATIONS. Jan-Hendrik Evertse THE NUMBER OF SOLUTIONS OF DECOMPOSABLE FORM EQUATIONS. Jan-Hendrik Evertse University of Leiden, Department of Mathematics and Computer Science P.O. Box 9512, 2300 RA Leiden, The Netherlands, email evertse@wi.leidenuniv.nl

More information

2 so Q[ 2] is closed under both additive and multiplicative inverses. a 2 2b 2 + b

2 so Q[ 2] is closed under both additive and multiplicative inverses. a 2 2b 2 + b . FINITE-DIMENSIONAL VECTOR SPACES.. Fields By now you ll have acquired a fair knowledge of matrices. These are a concrete embodiment of something rather more abstract. Sometimes it is easier to use matrices,

More information

Mathematical Induction Assignments

Mathematical Induction Assignments 1 Mathematical Induction Assignments Prove the Following using Principle of Mathematical induction 1) Prove that for any positive integer number n, n 3 + 2 n is divisible by 3 2) Prove that 1 3 + 2 3 +

More information

On Siegel s lemma outside of a union of varieties. Lenny Fukshansky Claremont McKenna College & IHES

On Siegel s lemma outside of a union of varieties. Lenny Fukshansky Claremont McKenna College & IHES On Siegel s lemma outside of a union of varieties Lenny Fukshansky Claremont McKenna College & IHES Universität Magdeburg November 9, 2010 1 Thue and Siegel Let Ax = 0 (1) be an M N linear system of rank

More information

Linear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011

Linear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011 Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 1A: Vector spaces Fields

More information

arxiv: v1 [math.nt] 26 Nov 2015

arxiv: v1 [math.nt] 26 Nov 2015 arxiv:1511.08525v1 [math.nt] 26 Nov 2015 ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS: AN EXTENSION OF RESULTS BY MAHLER AND CORVAJA-ZANNIER AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA

More information

Critical density, automorphisms, and Harm Derksen. Jason Bell

Critical density, automorphisms, and Harm Derksen. Jason Bell Critical density, automorphisms, and Harm Derksen Jason Bell 1 Let X be a topological space and let S be an infinite subset of X. We say that S is critically dense if every infinite subset of S is dense

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Continued Fractions New and Old Results

Continued Fractions New and Old Results Continued Fractions New and Old Results Jeffrey Shallit School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada shallit@cs.uwaterloo.ca https://www.cs.uwaterloo.ca/~shallit Joint

More information

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

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

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

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

M3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS

M3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS M3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS 1. The Gaussian Integers Definition 1.1. The ring of Gaussian integers, denoted Z[i], is the subring of C consisting of all complex numbers

More information

Approximation exponents for algebraic functions in positive characteristic

Approximation exponents for algebraic functions in positive characteristic ACTA ARITHMETICA LX.4 (1992) Approximation exponents for algebraic functions in positive characteristic by Bernard de Mathan (Talence) In this paper, we study rational approximations for algebraic functions

More information

Elements of large order in prime finite fields

Elements of large order in prime finite fields Elements of large order in prime finite fields Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract Given f(x, y) Z[x, y] with no common components with

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

On the norm form inequality F (x) h.

On the norm form inequality F (x) h. On the norm form inequality F (x) h. Jan-Hendrik Evertse 1) To Professor Kalman Győry on his 60-th birthday. Abstract. Let F Z[X 1,..., X n ] be a non-degenerate norm form of degree r. In his paper [17]

More information

ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS

ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS Fizikos ir matematikos fakulteto Seminaro darbai, Šiaulių universitetas, 8, 2005, 5 13 ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS Boris ADAMCZEWSKI 1, Yann BUGEAUD 2 1 CNRS, Institut Camille Jordan,

More information

CHAPTER 14. Ideals and Factor Rings

CHAPTER 14. Ideals and Factor Rings CHAPTER 14 Ideals and Factor Rings Ideals Definition (Ideal). A subring A of a ring R is called a (two-sided) ideal of R if for every r 2 R and every a 2 A, ra 2 A and ar 2 A. Note. (1) A absorbs elements

More information

Chakravala - a modern Indian method. B.Sury

Chakravala - a modern Indian method. B.Sury Chakravala - a modern Indian method BSury Indian Statistical Institute Bangalore, India sury@isibangacin IISER Pune, India Lecture on October 18, 2010 1 Weil Unveiled What would have been Fermat s astonishment

More information

1 2 1 = = =

1 2 1 = = = IAP 07 Daniel W Stroock Traditional method for computing square roots: The traditional method for computing square roots is based on the identity (a + b) a + (a + b)b For example to compute one begins

More information

Lecture Notes. Advanced Discrete Structures COT S

Lecture Notes. Advanced Discrete Structures COT S Lecture Notes Advanced Discrete Structures COT 4115.001 S15 2015-01-13 Recap Divisibility Prime Number Theorem Euclid s Lemma Fundamental Theorem of Arithmetic Euclidean Algorithm Basic Notions - Section

More information

Moreover this binary operation satisfies the following properties

Moreover this binary operation satisfies the following properties Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

Lower bounds for resultants II.

Lower bounds for resultants II. Lower bounds for resultants II. [Page 1] Jan-Hendrik Evertse Abstract. Let F X, Y ), GX, Y ) be binary forms in Z[X, Y ] of degrees r 3, s 3, respectively, such that F G has no multiple factors. For each

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

20 The modular equation

20 The modular equation 18.783 Elliptic Curves Spring 2015 Lecture #20 04/23/2015 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence

More information

Sequences. 1. Number sequences. 2. Arithmetic sequences. Consider the illustrated pattern of circles:

Sequences. 1. Number sequences. 2. Arithmetic sequences. Consider the illustrated pattern of circles: Sequences 1. Number sequences Consider the illustrated pattern of circles: The first layer has just one blue ball. The second layer has three pink balls. The third layer has five black balls. The fourth

More information

p-adic fields Chapter 7

p-adic fields Chapter 7 Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

More information

arxiv: v2 [math.nt] 6 Nov 2017

arxiv: v2 [math.nt] 6 Nov 2017 PRIME DIVISORS OF SEQUENCES OF INTEGERS arxiv:1706.09102v2 [math.nt] 6 Nov 2017 XIANZU LIN College of Mathematics and Computer Science, Fujian Normal University, Fuzhou, 350108, China; Email: linxianzu@126.com

More information

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

More information

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators. PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.

More information

Math 40510, Algebraic Geometry

Math 40510, Algebraic Geometry Math 40510, Algebraic Geometry Problem Set 1, due February 10, 2016 1. Let k = Z p, the field with p elements, where p is a prime. Find a polynomial f k[x, y] that vanishes at every point of k 2. [Hint:

More information

POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS

POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. London Math. Soc. 67 (2003) 16 28 C 2003 London Mathematical Society DOI: 10.1112/S002461070200371X POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MCLAUGHLIN

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

Combinatorics, Automata and Number Theory

Combinatorics, Automata and Number Theory Combinatorics, Automata and Number Theory CANT Edited by Valérie Berthé LIRMM - Université Montpelier II - CNRS UMR 5506 161 rue Ada, F-34392 Montpellier Cedex 5, France Michel Rigo Université de Liège,

More information

Twitter: @Owen134866 www.mathsfreeresourcelibrary.com Prior Knowledge Check 1) Simplify: a) 3x 2 5x 5 b) 5x3 y 2 15x 7 2) Factorise: a) x 2 2x 24 b) 3x 2 17x + 20 15x 2 y 3 3) Use long division to calculate:

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

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

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

More information

On approximation of real, complex, and p-adic numbers by algebraic numbers of bounded degree. by K. I. Tsishchanka

On approximation of real, complex, and p-adic numbers by algebraic numbers of bounded degree. by K. I. Tsishchanka On approximation of real, complex, and p-adic numbers by algebraic numbers of bounded degree by K. I. Tsishchanka I. On approximation by rational numbers Theorem 1 (Dirichlet, 1842). For any real irrational

More information

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can

More information

Material covered: Class numbers of quadratic fields, Valuations, Completions of fields.

Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups

More information

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime. PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

More information

Factorization in Polynomial Rings

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

More information

1 Adeles over Q. 1.1 Absolute values

1 Adeles over Q. 1.1 Absolute values 1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information