P-adic number

Informal description

There are multiple ways to understand p-adic numbers.

As a base-p expansion

One way to think about p-adic integers is using "base p". For example, every integer can be written in base p,

$${\displaystyle {50}_{10}={1212}_3=1\cdot 3^3+2\cdot 3^2+1\cdot 3^1+2\cdot 3^0}$$

Informally, p-adic integers can be thought of as integers in base-p, but the digits extend infinitely to the left.

$${\displaystyle \dots {121012102}_3=\cdots +2\cdot 3^3+1\cdot 3^2+0\cdot 3^1+2\cdot 3^0}$$

Addition and multiplication on p-adic integers can be carried in a way somewhat similar to integers in base-p.

When adding together two p-adic integers (for example, ${\displaystyle \dots {012102}_3+\dots {101211}_3}$), their digits are added with carries being propagated from right to left.

$${\displaystyle \begin{array}{cccccccc}& & & {}_1& {}_1& & {}_1& \\ & \cdots & 0& 1& 2& 1& 0& 2{}_3\\ +& \cdots & 1& 0& 1& 2& 1& 1{}_3\\ & \cdots & 1& 2& 1& 0& 2& 0{}_3\end{array}}$$

Multiplication of p-adic integers works similarly via long multiplication. Since addition and multiplication can be performed with p-adic integers, they form a ring, denoted ${\displaystyle {\mathbb{Z}}_p}$ or ${\displaystyle {\mathbf{Z}}_p}$.

Note that some rational numbers can also be p-adic integers, even if they aren't integers in a real sense. For example, the rational number ${\displaystyle \frac{1}{5}}$ is a 3-adic integer with the 3-adic expansion ${\displaystyle \frac{1}{5}=\overline{1210}{2}_3}$. However, some rational numbers, such as ${\displaystyle \frac{1}{p}}$, cannot be written as a p-adic integer. Because of this, p-adic integers are generalized further to p-adic numbers:

p-adic numbers can be thought of as p-adic integers with finitely many digits after the decimal point. An example of a 3-adic number is

$${\displaystyle \dots {121012.102}_3=\cdots +1\cdot 3^1+2\cdot 3^0+1\cdot 3^{-1}+0\cdot 3^{-2}+2\cdot 3^{-3}}$$

Equivalently, every p-adic number is of the form ${\displaystyle \frac{x}{p^k}}$, where x is a p-adic integer.

For any nonzero p-adic number x, its multiplicative inverse ${\displaystyle \frac{1}{x}}$ is also a p-adic number, which can be computed using a variant of long division. For this reason, the p-adic numbers form a field, denoted ${\displaystyle {\mathbb{Q}}_p}$ or ${\displaystyle {\mathbf{Q}}_p}$.

As a sequence of residues mod pk

Another way to define p-adic integers is by representing it as a sequence of residues ${\displaystyle x_e\mathrm{mod}{p}^e}$ for each integer ${\displaystyle e}$. Here, each ${\displaystyle x_i}$ denotes an integer representative of a residue class modulo ${\displaystyle p^i}$

$${\displaystyle x=(x_1\mathrm{mod}p,x_2\mathrm{mod}{p}^2,x_3\mathrm{mod}{p}^3,\dots )}$$

satisfying the compatibility relations ${\displaystyle x_i\equiv x_j(\mathrm{mod}{p}^i)}$ for ${\displaystyle i<j}$. In this notation, addition and multiplication of p-adic integers are defined component-wise:

$${\displaystyle x+y=(x_1+y_1\mathrm{mod}p,x_2+y_2\mathrm{mod}{p}^2,x_3+y_3\mathrm{mod}{p}^3,\dots )}$$ $${\displaystyle x\cdot y=(x_1\cdot y_1\mathrm{mod}p,x_2\cdot y_2\mathrm{mod}{p}^2,x_3\cdot y_3\mathrm{mod}{p}^3,\dots )}$$

This is equivalent to the base-p definition, because the last k digits of a base-p expansion uniquely define its value mod p^k, and vice versa.

This form can also explain why some rational numbers are p-adic integers, even if they are not integers. For example, ${\displaystyle \frac{1}{5}}$ is a 3-adic integer, because its 3-adic expansion consists of the multiplicative inverses of 5 mod 3, 3², 3³, ...

$${\displaystyle \begin{array}{cc}\frac{1}{5}& =(\frac{1}{5}\mathrm{mod}3,\frac{1}{5}\mathrm{mod}{3}^2,\frac{1}{5}\mathrm{mod}{3}^3,\frac{1}{5}\mathrm{mod}{3}^4,\dots )\\ & =(2\mathrm{mod}3,2\mathrm{mod}{3}^2,11\mathrm{mod}{3}^3,65\mathrm{mod}{3}^4,\dots )\end{array}}$$

