LINEAR FORMS IN LOGARITHMS

Size: px
Start display at page:

Download "LINEAR FORMS IN LOGARITHMS"

Transcription

1 LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted Linear forms in logarithms and applications We start with recalling some results from transcendence theory and then work towards lower bounds for linear forms in logarithms which are of crucial importance in effectively solving Diophantine equations. We start with a transcendence result proved independently by the Russian Gel fond and the German Schneider in Theorem 1.1. (Gel fond, Schneider, 1934) Let α, β be algebraic numbers in C, with α 0, 1 and β Q. Then α β is transcendental. Here, α β := e β log α, where e z = n=0 zn /n! and log α = log α + i arg(α). The argument of α is determined only up to a multiple of 2π. Thus, log α and hence α β are multi-valued. The theorem holds for any choice of value of arg α. Corollary 1.2. Let β be an algebraic number in C with iβ Q. Then e πβ is transcendental. Proof. e πβ = e πi ( iβ) = ( 1) iβ. Given a subring R of C (e.g., Z, Q, field of algebraic numbers), we say that complex numbers θ 1,..., θ m are called linearly independent over R if the equation x 1 θ x m θ m = 0 has no solution (x 1,..., x m ) R m \ {0}. Corollary 1.3. Let α, β be algebraic numbers from C different from 0, 1 such that log α, log β are linearly independent over Q. Then for all non-zero algebraic numbers γ, δ from C we have γ log α + δ log β 0. 1

2 2 MASTER COURSE DIOPHANTINE EQUATIONS, SPRING 2011 Proof. Assume γ log α + δ log β = 0. Then log α = (δ/γ) log β, hence α = β δ/γ. By Theorem 1.1 this is possible only if a := δ/γ Q. But then, log α a log β = 0, contrary to our assumption. We now come to Baker s generalization to linear forms in an arbitrary number of logarithms of algebraic numbers. Theorem 1.4. (A. Baker, 1966) Let α 1,..., α m be algebraic numbers from C different from 0, 1 such that log α 1,..., log α m are linearly independent over Q. Then for every tuple (β 0, β 1,..., β m ) of algebraic numbers from C different from (0, 0,..., 0) we have β 0 + β 1 log α β m log α m 0. For applications to Diophantine problems, it is important that not only the above linear form is non-zero, but also that we have a strong enough lower bound for the absolute value of this linear form. We give a special case, where β 0 = 0 and β 1,..., β m are rational integers. Theorem 1.5. (A. Baker, 1975) Let α 1,..., α m be algebraic numbers from C different from 0, 1. Further, let b 1,..., b m be rational integers such that Then b 1 log α b m log α m 0. b 1 log α b m log α m (eb) C, where B := max( b 1,..., b m ) and C is an effectively computable constant depending only on m and on α 1,..., α m. It is possible to get rid of the logarithms. Then Theorem 1.5 leads to the following: Corollary 1.6. Let α 1,..., α m be algebraic numbers from C different from 0, 1 and let b 1,..., b m be rational integers such that Then α b 1 1 α bm m 1. α b 1 1 α bm m 1 (eb) C, where again B := max( b 1,..., b m ) and where C is an effectively computable constant depending only on m and on α 1,..., α m.

3 LINEAR FORMS IN LOGARITHMS 3 Proof. For the logarithm of a complex number z we choose log z = log z + iarg z with π < arg z π. With this choice of log we have log(1 + w) = n=1 ( 1)n 1 w n /n for w C with w < 1. Using this power series expansion, one easily shows that log(1 + w) 2 w if w 1/2. We apply this with w := α b 1 1 α bm m 1. If w > 1/2 we are done, so we suppose that w 1/2. We have to estimate from below log(1 + w). Recall that the complex logarithm is additive only modulo 2πi. That is, log(1 + w) = b 1 log α b m log α m + 2kπi for some k Z. We can apply Theorem 1.5 since 2kπi = 2k log( 1). Thus, we obtain log(1 + w) ( e max(b, 2k ) ) C 1 where C 1 is an effectively computable constant depending only on m and α 1,..., α m. Since log(1 + w) 2 w 1 we have m m 2kπi 1 + log α j b j (1 + log α j )B. j=1 Hence k C 2 B, say, and log(1 + w) (ec 2 B) C 1. This implies w 1 2 (ec 2B) C 1 (eb) C for a suitable C, as required. For completeness, we give a completely explicit version of Corollary 1.6 in the case that α 1,..., α m are integers. The height of a rational number a = x/y, with x, y Z coprime, is defined by H(a) := max( x, y ). Theorem 1.7. (Matveev, 2000) Let a 1,..., a m be non-zero rational numbers and let b 1,..., b m be integers such that a b 1 1 a bm m 1. Then a b 1 1 a bm m 1 (eb) C, where B = max( b 1,..., b m ), C = 1 2 e m m+3 m j=1 j=1 max ( 1, log H(a j ) ). To illustrate the power of this result we give a quick application.

