RECENT RESULTS ON LINEAR RECURRENCE SEQUENCES
|
|
- Michael Bailey
- 5 years ago
- Views:
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 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 informationDIOPHANTINE 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 informationThe 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 informationLINEAR 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 informationResults 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 informationLINEAR 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 informationLINEAR 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 informationThe 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 informationUnit 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 informationZEROES 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 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 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 informationA 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 informationAutomorphisms 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 informationPolynomialExponential 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 informationRings. 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 informationEquations 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 informationTo 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 informationbe 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 informationQUARTIC 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 informationOn 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 information1. 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 informationEffective 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 informationA 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
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 informationCullen 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 informationAlgebraic 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 informationFour 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 informationApproximation 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 informationNOTES 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 informationSome 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 informationCourse 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 informationOn 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 informationMTH 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 informationFibonacci 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 informationFactorization 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 informationLINEAR 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 informationReachability 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 informationCover 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 informationSYMMETRY 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 informationA 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 informationON 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 informationReachability 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 informationSolutions 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 informationMASTERS 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).
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 informationContinued 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 informationZEROS 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 informationExercises 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 informationTHE 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 information2 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 informationMathematical 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 informationOn 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 informationLinear 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 informationarxiv: 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 informationCritical 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 informationNOTES 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 informationContinued 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 informationMINIMAL 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)
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 informationNOTES 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 informationP -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 information55 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 informationM3P14 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 informationApproximation 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 informationElements 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 informationChapter 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 informationOn 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 informationON 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 informationCHAPTER 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 informationChakravala - 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 information1 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 informationLecture 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 informationMoreover 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 informationMath 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 informationFinite 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 informationA 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 informationA 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 informationLower 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 informationHonors 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 information20 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 informationSequences. 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 informationp-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 informationarxiv: 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 informationIntegral 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 informationPRACTICE 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 informationMath 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 informationPOLYNOMIAL 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
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 informationCombinatorics, 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 informationTwitter: @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 informationPublic-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 informationMATH 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 informationOn 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 informationMA257: 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 informationMaterial 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 informationPUTNAM 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 informationFactorization 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 information1 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 informationMath 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