NOTES ON DIOPHANTINE APPROXIMATION

Similar documents
Chapter 8. P-adic numbers. 8.1 Absolute values

The p-adic numbers. Given a prime p, we define a valuation on the rationals by

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments

THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p

1 Adeles over Q. 1.1 Absolute values

a = a i 2 i a = All such series are automatically convergent with respect to the standard norm, but note that this representation is not unique: i<0

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

Algebraic Number Theory Notes: Local Fields

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

February 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions

Absolute Values and Completions

LINEAR FORMS IN LOGARITHMS

REVIEW OF ESSENTIAL MATH 346 TOPICS

Metric Spaces Math 413 Honors Project

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Places of Number Fields and Function Fields MATH 681, Spring 2018

P -adic root separation for quadratic and cubic polynomials

Introduction to Topology

Profinite Groups. Hendrik Lenstra. 1. Introduction

Homework 2 - Math 603 Fall 05 Solutions

Metric Spaces Math 413 Honors Project

p-adic Analysis in Arithmetic Geometry

l(y j ) = 0 for all y j (1)

Problem 1A. Use residues to compute. dx x

p-adic fields Chapter 7

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

EXTENSIONS OF ABSOLUTE VALUES

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

P-adic Functions - Part 1

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Elliptic curves over Q p

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

NOTES ON FINITE FIELDS

Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

Course 212: Academic Year Section 1: Metric Spaces

p-adic Analysis Compared to Real Lecture 1

LOCAL FIELDS AND p-adic GROUPS. In these notes, we follow [N, Chapter II] most, but we also use parts of [FT, L, RV, S].

8 Complete fields and valuation rings

Logical Connectives and Quantifiers

Solutions of exercise sheet 6

Math 120 HW 9 Solutions

INVERSE LIMITS AND PROFINITE GROUPS

The Mathematica Journal p-adic Arithmetic

Part III. x 2 + y 2 n mod m

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

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

Valuations. 6.1 Definitions. Chapter 6

NOTES ON DIOPHANTINE APPROXIMATION

4 Countability axioms

The p-adic Numbers. Akhil Mathew

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

MATH FINAL EXAM REVIEW HINTS

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

1 Take-home exam and final exam study guide

Some Background Material

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Number Theory, Algebra and Analysis. William Yslas Vélez Department of Mathematics University of Arizona

Math 117: Topology of the Real Numbers

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Metric Spaces and Topology

On Computably Enumerable Sets over Function Fields

Introduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

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

Part III. 10 Topological Space Basics. Topological Spaces

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

CHAPTER 1. Metric Spaces. 1. Definition and examples

Solutions Final Exam May. 14, 2014

Lecture 2: A crash course in Real Analysis

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

Immerse Metric Space Homework

Problem Set 2: Solutions Math 201A: Fall 2016

Euclidean Models of the p-adic Integers