4 4 MASTER COURSE DIOPHANTINE EQUATIONS, SPRING 2011 Corollary 1.8. let a, b be integers with a 2, b 2. Then there is an effectively computable number C 1 > 0, depending only on a, b, such that for any two positive integers m, n, a m b n max(am, b n ) (e max(m, n)) C 1. Consequently, for any non-zero integer k, there exists an effectively computable number C 2, depending on a, b, k such that if m, n are positive integers with a m b n = k, then m, n C 2. Proof. Let m, n be positive integers. Put B := max(m, n). Assume without loss of generality that a m b n. By Corollary 1.6 or Theorem 1.7 we have 1 b n a m (eb) C 1, where C 1 is an effectively computable number depending only on a, b. Multiplying with a m gives our first assertion. Now let m, n be positive integers with a m b n = k. Put again B := max(m, n). Then since a, b 2, k 2 B (eb) C 1. This proves that B is bounded above by an effectively computable number depending on a, b, k. In 1844, Catalan conjectured that the equation in four unknowns, x m y n = 1 in x, y, m, n Z with x, y, m, n 2 has only one solution, namely = 1. In 1976, as one of the striking consequences of the results on linear forms in logarithms mentioned above, Tijdeman proved that there is an effectively computable constant C, such that for every solution (x, y, m, n) of Catalan s equation, one has x m, y n C. The constant C can be computed but it is extremely large. Several people tried to prove Catalan s conjecture, on the one hand by reducing Tijdeman s constant C using sharper linear forms in logarithm estimates, on the other hand by showing that x m, y n have to be very large as long as (x m, y n ) (3 2, 2 3 ), and finally using heavy computations. This didn t lead to success. In 2000 Mihailescu managed to prove Catalan s conjecture by an algebraic method which is completely independent of linear forms in logarithms.

5 LINEAR FORMS IN LOGARITHMS 5 We give another application. Consider the sequence {a n } with a n = 2 n for n = 0, 1, 2,.... Note that a n+1 a n = a n. Similarly, we may consider the increasing sequence {a n } of numbers which are all composed of primes from {2, 3}, i.e., 1, 2, 3, 4, 6, 8, 9, 12, 16, 18, 24, 27, 32,... and ask how the gap a n+1 a n compares with a n as n. More generally, we may take a finite set of primes and ask this question about the sequence of consecutive integers composed of these primes. Theorem 1.9. (Tijdeman, 1974) Let S = {p 1,..., p t } be a finite set of distinct primes, and let a 1 < a 2 < a 3 < be the sequence of consecutive positive integers composed of primes from S. Then there are effectively computable positive numbers c 1, c 2, depending on t, p 1,..., p t, such that a n+1 a n a n c 1 (log a n ) c 2 for n = 1, 2,.... Proof. We have a n = p k 1 1 p kt t, and a n+1 = p l 1 1 p lt t with non-negative integers k i, l i. By Corollary 1.6, a n+1 1 = p l 1 k 1 1 p lt kt t 1 (eb) C, a n where B := max( l 1 k 1,..., l t k t ). First note that Next, a n+1 a 2 n. So k i log a n log p i log a n log 2 for i = 1,..., t. l i log a n+1 log p i log a2 n log 2 for i = 1,..., t. Hence B 2 log a n / log 2. It follows that a n+1 a n a n (2e log a n / log 2) C. Most results in Diophantine approximation that have been proved for algebraic numbers in C have an analogue for p-adic numbers. We can define p-adic exponentiation, p-adic logarithms, etc., and this enables us to formulate analogues for Theorem 1.1 Theorem 1.7 in the p-adic setting. We give an analogue of Corollary 1.6 in the case that α 1,..., α m are rational numbers. There is a more general version for algebraic α 1,..., α m but this is more difficult to state. Theorem (Yu, 1986) Let p be a prime number, let a 1,..., a m be nonzero rational numbers which are not divisible by p. Further, let b 1,..., b m be

