Solutions, Project on p-adic Numbers, Real Analysis I, Fall, 2010.

Size: px
Start display at page:

Download "Solutions, Project on p-adic Numbers, Real Analysis I, Fall, 2010."

Transcription

1 Solutions, Project on p-adic Numbers, Real Analysis I, Fall, (24) The p-adic numbers. Let p {2, 3, 5, 7, 11,... } be a prime number. (a) For x Q, define { 0 for x = 0, x p = p n for x = p n (a/b), where a, b are not multiples of p. Show that x y p is a metric on Q. Solution: It is obvious that x y p is nonnegative, symmetric in x, y, and is 0 if and only if x = y. The remaining thing to check is the Triangle Inequality. So for x, y, z Q, we want to check that x z p x y p + y z p. So if a = x y, b = y z, we want to prove a + b p a p + b p. If either a or b is 0, this is obvious. So we may assume a = s t pn, b = u v pm for s, t, u, v nonzero integers which are not multiples of p, and n, m are integers. In this case, a p = p n and b p = p m. Now compute a + b in two cases: if n m, we may assume without loss of generality that n > m, and then a + b = s t pn + u v pm = svpn m + ut p m tv Thus in this case, since the numerator and denominator of the fraction on the right cannot be multiples of p, a + b p = p m = max( a p, b p ) a p + b p. In the other case, if n = m, then a + b = s t pn + u sv + tu v pn = p n. tv In this case, the denominator tv cannot be a multiple of p, but the numerator sv + tu is of the form p k q for k 0 and q not a multiple of p. Then a + b p = p n k p n = max( a p, b p ) a p + b p. 1

2 (b) Define the p-adic numbers Q p to be the completion of Q with respect to the metric x y p. Let k be an integer. Assume a j {0, 1,..., p 1} for j k. Then show that a j p j converges in Q p. (In other words, show the partial sums of the series are a Cauchy sequence in Q with respect to the p-adic metric.) Solution: Consider the sequence of partial sums n s n = a j p j. If n, m N, then assume without loss of generality that n m. In this case, n s n s m = a j p j. j=m+1 Then, to compute s n s m p, there are a few cases. If m = n or a j = 0 for all j = m + 1,..., n, then s n s m p = 0. If not, there is a smallest l {m + 1,..., n} so that a l 0, and thus in this case s n s m p = a l p l + + a n p n p = p l (a l + + a n p n l ) p = p l. Therefore, in all cases, since l m + 1, s n s m p p (m+1) p (N+1). To recap, for n, m N, s n s m p p (N+1), which goes to 0 as N. Thus the sequence of partial sums {s n } is a Cauchy sequence with respect to the p-adic metric, and so its limit in the completion Q p can be regarded as the infinite sum a jp j. (c) Let { l } T = a j p j k, l Z, k l, aj {0, 1,..., p 1}. Show that T = {sp n s, n are nonnegative integers}. Solution: If sp n T for s, n nonnegative integers, then s can be written as a finite sum (the base-p representation) s = a 0 + a 1 p + + a l p l, where 0 a i p 1. Therefore, 2

3 sp n = a 0 p n + a 1 p n+1 + a l p n+l, which is clearly in T. On the other hand, for v = l a jp j T, we may assume that k 0 by setting the coefficients a 0,..., a k 1 = 0 if k > 0. Then v = p k (a k + a k p l k ) T since k = n for n a nonnegative integer. (d) Show that the completion of T with respect to the p-adic metric x y p may be identified with the set { } X = a j p j k Z, aj {0,..., p 1}. What is the p-adic metric on X? Solution: It will be useful to regard elements of T (finite sums) as elements of X by filling out the remaining coefficients with 0 s. For s, t T, we may similarly assume that that s = a j p j, t = b j p j for the same k. s t p = 0 if and only if a j = b j for all j k. Similarly, s t p = p n if and only if n is the smallest integer for which a n b n, since in this case, we have for some l > n s t = p n [(a n b n ) + (a n+1 b n+1 )p + (a l b l )p l n ]. (Note that a n b n for a n, b n {0,..., p 1} implies a n b n is not divisible by p.) It follows that {t n = j a n,jp j } is a Cauchy sequence in T if and only if for all l, there is an N = N(l) such that a n,j = a m,j for all j l and m, n N. (Proof: Such a {t n } is a Cauchy sequence since for every ɛ > 0, there is an l so that p l 1 < ɛ and then for N = N(l), if m, n N, we have t n t m p p l 1 < ɛ. On the other hand, if {t n } is a Cauchy sequence, then for all l, there is an ɛ > 0 so that ɛ < p l, and thus there is an N = N(ɛ) so that if n, m N, then t n t m p < ɛ < p l. This in turn implies that for all j l we have a n,j = a m,j.) We also remark that by the same consideration, if {t n } is a Cauchy sequence, there is a uniform k, independent 3

4 of n, so that t n = a n,jp j. To prove this, write each t n = n a n,j p j. Then for l = 0, there is an N so that a m,j = a N,j for all j 0 and m N. This implies that for all j min(0, k N ) and m N, that a m,j = 0. Then if we let k = min(0, k 1, k 2,..., k N ), j k implies a m,j = 0 for all m. Now we are in a position to show X is the completion of T. In order to do this, we need to find a metric on X and an isometric injection of T into X whose image is dense and so that every Cauchy sequence in T converges in X. So for x = a j p j, y = b j p j, define x y p = p n, where n is the smallest number so that a n b n. (If all a j = b j, define x y p = 0.) Then by the above computations, the natural injection of T into X (by realizing extending elements of T to power series by introducing zero coefficients of p j for large j) is an injective isometry. Moreover, by the above paragraph, for every Cauchy sequence {t n = j a n,jp j } T, the coefficients all satisfy lim n a n,j = a j (since the coefficient sequences are all eventually constant). Then the previous paragraph shows that for t = a jp j, we have t n t p 0. Thus every Cauchy sequence in T converges to a limit in X. To show T is dense in X, for x = a jp j, the sequence of partial sums of the series (which are elements of T ) converge to x. Thus X is naturally the completion of T with respect to the p-adic metric. (e) Show that if x, y X that x + y X and xy X. Define x+y and xy by addition and multiplication of power series, with the usual carrying operation from decimal arithmetic to handle the case of coefficients p. Solution: This process of multiplication and addition of power series in p obviously produces elements in X. It is also easy to check that multiplication and addition are each commutative and associative, and that multiplication distributes over addition. (f) Show that 1 = (p 1)[1 + p + p 2 + ] X. Solution: Compute 1+[(p 1)+(p 1)p+(p 1)p 2 + ] via the carrying process to be p + (p 1)p + (p 1)p 2 +, 4

5 and then carry to the p place to find 0+p p+(p 1)p 2 +. Carry again to get p p 2 +, and so forth. By indefinitely repeating this process, we find the answer to be = 0. Thus it makes sense to set 1 = (p 1) + (p 1)p + (p 1)p 2 + in X. (g) Define the set Z p to consist of all elements of X for which a j = 0 for all j < 0. (Elements of Z p are called the p-adic integers.) Show that Z p = {x X x p 1}. Solution: This follows by the description of p in part(d). (h) If x j Z p for all j k, show that the sum x j p j converges in X. Solution: By part (g), if x j Z p, it is of the form x j = a m p m m=0 for a j {0,..., p 1}. Therefore, p j x j = a m p m+j. m=0 This implies x j p j p p j. The Triangle Inequality, together with the convergence of the geometric series shows that the partial sums of the series form a Cauchy sequence. (We have checked the Triangle Inequality for rational numbers; to check it is true in X is largely the same.) Since X is complete (by (d)), the series converges in X. (i) If q {1,, p 1}, show there is a unique r {1,..., p 1} so that qr = 1 + ap for some a {0,, p 1}. (This is just the usual fact that Z/pZ is a field.) Solution: Consider the set {0, q, 2q,..., (p 1)q}, and the set of remainders upon dividing each of these by p {0 = s 0,..., s p 1 } {0,..., p 1}. We claim there are no repetitions in the s i : for if s i = s j, for i, j {0,..., p 1} (assume j > i), then jq iq = (j i)q is divisible by the prime p. Since q has no p factors, and j i {0,..., p 1}, this forces j i = 0 and so j = i. Therefore, the {s 0,..., s p 1 } are p distinct elements of {0,..., p 1}. Since these two finite sets have the same cardinality, the 5 j=0 p j,

6 inclusion is a one-to-one correspondence. Therefore, there is a unique r {0, 1,..., p 1} so that s r = 1. (Note r = 0 is impossible.) Therefore, by the definition of the remainder, we have qr = 1 + ap for an integer a. It is easy to see that a {0,..., p 1}. (j) Show that the multiplicative inverse of 1 + ap exists in X and is given by 1 ap + a 2 p 2 a 3 p 3 +. Solution: 1 Z p by (f) and (g). The series 1 ap + a 2 p 2 is then of the form considered in (h), and thus converges in X. Our definition of multiplication in (e) shows, by a standard computation, that the multiplicative inverse of 1 + ap is the given series. (k) Show that any rational number can be represented by a unique element of X. (Hints: Write any rational number as a product of ±1, an element of T, and a reciprocal q 1 of a positive integer q which is not divisible by p. It will also be useful to know that b Z p implies b Z p. To show uniqueness, analyze the power series term by term to ensure the relevant equations are satisfied: For example, we must have for each rational number t that rational number t satisfies t + ( t) = 0.) Solution: We ve already shown the elements of T, of the form sp n for s, n 0 by (c), are in X. All rational numbers can be written in the form ± sp n q 1 for q a positive integer which is not divisible by p. We know that 1 X and (e) shows that if x X, then x = ( 1)x X. It remains to show q 1 X. Since q is not divisible by p, we may write q as an element of T by ( ) q = a 0 + a 1 p + a l p l with a 0 0. Use (i) and (j) to find an inverse for a 0 by finding an r so that a 0 r = 1+ap and thus a 1 0 = r(1+ap) 1. This is in X by (e). Now multiply (*) by a 1 0 to find qa 1 0 = 1 + b 1 p + = 1 + bp for b Z p by (g). Now we may write q 1 = a 0 (1 + bp) 1 = a 0 (1 bp + b 2 p 2 ). The coefficients of the series on the right ( b) k are elements of Z p, since one can easily check that c, d Z p implies cd Z p. Then a 0 (1 bp + b 2 p 2 ) X by (e). Thus 6

7 for all q which are not multiples of p, q 1 is an element of X. Thus by (e) again, ± sp n q 1 X. To show uniqueness, first it is clear that elements of T have unique representatives in X. Then we build in taking a minus sign and multiplying by q 1. The basic idea is that to solve relevant equations involving power series term by term with coefficients in {0,..., p 1}, by using properties such as (i). For example, if t is a rational number defined by a k p k + a k+1 p k+1 +, for a k 0, a j {0,..., p 1}, define t = b k p k + b k+1 p k+1 + so that t + ( t) = 0. Adding the series together, we find for the p k terms, that we must have a k + b k = p, and then a 1 is carried to the p k+1 terms. then we may solve a k+1 + b k = p to determine the next term b k+1, etc. Clearly, this process can be repeated indefinitely to determine all the coefficients of t. On the other hand, we have shown above that t = ( 1)t as in (e) and (f). Thus this is the unique solution. A similar analysis works for multiplying by q 1 to show uniqueness of any rational number. (l) Show that X is the completion of Q with respect to the p-adic metric (and so we may identify X with Q p ). (Hint: Show that for each rational number, the two definitions of p, on Q and on X, agree.) Solution: We have seen X is the completion of T with respect to the p-adic metric, and T is a subset of Q. But then by (k), each rational number can be represented in X as well. To show that X is the completion in Q, we need to check that the p-adic metric for rational numbers is the same as the metric we ve defined on X. So if α, β Q, let the corresponding elements of X be x, y. Then we must check that α β p = x y p. By the algebra of elements of X we have developed (addition of series and multiplying by 1), it suffices to check that γ p = z p for γ = α β Q and z = x y X. For this, write γ = p k a b for a, b not divisible by p, and then γ p = p k. On the other hand, by the techniques in (k), we have p k a b = a pk (±b 1 ) for b a positive integer not divisible by p. In this case, we may check that a (±b 1 ) is a product of elements of Z p 7

8 with nonzero initial coefficient. a = a 0 + a 1 p + + a l p l, 1 = (p 1) +, b 1 = b 0 + b 1 p + Thus their product, by multiplication of power series, is an element of Z p with nonzero initial coefficient (equal to a 0 b 0 modulo p if the element is positive, and a 0 b 0 (p 1) if it s negative). This implies z = p k a (±b 1 ) = p k (c 0 + c 1 p + ) for c 0 0. Thus, for z as an element of X, z p = p k = γ p. Therefore, the two definitions of p agree on Q and X, and thus we may embed Q isometrically into X. Therefore, we have isometric injections (which we write simply using the subset notation) T Q X, and we know that the completion of T is X. Now X, with the p-adic metric, is a complete metric space (since it is the completion of T ), and Q X provides an isometric injection of Q into X. Thus, X satisfies the definition of a completion of Q, and so by uniqueness of the completions, we may say X is the completion of Q, the p-adic numbers Q p. Q T with respect to the p-adic metric. (m) Show that Q p is a field. (So in addition, you must show that nonzero elements have multiplicative inverses.) Solution: If x = a jp j is nonzero, we may assume a k 0. Then as in (l) above, we may write x 1 = p k a 1 k (1 + bp) 1 for b Z p. Then as in (l) again, p k a 1 k (1 + bp) 1 is an element of X. (n) Show that every real number can be represented as a (not quite unique) sum k ± a j p j, k Z, a j {0,..., p 1}, j= which is convergent with respect to the usual metric x y on R. Solution: This is just the base-p representation of a real number. 8

(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

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

= 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

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

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

A number that can be written as, where p and q are integers and q Number.

A number that can be written as, where p and q are integers and q Number. RATIONAL NUMBERS 1.1 Definition of Rational Numbers: What are rational numbers? A number that can be written as, where p and q are integers and q Number. 0, is known as Rational Example:, 12, -18 etc.

More information

Elementary Properties of the Integers

Elementary Properties of the Integers Elementary Properties of the Integers 1 1. Basis Representation Theorem (Thm 1-3) 2. Euclid s Division Lemma (Thm 2-1) 3. Greatest Common Divisor 4. Properties of Prime Numbers 5. Fundamental Theorem of

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

The Completion of a Metric Space

The Completion of a Metric Space The Completion of a Metric Space Let (X, d) be a metric space. The goal of these notes is to construct a complete metric space which contains X as a subspace and which is the smallest space with respect

More information

Math 109 HW 9 Solutions

Math 109 HW 9 Solutions Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we

More information

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 4 Solutions Please write neatly, and in complete sentences when possible.

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 4 Solutions Please write neatly, and in complete sentences when possible. Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 4 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 2.6.3, 2.7.4, 2.7.5, 2.7.2,

More information

HMMT February 2018 February 10, 2018

HMMT February 2018 February 10, 2018 HMMT February 018 February 10, 018 Algebra and Number Theory 1. For some real number c, the graphs of the equation y = x 0 + x + 18 and the line y = x + c intersect at exactly one point. What is c? 18

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

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

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

THE REAL NUMBERS Chapter #4

THE REAL NUMBERS Chapter #4 FOUNDATIONS OF ANALYSIS FALL 2008 TRUE/FALSE QUESTIONS THE REAL NUMBERS Chapter #4 (1) Every element in a field has a multiplicative inverse. (2) In a field the additive inverse of 1 is 0. (3) In a field

More information

Fundamentals of Pure Mathematics - Problem Sheet

Fundamentals of Pure Mathematics - Problem Sheet Fundamentals of Pure Mathematics - Problem Sheet ( ) = Straightforward but illustrates a basic idea (*) = Harder Note: R, Z denote the real numbers, integers, etc. assumed to be real numbers. In questions

More information

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

4130 HOMEWORK 4. , a 2

4130 HOMEWORK 4. , a 2 4130 HOMEWORK 4 Due Tuesday March 2 (1) Let N N denote the set of all sequences of natural numbers. That is, N N = {(a 1, a 2, a 3,...) : a i N}. Show that N N = P(N). We use the Schröder-Bernstein Theorem.

More information

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 4.3.5, 4.3.7, 4.3.8, 4.3.9,

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

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

RMT 2013 Power Round Solutions February 2, 2013

RMT 2013 Power Round Solutions February 2, 2013 RMT 013 Power Round Solutions February, 013 1. (a) (i) {0, 5, 7, 10, 11, 1, 14} {n N 0 : n 15}. (ii) Yes, 5, 7, 11, 16 can be generated by a set of fewer than 4 elements. Specifically, it is generated

More information

Problem List MATH 5143 Fall, 2013

Problem List MATH 5143 Fall, 2013 Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was

More information

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

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

MA 180 Lecture. Chapter 0. College Algebra and Calculus by Larson/Hodgkins. Fundamental Concepts of Algebra

MA 180 Lecture. Chapter 0. College Algebra and Calculus by Larson/Hodgkins. Fundamental Concepts of Algebra 0.) Real Numbers: Order and Absolute Value Definitions: Set: is a collection of objections in mathematics Real Numbers: set of numbers used in arithmetic MA 80 Lecture Chapter 0 College Algebra and Calculus

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

Math 110 HW 3 solutions

Math 110 HW 3 solutions Math 0 HW 3 solutions May 8, 203. For any positive real number r, prove that x r = O(e x ) as functions of x. Suppose r

More information

Seunghee Ye Ma 8: Week 2 Oct 6

Seunghee Ye Ma 8: Week 2 Oct 6 Week 2 Summary This week, we will learn about sequences and real numbers. We first define what we mean by a sequence and discuss several properties of sequences. Then, we will talk about what it means

More information

MATH 301 INTRO TO ANALYSIS FALL 2016

MATH 301 INTRO TO ANALYSIS FALL 2016 MATH 301 INTRO TO ANALYSIS FALL 016 Homework 04 Professional Problem Consider the recursive sequence defined by x 1 = 3 and +1 = 1 4 for n 1. (a) Prove that ( ) converges. (Hint: show that ( ) is decreasing

More information

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

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

More information

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

(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

Four Basic Sets. Divisors

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

More information

1. Theorem. (Archimedean Property) Let x be any real number. There exists a positive integer n greater than x.

1. Theorem. (Archimedean Property) Let x be any real number. There exists a positive integer n greater than x. Advanced Calculus I, Dr. Block, Chapter 2 notes. Theorem. (Archimedean Property) Let x be any real number. There exists a positive integer n greater than x. 2. Definition. A sequence is a real-valued function

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

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

CHAPTER 8: EXPLORING R

CHAPTER 8: EXPLORING R CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed

More information

Standard forms for writing numbers

Standard forms for writing numbers Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,

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

Commutative Rings and Fields

Commutative Rings and Fields Commutative Rings and Fields 1-22-2017 Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. Definition. A ring is a set R with two

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013 In Lecture 6 we proved (most of) Ostrowski s theorem for number fields, and we saw the product formula for absolute values on

More information

A p-adic Euclidean Algorithm

A p-adic Euclidean Algorithm A p-adic Euclidean Algorithm Cortney Lager Winona State University October 0, 009 Introduction The rational numbers can be completed with respect to the standard absolute value and this produces the real

More information

1. Revision Description Reflect and Review Teasers Answers Recall of Rational Numbers:

1. Revision Description Reflect and Review Teasers Answers Recall of Rational Numbers: 1. Revision Description Reflect Review Teasers Answers Recall of Rational Numbers: A rational number is of the form, where p q are integers q 0. Addition or subtraction of rational numbers is possible

More information

Math Review. for the Quantitative Reasoning measure of the GRE General Test

Math Review. for the Quantitative Reasoning measure of the GRE General Test Math Review for the Quantitative Reasoning measure of the GRE General Test www.ets.org Overview This Math Review will familiarize you with the mathematical skills and concepts that are important for solving

More information

REVIEW Chapter 1 The Real Number System

REVIEW Chapter 1 The Real Number System REVIEW Chapter The Real Number System In class work: Complete all statements. Solve all exercises. (Section.4) A set is a collection of objects (elements). The Set of Natural Numbers N N = {,,, 4, 5, }

More information

Structure of R. Chapter Algebraic and Order Properties of R

Structure of R. Chapter Algebraic and Order Properties of R Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions

More information

Math 6120 Fall 2012 Assignment #1

Math 6120 Fall 2012 Assignment #1 Math 6120 Fall 2012 Assignment #1 Choose 10 of the problems below to submit by Weds., Sep. 5. Exercise 1. [Mun, 21, #10]. Show that the following are closed subsets of R 2 : (a) A = { (x, y) xy = 1 },

More information

CONSTRUCTION OF THE REAL NUMBERS.

CONSTRUCTION OF THE REAL NUMBERS. CONSTRUCTION OF THE REAL NUMBERS. IAN KIMING 1. Motivation. It will not come as a big surprise to anyone when I say that we need the real numbers in mathematics. More to the point, we need to be able to

More information

Order of Operations. Real numbers

Order of Operations. Real numbers Order of Operations When simplifying algebraic expressions we use the following order: 1. Perform operations within a parenthesis. 2. Evaluate exponents. 3. Multiply and divide from left to right. 4. Add

More information

Solutions Manual for Homework Sets Math 401. Dr Vignon S. Oussa

Solutions Manual for Homework Sets Math 401. Dr Vignon S. Oussa 1 Solutions Manual for Homework Sets Math 401 Dr Vignon S. Oussa Solutions Homework Set 0 Math 401 Fall 2015 1. (Direct Proof) Assume that x and y are odd integers. Then there exist integers u and v such

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

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

Division Algorithm B1 Introduction to the Division Algorithm (Procedure) quotient remainder

Division Algorithm B1 Introduction to the Division Algorithm (Procedure) quotient remainder A Survey of Divisibility Page 1 SECTION B Division Algorithm By the end of this section you will be able to apply the division algorithm or procedure Our aim in this section is to show that for any given

More information

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References

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

Algebra for error control codes

Algebra for error control codes Algebra for error control codes EE 387, Notes 5, Handout #7 EE 387 concentrates on block codes that are linear: Codewords components are linear combinations of message symbols. g 11 g 12 g 1n g 21 g 22

More information

not to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results

not to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results Euclid s Division Lemma : Given two positive integers a and b, there exist unique integers q and r satisfying a = bq + r, 0 r < b. Euclid s Division

More information

Linear Equations & Inequalities Definitions

Linear Equations & Inequalities Definitions Linear Equations & Inequalities Definitions Constants - a term that is only a number Example: 3; -6; -10.5 Coefficients - the number in front of a term Example: -3x 2, -3 is the coefficient Variable -

More information

OSTROWSKI S THEOREM FOR Q(i)

OSTROWSKI S THEOREM FOR Q(i) OSTROWSKI S THEOREM FOR Q(i) KEITH CONRAD We will extend Ostrowki s theorem from Q to the quadratic field Q(i). On Q, every nonarchimedean absolute value is equivalent to the p-adic absolute value for

More information

PELL S EQUATION, II KEITH CONRAD

PELL S EQUATION, II KEITH CONRAD PELL S EQUATION, II KEITH CONRAD 1. Introduction In Part I we met Pell s equation x dy = 1 for nonsquare positive integers d. We stated Lagrange s theorem that every Pell equation has a nontrivial solution

More information

Introduction to Analysis in One Variable. Michael E. Taylor

Introduction to Analysis in One Variable. Michael E. Taylor Introduction to Analysis in One Variable Michael E. Taylor 1 2 Contents Chapter I. Numbers 1. Peano arithmetic 2. The integers 3. Prime factorization and the fundamental theorem of arithmetic 4. The rational

More information

Section 1.1 Notes. Real Numbers

Section 1.1 Notes. Real Numbers Section 1.1 Notes Real Numbers 1 Types of Real Numbers The Natural Numbers 1,,, 4, 5, 6,... These are also sometimes called counting numbers. Denoted by the symbol N Integers..., 6, 5, 4,,, 1, 0, 1,,,

More information

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) Metric Space Topology (Spring 2016) Selected Homework Solutions HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) d(z, w) d(x, z) + d(y, w) holds for all w, x, y, z X.

More information

Arithmetic, Algebra, Number Theory

Arithmetic, Algebra, Number Theory Arithmetic, Algebra, Number Theory Peter Simon 21 April 2004 Types of Numbers Natural Numbers The counting numbers: 1, 2, 3,... Prime Number A natural number with exactly two factors: itself and 1. Examples:

More information

8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

More information

Number Theory Solutions Packet

Number Theory Solutions Packet Number Theory Solutions Pacet 1 There exist two distinct positive integers, both of which are divisors of 10 10, with sum equal to 157 What are they? Solution Suppose 157 = x + y for x and y divisors of

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

Associative property

Associative property Addition Associative property Closure property Commutative property Composite number Natural numbers (counting numbers) Distributive property for multiplication over addition Divisibility Divisor Factor

More information

Zair Ibragimov CSUF. Talk at Fullerton College July 14, Geometry of p-adic numbers. Zair Ibragimov CSUF. Valuations on Rational Numbers

Zair Ibragimov CSUF. Talk at Fullerton College July 14, Geometry of p-adic numbers. Zair Ibragimov CSUF. Valuations on Rational Numbers integers Talk at Fullerton College July 14, 2011 integers Let Z = {..., 2, 1, 0, 1, 2,... } denote the integers. Let Q = {a/b : a, b Z and b > 0} denote the rational. We can add and multiply rational :

More information

Chapter One. The Real Number System

Chapter One. The Real Number System Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and

More information

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers: WORKSHEET MATH 215, FALL 15, WHYTE We begin our course with the natural numbers: N = {1, 2, 3,...} which are a subset of the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } We will assume familiarity with their