(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

Math 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M

QUOTIENTS OF FIBONACCI NUMBERS

Topological properties of Z p and Q p and Euclidean models

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

The p-adic Numbers. Akhil Mathew. 4 May Math 155, Professor Alan Candiotti

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

Chapter 2 Metric Spaces

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

Chapter 1 : The language of mathematics.

P -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS. Tomislav Pejković

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

RINGS: SUMMARY OF MATERIAL

Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

MATH 31BH Homework 1 Solutions

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

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

MATH 117 LECTURE NOTES

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

Math 421, Homework #9 Solutions

Transcription:

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 58, Springer Verlag 984, corrected 2nd printing 996, Chap. I,III 9. Absolute values. Let p be a prime number. The p-adic absolute value p on Q is defined as follows: if a Q, a 0 then write a = p m b/c where b, c are integers not divisible by p and put a p = p m ; further, put 0 p = 0. Example. Let a = 2 7 3 8 5 3. Then a 2 = 2 7, a 3 = 3 8, a 5 = 5 3, a p = for p 7. We give some properties: ab p = a p b p for a, b Q ; a + b p max( a p, b p ) for a, b Q (ultrametric inequality). Notice that the last property implies that a + b p = max( a p, b p ) if a p b p. It is common to write the ordinary absolute value a = max(a, a) on Q as a, to call the infinite prime and to define M Q := { } {primes}. Then we have the important product formula: p M Q a p = for a Q, a 0. 8

82 9 P -ADIC NUMBERS We define more generally absolute values on fields. Let K be any field. An absolute value on K is a function : K R 0 with the following properties: ab = a b for a, b K; a + b a + b for a, b K (triangle inequality); there is a K with a {0, }. Notice that these properties imply that 0 = 0, = and a 0 if a 0. The absolute value is called non-archimedean if the triangle inequality can be replaced by the stronger ultrametric inequality a + b max( a, b ) for a, b K. An absolute value not satisfying the ultrametric inequality is called archimedean. If K is a field with absolute value and L an extension of K, then an extension or continuation of to L is an absolute value on L whose restriction to K is. Examples. ) The ordinary absolute value on Q is archimedean, while the p-adic absolute values are all non-archimedean. 2) Let K be any field, and K(t) the field of rational functions of K. For a polynomial f K[t] define f = 0 if f = 0 and f = e deg f if f 0. Further, for a rational function f/g with f, g K[t] define f/g = f / g. Verify that this defines a non-archimedean absolute value on K(t). Two absolute values, 2 on K are called equivalent if there is α > 0 such that x 2 = x α for all x K. We state without proof the following result: Theorem 9.. (Ostrowski) Every absolute value on Q is equivalent to either the ordinary absolute value or a p-adic absolute value for some prime number p. 9.2 Completions. Let K be a field, an absolute value on K, and {a k } k=0 a sequence in K. We say that {a k } k=0 converges to α with respect to if lim k a k α = 0. Further, {a k } k=0 is called a Cauchy sequence with respect to if lim m,n a m a n = 0. Notice that any convergent sequence is a Cauchy sequence. We say that K is complete with respect to if every Cauchy sequence w.r.t. in K converges to a limit in K.

9.2 Completions. 83 For instance, R and C are complete w.r.t. the ordinary absolute value. Ostrowski proved that any field complete w.r.t. an archimedean absolute value is isomorphic to R or C. Every field K with an absolute value can be extended to an up to isomorphism complete field, the completion of K. Theorem 9.2. Let K be a field with absolute value. There is an up to isomorphism unique extension field K of K, called the completion of K, having the following properties: (i) can be continued to an absolute value on K, also denoted, such that K is complete w.r.t. ; (ii) K is dense in K, i.e., every element of K is the limit of a sequence from K. Proof. Basically one has to mimic the construction of R from Q or the construction of a completion of a metric space in topology. We give a sketch. Cauchy sequences, limits, etc. are all with respect to. Call two Cauchy sequences {a k } = {a k } k=0 and {b k} in K equivalent if lim k a k b k = 0. Denote the equivalence class of {a k } by [{a k }]. Let K denote the collection of equivalence classes of Cauchy sequences. We define addition and multiplication on K by [{a k }] + [{b k }] = [{a k + b k }], [{a k }] [{b k }] = [{a k b k }]. One can show that these operations are well-defined and that with these operations, K is a field, with zero-element [{0}] and one-element [{}] (equivalence classes of constant sequences). The absolute value on K is defined by [{a k }] = lim k a k (limit in R). This limit exists since a m a n 0 as m, n (where the outer absolute value is the one on R). Further, it is independent of the choice of the representative, and satisfies the conditions of an absolute value. We may view K as a subfield of K by identifying a K with the equivalence class of the constant sequence [{a k }]. Thus, the absolute value on K just defined is an extension of the absolute value on K. With the absolute value on K defined above, and with the identification of a with [{a}], one has lim n [{a k }] a n = 0. So K is dense in K. To prove that K is complete, one takes a Cauchy sequence {α k } in K, constructs from this a Cauchy sequence {b k } in K by taking a very good approximation b k of α k, takes the limit in K of {b k }, and shows that this is also the limit of {α k }.