6 6 MASTER COURSE DIOPHANTINE EQUATIONS, SPRING 2011 integers such that a b 1 1 a bm m 1. Put B := max( b 1,..., b m ). Then a b 1 1 a bm m 1 p (eb) C where C is an effectively computable number depending on p, m and a 1,..., a m. For m = 1 there is a sharper result which can be proved by elementary means (Exercise 6a). But for m 2 the proof is very difficult. 2. The effective Siegel-Mahler-Lang Theorem Let K be an algebraic number field and let Γ be a finitely generated, multiplicative subgroup of K, i.e., there are γ 1,..., γ t Γ such that every element of Γ can be expressed as ζγ z 1 1 γt zt where ζ is a root of unity in K, and z 1,..., z t are integers. Further, let a, b be non-zero elements from K and consider the equation (2.1) ax + by = 1 in x, y Γ. In 1979, Győry gave an effective proof of the Siegel-Mahler-Lang Theorem. Theorem 2.1. (Győry, 1979) Equation (2.1) has only finitely many solutions, and its set of solutions can be determined effectively. The idea of the proof is to express a solution (x, y) of (2.1) as x = ζ 1 γ b 1 1 γt bt, y = ζ 2 γ b 1 1 γ b t t with ζ 1, ζ 2 U K, b i, b i Z. By combining Corollary 1.6 and a generalization of Theorem 1.10 for algebraic numbers instead of the rational numbers a 1,..., a m in the statement of that lemma, Győry shows that for every solution (x, y) of (2.1) one has max( b 1,..., b t ) C, where C is effectively computable in terms of K, γ 1,..., γ t. Then one can find all solutions of (2.1) by checking for each ζ 1, ζ 2 U K and b i, b i C whether ax + by = 1 holds. We prove two special cases of Theorem 2.1, namely the case that a, b Q and Γ is contained in Q, and the case that a, b lie in an algebraic number field K and Γ is the group of units of the ring of integers of K.

7 LINEAR FORMS IN LOGARITHMS 7 As has been explained before, if a, b Q and Γ is contained in Q, then Eq. (2.1) can be reduced to an S-unit equation. There are rational numbers γ 1,..., γ t such that all elements of Γ are of the shape ±γ z 1 1 γt zt. Let S = {p 1,..., p t } be the prime numbers occurring in the prime factorizations of the numerators and denominators of a, b, γ 1,..., γ t. Then a, b, γ 1,..., γ t lie in the multiplicative group of S-units Z S = {±p z 1 1 p zt t : z 1,..., z t Z}. Hence if (x, y) is a solution to (2.1), the numbers ax, by are S-units. So instead of (2.1), we may as well consider (2.2) x + y = 1 in x, y Z S. Theorem 2.2. Let S = {p 1,..., p t } be a finite set of primes. Then (2.2) has only finitely many solutions, and its set of solutions can be determined effectively. Proof. Let (x, y) be a solution of (2.2). We may write x = u/w, y = v/w where u, v, w are integers with gcd(u, v, w) = 1. Then (2.3) u + v = w. The integers u, v, w are composed of primes from S, and moreover, no prime divides two numbers among u, v, w since u, v, w are coprime. After reordering the primes p 1,..., p t, we may assume that u = ±p b 1 1 p br r, v = ±p b r+1 r+1 p bs s, w = ±p b s+1 s+1 p bt t, where 0 r s t and the b i are non-negative integers (empty products are equal to 1; for instance if r = 0 then u = ±1). We have to prove that B := max(b 1,..., b t ) is bounded above by an effectively computable number depending only on p 1,..., p t. By symmetry, we may assume that B = b t. Then using (u/v) 1 = (w/v) we obtain 0 < ± p b 1 1 p br r p b r+1 r+1 p bs s 1 pt = w/v pt = p bt t = p B t. From Theorem 1.10 we obtain that pt (eb) C, where C is effectively computable in terms of p 1,..., p t. Hence (eb) C 2 p B t. So indeed, B is bounded above by an effectively computable number depending on p 1,..., p t.

8 8 MASTER COURSE DIOPHANTINE EQUATIONS, SPRING 2011 Remark. In his PhD-thesis from 1988, de Weger gave a practical algorithm, based on strong linear forms in logarithms estimates and the LLL-basis reduction algorithm, to solve equations of the type (2.2). As a consequence, he showed that the x+y = z has precisely 545 solutions in positive integers x, y, z with x y, all of the shape 2 b 1 3 b 2 5 b 3 7 b 4 11 b 5 13 b 6 with b i Z. Theorem 2.3. Let a, b K. Then the equation (2.4) ax + by = 1 in x, y O K has only finitely many solutions and its set of solutions can be determined effectively. Corollary 2.4. Let F (X, Y ) = a 0 X d +a 1 X d 1 Y + +a d Y d be a binary form in Z[X, Y ] such that F (X, 1) has at least three distinct roots in C, and let m be a non-zero integer. Then the equation F (x, y) = m in x, y Z has only finitely many solutions, and its set of solutions can be determined effectively. Corollary 2.5. Let f(x) Z[X] be a polynomial without multiple zeros and n an integer 2. Assume that f has at least two zeros in C if n 3 and at least three zeros in C if n = 2. Then the equation y n = f(x) in x, y Z has only finitely many solutions, and its set of solutions can be determined effectively. In Frits lecture notes on the Siegel-Mahler Theorem it was explained how the equations in Corollaries 2.4 and 2.5 can be reduced to (2.4). In the proof of Theorem 2.3 we need some facts on units. Suppose the number field K has degree d. Then K has precisely d distinct embeddings in C, which can be divided into real embeddings (of which the image lies in R) and complex embeddings (with image in C but not in R). Further, the complex embeddings occur in complex conjugate pairs σ, σ, where σ(x) := σ(x) for x K. Suppose that K has precisely r 1 real embeddings, and precisely r 2 pairs of complex conjugate embeddings, where r 1 + 2r 2 = d. We renumber the embeddings such that σ 1,..., σ r1 are the real embeddings of K, and σ r1 +r 2 +i = σ r1 +i for i = 1,..., r 2.

