The development of P-adic numbers theoretically and their use in number theory

Research Article
Open access

The development of P-adic numbers theoretically and their use in number theory

JUNZHE HAO 1*
  • 1 University of Warwick    
  • *corresponding author Junzhe.Hao@warwick.ac.uk
Published on 20 December 2023 | https://doi.org/10.54254/2753-8818/25/20240919
TNS Vol.25
ISSN (Print): 2753-8826
ISSN (Online): 2753-8818
ISBN (Print): 978-1-83558-233-6
ISBN (Online): 978-1-83558-234-3

Abstract

Stemming from the need to formalize the divisibility of rational numbers, p-adics provide a unique mathematical perspective rooted in prime number theory. This article provides a comprehensive discussion of p-adic numbers, including their research background, definition, properties, theory, and extensions. This study first elucidates the historical background and significance of p-adic numbers, emphasizing their key role in number theory and its applications. At the heart of this research is a deep dive into the precise definition of p-radical numbers, revealing their unique, often counterintuitive, distance measure. We look at their fundamental characteristics, demonstrate their illogical characteristics, and discuss how they affect transcendental number theory, Diophantine equations, and algebraic number theory. Furthermore, this article explores the theoretical foundations of p-radical numbers and their extensions, emphasizing their integral role in advanced mathematical structures such as p-radical analysis and p-radical geometry. By covering these aspects, this study aims to highlight the lasting impact of p-adic on modern mathematics, reshape our understanding of divisibility, and advance mathematical inquiry into new and uncharted territory.

Keywords:

p-adic number, prime, number theory

HAO,J. (2023). The development of P-adic numbers theoretically and their use in number theory. Theoretical and Natural Science,25,73-77.
Export citation

1. Introduction

The study of p-adic numbers has been a cornerstone of the field of number theory, providing deep insights into the divisibility of rational numbers and a unique framework for understanding the complex interplay of prime numbers in mathematics [1, 2]. This article examines the definitions, characteristics, and theoretical underpinnings of p-adic numbers.

In the field of mathematics based on integers and rational numbers, p-adic numbers emerged as a significant extension, providing a novel perspective on number theory. Their significance lies not only in their intrinsic mathematical beauty but also in their practical use. P-adics have applications in many branches of mathematics, including algebraic number theory, Diophantine equations, and transcendental number theory, by revealing the structure of divisibility within rational numbers [3, 4, 5, 6].

This research seeks to elucidate the theoretical framework underpinning p-adic numbers, revealing their unique properties and their role in advancing our understanding of number theory. By delving into their definitions, properties, and theoretical implications, we aim to provide a comprehensive overview of p-adic numbers and their enduring relevance in contemporary mathematical research.

2. Motivation

/word/media/image1.wmf is an irrational number which can be expressed by:

/word/media/image2.wmf(1)

How can express this irrational number into a sequence \( xk \) of rational numbers? let’s consider a quadratic congruence:

/word/media/image3.wmf,(2)

and \( k = 1,2,3... \) for \( k = 1 \) , the solutions are /word/media/image4.wmf for \( k = 2 \) , it can also find the solution that is /word/media/image5.wmf. Let \( x1 = 4 \) , check the equation:

/word/media/image6.wmf,(3)

the only solution of \( y \) is /word/media/image7.wmf, so /word/media/image8.wmf.

With a similar method, it can keep deducing \( x3, x4 \) an,d so on. Now there is some sort of “sequence” that \( xk \) satisfies that can be discovered, /word/media/image9.wmf but no particular \( x \) satisfies for all \( n \) .

Then the paper needs to define a kind of number called p-adic number, which can show the relationship of /word/media/image10.wmfelements in the group for each prime number [7].

3. Basic lemmas

Lemma 3.1. The following form is the only way to express any non-zero rational number:

/word/media/image11.wmf,(4)

where \( n, m \) , and n are all integers, \( p \) is a prime number, and neither m nor n is divisible by \( p \) . P-adic valuation of the rational number is referred to as v.

It must employ the fundamental theorem of mathematics to prove this lemma. It asserts that, regardless of the arrangement of the prime components, every positive integer greater than 1 may be written in a particular form as a multiplication of prime integers. For example, \( 1000 = 2 ×2×2×5×5×5 = 23 ×53 \) . Obviously, the formula of nonzero rational number can be directly deduced from the fundamental theorem of arithmetic.

Lemma 3.2. The only way to express each non-zero rational number \( r \) with \( a \) valuation \( v \) is as /word/media/image12.wmf follows: where an is an integer such that and s is a rational number with value greater than \( v \) :

