* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download p-adic Numbers
Foundations of mathematics wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
Large numbers wikipedia , lookup
Approximations of π wikipedia , lookup
Infinitesimal wikipedia , lookup
Positional notation wikipedia , lookup
Principia Mathematica wikipedia , lookup
Real number wikipedia , lookup
Collatz conjecture wikipedia , lookup
List of important publications in mathematics wikipedia , lookup
Series (mathematics) wikipedia , lookup
List of first-order theories wikipedia , lookup
Elementary mathematics wikipedia , lookup
Hyperreal number wikipedia , lookup
Non-standard analysis wikipedia , lookup
Number theory wikipedia , lookup
Mathematics of radio engineering wikipedia , lookup
Supervisors Project Submission Form Supervisor: M D Coleman 1 Project Title p-adic Numbers 2 Category Pure 3 Level 3/4 4 Semesters 1/2 5 Description 6 References The set of p-adic integers Zp can be introduced in two ways. [a] The first would be as in infinite sequence of p-adic digits, indexed by N, with rules to add and multiply such sequences. This would lead to a ring structure, from which the field of fractions can be taken as the definition of p-adic numbers, Qp. This should be reminiscent of Q being the field of fractions of Z. Having concrete realizations of p adic integers means that every step can be better understood and illustrated by nontrivial worked examples and this can enhance any project. [b] Alternatively, each infinite sequence of p-adic digits can be taken as the coefficients in an infinite series in powers of p. The question of how such series converge then arises. Such series cannot converge with respect to the usual distance function on integers. Instead we have to consider what are called p-adic valuations. These valuations are first defined on the integers and then the rationals. The set of integers is then completed with respect to the p-adic valuation to give Z_p while the rationals are completed to give Qp. Such an approach requires good understanding of analysis. Part of a project would be to show that the Zp and Qp given by both approaches [a] and [b] are the same. A possible goal of a project would be Hensel's Lemma (a basic form is found in [4] Section 2.6). This result has many applications. For instance, in Chapter 4 of [3] the existence of local and global solutions of Diophantine equations is studied. 1. Borevich, Shafarevich, Number Theory, [Chapter 1] 2. Bachmann, Introduction to p-adic numbers and valuation theory. 3. Cassels, J.W.S, Local Fields LMS Student Texts 3. 4. Niven, Zuckerman, Montgomery, An Introduction to the Theory of Numbers, 5th edition, Wiley, 1991. 7 Prerequisite courses 8 Additional notes