Definition

There are several equivalent definitions of p-adic numbers. The two approaches given below are relatively elementary.

As formal series in base p

A p-adic integer is often defined as a formal power series of the form $${\displaystyle r=\sum _{i=0}^{\mathrm{\infty }}{a}_i{p}^i=a_0+a_{1}p+a_2{p}^2+a_3{p}^3+\cdots }$$ where each ${\displaystyle a_i\in \{0,1,\dots ,p-1\}}$ represents a "digit in base p".

A p-adic unit is a p-adic integer whose first digit is nonzero, i.e. ${\displaystyle a_0\ne 0}$. The set of all p-adic integers is usually denoted ${\displaystyle {\mathbb{Z}}_p}$.

A p-adic number is then defined as a formal Laurent series of the form $${\displaystyle r=\sum _{i=v}^{\mathrm{\infty }}{a}_i{p}^i=a_v{p}^v+a_{v+1}{p}^{v+1}+a_{v+2}{p}^{v+2}+a_{v+3}{p}^{v+3}+\cdots }$$ where v is a (possibly negative) integer, and each ${\displaystyle a_i\in \{0,1,\dots ,p-1\}}$. Equivalently, a p-adic number is anything of the form ${\displaystyle \frac{x}{p^k}}$, where x is a p-adic integer.

The first index v for which the digit ${\displaystyle a_v}$ is nonzero in r is called the p-adic valuation of r, denoted ${\displaystyle v_p(r)}$. If ${\displaystyle r=0}$, then such an index does not exist, so by convention ${\displaystyle v_p(0)=\mathrm{\infty }}$.

In this definition, addition, subtraction, multiplication, and division of p-adic numbers are carried out similarly to numbers in base p, with "carries" or "borrows" moving from left to right rather than right to left. As an example in ${\displaystyle {\mathbb{Q}}_3}$,

$${\displaystyle \begin{array}{cccccccccc}& & & {}_1& & & & {}_1& & {}_1\\ & 2\cdot 3^0& +& 0\cdot 3^1& +& 1\cdot 3^2& +& 2\cdot 3^3& +& 1\cdot 3^4& +\cdots \\ +& 1\cdot 3^0& +& 1\cdot 3^1& +& 2\cdot 3^2& +& 1\cdot 3^3& +& 0\cdot 3^4& +\cdots \\ & 0\cdot 3^0& +& 2\cdot 3^1& +& 0\cdot 3^2& +& 1\cdot 3^3& +& 2\cdot 3^4& +\cdots \end{array}}$$

Division of p-adic numbers may also be carried out "formally" via division of formal power series, with some care about having to "carry".

With these operations, the set of p-adic numbers form a field, denoted ${\displaystyle {\mathbb{Q}}_p}$.

As equivalence classes

The p-adic numbers may also be defined as equivalence classes, in a similar way as the definition of real numbers as equivalence classes of Cauchy sequences. It is fundamentally based on the following lemma:

Every nonzero rational number r can be written $r=p^v\frac{m}{n},$ where v, m, and n are integers and neither m nor n is divisible by p.

The exponent v is uniquely determined by r and is called its p-adic valuation, denoted ${\displaystyle v_p(r)}$. The proof of the lemma results directly from the fundamental theorem of arithmetic.

A p-adic series is a formal Laurent series of the form $${\displaystyle \sum _{i=v}^{\mathrm{\infty }}{r}_i{p}^i,}$$ where ${\displaystyle v}$ is a (possibly negative) integer and the ${\displaystyle r_i}$ are rational numbers that either are zero or have a nonnegative valuation (that is, the denominator of ${\displaystyle r_i}$ is not divisible by p).

Every rational number may be viewed as a p-adic series with a single nonzero term, consisting of its factorization of the form ${\displaystyle p^k\frac{m}{n},}$ with m and n both coprime with p.

Two p-adic series $\sum _{i=v}^{\mathrm{\infty }}{r}_i{p}^i$ and $\sum _{i=w}^{\mathrm{\infty }}{s}_i{p}^i$ are equivalent if there is an integer N such that, for every integer ${\displaystyle n>N,}$ the rational number $${\displaystyle \sum _{i=v}^n{r}_i{p}^i-\sum _{i=w}^n{s}_i{p}^i}$$ is zero or has a p-adic valuation greater than n.

A p-adic series $\sum _{i=v}^{\mathrm{\infty }}{a}_i{p}^i$ is normalized if either all ${\displaystyle a_i}$ are integers such that ${\displaystyle 0\le a_i<p,}$ and ${\displaystyle a_v>0,}$ or all ${\displaystyle a_i}$ are zero. In the latter case, the series is called the zero series.

Every p-adic series is equivalent to exactly one normalized series. This normalized series is obtained by a sequence of transformations, which are equivalences of series; see § Normalization of a p-adic series, below.

