NOTES ON DIOPHANTINE APPROXIMATION

Size: px
Start display at page:

Download "NOTES ON DIOPHANTINE APPROXIMATION"

Transcription

1 NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 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 = 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

2 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.

3 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 }.

4 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 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.

5 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 (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 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

6 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 (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

7 9.3 p-adic Numbers and p-adic integers 87 with c k {0,..., p } which implies (ii). Theorem 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 α k b k (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 =

8 88 9 P -ADIC NUMBERS (ii) We determine the 2-adic expansion of. Notice that = We start with 7 the 2-adic expansion of. 7 k α k b k 0 So 7 = , 56 = 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 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 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 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.

10 90 9 P -ADIC NUMBERS Corollary 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 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 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.

11 9.5 Exercises 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 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 Prove that Z p is not enumerable. Exercise 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 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 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 Let α = k=0 b kp k with b k {0,..., p } for k 0. Determine the p-adic expansion of α. Exercise 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.

12 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 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.

13 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=

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

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

The p-adic numbers. Given a prime p, we define a valuation on the rationals by The p-adic numbers There are quite a few reasons to be interested in the p-adic numbers Q p. They are useful for solving diophantine equations, using tools like Hensel s lemma and the Hasse principle,

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

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

Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic

More information

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

THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p EVAN TURNER Abstract. This paper will focus on the p-adic numbers and their properties. First, we will examine the p-adic norm and look at some of

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

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

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 p-adic Numbers K. Sutner v0.4 1 Modular Arithmetic rings integral domains integers gcd, extended Euclidean algorithm factorization modular numbers add Lemma 1.1 (Chinese Remainder Theorem) Let a b. Then

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

Algebraic Number Theory Notes: Local Fields

Algebraic Number Theory Notes: Local Fields Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological

More information

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

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

More information

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

February 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions February 1, 2005 INTRODUCTION TO p-adic NUMBERS JASON PRESZLER 1. p-adic Expansions The study of p-adic numbers originated in the work of Kummer, but Hensel was the first to truly begin developing the

More information

Absolute Values and Completions

Absolute Values and Completions Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic

More information

LINEAR FORMS IN LOGARITHMS

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

More information

REVIEW OF ESSENTIAL MATH 346 TOPICS

REVIEW OF ESSENTIAL MATH 346 TOPICS REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations

More information

Metric Spaces Math 413 Honors Project

Metric Spaces Math 413 Honors Project Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only

More information

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

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

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

Places of Number Fields and Function Fields MATH 681, Spring 2018 Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote

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

Introduction to Topology

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

More information

Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite Groups. Hendrik Lenstra. 1. Introduction Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,

More information

Homework 2 - Math 603 Fall 05 Solutions

Homework 2 - Math 603 Fall 05 Solutions Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether

More information

Metric Spaces Math 413 Honors Project

Metric Spaces Math 413 Honors Project Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only

More information

p-adic Analysis in Arithmetic Geometry

p-adic Analysis in Arithmetic Geometry p-adic Analysis in Arithmetic Geometry Winter Semester 2015/2016 University of Bayreuth Michael Stoll Contents 1. Introduction 2 2. p-adic numbers 3 3. Newton Polygons 14 4. Multiplicative seminorms and

More information

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

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

Problem 1A. Use residues to compute. dx x

Problem 1A. Use residues to compute. dx x Problem 1A. A non-empty metric space X is said to be connected if it is not the union of two non-empty disjoint open subsets, and is said to be path-connected if for every two points a, b there is a continuous

More information

p-adic fields Chapter 7

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

More information

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

EXTENSIONS OF ABSOLUTE VALUES

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

More information

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

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 Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:

More information

P-adic Functions - Part 1

P-adic Functions - Part 1 P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant

More information

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.

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. 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. Answer: Note that the first generator factors as (y

More information

Elliptic curves over Q p

Elliptic curves over Q p Rosa Winter rwinter@math.leidenuniv.nl Elliptic curves over Q p Bachelor thesis, August 23, 2011 Supervisor: Drs. R. Pannekoek Mathematisch Instituut, Universiteit Leiden Contents Introduction 3 1 The

More information

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

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3 Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability

More information

NOTES ON FINITE FIELDS

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

More information

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

Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7 Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7 Question 1: The goal of this exercise is to give some equivalent characterizations for the interior of a set. Let X be a topological

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

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

p-adic Analysis Compared to Real Lecture 1

p-adic Analysis Compared to Real Lecture 1 p-adic Analysis Compared to Real Lecture 1 Felix Hensel, Waltraud Lederle, Simone Montemezzani October 12, 2011 1 Normed Fields & non-archimedean Norms Definition 1.1. A metric on a non-empty set X is

More information

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].

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]. LOCAL FIELDS AND p-adic GROUPS MATH 519 In these notes, we follow [N, Chapter II] most, but we also use parts of [FT, L, RV, S]. 1. Absolute values Let K be a field. An absolute value on K is a function

More information

8 Complete fields and valuation rings

8 Complete fields and valuation rings 18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a

More information

Logical Connectives and Quantifiers

Logical Connectives and Quantifiers Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then

More information

Solutions of exercise sheet 6

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

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

More information

The Mathematica Journal p-adic Arithmetic

The Mathematica Journal p-adic Arithmetic The Mathematica Journal p-adic Arithmetic Stany De Smedt The p-adic numbers were introduced by K. Hensel in 1908 in his book Theorie der algebraïschen Zahlen, Leipzig, 1908. In this article we present

More information

Part III. x 2 + y 2 n mod m

Part III. x 2 + y 2 n mod m Part III Part III In this, the final part of the course, we will introduce the notions of local and global viewpoints of number theory, which began with the notion of p-adic numbers. (p as usual denote

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

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.

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. 1. Show that if A and B are countable, then A B is also countable. Hence, prove by contradiction, that if X is uncountable and a subset A is countable, then X A is uncountable. Solution: Suppose A and

More information

Valuations. 6.1 Definitions. Chapter 6

Valuations. 6.1 Definitions. Chapter 6 Chapter 6 Valuations In this chapter, we generalize the notion of absolute value. In particular, we will show how the p-adic absolute value defined in the previous chapter for Q can be extended to hold

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

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

The p-adic Numbers. Akhil Mathew

The p-adic Numbers. Akhil Mathew The p-adic Numbers Akhil Mathew ABSTRACT These are notes for the presentation I am giving today, which itself is intended to conclude the independent study on algebraic number theory I took with Professor

More information

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

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes! ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

More information

MATH FINAL EXAM REVIEW HINTS

MATH FINAL EXAM REVIEW HINTS MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any

More information

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.

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. Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence

More information

1 Take-home exam and final exam study guide

1 Take-home exam and final exam study guide Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number

More information

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

More information

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

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower

More information

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

Number Theory, Algebra and Analysis. William Yslas Vélez Department of Mathematics University of Arizona Number Theory, Algebra and Analysis William Yslas Vélez Department of Mathematics University of Arizona O F denotes the ring of integers in the field F, it mimics Z in Q How do primes factor as you consider

More information

Math 117: Topology of the Real Numbers

Math 117: Topology of the Real Numbers Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few

More information

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

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3 Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

More information

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

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

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013 5.1 The field of p-adic numbers Definition 5.1. The field of p-adic numbers Q p is the fraction field of Z p. As a fraction field,

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

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

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

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

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation (December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol

More information

CHAPTER 1. Metric Spaces. 1. Definition and examples

CHAPTER 1. Metric Spaces. 1. Definition and examples CHAPTER Metric Spaces. Definition and examples Metric spaces generalize and clarify the notion of distance in the real line. The definitions will provide us with a useful tool for more general applications

More information

Solutions Final Exam May. 14, 2014

Solutions Final Exam May. 14, 2014 Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10

More information

Lecture 2: A crash course in Real Analysis

Lecture 2: A crash course in Real Analysis EE5110: Probability Foundations for Electrical Engineers July-November 2015 Lecture 2: A crash course in Real Analysis Lecturer: Dr. Krishna Jagannathan Scribe: Sudharsan Parthasarathy This lecture is

More information

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

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

More information

Immerse Metric Space Homework

Immerse Metric Space Homework Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps

More information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem Set 2: Solutions Math 201A: Fall 2016 Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that

More information

Euclidean Models of the p-adic Integers

Euclidean Models of the p-adic Integers Euclidean Models of the p-adic Integers Scott Zinzer December 12, 2012 1 Introduction Much of our visual perception is based in what seems to be standard Euclidean space; we can easily imagine perfectly

More information

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

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

More information

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

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 Math 421, Homework #7 Solutions (1) Let {x k } and {y k } be convergent sequences in R n, and assume that lim k x k = L and that lim k y k = M. Prove directly from definition 9.1 (i.e. don t use Theorem

More information

QUOTIENTS OF FIBONACCI NUMBERS

QUOTIENTS OF FIBONACCI NUMBERS QUOTIENTS OF FIBONACCI NUMBERS STEPHAN RAMON GARCIA AND FLORIAN LUCA Abstract. There have been many articles in the Monthly on quotient sets over the years. We take a first step here into the p-adic setting,

More information

Topological properties of Z p and Q p and Euclidean models

Topological properties of Z p and Q p and Euclidean models Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete

More information

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

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

More information

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.

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. 6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral

More information

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

The p-adic Numbers. Akhil Mathew. 4 May Math 155, Professor Alan Candiotti The p-adic Numbers Akhil Mathew Math 155, Professor Alan Candiotti 4 May 2009 Akhil Mathew (Math 155, Professor Alan Candiotti) The p-adic Numbers 4 May 2009 1 / 17 The standard absolute value on R: A

More information

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

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation (September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue

More information

Chapter 2 Metric Spaces

Chapter 2 Metric Spaces Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics

More information

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 2070BC Term 2 Weeks 1 13 Lecture Notes Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic

More information

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

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Chapter 1 : The language of mathematics.

Chapter 1 : The language of mathematics. MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

More information

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

P -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS. Tomislav Pejković RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 20 = 528 2016): 9-18 P -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS Tomislav Pejković Abstract. We study p-adic root separation for quadratic and cubic

More information

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

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

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

Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA #A33 INTEGERS 10 (2010), 379-392 DISTANCE GRAPHS FROM P -ADIC NORMS Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA 30118 jkang@westga.edu Hiren Maharaj Department

More information

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

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

MATH 31BH Homework 1 Solutions

MATH 31BH Homework 1 Solutions MATH 3BH Homework Solutions January 0, 04 Problem.5. (a) (x, y)-plane in R 3 is closed and not open. To see that this plane is not open, notice that any ball around the origin (0, 0, 0) will contain points

More information

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

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 Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.

More information

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

3 COUNTABILITY AND CONNECTEDNESS AXIOMS 3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first

More information

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

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

More information

MATH 117 LECTURE NOTES

MATH 117 LECTURE NOTES MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set

More information

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

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.

More information

Math 421, Homework #9 Solutions

Math 421, Homework #9 Solutions Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and

More information