More information

Math 105A HW 1 Solutions

Math 105A HW 1 Solutions Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S

More information

Chapter 2. Real Numbers. 1. Rational Numbers

Chapter 2. Real Numbers. 1. Rational Numbers Chapter 2. Real Numbers 1. Rational Numbers A commutative ring is called a field if its nonzero elements form a group under multiplication. Let (F, +, ) be a filed with 0 as its additive identity element

More information

Tomáš Madaras Congruence classes

Tomáš Madaras Congruence classes Congruence classes For given integer m 2, the congruence relation modulo m at the set Z is the equivalence relation, thus, it provides a corresponding partition of Z into mutually disjoint sets. Definition

More information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of

More information

Math 61CM - Solutions to homework 2

Math 61CM - Solutions to homework 2 Math 61CM - Solutions to homework 2 Cédric De Groote October 5 th, 2018 Problem 1: Let V be the vector space of polynomials of degree at most 5, with coefficients in a field F Let U be the subspace of

More information

Homework 1 Solutions

Homework 1 Solutions MATH 171 Spring 2016 Problem 1 Homework 1 Solutions (If you find any errors, please send an e-mail to farana at stanford dot edu) Presenting your arguments in steps, using only axioms of an ordered field,

More information

MATH 426, TOPOLOGY. p 1.