\( 0 \lt a \lt p \) ,(5)

Lemma 3.2 can be deduced from the first lemma. By lemma 2.1, /word/media/image13.wmf , the modular inverse of \( n \) can be expressed as \( q \) such that \( nq = 1 + ph \) , where \( q \) and \( h \) are both integer. Then substitute \( 1/n = q-p(hm/n) \) . into the formula of \( r \) and get:

/word/media/image14.wmf(6)

which is lemma 2.2 states [8].

4. p-adic integer Zp

4.1. p-adic numberd

Definition 4.1 (p-adic series). A power series expression of a mathematical series is known as a p-adic series:

/word/media/image15.wmf,(7)

where \( v \) is an integer, and the coefficients /word/media/image16.wmf are rational numbers that satisfy one of the following conditions:

1. The coefficient /word/media/image17.wmf is zero.

2. The coefficient /word/media/image18.wmf is a nonzero rational number whose denominator is not divisible by the prime number \( p \) [9].

Every single rational number can be express as a single term of p-adic number. We can go further defining p-adic number and p-adic integer through p-adic series.

Definition 4.2 (p-adic number). Every p-aidc series represents a p-adic number, which is defined as a normalized p-adic series.

p-adic seris /word/media/image15.wmf is normalized if either all /word/media/image18.wmf are integers such that \( 0 ≤ ai \lt p, av \gt 0, \) or all \( ai \) are zero for all \( i \) . If all \( ai \) are zero then it is called zero series.

4.2. Zp

Definition 3.3 (p-adic integer). A p-adic integer α is defined by a sequence of integers \( xk \) that \( k ≥1 \) expressed as:

/word/media/image19.wmf.(8)

And it satisfies the condition below:

/word/media/image20.wmf.(9)

Simply speaking, each term is congruent to the previous term in the sequence modulo power of \( k \) of /word/media/image21.wmf the prime number \( p \) . Only if, two sequences \( \lbrace xk\rbrace \) and \( \lbrace yk\rbrace \) determine the same p-adic integer α if and for all \( k ≥ 1 \) : The set of all p-adic integers is denoted by \( Zp \) , and it consists of all sequences of integers satisfying these conditions. Every integer is a p-adic integer. The rational numbers in the form of \( (apk)/b \) with b coprime with p with \( k ≥ 0 \) are p-adic integers too [10].

Example 3.1. It can take p = 5. Here are several elements in \( Z5 \) :

\( α = \lbrace 36, 36, 36, ...\rbrace = \lbrace 1, 11, 36, 36, ...\rbrace , \)

\( β = \lbrace -1, -1, -1, ...\rbrace = \lbrace 4, 24, 124, ...\rbrace \) .(10)

There is another way to express a p-adic number. From the condition, /word/media/image22.wmf, it can deduce that and where \( ai \) is integer /word/media/image23.wmf, /word/media/image24.wmf, and \( 0 \lt ai \lt p - 1 \) . The sequence \( ai \) is called p-adic digits. Then it can deduce that:

/word/media/image25.wmf.(11)

For example 3.1, \( α = 36 = 1 + 2 × 5 + 1 × 52 \) , so the 5-adic digits are 1, 2, 1, 0, 0....

5. Properties of p-adic integer

5.1. Ring Zp

By the multiplication and addition, it can find that \( (Zp, ·, +) \) form a commutative ring:

\( \lbrace xk\rbrace + \lbrace yk\rbrace = \lbrace xk + yk\rbrace ;\lbrace xk\rbrace · \lbrace yk\rbrace = \lbrace xk · yk\rbrace \) ,(12)

where \( xk \) and \( yk \) are p-adic integer. Here are several proposition of commutative ring \( Zp \) [1].

Proposition 5.1.1. \( Zp \) is an integral domain, which means \( Zp \) is a nonzero commutative ring that the product of two nonzero elements in the ring is nonzero.

Proposition 5.1.2. The p-adic numbers of valuation zero are the units of \( Zp \) . A unit u of a ring means that there exists v in the ring satisfies \( uv = vu = 1 \) .

Proposition 5.1.3. Let \( α = xk ∈ Zp \) . Then

/word/media/image26.wmf,

/word/media/image27.wmf.(13)

Proposition 5.1.4. \( Rp \) is a ring and \( Z ⊂ Rp ⊂ Zp, Z ⊂ Rp ⊂ Q \) . Then \( Rp = Zp ∩ Q \) .

5.2. Field Qp

It can define a field under a fraction of p-adic integer since \( Zp \) can form a commutative ring.

/word/media/image28.wmf ,(14)

