For every prime number , the p -adic numbers form an expansion field of the field of rational numbers ; they were first described by Kurt Hensel in 1897 . These fields are used to solve problems in number theory , often using the local-global principle of Helmut Hasse , which - to put it simply - says that an equation can be solved over the rational numbers if and only if it is over the real numbers and can be solved over all (which is not so generally true, for the exact meaning see there). As a metric space is complete and thus allows the development of a -adic analysis analogous to real analysis . ${\ displaystyle p}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle \ mathbb {Q}}$ ${\ displaystyle \ mathbb {R}}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle \ mathbb {Q} _ {p}}$ ${\ displaystyle p}$

## motivation

If a fixed prime number, then every integer can be in an -adic expansion of the form ${\ displaystyle p}$${\ displaystyle p}$

${\ displaystyle \ pm \ sum _ {i = 0} ^ {n} a_ {i} \ cdot p ^ {i}}$

(it is said that the number is written down as the base , see also the place value system ), with the digits off . For example, the 2-adic expansion is precisely the binary representation; for example one writes: ${\ displaystyle p}$${\ displaystyle p}$${\ displaystyle a_ {i}}$${\ displaystyle \ {0,1, \ dotsc, p-1 \}}$

${\ displaystyle 35 = 1 \ cdot 2 ^ {5} +0 \ cdot 2 ^ {4} +0 \ cdot 2 ^ {3} +0 \ cdot 2 ^ {2} +1 \ cdot 2 ^ {1} + 1 \ cdot 2 ^ {0} = 100011_ {2}}$

The well-known generalization of this description to larger sets of numbers (rational and real) is the generalization to infinite sums at the lower end, i.e. H. of the following form:

${\ displaystyle \ pm \ sum _ {i = - \ infty} ^ {n} a_ {i} \ cdot p ^ {i}}$

These series are convergent with respect to the ordinary absolute value. For example, the 5-adic representation is from to the base . In this system, the integers are exactly those that hold true for everyone . ${\ displaystyle 0 {,} {\ overline {13}} _ {5} = 0 {,} 131313 \ dots _ {5}}$${\ displaystyle {\ tfrac {1} {3}}}$${\ displaystyle b = 5}$${\ displaystyle a_ {i} = 0}$${\ displaystyle i <0}$

But one can also define a concept of convergence in which the sums at the other end are extended to infinity, and so rows of form

 ${\ displaystyle \ sum _ {i = k} ^ {\ infty} a_ {i} \ cdot p ^ {i}}$ (1)

where is any integer. In this way we get the field of -adic numbers (as opposed to the (real) numbers that are represented in an (ordinary) -adic place value system). Those -adic numbers that hold for all are called whole -adic numbers. Analogous to the usual -adic expansion , one can write this series as a sequence of digits (infinitely continued to the left): ${\ displaystyle k}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle p}$${\ displaystyle b}$${\ displaystyle p}$${\ displaystyle a_ {i} = 0}$${\ displaystyle i <0}$${\ displaystyle p}$${\ displaystyle p}$

${\ displaystyle \ dotsb +2 \ cdot 5 ^ {4} +3 \ cdot 5 ^ {3} +2 \ cdot 5 ^ {2} +3 \ cdot 5 ^ {1} +2 \ cdot 5 ^ {0} +3 \ cdot 5 ^ {- 1} = \ dotso 23232 {,} 3_ {5} = {\ overline {2, \! 3}} _ {5}}$
comment
The convention of putting the ellipses on the left side reflects the reading direction, but has the advantage that finite symbol sequences, which have the same meaning in both cases, do not differ in the notation.

The usual -adic expansion thus consists of sums that continue to the right with ever smaller (negative) powers of , and the -adic numbers have developments that continue to the left with ever larger -potencies. ${\ displaystyle p}$${\ displaystyle p}$${\ displaystyle p}$${\ displaystyle p}$