MATH 426, TOPOLOGY. p 1. MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p

More information

Math 54 - HW Solutions 5

Math 54 - HW Solutions 5 Math 54 - HW Solutions 5 Dan Crytser August 6, 202 Problem 20.a To show that the Manhattan metric d(, y) = y +... + n y n induces the standard topology on R n, we show that it induces the same topology

More information

Mini Lecture 1.1 Introduction to Algebra: Variables and Mathematical Models

Mini Lecture 1.1 Introduction to Algebra: Variables and Mathematical Models Mini Lecture. Introduction to Algebra: Variables and Mathematical Models. Evaluate algebraic expressions.. Translate English phrases into algebraic expressions.. Determine whether a number is a solution

More information

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

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

More information

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

Week 2: Sequences and Series

Week 2: Sequences and Series QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime

More information

Axioms for the Real Number System

Axioms for the Real Number System Axioms for the Real Number System Math 361 Fall 2003 Page 1 of 9 The Real Number System The real number system consists of four parts: 1. A set (R). We will call the elements of this set real numbers,

More information

ECEN 5022 Cryptography

ECEN 5022 Cryptography Elementary Algebra and Number Theory University of Colorado Spring 2008 Divisibility, Primes Definition. N denotes the set {1, 2, 3,...} of natural numbers and Z denotes the set of integers {..., 2, 1,

More information

6 Lecture 6: More constructions with Huber rings

6 Lecture 6: More constructions with Huber rings 6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace

More information

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S. 1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for

More information

MODEL ANSWERS TO HWK #10

MODEL ANSWERS TO HWK #10 MODEL ANSWERS TO HWK #10 1. (i) As x + 4 has degree one, either it divides x 3 6x + 7 or these two polynomials are coprime. But if x + 4 divides x 3 6x + 7 then x = 4 is a root of x 3 6x + 7, which it

More information

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is

More information

Real Analysis - Notes and After Notes Fall 2008

Real Analysis - Notes and After Notes Fall 2008 Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start

More information

SYMBOL EXPLANATION EXAMPLE

SYMBOL EXPLANATION EXAMPLE MATH 4310 PRELIM I REVIEW Notation These are the symbols we have used in class, leading up to Prelim I, and which I will use on the exam SYMBOL EXPLANATION EXAMPLE {a, b, c, } The is the way to write the

More information

MTH 1310, SUMMER 2012 DR. GRAHAM-SQUIRE. A rational expression is just a fraction involving polynomials, for example 3x2 2

MTH 1310, SUMMER 2012 DR. GRAHAM-SQUIRE. A rational expression is just a fraction involving polynomials, for example 3x2 2 MTH 1310, SUMMER 2012 DR. GRAHAM-SQUIRE SECTION 1.2: PRECALCULUS REVIEW II Practice: 3, 7, 13, 17, 19, 23, 29, 33, 43, 45, 51, 57, 69, 81, 89 1. Rational Expressions and Other Algebraic Fractions A rational

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

P-adic numbers. Rich Schwartz. October 24, 2014

P-adic numbers. Rich Schwartz. October 24, 2014 P-adic numbers Rich Schwartz October 24, 2014 1 The Arithmetic of Remainders In class we have talked a fair amount about doing arithmetic with remainders and now I m going to explain what it means in a

More information

Mathematics 242 Principles of Analysis Solutions for Problem Set 5 Due: March 15, 2013

Mathematics 242 Principles of Analysis Solutions for Problem Set 5 Due: March 15, 2013 Mathematics Principles of Analysis Solutions for Problem Set 5 Due: March 15, 013 A Section 1. For each of the following sequences, determine three different subsequences, each converging to a different

More information

SPACES: FROM ANALYSIS TO GEOMETRY AND BACK

SPACES: FROM ANALYSIS TO GEOMETRY AND BACK SPACES: FROM ANALYSIS TO GEOMETRY AND BACK MASS 2011 LECTURE NOTES 1. Lecture 1 (8/22/11): Introduction There are many problems in analysis which involve constructing a function with desirable properties

More information