9 LINEAR FORMS IN LOGARITHMS 9 The following fact is well known. Lemma 2.6. Let ε be a unit of O K. Then d N K/Q (ε) = σ i (ε) = ±1. i=1 Proof. Exercise. To study the units of O K, it is useful to consider the absolute values of their conjugates. Clearly, for ε OK we have σ r1 +r 2 +i(ε) = σ r1 +i(ε) for i = 1... r 2, r 1 i=1 σ i (ε) r 1 +r 2 i=r 1 +1 σ i (ε) 2 = 1, so σ i (ε) (i = 1,..., r 1 + r 2 1) determine σ i (ε) (i = r 1 + r 2,..., d). The following lemma is a more precise version of Dirichlet s Unit Theorem. Lemma 2.7. Let r := r 1 + r 2 1 and define the map L : O K R r : ε (log σ 1 (ε),..., log σ r (ε) ). Then L is a group homomorphism. The kernel of L is the group U K of roots of unity of K and the image of L is a lattice of rank r in R r. Choose units ε 1,..., ε r such that L(ε 1 ),..., L(ε r ) form a basis of the lattice L(OK ). Then every ε O K can be expressed uniquely as (2.5) ζε b 1 1 ε br r with ζ U K, b 1,..., b r Z. Further, the matrix (2.6) M := is invertible. We deduce a consequence. log σ 1 (ε 1 ) log σ 1 (ε r ).. log σ r (ε 1 ) log σ r (ε r ) Lemma 2.8. There is a constant C > 0 with the following property. If ε is any unit of O K, and b 1,..., b r are the corresponding integers defined by (2.4),

10 10 MASTER COURSE DIOPHANTINE EQUATIONS, SPRING 2011 then max( b 1,..., b r ) C max 1 i d log σ i(ε). Proof. Let b := (b 1,..., b r ) T (column vector). Then L(ε) = Mb, hence b = M 1 L(ε). Writing M 1 = (a ij ), we obtain r b i = a ij σ j (ε) (i = 1,..., r). j=1 Applying the triangle inequality, we get ( ) r max b i max a ij max σ j(ε). 1 i r 1 i r 1 j r j=1 Proof of Theorem 2.3. Let (x, y) be a solution of (2.3). There are ζ 1, ζ 2 U K, as well as integers a 1,..., a r, b 1,..., b r, such that x = ζ 1 ε a 1 1 ε ar r, y = ζ 2 ε b 1 1 ε br r. Thus aζ 1 ε a 1 1 ε ar r + bζ 2 ε b 1 1 ε br r = 1. We assume without loss of generality that B := max( a 1,..., b r ) = b r. We estimate from above and below, Λ i := σ i (a)σ(ζ 1 )σ i (ε 1 ) a1 σ i (ε r ) ar 1 = σ i (b)σ i (y) for a suitable choice of i. In fact, let σ i (y) be the smallest, and σ j (y) the largest among σ 1 (y),..., σ d (y). Then by Lemma 2.6, σ i (y) d 1 σ j (y) 1 and subsequently by Lemma 2.8, This leads to σ i (y) σ j (y) 1/(d 1) e B/C(d 1). Λ i σ i (β) e B/C(d 1). By Corollary 1.6 we have Λ i (eb) C for some effectively computable number C depending on a, ε 1,..., ε r and the finitely many roots of unity of K. We infer (eb) C σ i (a) e B/C(d 1)

