Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
P-adic valuation
Résumé
In number theory, the p-adic valuation or p-adic order of an integer n is the exponent of the highest power of the prime number p that divides n.
It is denoted .
Equivalently, is the exponent to which appears in the prime factorization of .
The p-adic valuation is a valuation and gives rise to an analogue of the usual absolute value.
Whereas the completion of the rational numbers with respect to the usual absolute value results in the real numbers , the completion of the rational numbers with respect to the -adic absolute value results in the p-adic numbers .
Let p be a prime number.
The p-adic valuation of an integer is defined to be
where denotes the set of natural numbers and denotes divisibility of by . In particular, is a function .
For example, , , and since .
The notation is sometimes used to mean .
If is a positive integer, then
this follows directly from .
The p-adic valuation can be extended to the rational numbers as the function
defined by
For example, and since .
Some properties are:
Moreover, if , then
where is the minimum (i.e. the smaller of the two).
The p-adic absolute value on is the function
defined by
Thereby, for all and
for example, and
The p-adic absolute value satisfies the following properties.
{| class="wikitable"
|-
|Non-negativity ||
|-
|Positive-definiteness ||
|-
|Multiplicativity ||
|-
|Non-Archimedean ||
|}
From the multiplicativity it follows that for the roots of unity and and consequently also
The subadditivity follows from the non-Archimedean triangle inequality .
The choice of base p in the exponentiation makes no difference for most of the properties, but supports the product formula:
where the product is taken over all primes p and the usual absolute value, denoted . This follows from simply taking the prime factorization: each prime power factor contributes its reciprocal to its p-adic absolute value, and then the usual Archimedean absolute value cancels all of them.
The p-adic absolute value is sometimes referred to as the "p-adic norm", although it is not actually a norm because it does not satisfy the requirement of homogeneity.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.