In other words, the equivalence of p-adic series is an equivalence relation, and each equivalence class contains exactly one normalized p-adic series.

The usual operations of series (addition, subtraction, multiplication, division) are compatible with equivalence of p-adic series. That is, denoting the equivalence with ~, if S, T and U are nonzero p-adic series such that ${\displaystyle S\sim T,}$ one has $${\displaystyle \begin{array}{cc}S\pm U& \sim T\pm U,\\ SU& \sim TU,\\ 1/S& \sim 1/T.\end{array}}$$

With this, the p-adic numbers are defined as the equivalence classes of p-adic series.

The uniqueness property of normalization, allows uniquely representing any p-adic number by the corresponding normalized p-adic series. The compatibility of the series equivalence leads almost immediately to basic properties of p-adic numbers:

• Addition, multiplication and multiplicative inverse of p-adic numbers are defined as for formal power series, followed by the normalization of the result.
• With these operations, the p-adic numbers form a field, which is an extension field of the rational numbers.
• The valuation of a nonzero p-adic number x, commonly denoted ${\displaystyle v_p(x)}$ is the exponent of p in the first non zero term of the corresponding normalized series; the valuation of zero is ${\displaystyle v_p(0)=+\mathrm{\infty }}$
• The p-adic absolute value of a nonzero p-adic number x, is ${\displaystyle |x{|}_p=p^{-v(x)};}$ for the zero p-adic number, one has ${\displaystyle |0{|}_p=0.}$

Normalization of a p-adic series

Starting with the series $\sum _{i=v}^{\mathrm{\infty }}{r}_i{p}^i,$ we wish to arrive at an equivalent series such that the p-adic valuation of ${\displaystyle r_v}$ is zero. For that, one considers the first nonzero ${\displaystyle r_i.}$ If its p-adic valuation is zero, it suffices to change v into i, that is to start the summation from v. Otherwise, the p-adic valuation of ${\displaystyle r_i}$ is ${\displaystyle j>0,}$ and ${\displaystyle r_i=p^j{s}_i}$ where the valuation of ${\displaystyle s_i}$ is zero; so, one gets an equivalent series by changing ${\displaystyle r_i}$ to 0 and ${\displaystyle r_{i+j}}$ to ${\displaystyle r_{i+j}+s_i.}$ Iterating this process, one gets eventually, possibly after infinitely many steps, an equivalent series that either is the zero series or is a series such that the valuation of ${\displaystyle r_v}$ is zero.

Then, if the series is not normalized, consider the first nonzero ${\displaystyle r_i}$ that is not an integer in the interval ${\displaystyle [0,p-1].}$ Using Bézout's lemma, write this as ${\displaystyle r_i=a_i+p{s}_i}$, where ${\displaystyle a_i\in [0,p-1]}$ and ${\displaystyle s_i}$ has nonnegative valuation. Then, one gets an equivalent series by replacing ${\displaystyle r_i}$ with ${\displaystyle a_i,}$ and adding ${\displaystyle s_i}$ to ${\displaystyle r_{i+1}.}$ Iterating this process, possibly infinitely many times, provides eventually the desired normalized p-adic series.

Other equivalent definitions

Other equivalent definitions use completion of a discrete valuation ring (see § p-adic integers), completion of a metric space (see § Topological properties), or inverse limits (see § Modular properties).

A p-adic number can be defined as a normalized p-adic series. Since there are other equivalent definitions that are commonly used, one says often that a normalized p-adic series represents a p-adic number, instead of saying that it is a p-adic number.

One can say also that any p-adic series represents a p-adic number, since every p-adic series is equivalent to a unique normalized p-adic series. This is useful for defining operations (addition, subtraction, multiplication, division) of p-adic numbers: the result of such an operation is obtained by normalizing the result of the corresponding operation on series. This well defines operations on p-adic numbers, since the series operations are compatible with equivalence of p-adic series.

With these operations, p-adic numbers form a field called the field of p-adic numbers and denoted ${\displaystyle {\mathbb{Q}}_p}$ or ${\displaystyle {\mathbf{Q}}_p.}$ There is a unique field homomorphism from the rational numbers into the p-adic numbers, which maps a rational number to its p-adic expansion. The image of this homomorphism is commonly identified with the field of rational numbers. This allows considering the p-adic numbers as an extension field of the rational numbers, and the rational numbers as a subfield of the p-adic numbers.

The valuation of a nonzero p-adic number x, commonly denoted ${\displaystyle v_p(x),}$ is the exponent of p in the first nonzero term of every p-adic series that represents x. By convention, ${\displaystyle v_p(0)=\mathrm{\infty };}$ that is, the valuation of zero is ${\displaystyle \mathrm{\infty }.}$ This valuation is a discrete valuation. The restriction of this valuation to the rational numbers is the p-adic valuation of ${\displaystyle \mathbb{Q},}$ that is, the exponent v in the factorization of a rational number as ${\displaystyle \frac{n}{d}{p}^v,}$ with both n and d coprime with p.