11 LINEAR FORMS IN LOGARITHMS 11 and this leads to an effectively computable upper bound for B. Remark. There are practical algorithms to solve equations of the type (2.4) which work well as long as the degree of the field K, and the fundamental units of the ring of integers of K, are not too large. These algorithms are again based on linear forms in logarithms estimates and the LLL-algorithm. For instance, in 2000 Wildanger determined all solutions of the equation x + y = 1 in x, y OK, with K = Q(cos(2π/19)). The number field K has degree 9 and all its embeddings are real. Thus, the unit group OK has rank Exercises Exercise 1. Let p 1,..., p s, p s+1,..., p t be distinct prime numbers. Let A be the set of positive integers composed of primes from p 1,..., p s, and B the set of positive integers composed of primes from p s+1,..., p t. (a) Prove that there exist positive numbers c 1, c 2, effectively computable in terms of p 1,..., p t such that x y max(x, y) c 1 ( log max(x, y) ) c2 for all x A, y B. (b) Given a non-zero integer a, denote by P (a) the largest prime number dividing a, with P (±1) := 1. Prove that lim P (x y) =. x A, y B, max( x, y ) Exercise 2. Let f(x) = X 2 AX B be a polynomial with coefficients A, B Z. Let α, β be the two zeros of f in C. Assume that f is irreducible, and that α/β is not a root of unity. Let the sequence U = {u n } n=0 in Z be given by u n = Au n 1 + Bu n 2 (n 0) and initial values u 0, u 1 Z, not both 0. (a) Prove that M := max( α, β ) > 1. (b) Prove that there are non-zero algebraic numbers γ 1, γ 2 such that u n = γ 1 α n + γ 2 β n for n 0. (c) Prove that there is an effectively computable number C such that u n 0 for n C.

12 12 MASTER COURSE DIOPHANTINE EQUATIONS, SPRING 2011 (d) Prove that there are effectively computable positive numbers c 1, c 2 such that u n M n /c 1 n c 2 for n C. Exercise 3. Let A, B, C be integers such that C 0 and X 3 AX 2 BX C = (X α 1 )(X α 2 )(X α 3 ), where α 1, α 2, α 3 C, and none of the quotients α i /α j (1 i < j 3) is a root of unity. Consider the linear recurrence sequence U = {u n } n=0, given by u n = Au n 1 + Bu n 2 + Cu n 3 (n 3) and initial values u 0, u 1, u 2 Z, not all zero. (a) Prove that there exist algebraic numbers γ 1, γ 2, γ 3 such that u n = γ 1 α n 1 + γ 2 α n 2 + γ 3 α n 3 for n 0. (b) Prove that α 1 = α 2 = α 3 cannot hold. (c) Prove that there exists an effectively computable number C, depending on A, B, C, such that if n is a non-negative integer with u n = 0 then n < C. Exercise 4. In 1995, Laurent, Mignotte and Nesterenko proved the following explicit estimate for linear forms in two logarithms. Let a 1, a 2 be two positive rational numbers 1. Further, let b 1, b 2 be non-zero integers. Suppose that Λ := b 1 log a 1 b 2 log a 2 0. Then log Λ 22 ( max { ( log b 1 log H(a 2 ) + b 2 log H(a 1 ) ) } ) , 21 log H(a 1 ) log H(a 2 ). Using this estimate, compute an upper bound C, such that for all positive integers m, n with 97 m 89 n = 8 we have m, n C. Hint. Use log(1 + z) 2 z if z 1 2. Exercise 5. In this exercise you are asked to apply the estimate of Laurent, Mignotte and Nesterenko to more advanced equations. (a) Prove that the equation x n 2y n = 1 in unknowns x, y with x 2, y 2 has no solutions if n > Hint. Applying Laurent-Mignotte-Nesterenko to an appropriate linear

13 LINEAR FORMS IN LOGARITHMS 13 form in two logarithms you will get a lower estimate depending on n and x, y. But you can derive also an upper estimate which depends on n, x, y. Comparing the two estimates leads to an upper bound for n independent of x, y. (b) Let a, b, c be positive integers. Prove that there is a number C, effectively computable in terms of a, b, c, such that the equation ax n by n = c has no solutions if n > C. In the case a = b you may give an elementary proof, without using the result of Laurent-Mignotte-Nesterenko. (c) Let k be a fixed integer 2. Prove that the equation ( ) x y z = in integers x, y, z with x > 0, y 2, z 3 k has only finitely many solutions. Exercise 6. In this exercise, you are asked to prove a very simple case of Theorem 1.10 and to apply this to certain Diophantine equations. (a) Let a be an integer, and p a prime, such that a p p 1 if p > 2 and a if p = 2. Prove that for any positive integer b we have (1 + a) b 1 p = ab p 1/ab. Hint. You may either prove that ( b k) a k p < ab p for k 2 or write b = up t where u is an integer not divisible by p and t a non-negative integer, and use induction on t. (b) Let p be a prime 5. Using (a), prove that the equation p x 2 y = 1 has no solutions in integers x 2, y 2. Prove also that the equation 2 x p y = 1 has no solutions in integers x 2, y 2.

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

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

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