With these formal Laurent series in one can calculate like with the usual -adic expansions of real numbers: addition from right to left with carryover, multiplication according to the school method. You just have to note that carryovers can continue into infinity, for example adding and gives the number . A sign is not needed because all additive inversesthere are no negative numbers  - have an -adic representation (1) . ${\ displaystyle p}$${\ displaystyle p}$${\ displaystyle {\ overline {4}} _ {5} = \ dotso 44444_ {5}}$${\ displaystyle 1_ {5}}$${\ displaystyle 0_ {5}}$${\ displaystyle p}$

Furthermore, the subtraction can be carried out according to the school method from right to left, possibly with an infinitely often occurring return carryover (try it with ).${\ displaystyle 0_ {5} -1_ {5} = \ dots 444_ {5} = {\ overline {4}} _ {5}}$

In contrast to the school method, the division is also carried out from right to left, so the result is continued to the left if the division does not work.

The question remains whether these series make sense at all; H. whether they converge in any sense. Two solutions for this are now presented.

## construction

### Analytical construction

The real numbers can be constructed as the completion of the rational numbers, whereby they are understood as equivalence classes of rational Cauchy sequences . This allows us, for example, to write the number as or as , since in is true. ${\ displaystyle 1}$${\ displaystyle 1 {,} 00 \ dotso}$${\ displaystyle 0 {,} 99 \ dotso}$${\ displaystyle 0 {,} {\ overline {9}} = 1}$${\ displaystyle \ mathbb {R}}$

However, the definition of a Cauchy sequence already depends on the metric used , and for a metric other than the usual Euclidean ( Archimedean ) metric that is generated from the absolute value, other completions result instead of the real numbers.

For a fixed prime the defining p -adischen amount to : Any rational number can be in the form of writing with a uniquely determined integer and two natural numbers and both not divisible. The -adic amount is then defined as ${\ displaystyle p}$${\ displaystyle \ mathbb {Q}}$${\ displaystyle x \ neq 0}$${\ displaystyle x = \ pm {\ tfrac {a} {b}} \; p ^ {n}}$${\ displaystyle n}$${\ displaystyle a}$${\ displaystyle b}$${\ displaystyle p}$${\ displaystyle p}$

${\ displaystyle | x | _ {p} \,: = p ^ {- n}}$and .${\ displaystyle | 0 | _ {p} \,: = 0}$

This is a non-Archimedean amount .

For example : ${\ displaystyle x = {\ tfrac {63} {550}} = 2 ^ {- 1} \ times 3 ^ {2} \ times 5 ^ {- 2} \ times 7 \ times 11 ^ {- 1}}$

${\ displaystyle | x | _ {2} = 2, | x | _ {3} = {\ tfrac {1} {9}}, | x | _ {5} = 25, | x | _ {7} = {\ tfrac {1} {7}}, | x | _ {11} = 11}$
${\ displaystyle | x | _ {p} = 1}$ for any other prime number ${\ displaystyle p}$

In the sense of this amount , large powers are small in terms of amount . This defines a discrete evaluation ring on the -adic numbers . ${\ displaystyle | x | _ {p}}$${\ displaystyle p}$${\ displaystyle p}$

#### Exponent evaluation

It is often convenient (and common practice in the literature) to introduce a different notation for non-Archimedean evaluations. Instead of the absolute value , one chooses the exponent . The definition relations of the evaluation are as follows in the exponents: ${\ displaystyle | x | _ {p}}$ ${\ displaystyle w (x): = - \ log | x | _ {p}}$

1. ${\ displaystyle w (x) \ in \ mathbb {R}}$for .${\ displaystyle x \ in \ mathbb {Q} ^ {\ times}}$
2. ${\ displaystyle w (0) = \ infty}$.
3. ${\ displaystyle w (x \ cdot y) = w (x) + w (y)}$.
4. ${\ displaystyle w (x + y) \ geq \ min (w (x), w (y))}$ .

