THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p
|
|
- Elvin Hicks
- 5 years ago
- Views:
Transcription
1 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 the more interesting properties that result from it being non-archimedean. We will then try to understand the structure of the p-adic numbers and look at Hensel s Lemma. Finally, we will extend the norm to finite extensions of Q p and try to understand some of the structure behind totally ramified extensions. Contents. Introduction 2. The P-Adic Norm 2 3. The P-Adic Numbers 3 4. Extension Fields of Q p 6 Acknowledgments 0 References 0. Introduction The construction of the real numbers from the rationals relies very much on the usual absolute value. Furthermore, until one has constructed the p-adic numbers, it is not clear how important a role this norm plays in determining the properties of the real numbers. The p-adic norm behaves much differently than our usual concept of distance. For fixed prime p, two numbers are close together if their difference is divisible by a high power of p. The p-adic norm is also non-archimedean, and many unusual properties result from this fact. The completion of Q under the p-adic norm yields an interesting field Q p. We can think of elements in this field simply as infinite sequences of the form a = b m p m + b m p m b 0 + b p b n p n +... where 0 b i p. It s clear Q and Z lie in Q p, and elements of both Q and Z, when expanded p-adically, take on a particular form in Q p. We will explore the p-adic numbers and will be aided in this endeavor by Hensel s Lemma, which simplifies the task of finding roots to polynomials in Z p [x]. Our final task will be to examine extension fields of Q p. We will first have to extend the p-adic norm to these fields. It turns out there is a unique way to do this, and, for α K, where K is a finite extension, the extended p-adic norm will Date: August 26, 20.
2 2 EVAN TURNER only depend on the constant term in the monic irreducible polynomial of α over Q p. With these tools, it will not be difficult to characterize how one constructs totally ramified extension fields K of Q p I will assume fairly basic knowledge of field theory in this paper. For questions on that, any introductory algebra text will do. See, for instance, A First Course in Abstract Algebra by John Fraleigh. 2. The P-Adic Norm Definition 2.. For a prime number p and integer a, ord p a (the order of p at a) is the highest power of p that divides a, i.e. the greatest integer m such that a 0 mod p m. So ord 5 25 = 2, while ord 5 35 = and ord 3 25 = 0. It is a simple exercise to see that ord p (a a 2 ) = ord p a + ord p a 2. Another useful fact is that ord p (ad + bc) min (ord p (ad), ord p (bc)) simply because if the minimum order is r, then p r ad and bc as well as their sum. For x rational, i.e. for x = a, it makes sense to define b ord p x = ord p a ord p b. Now we introduce the p-adic norm on Q, which has many different properties from the usual absolute value. x p = p ordp x, x 0 0, x =0 It is relatively straightforward to prove that the p-adic norm is in fact a norm. However, while every norm must satisfy the triangle inequality, the p-adic norm satisfies an even stronger property that leads to some interesting results. Definition 2.2. A norm is non-archimedean if x + y max ( x, y ). Theorem 2.3. x p is a non-archimedean norm. Proof. If x = 0, y = 0, or x + y = 0, then it s obvious. For x = a b and y = c ad + bc, x + y = and d bd ord p (x + y) = ord p (ad + bc) ord p b ord p d min (ord p (ad), ord p (bc)) ord p b ord p d = min (ord p a + ord p d, ord p b + ord p c) ord p b ord p d = min (ord p a ord p b, ord p c ord p d) = min (ord p x, ord p y) So x + y p = ordp p (x+y) min(ordp x,ordp p y) = max ( x p, y p )
3 THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p 3 One peculiar result of this fact is that, under a non-archimedean norm, every triangle must be isosceles. If we suppose x < y, then x y max ( x, y ) = y But y = x (x y) max ( x, x y ) = x y and y = x y. 3. The P-Adic Numbers Building up the p-adic field Q p from the rational numbers is an interesting task and is quite similar to the way one constructs the real numbers from Q. However, as I would like to talk more about properties of the p-adic numbers, I will skip over this. For more information, see []. It turns out, though, that each p-adic number can be thought of as an infinite sequence of the form a = b m p m + b m p m b 0 + b p b n p n +... where 0 b i p. Furthermore, this construction is unique. Theorem 3.. A series converges in Q p if and only if its terms approach zero. Proof. Note that Q p is complete. I will not prove this fact but it is a straightforward result of the construction of the p-adic field. Suppose {a i } is a sequence in Q p such that a i p 0 as i. Then its partial sums S n = a a n are Cauchy since for n > m S n S m p = a m a n p max ( a m+ p,..., a n p ) 0 as n, m by assumption. Q p is complete so this implies convergence. Now suppose then that we have a series that converges in Q p. Then it is Cauchy as well, and given ɛ > 0, there exists N such that for n, m > N, S n S m p < ɛ, where S n denotes the nth partial sum. In particular, S n+ S n p = a n+ p < ɛ. Thus, the terms approach zero as n. We define the p-adic integers to be the subring Z p = {x Q p x p } If a Z p, then clearly a = a 0 + a p + a 2 p
4 4 EVAN TURNER since ord p a 0. Note that in this paper, I will use the word integer to mean elements of Z, while elements of Z p will always be specified as p-adic integers. Similarly, we define the set of p-adic units Z p = {a Z p /a Z p } = {a Z p a p =} The equivalence of these two sets is easy to see since if a p =, then /a p = so /a Z p. We now turn to a very important and useful result that will greatly simplify the task of finding roots in Z p for polynomials in Z p [x]. Theorem 3.2. (Hensel s Lemma) Let f(x) =x n + a n x n a 0 be a polynomial in Z p [x] with formal derivative f (x) =nx n a. Let c 0 be a p-adic integer such that f(c 0 ) 0 mod p and f (c 0 ) 0 mod p. Then there exists a unique p-adic integer c such that f(c) = 0 and c 0 c mod p Proof. The idea behind the proof is to construct a p-adic number c such that f(c) 0 mod p n for all n, which then clearly implies f(c) = 0. We will do this by first constructing a unique sequence of integers {b i } in Z such that the following conditions hold for all n : ) f(b n ) 0 mod p n+ 2) b n b n mod p n 3) 0 b n <p n+ We will prove this by induction on n. We begin with the case n =. There is clearly a unique integer, b 0, s.t. b 0 c 0 mod p and 0 b 0 <p. By 2) and 3), we need b b 0 mod p and 0 b <p 2 ; thus, b = b 0 + c p for some 0 c <p. Now we must check ). f(b )=f(b 0 + c p) = = a i (b 0 + c p) i (a i b i 0 + ia i b i 0 c p + terms divisible by p 2 ) (a i b i 0 + ia i b i 0 c p) mod p 2 = f(b 0 )+f (b 0 )c p We chose b 0 c 0 mod p, and since f(x) is a polynomial it follows that f(b 0 ) f(c 0 ) 0 mod p. Thus, f(b 0 ) βp mod p 2 for some 0 β <p. Similarly, since f (b 0 ) f (c 0 ) 0 mod p, we can uniquely solve for c in the equation βp + f (b 0 )c p 0 mod p 2 so that 0 c <p. This is equivalent to solving β + f (b 0 )c 0 mod p. c is then the unique integer between 0 and p such that c β f (b 0 ) mod p, and, for this choice of c, b = b 0 +c p satisfies properties ), 2), and 3). Now we continue the induction step and assume that we have found b,..., b n which satisfy ), 2), and 3). We need b n b n mod p n and 0 b n <p n+, so b n = b n + c n p n for some c n satisfying 0 c n <p. We will now solve for c n so
5 THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p 5 that ) is satisfied as well. f(b n )=f(b n + c n p n ) = = a i (b n + c n p n ) i (a i b i n + ia i b i n c np n + terms divisible by p n+ ) (a i b i n + ia i b i n c np n ) mod p n+ = f(b n )+f (b n )c n p n We know that f(b n ) 0 mod p n by the inductive assumption, so we can write f(b n ) αp n mod p n+. Our equation then becomes αp n + f (b n )c n p n 0 mod p n+ or α + f (b n )c n 0 mod p We constructed b n so that b n b 0 c 0 mod p so, as we argued before, f (b n ) f (c 0 ) 0 mod p. As before then, we can solve for c n uniquely so that 0 c n <p. With this c n, b n satisfies ), 2), and 3), and our claim is proved. Now we let Note that c b n mod p n+ so that c = b 0 + c p + c 2 p f(c) f(b n ) 0 mod p n+ for all n which implies that f(c) = 0. The uniqueness of c follows from the uniqueness of the {b i }. Hensel s Lemma has many useful applications, one of which is the existence of square roots. Suppose a Z p, then a has a square root in Q p if and only if there exists b Z p such that f(b) =b 2 a 0 mod p. So if a = a 0 + a p + a 2 p and b = b 0 + b p + b 2 p then b 2 a mod p iff. b 2 0 a 0 mod p. Thus, we really just need to check if there exists an integer b 0 with 0 b 0 <psuch b 2 0 a 0 mod p. This makes the problem much simpler. The other {b i } can all be solved for once b 0 is found, and the process is similar to that used in the proof of the lemma. Example 3.3. Let s examine 9 in Z 5. 9 = and mod 5 so we can immediately see that 9 has a square root in Q 5. 7 = does not however, since 2 a 2 mod 5 for a {0,, 2, 3, 4}. It is also an interesting exercise to examine the p-adic expansion of rational x. Proposition 3.4. The p-adic expansion of a Q p has repeating digits if and only if a Q Proof. Suppose a Q p has repeating digits, i.e., a = a m p m a ( a i p i + a i+ p i a i+r p i+r )( +p r + p 2r +... )
6 6 EVAN TURNER First we need to show that ( +p r + p 2r +... ) converges to norm. p r ( +p r + p 2r p nr) = p which goes to zero as n. So we have a = a m p m under the p-adic pr p (n+)r p r p n a ( a i p i + a i+ p i a i+r p i+r ) ( ) p r which can be evaluated under our normal rules for addition and multiplication to get an element of Q. Now suppose x Q. We really just need to show that any rational number x = a b can be put in some form x = c + d p r for c, d positive integers and some r Z. It is not difficult to see that the p-adic expansion of any positive integer is the same as its base p expansion. Thus, any integer will have a finite p-adic expansion. With that in mind, if we can show that x is of this form, then x = a b will have a p-adic expansion with repeating digits once we expand c,d, and p r p-adically. We can reduce to the situation where p does not divide b since if it does and b = p r b 0, we simply examine a/b 0 and the extra /p r term will not change the fact that there are repeating digits. Finally, we let x = a/b be between - and 0, since if it s not, we can add a constant term that will not change the fact that there are repeating digits. We look at Z/bZ = {0,, 2,..., b }. Clearly for some m, n 0, p m p n ( mod b) since there are only b equivalence classes. It is fine to assume m>n, then p m n ( mod b), which implies that there exists c such that cb = p m n. Thus, we write x = a b = ac bc = and we have our repeating expansion. ac p m n p 4. Extension Fields of Q p Definition 4.. Let V be a finite-dimensional vector space over a field F. A field norm on V is a map v satisfying ) x v = 0 if and only if x = 0, 2) ax v = a x v for a F, x V, and the norm on F, and 3) x+y v x v + y v. If K is a finite extension field of F, K is an n-dimensional vector space over F. Thus, the concept of a field norm applies here. Before we can discuss extensions fields though, we must first extend the p-adic norm to these fields. First, however, we will define a different kind of norm.
7 THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p 7 Definition 4.2. Let K = F (α) be a finite extension of a field F and suppose α has monic irreducible polynomial f(x) =x n a 0 for a i F. The norm of α from K to F N K/F (α) = det(a α ) where A α is the corresponding matrix for the F -linear map σ : K K given by σ(x) =αx. Notation 4.3. The monic irreducible polynomial for α over Q p will be denoted irred(α), if the polynomial exists. Proposition 4.4. The definition given above for N K/F (α) is equivalent to the following: ) N K/F (α) = ( ) n a 0, where n is the degree of irred(α) and a 0 is its constant term. n 2) N K/F (α) = α i, where the α i are the conjugates of α = α over F. i= Proof. We choose a convenient basis for K, an n-dimensional vector space over F, namely the set {, α,..., α n }. With this basis, the matrix A α has the following form, which shows that det(a α )=( ) n a a a a a n Once factored, n irred(α) =x n + a n x n... + a 0 = (x α i ) Thus, it is clear that n α i =( ) n a 0 i= One can prove that there can only be one extension of the p-adic norm to any finite extension field K of Q p. For the interested reader, see []. I will motivate the extension, but I will not prove that the extended norm is a field norm nor that it is the unique extension. Remarks 4.5. Note that Proposition 4.4 implies N K/F (α) Q p. We can also see that N K/F (α)n K/F (β) =N K/F (αβ) simply because the determinant map satisfies this multiplicative property. Construction 4.6. Suppose irred(α)= x n + a n x n a 0. Let K be the finite extension field of Q p containing α and all its conjugates. Then K is a Galois extension. Let σ be an automorphism of K fixing Q p sending α to a conjugate α i. If is the unique field norm extending p to K, then let : K R be given by x = σ(x). It is not difficult to show that satisfies a field norm as well. i=
8 8 EVAN TURNER But this means α = α = σ(α) = α i, so conjugates have the same norm. By Remarks 4.5 and Proposition 4.4, N Qp(α)/Q p (α) p = N Qp(α)/Q p (α) n = α i = i= n α i i= = α n So we see that α = N Qp(α)/Q p (α) /n p. If K is a finite extension of Q p containing α, then α = N K/Qp (α) /[K:Qp]. This follows from the fact that we can form a basis for K over Q p from the product of {, α,..., α n } and {x,x 2,..., x m } where {α i } form a basis for Q p (α) over Q p, {x j } form a basis for K over Q p (α), and m =[K : Q p (α)]. The linear map given by multiplication by α then yields a matrix with m blocks along the diagonal given by the matrix A α given in Proposition 4.4. The determinant of this block matrix is then det(a α ) m. Thus, So N K/Qp(α) = ( N Qp(α)/Q p ) [K:Qp(α)] ( NK/Qp(α)) /[K:Qp] = ( ) [K:Qp(α)] [K:Qp] N Qp(α)/Q p = ( N Qp(α)/Q p ) /[Qp(α):Q p] = ( N Qp(α)/Q p ) /n Note that the extension of the p-adic norm will still be non-archimedean. Notation 4.7. From now on, we will denote the extension of the p-adic norm by p too. Definition 4.8. Let K be a finite extension of Q p, and let A be the set of all α K such that α is a root of a polynomial in Z p [x], i.e., f(α) =α n + a n α n a 0 = 0, Then A is called the integral closure of Z p in K. a i Z p Theorem 4.9. Let K be a finite extension of Q p of degree n, and let A = {x K x p } M = {x K x p < } Then A is a ring, the integral closure of Z p in K. M is its unique maximal ideal, and A/M is a finite extension of F p of degree at most n. Proof. A inherits the structure of K so we just need to check that it s closed under addition and multiplication. Clearly if x, y A, then xy p, so xy A. Also, x + y p max( x p, y p), so x + y A, and A is a ring. For a A and m M, am p = a p m p <, so am M. M is an additive subgroup of A, so M is an ideal.
9 THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p 9 Now we want to show that A is the integral closure of Z p in K. Suppose α A, then α p. Since α K, α is algebraic over Q p with irred(α) =x m + a m x m a 0 = m (x α i ) where the α i are conjugates of α. We know that all conjugates of α have the same norm, i.e. α i and α i A. But the coefficients a i of irred(α) are sums and products of the α i, which implies that a i p as well. Since the a i Q p already, the a i are actually in Z p and we see that irred(α) Z p [x]. If α K is the root of a polynomial in Z p [x], it s pretty clear that irred(α) Z p [x] too. Let the degree of irred(α) be m so that α m +a m α m +...+a 0 = 0. Suppose α p >. Then i= α m p = α m p = a m α m... a 0 p max( a m α m p,..., a 0 p ) max( α m p,..., ) since a i p = α m p but this is a contradiction since α p >. Thus, α p, and α A. The set A defined in the theorem is then the integral closure of Z p in K. Let s now turn to M being a maximal ideal. Suppose N is an ideal such that M < N < A (this is a strict inequality). So there exists α A such that α N but α M. This implies α p = so that /α p = and /α A. But then α α = N, which is a contradiction since N A. So M is maximal in A. Since M is maximal and A is a ring, we know that A/M is a field. It s not difficult to see that M Z p = pz p. Clearly if a Z p, then a A since a p. If a, b Z p, then a + M and b + M represent the same coset iff. a b M Z p = pz p. But this means that for a + pz p Z p /pz p, there exists a corresponding a + M A/M. Or equivalently, that F p = Z p /pz p lies in A/M. Thus, A/M is an extension field of F p. To show that [A/M : F p ] n, we show that any linear combination of n + elements over F p is linearly dependent. So we take a + M, a 2 + M,..., a n+ + M A/M for a i A The a i are clearly linearly dependent over Q p since each a i K. Thus, (4.0) b a b n+ a n+ = 0 for b i Q p If we let m = min(ord p b,..., ord p b n+ ), then we can multiply 4.0 by p m and obtain a similar equation with all coefficients in Z p and at least one is not in pz p (Just to make sure notation is clear, note that if m<0, then we ll be multiplying by p m ). Thus, if we map 4.0 into A/M, we get an equation of the form (4.) b a b n+ a n+ + M = 0 + M for b i F p Any b i pz p is mapped to 0 + M in A/M, but we know this isn t the case for all the b i. This shows that the {a i } are linearly dependent and the claim is proved. Definition 4.2. The field A/M described in the preceding theorem is called the residue field of K.
10 0 EVAN TURNER We can extend the p-adic norm even further, to the algebraic closure of Q p, denoted Q p. For α Q p, the norm itself depends only on the constant term in irred(α), so this is fine intuitively. Let K be an extension of Q p of degree n, and let α K. Then we define ord p α = log p α p = log p N K/Qp (α) /n p = n log p N K/Qp (α) p For α Q p, this agrees with the earlier definition, and has the same multiplicative property. The image of K under the ord p map is contained in (/n) Z = {x Q nx Z} The image is an additive subgroup of (/n) Z so it s of the form /e for some integer e dividing n. Definition 4.3. This integer e is called the index of ramification of K over Q p. If e =, K is called an unramified extension of Q p, while if e = n, the extension K is called totally ramified. Theorem 4.4. If K is totally ramified and α K is such that ord p α =/e, then α satisfies an Eisenstein equation x e + a e x e a 0 =0, for a i Z p where a i 0( mod p) for all i, but a 0 0( mod p 2 ). Conversely, if α is a root of an Eisenstein polynomial of degree e over Q p, then Q p (α) is totally ramified over Q p of degree e. Proof. If ord p α =/e, then irred(α) over Q p has degree e based on the definition of ord p α. Thus, we need to show that the coefficients a i are in Z p. In Q p [x], e irred(α) = (x α i ) i= where α i are conjugates of α. Thus, we see that the a i are symmetric in α i, which implies a i p. Also, a 0 p = α e p =/p so we see that a 0 0( mod p 2 ). Now suppose α is a root of an Eisenstein polynomial. It is well-known that an Eisenstein polynomial is irreducible over Q, and the same applies in Q p, although I will not prove it. Thus, irred(α) has degree e and [Q p (α) :Q p ]=e. ord p a 0 = by assumption, so so Q p (α) is totally ramified over Q p. ord p α = log p α p = e log p a 0 p =/e Acknowledgments. I want to thank my mentors, Shawn Drenning and Casey Rodriguez, for their time in helping me with this paper. They were great to work with and excellent resources. I also want to thank the REU program in general for giving me the opportunity to work on math this summer and to study a topic that I may not have been able to experience otherwise. References [] Neal Koblitz p-adic numbers, p-adic analysis, and Zeta-Functions, 2nd ed. Springer-Verlag. 984.
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 informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationp-adic 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 informationAlgebraic 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 informationAbsolute 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 informationp-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 informationThe 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= 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 informationFebruary 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 informationPlaces 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 information1 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 informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationLocal 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 informationx = π 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 informationTHE DIFFERENT IDEAL. Then R n = V V, V = V, and V 1 V 2 V KEITH CONRAD 2 V
THE DIFFERENT IDEAL KEITH CONRAD. Introduction The discriminant of a number field K tells us which primes p in Z ramify in O K : the prime factors of the discriminant. However, the way we have seen how
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More informationAlgebraic Number Theory
TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
More information2. Two binary operations (addition, denoted + and multiplication, denoted
Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
More informationCONSTRUCTION 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 informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationP-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 informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationIntroduction 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(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 informationValuations. 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 informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationa = 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 informationGEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS
GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions
More informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationGalois Theory Overview/Example Part 1: Extension Fields. Overview:
Galois Theory Overview/Example Part 1: Extension Fields I ll start by outlining very generally the way Galois theory works. Then, I will work through an example that will illustrate the Fundamental Theorem
More informationZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n
ZEROES OF INTEGER LINEAR RECURRENCES DANIEL LITT Consider the integer linear recurrence 1. Introduction x n = x n 1 + 2x n 2 + 3x n 3 with x 0 = x 1 = x 2 = 1. For which n is x n = 0? Answer: x n is never
More informationRUDIMENTARY GALOIS THEORY
RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the
More informationMATH 152 Problem set 6 solutions
MATH 52 Problem set 6 solutions. Z[ 2] is a Euclidean domain (i.e. has a division algorithm): the idea is to approximate the quotient by an element in Z[ 2]. More precisely, let a+b 2, c+d 2 Z[ 2] (of
More informationContents Lecture 1 2 Norms 2 Completeness 4 p-adic expansions 5 Exercises to lecture 1 6 Lecture 2 7 Completions 7 p-adic integers 7 Extensions of Q
p-adic ANALYSIS, p-adic ARITHMETIC Contents Lecture 1 2 Norms 2 Completeness 4 p-adic expansions 5 Exercises to lecture 1 6 Lecture 2 7 Completions 7 p-adic integers 7 Extensions of Q p 10 Exercises to
More informationOSTROWSKI 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 informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)
More informationFundamentals 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φ(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 information32 Divisibility Theory in Integral Domains
3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible
More informationFERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD
FERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD For a prime p, we call p regular when the class number h p = h(q(ζ p )) of the pth cyclotomic field is not divisible by p. For instance, all primes
More informationHomework 4 Algebra. Joshua Ruiter. February 21, 2018
Homework 4 Algebra Joshua Ruiter February 21, 2018 Chapter V Proposition 0.1 (Exercise 20a). Let F L be a field extension and let x L be transcendental over F. Let K F be an intermediate field satisfying
More informationp-adic Continued Fractions
p-adic Continued Fractions Matthew Moore May 4, 2006 Abstract Simple continued fractions in R have a single definition and algorithms for calculating them are well known. There also exists a well known
More informationNumber 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 information6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree
Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S
More informationMATH 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 informationthat if a b (mod m) and c d (mod m), then ac bd (mod m) soyou aren't allowed to use this fact!) A5. (a) Show that a perfect square must leave a remain
PUTNAM PROBLEM SOLVING SEMINAR WEEK 2 The Rules. You are not allowed to try a problem that you already know how to solve. These are way too many problems to consider. Just pick a few problems in one of
More informationSection VI.33. Finite Fields
VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,
More informationPage Points Possible Points. Total 200
Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationAlgebra. Pang-Cheng, Wu. January 22, 2016
Algebra Pang-Cheng, Wu January 22, 2016 Abstract For preparing competitions, one should focus on some techniques and important theorems. This time, I want to talk about a method for solving inequality
More informationThe 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 informationAbstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications
1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the
More informationA Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.
A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationMA3H1 TOPICS IN NUMBER THEORY PART III
MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced
More informationThe 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 informationA SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )
A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be
More informationMATH 115, SUMMER 2012 LECTURE 12
MATH 115, SUMMER 2012 LECTURE 12 JAMES MCIVOR - last time - we used hensel s lemma to go from roots of polynomial equations mod p to roots mod p 2, mod p 3, etc. - from there we can use CRT to construct
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationOSTROWSKI S THEOREM. Contents
OSTROWSKI S THEOREM GEUNHO GIM Contents. Ostrowski s theorem for Q 2. Ostrowski s theorem for number fields 2 3. Ostrowski s theorem for F T ) 4 References 5. Ostrowski s theorem for Q Definition.. A valuation
More informationSection III.6. Factorization in Polynomial Rings
III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)
More informationLecture 4: Constructing the Integers, Rationals and Reals
Math/CS 20: Intro. to Math Professor: Padraic Bartlett Lecture 4: Constructing the Integers, Rationals and Reals Week 5 UCSB 204 The Integers Normally, using the natural numbers, you can easily define
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationRings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.
Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationAlgebraic number theory Revision exercises
Algebraic number theory Revision exercises Nicolas Mascot (n.a.v.mascot@warwick.ac.uk) Aurel Page (a.r.page@warwick.ac.uk) TA: Pedro Lemos (lemos.pj@gmail.com) Version: March 2, 20 Exercise. What is the
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationGarrett Z p. Few explicit parametrizations of algebraic closures of fields are known: not Q, for sure. But we do also know
Garrett 0-2-20 Examples (cont d): Function fields in one variable... as algebraic parallels to Z and Q. Theorem: All finite field extensions of C((X z)) are by adjoining solutions to Y e = X z for e =
More informationMATH 115, SUMMER 2012 LECTURE 4 THURSDAY, JUNE 21ST
MATH 115, SUMMER 2012 LECTURE 4 THURSDAY, JUNE 21ST JAMES MCIVOR Today we enter Chapter 2, which is the heart of this subject. Before starting, recall that last time we saw the integers have unique factorization
More informationPolynomial Rings. (Last Updated: December 8, 2017)
Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters
More informationA WEAK VERSION OF ROLLE S THEOREM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3147 3153 S 0002-9939(97)03910-5 A WEAK VERSION OF ROLLE S THEOREM THOMAS C. CRAVEN (Communicated by Wolmer
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationNormic continued fractions in totally and tamely ramified extensions of local fields
Normic continued fractions in totally and tamely ramified extensions of local fields Pantelimon Stănică Naval Postgraduate School Applied Mathematics Department, Monterey, CA 93943 5216, USA; email: pstanica@nps.edu
More informationAn introduction to the algorithmic of p-adic numbers
An introduction to the algorithmic of p-adic numbers David Lubicz 1 1 Universté de Rennes 1, Campus de Beaulieu, 35042 Rennes Cedex, France Outline Introduction 1 Introduction 2 3 4 5 6 7 8 When do we
More informationMATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of
More informationter. on Can we get a still better result? Yes, by making the rectangles still smaller. As we make the rectangles smaller and smaller, the
Area and Tangent Problem Calculus is motivated by two main problems. The first is the area problem. It is a well known result that the area of a rectangle with length l and width w is given by A = wl.
More informationHomework problems from Chapters IV-VI: answers and solutions
Homework problems from Chapters IV-VI: answers and solutions IV.21.1. In this problem we have to describe the field F of quotients of the domain D. Note that by definition, F is the set of equivalence
More informationPart 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 informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationChapter 7: Exponents
Chapter : Exponents Algebra Chapter Notes Name: Notes #: Sections.. Section.: Review Simplify; leave all answers in positive exponents:.) m -.) y -.) m 0.) -.) -.) - -.) (m ) 0.) 0 x y Evaluate if a =
More information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
More information55 Separable Extensions
55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple
More informationDefinitions. 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 informationdisc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1
GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will
More informationDefining Valuation Rings
East Carolina University, Greenville, North Carolina, USA June 8, 2018 Outline 1 What? Valuations and Valuation Rings Definability Questions in Number Theory 2 Why? Some Questions and Answers Becoming
More informationFields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.
Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should
More information18. Cyclotomic polynomials II
18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients
More informationExtension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13
Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting
More informationLEGENDRE S THEOREM, LEGRANGE S DESCENT
LEGENDRE S THEOREM, LEGRANGE S DESCENT SUPPLEMENT FOR MATH 370: NUMBER THEORY Abstract. Legendre gave simple necessary and sufficient conditions for the solvablility of the diophantine equation ax 2 +
More informationSection 0.6: Factoring from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative
Section 0.6: Factoring from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license. 201,
More informationIntroduction 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 informationA Generalization of Wilson s Theorem
A Generalization of Wilson s Theorem R. Andrew Ohana June 3, 2009 Contents 1 Introduction 2 2 Background Algebra 2 2.1 Groups................................. 2 2.2 Rings.................................
More information