RECENT RESULTS ON LINEAR RECURRENCE SEQUENCES

RECENT RESULTS ON LINEAR RECURRENCE SEQUENCES RECENT RESULTS ON LINEAR RECURRENCE SEQUENCES Jan-Hendrik Evertse (Leiden) General Mathematics Colloquium, Delft May 19, 2005 1 INTRODUCTION A linear recurrence sequence U = {u n } n=0 (in C) is a sequence

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

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics ON THE DIOPHANTINE EQUATION xn 1 x 1 = y Yann Bugeaud, Maurice Mignotte, and Yves Roy Volume 193 No. 2 April 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 193, No. 2, 2000 ON

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

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

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

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

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

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

NOTES ON IRRATIONALITY AND TRANSCENDENCE

NOTES ON IRRATIONALITY AND TRANSCENDENCE NOTES ON IRRATIONALITY AND TRANSCENDENCE Frits Beukers September, 27 Introduction. Irrationality Definition.. Let α C. We call α irrational when α Q. Proving irrationality and transcendence of numbers

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

8 The Gelfond-Schneider Theorem and Some Related Results

8 The Gelfond-Schneider Theorem and Some Related Results 8 The Gelfond-Schneider Theorem and Some Related Results In this section, we begin by stating some results without proofs. In 1900, David Hilbert posed a general problem which included determining whether

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

On prime factors of subset sums

On prime factors of subset sums On prime factors of subset sums by P. Erdös, A. Sárközy and C.L. Stewart * 1 Introduction For any set X let X denote its cardinality and for any integer n larger than one let ω(n) denote the number of

More information

KUMMER S LEMMA KEITH CONRAD

KUMMER S LEMMA KEITH CONRAD KUMMER S LEMMA KEITH CONRAD Let p be an odd prime and ζ ζ p be a primitive pth root of unity In the ring Z[ζ], the pth power of every element is congruent to a rational integer mod p, since (c 0 + c 1

More information

DISCRETE SUBGROUPS, LATTICES, AND UNITS.

DISCRETE SUBGROUPS, LATTICES, AND UNITS. DISCRETE SUBGROUPS, LATTICES, AND UNITS. IAN KIMING 1. Discrete subgroups of real vector spaces and lattices. Definitions: A lattice in a real vector space V of dimension d is a subgroup of form: Zv 1

More information

Zero estimates for polynomials inspired by Hilbert s seventh problem

Zero estimates for polynomials inspired by Hilbert s seventh problem Radboud University Faculty of Science Institute for Mathematics, Astrophysics and Particle Physics Zero estimates for polynomials inspired by Hilbert s seventh problem Author: Janet Flikkema s4457242 Supervisor:

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

1 Absolute values and discrete valuations

1 Absolute values and discrete valuations 18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions

More information

ON POWER VALUES OF POLYNOMIALS. A. Bérczes, B. Brindza and L. Hajdu

ON POWER VALUES OF POLYNOMIALS. A. Bérczes, B. Brindza and L. Hajdu ON POWER VALUES OF POLYNOMIALS ON POWER VALUES OF POLYNOMIALS A. Bérczes, B. Brindza and L. Hajdu Abstract. In this paper we give a new, generalized version of a result of Brindza, Evertse and Győry, concerning

More information

On a Question of Wintner Concerning the Sequence of Integers Composed of Primes from a Given Set

On a Question of Wintner Concerning the Sequence of Integers Composed of Primes from a Given Set On a Question of Wintner Concerning the Sequence of Integers Composed of Primes from a Given Set by Jeongsoo Kim A thesis presented to the University of Waterloo in fulfillment of the thesis requirement

More information

ON THE REPRESENTATION OF FIBONACCI AND LUCAS NUMBERS IN AN INTEGER BASES

ON THE REPRESENTATION OF FIBONACCI AND LUCAS NUMBERS IN AN INTEGER BASES ON THE REPRESENTATION OF FIBONACCI AND LUCAS NUMBERS IN AN INTEGER BASES YANN BUGEAUD, MIHAI CIPU, AND MAURICE MIGNOTTE À Paulo Ribenboim, pour son quatre-vingtième anniversaire Abstract. Résumé. Nous

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

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No

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

#A2 INTEGERS 12A (2012): John Selfridge Memorial Issue ON A CONJECTURE REGARDING BALANCING WITH POWERS OF FIBONACCI NUMBERS

#A2 INTEGERS 12A (2012): John Selfridge Memorial Issue ON A CONJECTURE REGARDING BALANCING WITH POWERS OF FIBONACCI NUMBERS #A2 INTEGERS 2A (202): John Selfridge Memorial Issue ON A CONJECTURE REGARDING BALANCING WITH POWERS OF FIBONACCI NUMBERS Saúl Díaz Alvarado Facultad de Ciencias, Universidad Autónoma del Estado de México,

More information

Homework 4 Solutions

Homework 4 Solutions Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite

More information

On repdigits as product of consecutive Lucas numbers

On repdigits as product of consecutive Lucas numbers Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 24, 2018, No. 3, 5 102 DOI: 10.7546/nntdm.2018.24.3.5-102 On repdigits as product of consecutive Lucas numbers

More information

On Computably Enumerable Sets over Function Fields

On Computably Enumerable Sets over Function Fields On Computably Enumerable Sets over Function Fields Alexandra Shlapentokh East Carolina University Joint Meetings 2017 Atlanta January 2017 Some History Outline 1 Some History A Question and the Answer

More information

LECTURE 15, WEDNESDAY

LECTURE 15, WEDNESDAY LECTURE 15, WEDNESDAY 31.03.04 FRANZ LEMMERMEYER 1. The Filtration of E (1) Let us now see why the kernel of reduction E (1) is torsion free. Recall that E (1) is defined by the exact sequence 0 E (1)

More information

JAN-HENDRIK EVERTSE AND KÁLMÁN GYŐRY

JAN-HENDRIK EVERTSE AND KÁLMÁN GYŐRY EFFECTIVE RESULTS FOR DIOPHANTINE EQUATIONS OVER FINITELY GENERATED DOMAINS: A SURVEY JAN-HENDRIK EVERTSE AND KÁLMÁN GYŐRY Abstract. We give a survey of our recent effective results on unit equations in

More information

Galois Theory of Several Variables

Galois Theory of Several Variables On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding

More information

4. Noether normalisation

4. Noether normalisation 4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

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

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n The Diophantine equation xx + 1) x + m 1)) + r = y n Yu.F. Bilu & M. Kulkarni Talence) and B. Sury Bangalore) 1 Introduction Erdős and Selfridge [7] proved that a product of consecutive integers can never