84 9 P -ADIC NUMBERS Finally, if K is another complete field with absolute value extending that on K such that K is dense in K one obtains an isomorphism from K to K as follows: Take α K. Choose a sequence {a k } in K converging to α; this is necessarily a Cauchy sequence. Then map α to the limit of {a k } in K. 9.3 p-adic Numbers and p-adic integers Let p be a prime number. The completion of Q with respect to p is called the field of p-adic numbers, notation Q p. The continuation of p to Q p is also denoted by p. Convergence, limits, Cauchy sequences and the like will all be with respect to p. Lemma 9.3. (i) The absolute value p is non-archimedean on Q p. (ii) The value set of p on Q p is {0} {p m : m Z}. Proof. (i) Let x, y Q p. Take sequences {x k }, {y k } from Q converging to x, y, respectively. Then x + y p = lim k x k + y k p lim k max( x k p, y k p ) = max( x p, y p ). (ii) Let x Q p, x 0. Choose again a sequence {x k } in Q converging to x. Then x p = lim k x k p. For k sufficiently large we have x k p = p m k for some mk Z. Since the sequence of numbers p m k converges we must have mk = m Z for k sufficiently large. Hence x p = p m. The set Z p := {x Q p : x p } is called the ring of p-adic integers. Notice that if x, y Z p then x y p max( x p, y p ). Hence x y Z p. Further, if x, y Z p then xy p which implies xy Z p. So Z p is indeed a ring. For α, β Q p we write α β (mod p m ) if (α β)/p m Z p. This is equivalent to α β p p m. For p-adic numbers, very small means divisible by a high power of p, and two p-adic numbers α and β are p-adically close if and only if α β is divisible by a high power of p. Lemma 9.3.2 For every α Z p and every positive integer m there is a unique a m Z such that α a m p p m and 0 a m < p m.