Notation

There are several different conventions for writing p-adic expansions. So far this article has used a notation for p-adic expansions in which powers of p increase from right to left. With this right-to-left notation the 3-adic expansion of ${\displaystyle \frac{1}{5},}$ for example, is written as $${\displaystyle \frac{1}{5}=\dots {121012102}_3.}$$

When performing arithmetic in this notation, digits are carried to the left. It is also possible to write p-adic expansions so that the powers of p increase from left to right, and digits are carried to the right. With this left-to-right notation the 3-adic expansion of ${\displaystyle \frac{1}{5}}$ is $${\displaystyle \frac{1}{5}=2.01210121\dots {}_3\text{ or }\frac{1}{15}=20.1210121\dots {}_3.}$$

p-adic expansions may be written with other sets of digits instead of {0, 1, ..., p − 1}. For example, the 3-adic expansion of ${\displaystyle \frac{1}{5}}$ can be written using balanced ternary digits {1, 0, 1}, with 1 representing negative one, as $${\displaystyle \frac{1}{5}=\dots \underset{\_}{1}11\underset{\_}{11}11\underset{\_}{11}11{\underset{\_}{1}}_{\text{3}}.}$$

In fact any set of p integers which are in distinct residue classes modulo p may be used as p-adic digits. In number theory, Teichmüller representatives are sometimes used as digits.