More information

FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016

FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland

More information

Explicit Methods in Algebraic Number Theory

Explicit Methods in Algebraic Number Theory Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic

More information

Algebra Exam Topics. Updated August 2017

Algebra Exam Topics. Updated August 2017 Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have

More information

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

Power values of polynomials and binomial Thue Mahler equations

Power values of polynomials and binomial Thue Mahler equations Publ. Math. Debrecen 65/3-4 (2004), 341 362 Power values of polynomials and binomial Thue Mahler equations By K. GYŐRY (Debrecen), I. PINK (Debrecen) and A. PINTÉR (Debrecen) To the memory of Professors

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

GALOIS THEORY. Contents

GALOIS THEORY. Contents GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.

More information

Chapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups

Chapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups Chapter 4 Characters and Gauss sums 4.1 Characters on finite abelian groups In what follows, abelian groups are multiplicatively written, and the unit element of an abelian group A is denoted by 1 or 1

More information

Lecture 8: The Field B dr

Lecture 8: The Field B dr Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion

More information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

More information

Runge s theorem on Diophantine equations Martin Klazar

Runge s theorem on Diophantine equations Martin Klazar Runge s theorem on Diophantine equations Martin Klazar (lecture on the 7-th PhD conference) Ostrava, September 10, 2013 A (binary) Diophantine equation is an equation F (x, y) = 0, where F Z[x, y] is a

More information

1. Factorization Divisibility in Z.

1. Factorization Divisibility in Z. 8 J. E. CREMONA 1.1. Divisibility in Z. 1. Factorization Definition 1.1.1. Let a, b Z. Then we say that a divides b and write a b if b = ac for some c Z: a b c Z : b = ac. Alternatively, we may say that

More information

The four exponentials conjecture, the six exponentials theorem and related statements.

The four exponentials conjecture, the six exponentials theorem and related statements. Number Theory Seminar at NCTS October 29, 2003 The four exponentials conjecture, the six exponentials theorem and related statements. Michel Waldschmidt miw@math.jussieu.fr http://www.math.jussieu.fr/

More information

Extension theorems for homomorphisms

Extension theorems for homomorphisms Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

More information

To Professor W. M. Schmidt on his 60th birthday

To Professor W. M. Schmidt on his 60th birthday ACTA ARITHMETICA LXVII.3 (1994) On the irreducibility of neighbouring polynomials by K. Győry (Debrecen) To Professor W. M. Schmidt on his 60th birthday 1. Introduction. Denote by P the length of a polynomial

More information

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z. ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space

More information

CHAPTER 2: Polynomial and Rational Functions