9.3 p-adic Numbers and p-adic integers 85 Proof. There is a rational number a/b (with coprime a, b Z) such that α (a/b) p p m since Q is dense in Q p. At most one of a, b is divisible by p and it cannot be b since a/b p. Hence there is an integer a m with ba m a (mod p m ) and 0 a m < p m. Thus, α a m p max( α (a/b) p, (a/b) a m p p m. This shows the existence of a m. As for the unicity, if a m is another integer with the properties specified in the lemma, we have a m a m p p m, hence a m a m (mod p m ), implying a m = a m. We prove some algebraic properties of the ring Z p. Theorem 9.3.3 (i) The unit group of Z p is Z p = {x Q p : x p = }. (ii) The non-zero ideals of Z p are p m Z p (m = 0,, 2,...) and Z p /p m Z p = Z/p m Z. Proof. We have x Z p x, x Z p x p, x p x p =. To prove (ii), let I be a non-zero ideal of Z p and choose α I for which α p is maximal. Let α p = p m. Then p m α Z p, hence p m I. Further, for β I we have βp m p, hence β p m Z p. Hence I p m Z p. This implies I = p m Z p. The homomorphism Z/p m Z Z p /p m Z p : a (mod p m ) a (mod p m ) is clearly injective and also surjective in view of Lemma??. Hence Z/p m Z = Z p /p m Z p. Lemma 9.3.4 Let {a k } k=0 be a sequence in Q p. Then k=0 a k converges in Q p if and only if lim k a k = 0. Further, every convergent series in Q p is unconditionally convergent, i.e., neither the convergence, nor the value of the series, are affected if the terms a k are rearranged. Proof. Suppose that α := k=0 a k converges. Then a n = n k=0 a k n k=0 a k α α = 0. Conversely, suppose that a k 0 as k. Let α n := n k=0 a k. Then for any integers m, n with 0 < m < n we have α n α m p = n k=m+ a k p max( a m+ p,..., a n p ) 0 as m, n. So the partial sums α n form a Cauchy sequence, hence must converge to a limit in Q p. To prove the second part of the lemma, let σ be a bijection from Z 0 to Z 0. We have to prove that k=0 a σ(k) = k=0 a k. Equivalently, we have to prove that M k=0 a k M k=0 a σ(k) 0 as M, i.e., for every ε > 0 there is N ε such that M a k k=0 M a σ(k) p < ε for every M > N ε. k=0

86 9 P -ADIC NUMBERS Let ε > 0. There is N such that a k p < ε for all k p. Choose N ε such that {σ(0),..., σ(n ε )} contains {0,..., N} and let M > N ε. Then in the sum S := M k=0 a k M k=0 a σ(k), only terms a k with k > N and a σ(k) with σ(k) > N occur. Hence each term in S has p-adic absolute value < ε and therefore, by the ultrametric inequality, S p < ε. We now show that every element of Z p has a Taylor series expansion, and every element of Q p a Laurent series expansion where instead of powers of a variable X one takes powers of p. Theorem 9.3.5 (i) Every element of Z p can be expressed uniquely as k=0 b kp k with b k {0,..., p } for k 0 and conversely, every such series belongs to Z p. (ii) Every element of Q p can be expressed uniquely as k= k 0 b k p k with k 0 Z and b k {0,..., p } for k k 0 and conversely, every such series belongs to Q p. Proof. We first prove part (i). First observe that by Lemma??, a series k=0 b kp k with b k {0,..., p } converges in Q p. Further, it belongs to Z p, since k=0 b kp k p max k 0 b k p k p. Let α Z p. Define sequences {α k } k=0 in Z p, {b k } k=0 in {0,..., p } inductively as follows: α 0 := α; For k = 0,,..., let b k {0,..., p } be the integer with α k b k (mod p) and put α k+ := (α k b k )/p. By induction on k, one easily deduces that for k 0, α k Z p, α = k b j p j + p k+ α k. Hence α k j=0 b jp j p p k for k 0. It follows that α = lim k j=0 k b j p j = j=0 b j p j. Notice that the integer a m from Lemma?? is precisely m k=0 b kp k. Since a m is uniquely determined, so must be the integers b k. We prove part (ii). As above, any series k= k 0 b k p k with b k {0,..., p } converges in Q p. Let α Q p with α 0. Suppose that α p = p k 0. Then β := p k 0 α has β p =, so it belongs to Z p. Applying (i) to β we get α = p k 0 β = p k 0 c k p k j=0 k=0

9.3 p-adic Numbers and p-adic integers 87 with c k {0,..., p } which implies (ii). Theorem 9.3.6 Let α = k= k 0 b k p k with b k {0,..., p } for k k 0. Then α Q {b k } k= k 0 is ultimately periodic. Proof. = Exercise. = Without loss of generality, we assume that α Z p (if α Q p with α p = p k 0, say, then we proceed further with β := p k 0 α which is in Z p ). Suppose that α = A/B with A, B Z, gcd(a, B) =. Then p does not divide B (otherwise α p > ). Let C := max( A, B ). Let {α k } k=0 be the sequence defined in the proof of Theorem??. Notice that α k determines uniquely the numbers b k, b k+,.... Claim. α k = A k /B with A k Z, A k C. This is proved by induction on k. For k = 0 the claim is obviously true. Suppose the claim is true for k = m where m 0. Then α m+ = α m b m p = (A m b m B)/p. B Since α m b m (mod p) we have that A m b m B is divisible by p. So A m+ := (A m b m B)/p Z. Further, This proves our claim. A m+ C + (p )B p C. Now since the integers A k all belong to { C,..., C}, there must be indices l < m with A l = A m, that is, α l = α m. But then, b k+m l = b k for all k l, proving that {b k } k=0 is ultimately periodic. Examples. (i) We determine the 3-adic expansion of 2 5. Notice that 5 k 0 2 3 4 α k 2 5 4 5 3 5 5 2 5 b k 2 0 2 2 (mod 3). It follows that the sequence of 3-adic digits {b k } k=0 of 2 5 and that is periodic with period 2,, 0, 2 5 = 2 30 + 3 + 0 3 2 + 3 3 + 2 3 4 + 3 5 + 0 3 6 + 3 7 +

88 9 P -ADIC NUMBERS (ii) We determine the 2-adic expansion of. Notice that = 56 56 2 3. We start with 7 the 2-adic expansion of. 7 k 0 2 3 4 α k 3 5 6 3 7 7 7 7 7 b k 0 So 7 = 20 + 2 + 2 2 + 0 2 3 + 2 4 + 2 5 + 0 2 6 +, 56 = 2 3 + 2 2 + 2 + 0 2 0 + 2 + 2 2 + 0 2 3 + The next result, which is a special case of Hensel s Lemma, gives a method to compute roots of polynomials in Q p (if such roots exist). Theorem 9.3.7 Let f(x) Z p [X] be a non-zero polynomial. Suppose there is a Z such that f(a) 0 (mod p), f (a) 0 (mod p). Then there is a unique α Z p such that f(α) = 0 and α a (mod p). Proof. We define a sequence of integers {a k } k=0 such that for k = 0,, 2,..., 0 a k < p 2k, f(a k ) 0 (mod p 2k ), f (a k ) 0 (mod p), a k+ a k 0 (mod p 2k ). Take a 0 {0,..., p } such that a 0 a (mod p). Then f(a 0 ) 0 (mod p), f (a 0 ) 0 (mod p). Assume that k 0 and that a k has been constructed. Let a k+ be the (necessarily unique) solution to the congruence f (a k )(x a k ) f(a k ) (mod p 2k+ ), 0 x < p 2k+. Thus, a k+ a k 0 (mod p 2k ), implying that f (a k ) 0 (mod p). Considering the Taylor expansion of f around x k, noting that the polynomials f (k) (X)/k! (divided derivatives) have their coefficients in Z p, f(a k+ ) = f(a k ) + f (a k )(a k+ a k ) + f (2) (a k ) (a k+ a k ) 2 + 2! 0 (mod p 2k+ ). Now lim a k = a 0 + k (a j+ a j ) =: α j=0

9.3 p-adic Numbers and p-adic integers 89 converges in Q p and f(α) = lim k f(a k ) = 0. It is clear that α a (mod p). Suppose that there are two distinct elements α, β Z p such that f(α) = f(β) = 0 and α β a (mod p). Then f(x) = (X α)(x β)g(x) with g Z p [X]. Hence f (X) = (X α)g(x) + (X β)g(x) + (X α)(x β)g (X). Substituting X = a gives f (a) 0 (mod p), against our assumption. The ball with center a Q p and radius r in the value set {0} {p m : m Z} of p is defined by B(a, r) := {x Q p : x a p r}. Notice that if b B(a, r) then b a p r. So by the ultrametric inequality, for x B(a, r) we have x b p max( x a p, a b p ) r, i.e. x B(b, r). So B(a, r) B(b, r). Similarly one proves B(b, r) B(a, r). Hence B(a, r) = B(b, r). In other words, any point in a ball can be taken as center of the ball. We define the p-adic topology on Q p as follows. A subset U of Q p is called open if for every a U there is m > 0 such that B(a, p m ) U. We prove some peculiar properties of this topology. Theorem 9.3.8 Let a Q p, m Z. Then B(a, p m ) is both open and compact in the p-adic topology. Proof. The ball B(a, p m ) is open since for every b B(a, p m ) we have B(b, p m ) = B(a, p m ). To prove the compactness we modify the proof of the Heine-Borel theorem stating that every closed bounded set in R is compact. Assume that B 0 := B(a, p m ) is not compact. Then there is an infinite open cover {U α } α A of B 0 no finite subcollection of which covers B 0. Take x B(a, p m ). Then (x a)/p m p. Hence there is b {0,..., p } such that x a b (mod p). But then, x B(a + bp m, p m ). So p m B(a, p m ) = p b=0 B(a + bpm, p m ) is the union of p balls of radius p m. It follows that there is a ball B B(a, p m ) of radius p m which can not be covered by finitely many sets from {U α } α A. By continuing this argument we find an infinite sequence of balls B 0 B B 2, where B i has radius p m i, such that B i can not be covered by finitely many sets from {U α } α A. We show that the intersection of the balls B i is non-empty. For i 0, choose x i B i. Thus, B i = B(x i, p m i ). Then {x i } i 0 is a Cauchy sequence since x i x j p p m min(i,j) 0 as i, j. Hence this sequence has a limit x in Q p. Now we have x i x p = lim j x i x j p p m i, hence x B i, and so B i = B(x, p m i ) for i 0. The point x belongs to one of the sets, U, say, of {U α } α A. Since U is open, for i sufficiently large the ball B i must be contained in U. This gives a contradiction.

90 9 P -ADIC NUMBERS Corollary 9.3.9 Every non-empty open subset of Q p is disconnected. Proof. Let U be an open non-empty subset of Q p. Take a U. Then B := B(a, p m ) U for some m Z. By increasing m we can arrange that B is strictly smaller than U. Now B is open and also U \ B is open since B is compact. Hence U is the union of two non-empty disjoint open sets. 9.4 Algebraic extensions of Q p. Let again p be a prime number. We state without proof some results concerning extensions of p to field extensions of K. We denote by Q p an algebraic closure of Q p. Theorem 9.4. (i) Let K be a finite extension of Q p. Then p has a unique continuation to K and K is complete with respect to this continuation. (ii) p has a unique continuation to Q p and Q p is not complete with respect to this continuation. (iii) Denote the continuation of p to Q p also by p. Then the completion C p of Q p with respect to p is algebraically closed. Corollary 9.4.2 Let α Q p have minimal polynomial f(x) = X n + a n X n + + a 0 Q p [X]. Then α p = a 0 /n p. Proof. Let f(x) = (X α ) (X α n ) with α,..., α n Q p. There are Q p - automorphisms σ,..., σ n of Q p such that α i = σ i (α) for i =,..., n. Then σ i ( ) p (i =,..., n) also define continuations of p to Q p which must be all equal to p. Hence a 0 p = σ (α) p σ n (α) p = α n p. We recall Eisenstein s irreducibility criterion for polynomials in Z p. Lemma 9.4.3 Let f(x) = a 0 X n + a X n + + a n X + a n Z p [X] be such that a 0 0 (mod p), a i 0 (mod p) for i =,..., n, and a n 0 (mod p 2 ). Then f is irreducible in Q p [X]. Proof. Completely similar as the Eisenstein criterion for polynomials in Z[X]. Example. Let α be a zero of X 3 8X + 0 in Q 2. The polynomial X 3 8X + 0 is irreducible in Q 2 [X], hence it is the minimal polynomial of α. It follows that α 2 = 0 /3 2 = 2 /3.

9.5 Exercises. 9 9.5 Exercises. In the exercises below, p always denotes a prime number and convergence is with respect to p. Exercise 9.5. () Determine the 2-adic expansion of 9 7. (2) Determine the p-adic expansion of. Exercise 9.5.2 Let α Q p. Prove that α has a finite p-adic expansion if and only if α = a/p r where a is a positive integer and r a non-negative integer. Exercise 9.5.3 Prove that Z p is not enumerable. Exercise 9.5.4 Let {a k } k=0 be a sequence in Q p. Prove that k=0 ( + a k) converges if and only if lim k a k = 0. Exercise 9.5.5 Let x Z p, x p <. () Prove that = x k=0 xk. (2) Prove that = ( m+k ) ( x) m k=0 k x k. Hint. Recall that all convergent series in Q p are unconditionally convergent. So you may freely manipulate with products of convergent series, rearrange terms etc. without having to bother about convergence. Exercise 9.5.6 Let α = k= k 0 b k α k where b k {0,..., p } for k k 0. Suppose that the sequence {b k } k= k 0 is ultimately periodic, i.e., there exist r, s with s > 0 such that a k+s = a s for all k r. Prove that α Q. Exercise 9.5.7 Let α = k=0 b kp k with b k {0,..., p } for k 0. Determine the p-adic expansion of α. Exercise 9.5.8 Let α Z p with α p p. In this exercise you are asked to define α x for x Z p and to show that this exponentiation has the expected properties. You may use without proof that the limit of the sum, product etc. of two sequences in Z p is the sum, product etc. of the limits. () Prove that α p α p p.

92 9 P -ADIC NUMBERS (2) Let u be a positive integer. Prove that α u p u p α p. Hint. Write u = p m b where b is not divisible by p and use induction on m. (3) Let u, v be positive integers. Prove that α u α v p u v p α p. (4) We now define α x for x Z p as follows. Take a sequence of positive integers {a k } k=0 such that lim k a k = x and define α x := lim k α a k. Prove that this is well-defined, i.e., the limit exists and is independent of the choice of the sequence {a k } k=0. (5) Prove that for x, y Z p we have α x α y p x y p α p. (Hint. Take sequences of positive integers converging to x, y.) Then show that if {x k } k=0 is a sequence in Z p such that lim k x k = x then lim k α x k = α x (so the function x α x is continuous). (6) Prove the following properties of the above defined exponentiation: (i) (αβ) x = α x β x for α, β Z p, x Z p with α p p, β p p ; (ii) α x+y = α x α y, (α x ) y = α xy for α Z p with α p p, x, y Z p. Remark. In 935, Mahler proved the following p-adic analogue of the Gel fond-schneider Theorem: let α, β be elements of Z p, both algebraic over Q, such that α p p and β Q. Then α β is transcendental over Q. Exercise 9.5.9 This exercise is about the p-adic logarithm. () Prove that the series log p (x) := ( ) k k= (x ) k converges for all x Q k p with x p < and diverges for all x Q p with x p. (2) Prove that for x Z p with x p < we have log p (x) p x p. (3) (Tricky). Prove that log p (xy) = log p x + log p y for x, y Z p with x p < and y p <. Hints. You need a few facts on p-adic power series. ) Let f(x) = n=0 a nx n, g(x) = n=0 b nx n be power series with coefficients in Q p and h(x) = n=0 ( n k=0 a n kb k ) X n their Cauchy product. Then for all v Q p for which both f(v), g(v) converge, we have h(v) = f(v)g(v). This follows in the same manner as for power series over C, using unconditional convergence.

9.5 Exercises. 93 2) For any positive integer l we have a formal power series expression ( + X) l = n=0 ( )n( ) n+l l X n, i.e., ( + X) l ( ) n + l ( ) n X n =. l n=0 The power series converges for all v Q p with v p < since the binomial coefficients are integers. So we may substitute X = v for any v Q p with v p <. 3) Let x = u +, y = v +, view v as a constant and u as a variable. Then it has to be shown that log p (xy) = ( ) n (yu + v) n = n n= ( ) n u n + n n= ( ) n v n. n You have to rewrite the left-hand side as a power series in u, and use Newton s binomial formula, interchange of summation, and 2). Since convergence of series is always unconditional, such manipulations do not affect convergence or the values of the series involved. (4) Prove that log p (x u ) = u log p (x) for x Z p with x p <, u Z p. Hint. First prove that log p is continuous by showing that log p x log p y p x y p for x, y Z p with x p < and y p <. Then prove (4) first in the special case that u is a positive integer. n=