One speaks of an exponent weighting , sometimes also p- weighting , and of an exponentially weighted ring or body. The transition to the exponents is made possible by the fact that, due to the tightened triangle inequality, the values do not need to be added. The formation of the logarithms reverses the order and transforms the multiplication into an addition. ${\ displaystyle | x | _ {p}}$

Often one normalizes so that is for the prime element . ${\ displaystyle w (p) = 1}$${\ displaystyle p}$

The p -adic metric on is defined by the amount: ${\ displaystyle d_ {p}}$${\ displaystyle \ mathbb {Q}}$

${\ displaystyle d_ {p} (x, y) = | xy | _ {p}}$

Thus, for example, the sequence in is a zero sequence with regard to the 5-adic metric, whereas the sequence is restricted, but not a Cauchy sequence, because the following applies to each : ${\ displaystyle (1,5,5 ^ {2}, 5 ^ {3}, 5 ^ {4}, \ dotsc)}$${\ displaystyle \ mathbb {Q}}$${\ displaystyle (1, {\ tfrac {1} {2}}, {\ tfrac {1} {4}}, {\ tfrac {1} {8}}, \ dotsc)}$${\ displaystyle n}$

${\ displaystyle d_ {5} \ left ({\ tfrac {1} {2 ^ {n}}}, {\ tfrac {1} {2 ^ {n + 1}}} \ right) = \ left | {\ tfrac {1} {2 ^ {n + 1}}} \ right | _ {5} = 1}$

The completion of the metric space is the metric space of the -adic numbers. It consists of equivalence classes of Cauchy sequences, with two Cauchy sequences being equivalent if the sequence of their pointwise -adic distances is a null sequence . In this way one obtains a complete metric space, which is also contained (through the well-defined component-wise linkages of the Cauchy sequence equivalence classes) . ${\ displaystyle (\ mathbb {Q}, d_ {p})}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle p}$${\ displaystyle p}$${\ displaystyle \ mathbb {Q}}$

Since the metric defined in this way is an ultrametric , series already converge when the summands form a zero sequence. In this body, then, are the series of forms mentioned above

${\ displaystyle \ sum _ {i = k} ^ {\ infty} a_ {i} \ cdot p ^ {i}}$

instantly recognizable as a convergent, if an integer and in lying. One can show that each element of exactly one such series can be represented as a limit value . ${\ displaystyle k}$${\ displaystyle a_ {i}}$${\ displaystyle \ {0,1, \ dotsc, p-1 \}}$${\ displaystyle \ mathbb {Q} _ {p} ^ {*}}$${\ displaystyle a_ {k} \ neq 0}$

### Algebraic construction

Here the ring of whole -adic numbers is defined first, and then its quotient field .${\ displaystyle \ mathbb {Z} _ {p}}$${\ displaystyle p}$ ${\ displaystyle \ mathbb {Q} _ {p}}$

We define a projective Limes${\ displaystyle \ mathbb {Z} _ {p}}$

${\ displaystyle \ mathbb {Z} _ {p} = \ varprojlim _ {n \ in \ mathbb {N}} \ mathbb {Z} / p ^ {n} \ mathbb {Z}}$

of the remainder class rings : An integer -adic number is a sequence of remainder classes that meet the compatibility condition (of the projective limit) ${\ displaystyle \ mathbb {Z} / p ^ {n} \ mathbb {Z}}$${\ displaystyle p}$${\ displaystyle \ textstyle \ left (b_ {n} + p ^ {n} \ mathbb {Z} \ right) _ {n \ in \ mathbb {N}}}$${\ displaystyle \ mathbb {Z} / p ^ {n} \ mathbb {Z}}$

${\ displaystyle m \ geq n \ geq 1 \; \ Rightarrow \; b_ {m} \ equiv b_ {n} {\ bmod {p}} ^ {n}}$