Quote notation is a variant of the p-adic representation of rational numbers that was proposed in 1979 by Eric Hehner and Nigel Horspool for implementing on computers the (exact) arithmetic with these numbers. It can be used as a compact way to represent rational numbers, which have an infinite periodic sequence of digits. In this notation, a quote mark (') is used to separate the repeating part from the nonrepeating part. $${\displaystyle \frac{1}{5}=1210{}^{\prime }{2}_3}$$

p-adic expansion of rational numbers

The decimal expansion of a positive rational number ${\displaystyle r}$ is its representation as a series $${\displaystyle r=\sum _{i=k}^{\mathrm{\infty }}{a}_i{10}^{-i},}$$ where ${\displaystyle k}$ is an integer and each ${\displaystyle a_i}$ is also an integer such that ${\displaystyle 0\le a_i<10.}$ This expansion can be computed by long division of the numerator by the denominator, which is itself based on the following theorem: If ${\displaystyle r=\frac{n}{d}}$ is a rational number such that ${\displaystyle 0\le r<1,}$ there is an integer ${\displaystyle a}$ such that ${\displaystyle 0\le a<10,}$ and ${\displaystyle 10r=a+r^{\prime },}$ with ${\displaystyle 0\le r^{\prime }<1.}$ The decimal expansion is obtained by repeatedly applying this result to the remainder ${\displaystyle r^{\prime }}$ which in the iteration assumes the role of the original rational number ${\displaystyle r}$.

The p-adic expansion of a rational number can be computed similarly, but with a different division step. Suppose that ${\displaystyle r=\frac{n}{d}}$ is a rational number with nonnegative valuation (that is, d is not divisible by p). The division step consists of writing $${\displaystyle r=a+p{r}^{\prime }}$$ where ${\displaystyle a}$ is an integer such that ${\displaystyle 0\le a<p,}$ and ${\displaystyle r^{\prime }}$ has nonnegative valuation.

The integer a can be computed as a modular multiplicative inverse: ${\displaystyle a=n{d}^{-1}\mathrm{mod}p}$. Because of this, writing r in this way is always possible, and such a representation is unique.

The p-adic expansion of a rational number is eventually periodic. Conversely, a series $\sum _{i=k}^{\mathrm{\infty }}{a}_i{p}^i,$ with ${\displaystyle 0\le a_i<p}$ converges (for the p-adic absolute value) to a rational number if and only if it is eventually periodic; in this case, the series is the p-adic expansion of that rational number. The proof is similar to that of the similar result for repeating decimals.

Example

Let us compute the 5-adic expansion of ${\displaystyle \frac{1}{3}.}$ We can write this number as ${\displaystyle \frac{1}{3}=2+5\cdot \frac{-1}{3}}$. Thus we use ${\displaystyle a=2}$ for the first step. $${\displaystyle \frac{1}{3}=2+5^1\cdot \left(\frac{-1}{3}\right)}$$ For the next step, we can write the "remainder" ${\displaystyle \frac{-1}{3}}$ as ${\displaystyle \frac{-1}{3}=3+5\cdot \frac{-2}{3}}$. Thus we use ${\displaystyle a=3}$. $${\displaystyle \frac{1}{3}=2+3\cdot 5^1+5^2\cdot \left(\frac{-2}{3}\right)}$$ We can write the "remainder" ${\displaystyle \frac{-2}{3}}$ as ${\displaystyle \frac{-2}{3}=1+5\cdot \frac{-1}{3}}$. Thus we use ${\displaystyle a=1}$. $${\displaystyle \frac{1}{3}=2+3\cdot 5^1+1\cdot 5^2+5^3\cdot \left(\frac{-1}{3}\right)}$$ Notice that we obtain the "remainder" ${\displaystyle \frac{-1}{3}}$ again, which means the digits can only repeat from this point on. $${\displaystyle \frac{1}{3}=2+3\cdot 5^1+1\cdot 5^2+3\cdot 5^3+1\cdot 5^4+3\cdot 5^5+1\cdot 5^6+\cdots }$$ In the standard 5-adic notation, we can write this as $${\displaystyle \frac{1}{3}=\dots {1313132}_5}$$ with the ellipsis ${\displaystyle \dots }$ on the left hand side.

p-adic integers

The p-adic integers are the p-adic numbers with a nonnegative valuation.

A ${\displaystyle p}$-adic integer can be represented as a sequence $${\displaystyle x=(x_1\mathrm{mod}p,x_2\mathrm{mod}{p}^2,x_3\mathrm{mod}{p}^3,\dots )}$$ of residues ${\displaystyle x_e}$ mod ${\displaystyle p^e}$ for each integer ${\displaystyle e}$, satisfying the compatibility relations ${\displaystyle x_i\equiv x_j(\mathrm{mod}{p}^i)}$ for ${\displaystyle i<j}$.

Every integer is a ${\displaystyle p}$-adic integer (including zero, since ${\displaystyle 0<\mathrm{\infty }}$). The rational numbers of the form $\frac{n}{d}{p}^k$ with ${\displaystyle d}$ coprime with ${\displaystyle p}$ and ${\displaystyle k\ge 0}$ are also ${\displaystyle p}$-adic integers (for the reason that ${\displaystyle d}$ has an inverse mod ${\displaystyle p^e}$ for every ${\displaystyle e}$).

The p-adic integers form a commutative ring, denoted ${\displaystyle {\mathbb{Z}}_p}$ or ${\displaystyle {\mathbf{Z}}_p}$, that has the following properties.

• It is an integral domain, since it is a subring of a field, or since the first term of the series representation of the product of two non zero p-adic series is the product of their first terms.
• The units (invertible elements) of ${\displaystyle {\mathbb{Z}}_p}$ are the p-adic numbers of valuation zero.
• It is a principal ideal domain, such that each ideal is generated by a power of p.
• It is a local ring of Krull dimension one, since its only prime ideals are the zero ideal and the ideal generated by p, the unique maximal ideal.
• It is a discrete valuation ring, since this results from the preceding properties.
• It is the completion of the local ring ${\displaystyle {\mathbb{Z}}_{(p)}=\{\frac{n}{d}|n,d\in \mathbb{Z},d\notin p\mathbb{Z}\},}$ which is the localization of ${\displaystyle \mathbb{Z}}$ at the prime ideal ${\displaystyle p\mathbb{Z}.}$

The last property provides a definition of the p-adic numbers that is equivalent to the above one: the field of the p-adic numbers is the field of fractions of the completion of the localization of the integers at the prime ideal generated by p.

Topological properties

The p-adic valuation allows defining an absolute value on p-adic numbers: the p-adic absolute value of a nonzero p-adic number x is $${\displaystyle |x{|}_p=p^{-v_p(x)},}$$ where ${\displaystyle v_p(x)}$ is the p-adic valuation of x. The p-adic absolute value of ${\displaystyle 0}$ is ${\displaystyle |0{|}_p=0.}$ This is an absolute value that satisfies the strong triangle inequality since, for every x and y:

• ${\displaystyle |x{|}_p=0}$ if and only if ${\displaystyle x=0;}$
• ${\displaystyle |x{|}_p\cdot |y{|}_p=|xy{|}_p;}$
• ${\displaystyle |x+y{|}_p\le max\{|x{|}_p,|y{|}_p\}\le |x{|}_p+|y{|}_p.}$

Moreover, if ${\displaystyle |x{|}_p\ne |y{|}_p,}$ then ${\displaystyle |x+y{|}_p=max(|x{|}_p,|y{|}_p).}$

This makes the p-adic numbers a metric space, and even an ultrametric space, with the p-adic distance defined by ${\displaystyle d_p(x,y)=|x-y{|}_p.}$

As a metric space, the p-adic numbers form the completion of the rational numbers equipped with the p-adic absolute value. This provides another way for defining the p-adic numbers.

As the metric is defined from a discrete valuation, every open ball is also closed. More precisely, the open ball ${\displaystyle B_r(x)=\{y\mid d_p(x,y)<r\}}$ equals the closed ball ${\displaystyle B_{p^{-v}}[x]=\{y\mid d_p(x,y)\le p^{-v}\},}$ where v is the least integer such that ${\displaystyle p^{-v}<r.}$ Similarly, ${\displaystyle B_r[x]=B_{p^{-w}}(x),}$ where w is the greatest integer such that ${\displaystyle p^{-w}>r.}$

This implies that the p-adic numbers ${\displaystyle {\mathbb{Q}}_p}$ form a locally compact space (locally compact field), and the p-adic integers ${\displaystyle {\mathbb{Z}}_p}$—that is, the ball ${\displaystyle B_1[0]=B_p(0)}$—form a compact space.

The space of 2-adic integers ${\displaystyle {\mathbb{Z}}_2}$ is homeomorphic to the Cantor set ${\displaystyle \mathcal{C}}$. This can be seen by considering the continuous 1-to-1 mapping ${\displaystyle \psi :{\mathbb{Z}}_2\to \mathcal{C}}$ defined by $${\displaystyle \psi :a_0+a_{1}2+a_2{2}^2+a_3{2}^3+\cdots ⟼\frac{2a_0}{3}+\frac{2a_1}{3^2}+\frac{2a_2}{3^3}+\frac{2a_3}{3^4}+\cdots }$$ Moreover, for any p, ${\displaystyle {\mathbb{Z}}_p}$ is homeomorphic to ${\displaystyle {\mathbb{Z}}_2}$, and therefore also homeomorphic to the Cantor set.

The Pontryagin dual of the group of p-adic integers is the Prüfer p-group ${\displaystyle \mathbb{Z}(p^{\mathrm{\infty }})}$, and the Pontryagin dual of the Prüfer p-group is the group of p-adic integers.

Modular properties

The quotient ring ${\displaystyle {\mathbb{Z}}_p/p^n{\mathbb{Z}}_p}$ may be identified with the ring ${\displaystyle \mathbb{Z}/p^n\mathbb{Z}}$ of the integers modulo ${\displaystyle p^n.}$ This can be shown by remarking that every p-adic integer, represented by its normalized p-adic series, is congruent modulo ${\displaystyle p^n}$ with its partial sum $\sum _{i=0}^{n-1}{a}_i{p}^i,$ whose value is an integer in the interval ${\displaystyle [0,p^n-1].}$ A straightforward verification shows that this defines a ring isomorphism from ${\displaystyle {\mathbb{Z}}_p/p^n{\mathbb{Z}}_p}$ to ${\displaystyle \mathbb{Z}/p^n\mathbb{Z}.}$

The inverse limit of the rings ${\displaystyle {\mathbb{Z}}_p/p^n{\mathbb{Z}}_p}$ is defined as the ring formed by the sequences ${\displaystyle a_0,a_1,\dots }$ such that ${\displaystyle a_i\in \mathbb{Z}/p^i\mathbb{Z}}$ and $a_i\equiv a_{i+1}(\mathrm{mod}{p}^i)$ for every i.

The mapping that maps a normalized p-adic series to the sequence of its partial sums is a ring isomorphism from ${\displaystyle {\mathbb{Z}}_p}$ to the inverse limit of the ${\displaystyle {\mathbb{Z}}_p/p^n{\mathbb{Z}}_p.}$ This provides another way for defining p-adic integers (up to an isomorphism).

This definition of p-adic integers is specially useful for practical computations, as allowing building p-adic integers by successive approximations.

For example, for computing the p-adic (multiplicative) inverse of an integer, one can use Newton's method, starting from the inverse modulo p; then, each Newton step computes the inverse modulo $p^{n^2}$ from the inverse modulo $p^n.$

The same method can be used for computing the p-adic square root of an integer that is a quadratic residue modulo p. This seems to be the fastest known method for testing whether a large integer is a square: it suffices to test whether the given integer is the square of the value found in ${\displaystyle {\mathbb{Z}}_p/p^n{\mathbb{Z}}_p}$. Applying Newton's method to find the square root requires $p^n$ to be larger than twice the given integer, which is quickly satisfied.

Hensel lifting is a similar method that allows to "lift" the factorization modulo p of a polynomial with integer coefficients to a factorization modulo $p^n$ for large values of n. This is commonly used by polynomial factorization algorithms.

Cardinality

Both ${\displaystyle {\mathbb{Z}}_p}$ and ${\displaystyle {\mathbb{Q}}_p}$ are uncountable and have the cardinality of the continuum. For ${\displaystyle {\mathbb{Z}}_p,}$ this results from the p-adic representation, which defines a bijection of ${\displaystyle {\mathbb{Z}}_p}$ on the power set ${\displaystyle \{0,\dots ,p-1{\}}^{\mathbb{N}}.}$ For ${\displaystyle {\mathbb{Q}}_p}$ this results from its expression as a countably infinite union of copies of ${\displaystyle {\mathbb{Z}}_p}$: $${\displaystyle {\mathbb{Q}}_p=\bigcup _{i=0}^{\mathrm{\infty }}\frac{1}{p^i}{\mathbb{Z}}_p.}$$

Algebraic closure

The field ${\displaystyle {\mathbb{Q}}_p}$ contains ${\displaystyle \mathbb{Q}}$ and is a field of characteristic 0.

Because 0 can be written as sum of squares, ${\displaystyle {\mathbb{Q}}_p}$ cannot be turned into an ordered field.

The field of real numbers ${\displaystyle \mathbb{R}}$ has only a single proper algebraic extension: the complex numbers ${\displaystyle \mathbb{C}}$. In other words, this quadratic extension is already algebraically closed. By contrast, the algebraic closure of ${\displaystyle {\mathbb{Q}}_p}$, denoted ${\displaystyle \overline{{\mathbb{Q}}_p},}$ has infinite degree, that is, ${\displaystyle {\mathbb{Q}}_p}$ has infinitely many inequivalent algebraic extensions. Also contrasting the case of real numbers, although there is a unique extension of the p-adic valuation to ${\displaystyle \overline{{\mathbb{Q}}_p},}$ the latter is not (metrically) complete.

Its (metric) completion is denoted ${\displaystyle {\mathbb{C}}_p}$ or ${\displaystyle {\mathrm{\Omega }}_p}$, and sometimes called the complex p-adic numbers by analogy to the complex numbers. The field ${\displaystyle {\mathbb{C}}_p}$ is algebraically closed. However, unlike ${\displaystyle \mathbb{C}}$, this field is not locally compact.

The fields ${\displaystyle {\mathbb{C}}_p}$ and ${\displaystyle \mathbb{C}}$ are isomorphic, so we may regard ${\displaystyle {\mathbb{C}}_p}$ as ${\displaystyle \mathbb{C}}$ endowed with an exotic metric. The proof of existence of such a field isomorphism relies on the axiom of choice, and does not provide an explicit example of such an isomorphism (that is, it is not constructive).

If ${\displaystyle K}$ is any finite Galois extension of ${\displaystyle {\mathbb{Q}}_p,}$ the Galois group ${\displaystyle \mathrm{Gal}\left(K/{\mathbb{Q}}_p\right)}$ is solvable. Thus, the absolute Galois group ${\displaystyle \mathrm{Gal}(\overline{{\mathbb{Q}}_p}/{\mathbb{Q}}_p)}$ is prosolvable.

Multiplicative group

The unit group ${\displaystyle {\mathbb{Z}}_p^{\times }}$ is contained in the multiplicative group ${\displaystyle {\mathbb{Q}}_p^{\times }={\mathbb{Q}}_p-\{0\}}$. They have the same torsion subgroup (subgroup of elements of finite order). Hensel's lemma implies that the torsion subgroup of ${\displaystyle {\mathbb{Z}}_p^{\times }}$ maps surjectively to ${\displaystyle {\mathbb{F}}_p^{\times }}$. The kernel is ${\displaystyle \{1\}}$ when ${\displaystyle p>2}$ and ${\displaystyle \{\pm 1\}}$ when ${\displaystyle p=2}$. In particular, the torsion subgroup of ${\displaystyle {\mathbb{Q}}_p^{\times }}$ is cyclic of order ${\displaystyle p-1}$ when ${\displaystyle p>2}$, and equals ${\displaystyle \{\pm 1\}}$ when ${\displaystyle p=2}$. Therefore, for n > 2, the field ${\displaystyle {\mathbb{Q}}_p}$ contains the nth cyclotomic field if and only if n | p − 1.

Given a natural number k, let ${\displaystyle {\mathbb{Q}}_p^{\times k}}$ be the group of kth powers of elements of ${\displaystyle {\mathbb{Q}}_p^{\times }}$; then the index ${\displaystyle ({\mathbb{Q}}_p^{\times }:{\mathbb{Q}}_p^{\times k})}$ is finite.

Local–global principle

Helmut Hasse's local–global principle is said to hold for an equation if it can be solved over the rational numbers if and only if it can be solved over the real numbers and over the p-adic numbers for every prime p. This principle holds, for example, for equations given by quadratic forms, but fails for higher polynomials in several indeterminates.

Rational arithmetic with Hensel lifting

Applications

The p-adic numbers have appeared in several fields of mathematics as well as physics.

Analysis

Similar to the more classical fields of real and complex analysis, which deal, respectively, with functions on the real and complex numbers, p-adic analysis studies functions on p-adic numbers. The theory of complex-valued numerical functions on the p-adic numbers is part of the theory of locally compact groups (abstract harmonic analysis). The usual meaning taken for p-adic analysis is the theory of p-adic-valued functions on spaces of interest.

Applications of p-adic analysis have mainly been in number theory, where it has a significant role in diophantine geometry and diophantine approximation. Some applications have required the development of p-adic functional analysis and spectral theory. In many ways p-adic analysis is less subtle than classical analysis, since the ultrametric inequality means, for example, that convergence of infinite series of p-adic numbers is much simpler. Topological vector spaces over p-adic fields show distinctive features; for example aspects relating to convexity and the Hahn–Banach theorem are different.

Two important concepts from p-adic analysis are Mahler's theorem, which characterizes every continuous p-adic function in terms of polynomials, and the Volkenborn integral, which provides a method of integration for p-adic functions.

Hodge theory

p-adic Hodge theory is a theory that provides a way to classify and study p-adic Galois representations of characteristic 0 local fields with residual characteristic p (such as Q_p). The theory has its beginnings in Jean-Pierre Serre and John Tate's study of Tate modules of abelian varieties and the notion of Hodge–Tate representation. Hodge–Tate representations are related to certain decompositions of p-adic cohomology theories analogous to the Hodge decomposition, hence the name p-adic Hodge theory. Further developments were inspired by properties of p-adic Galois representations arising from the étale cohomology of varieties. Jean-Marc Fontaine introduced many of the basic concepts of the field.

Teichmüller theory

p-adic Teichmüller theory describes the "uniformization" of p-adic curves and their moduli, generalizing the usual Teichmüller theory that describes the uniformization of Riemann surfaces and their moduli. It was introduced and developed by Shinichi Mochizuki.

Quantum physics

p-adic quantum mechanics is a collection of related research efforts in quantum physics that replace real numbers with p-adic numbers. Historically, this research was inspired by the discovery that the Veneziano amplitude of the open bosonic string, which is calculated using an integral over the real numbers, can be generalized to the p-adic numbers. This observation initiated the study of p-adic string theory.

Generalizations and related concepts

The reals and the p-adic numbers are the completions of the rationals; it is also possible to complete other fields, for instance general algebraic number fields, in an analogous way. This will be described now.

Suppose D is a Dedekind domain and E is its field of fractions. Pick a non-zero prime ideal P of D. If x is a non-zero element of E, then xD is a fractional ideal and can be uniquely factored as a product of positive and negative powers of non-zero prime ideals of D. Therefore, writing ord_P(x) for the exponent of P in this factorization gives a well-defined discrete valuation, and for any choice of number c greater than 1 we can set $${\displaystyle |x{|}_P=c^{-{\mathrm{ord}}_P(x)}.}$$ Completing with respect to this absolute value |⋅|_P yields a field E_P, the proper generalization of the field of p-adic numbers to this setting. The choice of c does not change the completion (different choices yield the same concept of Cauchy sequence, so the same completion). It is convenient, when the residue field D/P is finite, to take for c the size of D/P.

For example, when E is a number field and D is its ring of integers, Ostrowski's theorem says that every non-trivial non-Archimedean absolute value on E arises as some |⋅|_P. The remaining non-trivial absolute values on E arise from the different embeddings of E into the real or complex numbers. (In fact, the non-Archimedean absolute values can be considered as simply the different embeddings of E into the fields C_p, thus putting the description of all the non-trivial absolute values of a number field on a common footing.)

Often, one needs to simultaneously keep track of all the above-mentioned completions when E is a number field (or more generally a global field), which are seen as encoding "local" information. This is accomplished by adele rings and idele groups.

p-adic integers can be extended to p-adic solenoids ${\displaystyle {\mathbb{T}}_p}$. There is a map from ${\displaystyle {\mathbb{T}}_p}$ to the circle group whose fibers are the p-adic integers ${\displaystyle {\mathbb{Z}}_p}$, in analogy to how there is a map from ${\displaystyle \mathbb{R}}$ to the circle whose fibers are ${\displaystyle \mathbb{Z}}$.

The p-adic integers can also be extended to profinite integers ${\displaystyle \hat{\mathbb{Z}}}$, which can be understood as the direct product of rings $${\displaystyle \hat{\mathbb{Z}}=\prod _p{\mathbb{Z}}_p.}$$ Unlike the p-adic integers which only generalize the modulo over prime powers p^k, the profinite integers generalizes the modulo over all natural numbers n. The Chinese remainder theorem likewise implies a structure of ${\displaystyle {\mathbb{Z}}_n}$ for composite bases: for any n which has at least two distinct prime factors, the n-adic integer ring ${\displaystyle {\mathbb{Z}}_n}$ is isomorphic to ${\displaystyle \prod _{p|n}{\mathbb{Z}}_p}$.