CHAPTER 2: Polynomial and Rational Functions 1) (Answers for Chapter 2: Polynomial and Rational Functions) A.2.1 CHAPTER 2: Polynomial and Rational Functions SECTION 2.1: QUADRATIC FUNCTIONS (AND PARABOLAS) ( ) ; c) x = 1 ( ) ( ) and ( 4, 0) ( )

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

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,

More information

A lower regulator bound for number fields

A lower regulator bound for number fields A lower regulator bound for number fields Claus Fieker and Michael E. Pohst Abstract 1 Introduction In [] a regulator bound for algebraic number fields F was derived which makes use of specific data of

More information

Collatz cycles with few descents

Collatz cycles with few descents ACTA ARITHMETICA XCII.2 (2000) Collatz cycles with few descents by T. Brox (Stuttgart) 1. Introduction. Let T : Z Z be the function defined by T (x) = x/2 if x is even, T (x) = (3x + 1)/2 if x is odd.

More information

Two Diophantine Approaches to the Irreducibility of Certain Trinomials

Two Diophantine Approaches to the Irreducibility of Certain Trinomials Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;

More information

METRIC HEIGHTS ON AN ABELIAN GROUP

METRIC HEIGHTS ON AN ABELIAN GROUP ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.

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

FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN

FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the

More information

PILLAI S CONJECTURE REVISITED

PILLAI S CONJECTURE REVISITED PILLAI S COJECTURE REVISITED MICHAEL A. BEETT Abstract. We prove a generalization of an old conjecture of Pillai now a theorem of Stroeker and Tijdeman) to the effect that the Diophantine equation 3 x

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

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

THE UNIT GROUP OF A REAL QUADRATIC FIELD

THE UNIT GROUP OF A REAL QUADRATIC FIELD THE UNIT GROUP OF A REAL QUADRATIC FIELD While the unit group of an imaginary quadratic field is very simple the unit group of a real quadratic field has nontrivial structure Its study involves some geometry

More information

Congruent Number Problem and Elliptic curves

Congruent Number Problem and Elliptic curves Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using

More information

SHABNAM AKHTARI AND JEFFREY D. VAALER

SHABNAM AKHTARI AND JEFFREY D. VAALER ON THE HEIGHT OF SOLUTIONS TO NORM FORM EQUATIONS arxiv:1709.02485v2 [math.nt] 18 Feb 2018 SHABNAM AKHTARI AND JEFFREY D. VAALER Abstract. Let k be a number field. We consider norm form equations associated

More information

MAT 535 Problem Set 5 Solutions

MAT 535 Problem Set 5 Solutions Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

Formal Groups. Niki Myrto Mavraki

Formal Groups. Niki Myrto Mavraki Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal

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 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

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

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

Constructions with ruler and compass.

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

More information

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil

More information

TRANSCENDENTAL NUMBERS AND PERIODS. Contents

TRANSCENDENTAL NUMBERS AND PERIODS. Contents TRANSCENDENTAL NUMBERS AND PERIODS JAMES CARLSON Contents. Introduction.. Diophantine approximation I: upper bounds 2.2. Diophantine approximation II: lower bounds 4.3. Proof of the lower bound 5 2. Periods

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

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

On The Weights of Binary Irreducible Cyclic Codes

On The Weights of Binary Irreducible Cyclic Codes On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:

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

1. multiplication is commutative and associative;

1. multiplication is commutative and associative; Chapter 4 The Arithmetic of Z In this chapter, we start by introducing the concept of congruences; these are used in our proof (going back to Gauss 1 ) that every integer has a unique prime factorization.

More information

Root separation for irreducible integer polynomials

Root separation for irreducible integer polynomials Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella 1 Introduction The height H(P ) of an integer polynomial P (x) is the maximum of the absolute values of its coefficients.

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

CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA

CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential

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

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

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

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

More information

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.

More information

Solutions of exercise sheet 11

Solutions of exercise sheet 11 D-MATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial

More information

MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6

MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6 MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS PETE L. CLARK Contents 1. Polynomial Functions 1 2. Rational Functions 6 1. Polynomial Functions Using the basic operations of addition, subtraction,

More information

LECTURE 2 FRANZ LEMMERMEYER

LECTURE 2 FRANZ LEMMERMEYER LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic

More information

Solutions to Assignment 1

Solutions to Assignment 1 Solutions to Assignment 1 Question 1. [Exercises 1.1, # 6] Use the division algorithm to prove that every odd integer is either of the form 4k + 1 or of the form 4k + 3 for some integer k. For each positive

More information

Root separation for irreducible integer polynomials

Root separation for irreducible integer polynomials Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella Abstract We establish new results on root separation of integer, irreducible polynomials of degree at least four. These

More information