where \( Zp \) is a subring and \( Q \) is subfield.

Furthermore, it can also define a norm on the set \( Qp \) .

Definition 5. 2 .1. Let p be prime integer. It can define p-adic norm of nonzero \( x ∈ Qp \) to be;

/word/media/image29.wmf,(15)

where \( |0|p = 0 \) and \( vp \) is the valuation of \( x \) .

Here are several propositions for the p-adic norm [8].

Proposition 5.2.1. Strong triangle inequality is satisfied for each p-adic norm on \( Qp \) , meaning that for each x and y, \( |x + y|p ≤ max\lbrace |x|p,|y|p \rbrace \) .

Theorem 5.2.1. (Ostrowski’s theorem) exceptionally high absolute value standard for rational numbers Q is equivalent to a p-adic absolute value or the common real absolute value.

The idea of the theorem is that if the norm of any whole number is at least 1, then the size of any real number can be measured by raising its absolute value to some positive power. But if the size of a whole number is less than 1, then the least number n must to be the prime number p such that

/word/media/image30.wmf(16)

6. Extention of p-adic numbers

p-adic number is not only useful in number theory but also in other fields. In theoretical physics, p-adic numbers have been used to explore certain aspects of string theory and quantum mechanics. They have been proposed as a framework for understanding the non-archimedean aspects of these theories. n computer science, p-adic numbers can be used in algorithms for solving various mathematical problems, including those related to number theory and cryptography. They can also be used in computer algebra systems for symbolic mathematics.

7. Conclusion

In summary, p-adic numbers grew out of a desire to delve deeper into number theory, and they provide a unique way of measuring numerical magnitude, especially in the presence of prime numbers. This unique perspective, rich in properties and applications, enables p-adic numbers to become valuable tools in fields ranging from number theory to cryptography, providing new insights and expanding our mathematical horizons. In essence, p-adic numbers embody the evolving nature of mathematics, constantly reshaping our understanding of numerical phenomena.


References

[1]. Gouvêa FQ 1997 Universitext Springer Berlin Heidelberg

[2]. Bachman G 1964 Academic Press ISBN 0-12-070268-1

[3]. Lee B, Peter GO 2023 Physics Reports 233 1 1-66 ISSN 0370-1573.

[4]. Gouvêa, Fernando Q 1997 Springer ISBN 3-540-62911-4 Zbl 0874.11002

[5]. Harrington, Charles I 2011 Honors Theses 992

[6]. Robert A M 2000 Spri. Sci. Business Media

[7]. Katok S 2007 American Mathematical Soc.

[8]. Murty M R 2009 American Mathematical Soc.

[9]. Hazewinkel M 2009 Handbook of Algebra North Holland 6 342

[10]. Cassels JWS 1986 Cambridge University Press 3 0595 12006


Cite this article

HAO,J. (2023). The development of P-adic numbers theoretically and their use in number theory. Theoretical and Natural Science,25,73-77.

Data availability

The datasets used and/or analyzed during the current study will be available from the authors upon reasonable request.

Disclaimer/Publisher's Note

The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of EWA Publishing and/or the editor(s). EWA Publishing and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

About volume

Volume title: Proceedings of the 3rd International Conference on Computing Innovation and Applied Physics

ISBN:978-1-83558-233-6(Print) / 978-1-83558-234-3(Online)
Editor:Yazeed Ghadi
Conference website: https://www.confciap.org/
Conference date: 27 January 2024
Series: Theoretical and Natural Science
Volume number: Vol.25
ISSN:2753-8818(Print) / 2753-8826(Online)

© 2024 by the author(s). Licensee EWA Publishing, Oxford, UK. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license. Authors who publish this series agree to the following terms:
1. Authors retain copyright and grant the series right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this series.
2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the series's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this series.
3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See Open access policy for details).

References

[1]. Gouvêa FQ 1997 Universitext Springer Berlin Heidelberg

[2]. Bachman G 1964 Academic Press ISBN 0-12-070268-1

[3]. Lee B, Peter GO 2023 Physics Reports 233 1 1-66 ISSN 0370-1573.

[4]. Gouvêa, Fernando Q 1997 Springer ISBN 3-540-62911-4 Zbl 0874.11002

[5]. Harrington, Charles I 2011 Honors Theses 992

[6]. Robert A M 2000 Spri. Sci. Business Media

[7]. Katok S 2007 American Mathematical Soc.

[8]. Murty M R 2009 American Mathematical Soc.

[9]. Hazewinkel M 2009 Handbook of Algebra North Holland 6 342

[10]. Cassels JWS 1986 Cambridge University Press 3 0595 12006