fulfill. For every integer the (stationary) sequence is an element of . Is in this way in embedded , then is sealed in .${\ displaystyle m \ in \ mathbb {Z}}$${\ displaystyle \ textstyle \ left (m + p ^ {n} \ mathbb {Z} \ right) _ {n \ in \ mathbb {N}}}$${\ displaystyle \ mathbb {Z} _ {p}}$${\ displaystyle \ mathbb {Z}}$${\ displaystyle \ mathbb {Z} _ {p}}$ ${\ displaystyle \ mathbb {Z}}$ ${\ displaystyle \ mathbb {Z} _ {p}}$

The addition and multiplication, which are defined by components, are well-defined, since the addition and multiplication of whole numbers can be interchanged with the formation of the remainder of the class. So every -adic integer has the additive inverse ; and every number whose first component is   not   has a multiplicative inverse, because in this case all are too coprime, i.e. have an inverse modulo , and the consequence (which also fulfills the compatibility condition of the projective limit) is then the inverse to . ${\ displaystyle p}$${\ displaystyle \ textstyle \ left (b_ {n} + p ^ {n} \ mathbb {Z} \ right) _ {n \ in \ mathbb {N}}}$${\ displaystyle \ left (-b_ {n} + p ^ {n} \ mathbb {Z} \ right) _ {n \ in \ mathbb {N}}}$${\ displaystyle b_ {1} + p \ mathbb {Z}}$${\ displaystyle 0 + p \ mathbb {Z}}$${\ displaystyle b_ {n}}$${\ displaystyle p ^ {n}}$${\ displaystyle c_ {n}}$${\ displaystyle p ^ {n}}$${\ displaystyle \ textstyle \ left (c_ {n} + p ^ {n} \ mathbb {Z} \ right) _ {n \ in \ mathbb {N}}}$${\ displaystyle \ textstyle \ left (b_ {n} + p ^ {n} \ mathbb {Z} \ right) _ {n \ in \ mathbb {N}}}$

Each -adic number can also be represented as a series of the form (1) described above , then the components of the series are calculated using the partial sums${\ displaystyle p}$${\ displaystyle \ textstyle \ left (b_ {n} + p ^ {n} \ mathbb {Z} \ right) _ {n \ in \ mathbb {N}}}$

${\ displaystyle b_ {n}: = \ sum _ {0 \ leq i

educated. For example, the -adic sequence can also be used as ${\ displaystyle 3}$${\ displaystyle (2,8,8,35,35,35, \ dotsc)}$

${\ displaystyle 2 + 2 \ cdot 3 + 0 \ cdot 3 ^ {2} +1 \ cdot 3 ^ {3} +0 \ cdot 3 ^ {4} +0 \ cdot 3 ^ {5} + \ dotsb = \ dotso 001022_ {3} = {\ overline {0}} 1022_ {3}}$

or in the shortened form as . ${\ displaystyle 1022_ {3}}$

The ring of whole -adic numbers does not have zero divisors , so we can form the quotient field and get the field of -adic numbers. Each of the different elements of this body can be represented in the form , where is an integer and a unit in . This representation is clear. ${\ displaystyle \ mathbb {Z} _ {p}}$${\ displaystyle p}$${\ displaystyle \ mathbb {Q} _ {p},}$${\ displaystyle p}$${\ displaystyle 0}$${\ displaystyle up ^ {n}}$${\ displaystyle n}$${\ displaystyle u}$${\ displaystyle \ mathbb {Z} _ {p}}$

Furthermore applies ${\ displaystyle \ mathbb {Q} _ {p} = \ mathbb {Z} _ {p} \ cdot \ left \ {p ^ {- n} \ mid n \ in \ mathbb {N} \ right \} = \ mathbb {Z} _ {p} \ cdot p ^ {- \ mathbb {N}} = \ mathbb {Z} _ {p} \ cdot \ mathbb {Q} = \ mathbb {Z} _ {p} + \ mathbb {Q}.}$

#### units

The amount of units is often using

${\ displaystyle U_ {p}: = \ {u \ in \ mathbb {Q} _ {p} \ mid \, | u | _ {p} = 1 \} \ quad = \ quad \ mathbb {Z} _ { p} \, \ setminus \; p \ mathbb {Z} _ {p}}$

and the set of units with

${\ displaystyle U_ {p, 1}: = \ {u \ in \ mathbb {Z} _ {p} \ mid u \ equiv 1 {\ text {mod}} p \} = 1 + p \ mathbb {Z} _ {p}.}$

Both are multiplicative groups and it applies

${\ displaystyle U_ {p} \ cong \ mathbb {F} _ {\! p} ^ {\, *} \ times U_ {p, 1}}$

with as the sign for the finite body with elements and as the sign for the direct product . ${\ displaystyle \ mathbb {F} _ {\! p}}$${\ displaystyle p}$${\ displaystyle \ times}$

## properties

• The set of -adic integers (and the set of -adic numbers) is uncountable . This means that there are non-rational and non-algebraic, i.e. transcendent numbers in .${\ displaystyle \ mathbb {Z} _ {p}}$${\ displaystyle p}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle p}$${\ displaystyle \ mathbb {Z} _ {p}}$
• ${\ displaystyle \ mathbb {Q} _ {p}}$is a whole body .
• The field of -adic numbers contains and therefore has characteristics , but cannot be arranged .${\ displaystyle p}$${\ displaystyle \ mathbb {Q}}$ ${\ displaystyle 0}$
• The topological space of the whole -adic numbers is a totally disconnected compact space , the space of all -adic numbers is locally compact and totally disconnected. As metric spaces, both are complete .${\ displaystyle \ mathbb {Z} _ {p}}$${\ displaystyle p}$ ${\ displaystyle p}$
• The prime elements of are exactly the elements associated with the number . These are exactly those elements whose amount is equal ; this amount is the largest amount occurring in that is less than . The prime elements of finite extensions of are divisors of .${\ displaystyle \ mathbb {Z} _ {p}}$${\ displaystyle p}$ ${\ displaystyle | p | = 1 / p}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle 1}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle p}$
• ${\ displaystyle \ mathbb {Z} _ {p}}$is a local ring , more precisely a discrete evaluation ring . Its maximal ideal is generated by (or any other prime element).${\ displaystyle {\ mathfrak {m}} = p \ mathbb {Z} _ {p}}$${\ displaystyle p}$
• The remainder class field of is the finite field with elements.${\ displaystyle \ mathbb {Z} _ {p}}$${\ displaystyle \ mathbb {Z} _ {p} / {\ mathfrak {m}} = \ mathbb {Z} / p \ mathbb {Z} = \ mathbb {F} _ {p},}$${\ displaystyle p}$
• ${\ displaystyle \ mathbb {Q} _ {p}}$(and ) contains the -th roots of unity (see Hensel's lemma ). For these are all roots of unity; their group is isomorphic to Für and the root of unity is added.${\ displaystyle \ mathbb {Z} _ {p}}$${\ displaystyle (p-1)}$ ${\ displaystyle p> 2}$${\ displaystyle \ mathbb {F} _ {p} ^ {*}.}$${\ displaystyle p = 2}$${\ displaystyle -1 \ in \ mathbb {Z} _ {2}}$
• Is a primitive -th root of unity in then is a monoid and as an alternative to the numeric system in (1) the system used for each there and with and${\ displaystyle \ zeta}$${\ displaystyle (p-1)}$${\ displaystyle \ mathbb {Z} _ {p},}$${\ displaystyle F: = \ {\ zeta ^ {\ nu} \ mid \ nu \ in \ mathbb {Z} \ wedge 0 \ leq \ nu ${\ displaystyle \ {a \ in \ mathbb {Z} \ mid 0 \ leq a ${\ displaystyle x \ in \ mathbb {Q} _ {p} ^ {*}}$${\ displaystyle k \ in \ mathbb {Z}}$${\ displaystyle \ epsilon _ {i} \ in F}$${\ displaystyle \ epsilon _ {k} \ neq 0}$
${\ displaystyle x = \ sum _ {i = k} ^ {\ infty} \ epsilon _ {i} \ cdot p ^ {i}}$.
All results are clear, is the same as in (1) . is called the system of Teichmüller representatives .${\ displaystyle k}$
${\ displaystyle F}$
• The real numbers have only one real algebraic extension, the field of complex numbers , which is already created by the adjunction of a square root and is algebraically closed . In contrast, the algebraic closure of has an infinite degree of expansion. thus has an infinite number of inequivalent algebraic extensions.${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle \ mathbb {Q} _ {p}}$
• The metric on can be continued to a metric on the algebraic closure, but this is then not complete. The completion of the algebraic conclusion with regard to this metric leads to the field which corresponds approximately to the complex numbers with regard to its analysis.${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle \ mathbb {C} _ {p},}$

The power series

${\ displaystyle \ exp (x): = \ sum _ {n = 0} ^ {\ infty} {\ frac {x ^ {n}} {n!}}}$

the exponential function has its coefficient in . It converges for all with . This radius of convergence applies to all algebraic extensions of and their completions, including${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle x \ in \ mathbb {Q} _ {p}}$${\ displaystyle | x | _ {p} ${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle \ mathbb {C} _ {p}.}$

That is in for everyone ; in lies . There are algebraic expansions of in which the -th root of or the fourth root of lies; these roots could be understood as -adic equivalents of Euler's number . However, these numbers have little to do with Euler's real number . ${\ displaystyle \ exp (p)}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle p> 2}$${\ displaystyle \ mathbb {Q} _ {2}}$${\ displaystyle \ exp (4)}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle p}$${\ displaystyle \ exp (p)}$${\ displaystyle \ exp (4)}$${\ displaystyle p}$${\ displaystyle e = \ exp (1) = 2 {,} 718 \ ldots}$

The power series

${\ displaystyle \ log (1 + y): = \ sum _ {n = 1} ^ {\ infty} {\ frac {(-1) ^ {n-1} y ^ {n}} {n}}}$

for the logarithm converges for .${\ displaystyle | y | _ {p} <1}$

The following applies in the convergence areas

${\ displaystyle \ log \ circ \ exp = {\ text {id}}}$

and

${\ displaystyle \ exp \ circ \ log = {\ text {id}}}$.

The functional equations known from real and complex analysis also apply there .

Functions from to with derivative are constant. This theorem does not apply to functions from to ; for example has the function ${\ displaystyle \ mathbb {R}}$${\ displaystyle \ mathbb {R}}$ ${\ displaystyle 0}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle \ mathbb {Q} _ {p}}$

${\ displaystyle f \ colon \ mathbb {Q} _ {p} \ to \ mathbb {Q} _ {p}, \; x \ mapsto \ left ({\ frac {1} {| x | _ {p}} } \ right) ^ {2}}$for ,${\ displaystyle x \ neq 0}$${\ displaystyle f (0) = 0}$

is entirely the derivative , but is not even locally constant in . The derivative is defined analogously to the real case via the limit value of the difference quotient, and the derivative is in ${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle 0}$${\ displaystyle 0}$${\ displaystyle 0}$

${\ displaystyle \ lim _ {h \ to 0} \ left | {\ frac {1} {h}} \ left ({\ frac {1} {| h | _ {p}}} \ right) ^ {2 } \ right | _ {p} = \ lim _ {h \ to 0} | h | _ {p} = 0}$.

## Differences to the Archimedean systems

Apart from the other convergence of the -adic metric compared to the Archimedean metric described under the place value system , there are other (resulting) differences: ${\ displaystyle p}$

• The -adic bases are prime numbers or prime elements . There are zero divisors for composite whole numbers as bases. In order not to awaken the association of a body, the spelling is avoided and used instead . Nonetheless, a ring is, if not an area of integrity . Are two different prime numbers, then though . With real numbers, however, any whole number can play the role of the base, and algorithms exist to convert the representation of a real number in one base into that of another.${\ displaystyle p}$${\ displaystyle \ mathbb {Q} _ {10}}$${\ displaystyle \ mathbb {Q} _ {2} \! \! \ times \! \ mathbb {Q} _ {5}}$${\ displaystyle \ mathbb {Z} _ {10} = \ mathbb {Z} _ {2} \! \! \ times \! \ mathbb {Z} _ {5}}$${\ displaystyle p \ neq q}$${\ displaystyle \ mathbb {Q} _ {p} \ neq \ mathbb {Q} _ {q}}$${\ displaystyle \ mathbb {Q} \ subset \ mathbb {Q} _ {p} \ cap \ mathbb {Q} _ {q}}$
${\ displaystyle b \ in \ mathbb {Z} \ setminus \ {- 1,0,1 \}}$
• The (canonical) -adic representation of a number in as an infinite sum (1) is unique. On the other hand, there are fractions for every base of a place value system for real numbers , for which there are two representations as an infinite sum, as in the case of decimal or balanced ternary .${\ displaystyle p}$${\ displaystyle \ mathbb {Q} _ {p}}$

${\ displaystyle 1 = 0 {,} 999 \ dotso = 0 {,} {\ overline {9}}}$

${\ displaystyle {\ tfrac {1} {2}} = 0 {,} 111 \ dotso _ {\ mathrm {bal} 3} = 0 {,} {\ overline {1}} _ {\ mathrm {bal} 3 } = 1 {,} \ mathrm {TTT} \ dotso _ {\ mathrm {bal} 3} = 1 {,} {\ overline {\ mathrm {T}}} _ {\ mathrm {bal} 3}}$
• The representation of in canonical format (1) is .${\ displaystyle -1}$
${\ textstyle -1 = \ sum _ {i = 0} ^ {\ infty} (p-1) \ cdot p ^ {i} = {\ overline {p-1}} _ {p}}$
• Since the number in can be represented as a sum of squares for all prime numbers , it can not be arranged .${\ displaystyle p}$${\ displaystyle -1}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle \ mathbb {Q} _ {p}}$As a result, there is no sign as with real numbers (as a prefix to a number constant), not even “negative” numbers.
• The algorithms z. B. for the basic arithmetic operations (addition, subtraction, multiplication and division) all run from finite (right) to potentially infinite (left). Carries work in the same (ascending) direction to the left neighbor. If the calculation is canceled, you can immediately indicate the size of the error. With the division algorithm, the next digit of the quotient can be obtained by multiplying.
With addition, subtraction and multiplication in the real place value systems, one can also start with the lower powers in the case of interrupting representations and work in the carryovers progressively to higher powers.
However, if you want to start in the finite (e.g. with irrational numbers ) (on the left with the high powers) and progress to small powers (i.e. too great accuracy), then the carryovers work in the opposite direction and it is an error estimate for ensuring the correctness of the digit to be printed required.
• A non-Archimedean metric defines an equivalence relation for each .${\ displaystyle d_ {p}}$${\ displaystyle \ varepsilon \ in \ mathbb {R} ^ {+}}$
${\ displaystyle x \ sim y \ quad: \ Longleftrightarrow \ quad d_ {p} (x, y) \ leq \ varepsilon}$
• For and one receives such an evaluation ring as one that contains at least one, or , forever , but does not represent the whole body. There is nothing comparable with the Archimedean systems.${\ displaystyle \ varepsilon = 1}$${\ displaystyle y = 0}$${\ displaystyle \ mathbb {Z} _ {p}}$${\ displaystyle x \ neq 0}$${\ displaystyle x}$${\ displaystyle x ^ {- 1}}$
• Topologically, they are compact and totally incoherent , while those locally are compact and totally incoherent. is locally compact and simply connected .${\ displaystyle \ mathbb {Z} _ {p}}$ ${\ displaystyle \ mathbb {Q} _ {p}}$ ${\ displaystyle \ mathbb {R}}$

## Approximation theorem

If there are elements of , then there is a sequence in such that for each (inclusive ) the limit of in is under . (This statement is sometimes called an approximation theorem.) ${\ displaystyle r _ {\ infty}, r_ {2}, r_ {3}, r_ {5}, r_ {7}, \ dotsc}$${\ displaystyle \ mathbb {Q} _ {\ infty} (: = \ mathbb {R}), \ mathbb {Q} _ {2}, \ mathbb {Q} _ {3}, \ mathbb {Q} _ { 5}, \ mathbb {Q} _ {7}, \ dotsc}$${\ displaystyle (x _ {\ nu})}$${\ displaystyle \ mathbb {Q}}$${\ displaystyle p}$${\ displaystyle \ infty}$${\ displaystyle r_ {p}}$${\ displaystyle (x _ {\ nu})}$${\ displaystyle \ mathbb {Q} _ {p}}$${\ displaystyle | \ cdot | _ {p}}$

## literature

1. a b There are authors who, in the case of periodic representations, place the base directly next to the comma on the side on which the series continues into infinity, i.e.: and or .${\ displaystyle 0 {,} _ {5} \! {\ overline {13}} = {\ tfrac {1} {3}}}$${\ displaystyle {\ overline {4}} _ {5} \! {,} 4 = - {\ tfrac {1} {5}}}$${\ displaystyle {\ overline {4}} _ {5} = - 1}$
2. Convergence can only take place on one of the two sides, so that the development on at least one side must be finite.
3. Since every power of divides the 0, is as usual for everyone .${\ displaystyle p}$${\ displaystyle \ infty> r}$${\ displaystyle r \ in \ mathbb {R}}$
4. ^ Van der Waerden : Algebra , Part Two . Springer-Verlag, 1967, Evaluated Bodies, p. 204 f .
5. Normalized in this way, the exponent evaluation corresponds to the order of a formal power series in${\ displaystyle X}$ with the indefinite as the prime element.${\ displaystyle X}$
6. Leutbecher, 1996 , p. 118 f.
7. Leutbecher, 1996 , p. 117 f.
8. a b c Baker, 2007 , Theorem 4.33.
9. An example is given in Pro-Ending Number # 10-adic Numbers .
10. Furthermore, irrational algebraic numbers can look completely different in the fields. For example, is , however , and the 2-adic development , whereas the 5-adic is. The two developments can (as always) be combined with the Chinese remainder of the sentence . Other prime numbers with are . (See also Gérard P. Michon: Solving algebraic equations ).${\ displaystyle {\ sqrt {41}} \ not \ in \ mathbb {Q} _ {3}}$${\ displaystyle \ mathbb {Q} _ {2} \ ni {\ sqrt {41}} \ in \ mathbb {Q} _ {5}}$
${\ displaystyle {\ sqrt {41}} = {\ sqrt {101001_ {2}}} \; {\ underset {\ mathbb {Q} _ {2}} {=}} \; \ ldots 11001101_ {2} = (1,5,13,17,205, \ ldots) _ {10}}$

${\ displaystyle {\ sqrt {41}} = {\ sqrt {131_ {5}}} \; \; \; \; \; \; {\ underset {\ mathbb {Q} _ {5}} {=} } \; \ ldots 32434204_ {5} = (4,54,554,2429, \ ldots) _ {10}}$

${\ displaystyle {\ sqrt {41}} \; {\ underset {\ mathbb {Z} _ {10}} {=}} \; \ ldots 26452429_ {10}}$
${\ displaystyle {\ sqrt {41}} \ in \ mathbb {Q} _ {p}}$${\ displaystyle p = 23,31,37,43,59, \ ldots}$
11. ^ Gérard P. Michon: Dividing two p-adic numbers