Valuation p-adique

Valuation

En mathématiques, plus particulièrement en géométrie algébrique et en théorie des nombres, une valuation est une mesure de la multiplicité. La notion est une généralisation de la notion de degré ou d'ordre d'annulation d'un polynôme formel en algèbre, du degré de divisibilité par un nombre premier en théorie des nombres, de l'ordre d'un pôle en analyse complexe ou du nombre de points de contact entre deux variétés algébriques en géométrie algébrique.

Il existe une définition particulière pour les polynômes : la valuation d'un polynôme est le degré de son monôme de plus petit degré si le polynôme est non nul et plus l'infini sinon (cf l'article Construction de l'anneau des polynômes).

Sommaire

1 Définition
- 1.1 Valuations discrètes
- 1.2 Valuation triviale
2 Propriétés
3 Exemples
4 Le point de vue métrique
5 Le point de vue algébrique
6 Voir aussi
- 6.1 Liens internes

Définition

On appelle valuation une application d'un anneau commutatif unitaire $(A,+,\times)$ non nul vers un groupe abélien totalement ordonné $(G, + , > )$ union l'infini

$v:A \longrightarrow G \cup \infty$

qui vérifie les propriétés suivantes :

$\forall x \in A,\ v(x)=\infty \Longleftrightarrow x=0$ ;
$\forall x,y \in A,\ v(xy)=v(x)+v(y)$ , autrement dit $v$ est un morphisme de $(A^*,\times)$ dans $(G, + )$ ;
$v(x+y) \geq \min(v(x),v(y))$ , ce qui est relié à l'inégalité triangulaire dans les espaces métriques.

Notes :

On utilise les conventions classiques $a < \infty$ et $a + \infty =\infty$ pour tout $a \in G$ .
Certains auteurs se restreignent à une valuation sur un corps.
On demande parfois à $v$ d'être surjective.

Valuations discrètes

Lorsque $G=\Z$ muni de l'addition, $v$ est dite valuation de Dedekind ou valuation discrète. Deux valuations discrètes $v 1$ et $v 2$ sont équivalentes si et seulement elles sont proportionnelles, c'est-à-dire s'il existe un entier $k$ tel que

$\forall x \in G,\ v_2(x)=k v_1(x)$

$\forall x \in G,\ v_1(x)=k v_2(x)$

Les classes d'équivalence des valuations discrètes sur un anneau $A$ sont appelées places.

Valuation triviale

La valuation

$\begin{array}{rrcl} v: & A & \longrightarrow & G \cup \infty \\ & x & \longmapsto & \begin{cases}\infty & \mathrm{si}\ x=0 \\ 0 & \mathrm{sinon}\end{cases}\end{array}$

est dite valuation triviale.

Propriétés

Propriétés générales

$A$ est un anneau commutatif unitaire non nul muni d'une valuation $v$ .

$v (1) = v ( - 1) = 0$
$\forall x,y \in A,\ v(x-y)\geq \min(v(x),v(y))$
$\forall x,y \in A,\ v(x)<v(y) \Longrightarrow v(x+y)=\min(v(x),v(y))$
$A$ est intègre
v se prolonge sur le corps des fractions Frac(A)
- $\forall p/q \in \mathrm{Frac}(A),\ v(p/q)=v(p)-v(q)$
- la prolongation est unique.
Soit , alors
- $R$ est un anneau intègre ;
- $\forall x \in (\mathrm{Frac})^*,\ x \in R \ \mathrm{ou}\ x^{-1}\in R$
- $Frac(A) = Frac(R)$

Valuations discrètes sur l'ensemble des rationnels

Les places de $\mathbb{Q}$ , c'est-à-dire les valuations discrètes sur $\mathbb{Q}$ à un facteur de proportionnalité près, sont:

la valuation triviale ;
les valuations p-adiques (cf. exemple ci-dessous).

Valeur absolue associée

Soit $v$ une valuation sur $A$ à valeur dans $G \subset \R$ , et $\rho \in ]0,1[$ . On associe à $v$ la valeur absolue ultramétrique $|\cdot |_v$ telle que

$\forall x \in A,\ |x|_v=\rho^{v(x)}$

Exemples

Les applications suivantes sont des valuations.

Ordre d'annulation d'un polynôme

Article détaillé : Construction de l'anneau des polynômes.

Soit $K$ un corps (commutatif) et $K [X]$ l'anneau des polynômes à coefficients dans $K$ . Pour $a \in K$ , on définit l'application

$\begin{array}{rrcl} v_a: & K[X]-\{0\} & \longrightarrow & \Z \cup \infty \\ & P & \longmapsto & \max\{k\in \N/\ \exists R \in K[X],\ P(X-a)=(X-a)^kR(X-a)\end{array}$

qui à un polynôme $P$ non nul associe le degré du plus petit monôme non nul de $P (X - a)$ et à un polynôme nul, l'infini. Alors $v a (P)$ est l'ordre d'annulation de $P$ en $a$ ; pour un polynôme à coefficients réels ou complexes, il s'agit du plus petit entier positif ou nul $n$ tel que $d P / d P n$ soit non nul.

Note : cela marche également pour a dans la clôture algébrique de $K$ .

Ordre d'annulation d'une fraction rationnelle

Soit $K$ un corps et $K (X)$ le corps des fractions rationnelles à coefficients dans $K$ . Soit $a \in K$ . On définit l'application

$\begin{array}{rrcl} v_a: & K(X) & \longrightarrow & \Z \cup \infty \\ & P/Q & \longmapsto & v(P)-v(Q)\end{array}$

qui à une fraction rationnelle associe la différences des ordres d'annulation du numérateur et du dénominateur en $a$ . Si $v (R)$ est positif, il s'agit de l'ordre d'annulation de $R$ en $a$ , si $v (R)$ est strictement négatif, il s'agit de l'ordre du pôle de $R$ en $a$ .

Opposé du degré d'un polynôme

Soit $K$ un corps et $K [X]$ l'anneau des polynômes à coefficients dans $K$ . On définit l'application

$\begin{array}{rrcl} v_\infty: & K[X] & \longrightarrow & \Z \cup \infty \\ & P & \longmapsto & -\deg P\end{array}$

qui à un polynôme $P$ associe l'opposé de son degré avec la convention $\deg 0=- \infty$ .

Ordre d'une série de Laurent

Sur le corps $F ((T))$ des séries formelles de Laurent sur un corps commutatif $F$ , on a une valuation en associant à tout série de Laurent son ordre en un élément donné de $F$ .

Ordre d'une fonction méromorphe

Si $U$ est un ouvert connexe non vide du corps des nombres complexes et si $a$ est un point de $U$ , on a une valuation sur le corps des fonctions méromorphes sur $U$ en associant à tout fonction méromorphe son ordre au point $a$ '.

Valuation p-adique

Article détaillé : Nombre p-adique.

Pour $p$ un nombre premier, on définit l'application

$\begin{array}{rrcl} v_p: & \Z & \longrightarrow & \Z \cup \infty \\ & n & \longmapsto & \max \{ k \in \N/\ p^k|n\}\end{array}$

qui à un entier $n$ associe l'exposant de $p$ dans la décompositon en nombres premiers de $n$ , avec la convention $v_p(0)=\infty$ . L'application $v p$ est appelée valuation $p$ -adique sur $\Z$ et se prolonge sur le corps des fractions $\mathbb{Q}$ . Cette valuation définit la norme $p$ -adique pour laquelle la clôture algébrique de $\mathbb{Q}$ est l'ensemble des nombres $p$ -adiques $\mathbb{Q}_p$ .

Le point de vue métrique

Si $v$ une valuation sur un corps $K$ , alors l'application

$\begin{array}{rrcl} f: & K^2 & \longrightarrow & \R \\ & (x,y) & \longmapsto & e^{-v(x-y)}\end{array}$

est une distance sur $K$ qui fait de $K$ un corps topologique. On dit que $K$ est complet pour $v$ s'il est complet pour cette distance.

La complétion de $K$ pour $v$ est le procédé décrit ci-dessous :

On note $A$ l'anneau des suites de Cauchy de $F$ , et on identifie les éléments de $A$ aux suites constantes. La valuation de $K$ se prolonge à $A$ en une valuation encore notée $v$ . L'ensemble $I$ des suites de Cauchy tendant vers 0 est un idéal maximal de $A$ sur lequel la valuation est triviale.
Le quotient de $A$ par $I$ est un corps commutatif $C$ , que l'on appelle complété de $K$ pour $v$ , et $K$ s'identifie canoniquement à un sous-corps de $C$ . On obtient sur $C$ une valuation qui prolonge $v$ . Le corps $K$ est dense dans $C$ , pour cette valuation sur $C$ .

Par exemple, $\mathbb Q_p$ ou le corps $k ((T))$ peuvent être obtenus par cette construction.

Le point de vue algébrique

Soient $K$ un corps commutatif et ' $v$ une valuation sur $K$ . Les éléments de $K$ de valuation positive constituent un sous-anneau noté $O$ . C'est un anneau local à valuation discrète, dont l'unique idéal maximal, constitué des éléments de valuation strictement positive, est noté $M$ .

Par exemple, quand $K=\mathbb Q_p$ , on obtient $O=\mathbb Z_p$ . Si $F$ est un corps commutatif, pour $K = F ((T))$ , on obtient $O = F [[T]]$ .

Voir aussi

Liens internes

Valeur absolue
Anneau commutatif,anneau intègre, corps commutatif
Corps des fractions
Nombre p-adique
Norme ultramétrique

Portail des mathématiques

Ce document provient de « Valuation#Valuation p-adique ».

Catégorie : Théorie algébrique des nombres

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Valuation p-adique de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

Valuation — En mathématiques, plus particulièrement en géométrie algébrique et en théorie des nombres, une valuation, ou valuation de Krull, est une mesure de la multiplicité. La notion est une généralisation de la notion de degré ou d ordre d annulation d… … Wikipédia en Français
Nombre p-adique — En mathématiques, et plus particulièrement en théorie des nombres, si p est un nombre premier, un nombre p adique est un objet qui peut se concevoir comme une suite de chiffres en base p, éventuellement infinie à gauche de la virgule (mais… … Wikipédia en Français
Nombre P-Adique — En théorie des nombres, si p est un nombre premier, un nombre p adique est un objet mathématique qui peut se concevoir comme une suite de chiffres en base p, éventuellement infinie à gauche de la virgule (mais toujours finie à droite de la… … Wikipédia en Français
NOMBRES (THÉORIE DES) - Nombres p-adiques — On peut aborder l’étude d’un problème diophantien (cf. équations DIOPHANTIENNES) en commençant par chercher les solutions modulo p , un nombre premier quelconque: on est alors devant un problème plus facile, car Z/p Z est un corps [cf.… … Encyclopédie Universelle
Nombres p-adiques — Nombre p adique En théorie des nombres, si p est un nombre premier, un nombre p adique est un objet mathématique qui peut se concevoir comme une suite de chiffres en base p, éventuellement infinie à gauche de la virgule (mais toujours finie à… … Wikipédia en Français
TOPOLOGIQUE (ALGÈBRE) — L’algèbre topologique est consacrée à l’étude d’ensembles munis d’une topologie et d’une structure algébrique définie par des lois de composition continues (cf. TOPOLOGIE, ALGÈBRE). Les exemples les plus importants sont les groupes topologiques,… … Encyclopédie Universelle
Décomposition en produit de facteurs premiers — En mathématiques et plus précisément en arithmétique modulaire, la décomposition en produit de facteurs premiers, aussi connue comme la factorisation entière en nombres premiers, consiste à chercher à écrire un entier supérieur ou égal à 2 sous… … Wikipédia en Français
Distance ultramétrique — En mathématiques, et plus précisément en topologie, une distance ultramétrique est une distance d sur un ensemble X vérifiant l inégalité ultratriangulaire : . Un espace métrique dont la distance vérifie cette propriété est dit ultramétrique … Wikipédia en Français
Entier Sans Facteur Carré — En mathématiques et plus précisément en arithmétique modulaire, un entier sans facteur carré est un entier divisible par aucun carré parfait, excepté 1. Par exemple, 10 est sans facteur carré mais 18 ne l est pas, comme il est divisible par . Les … Wikipédia en Français
Entier sans facteur carre — Entier sans facteur carré En mathématiques et plus précisément en arithmétique modulaire, un entier sans facteur carré est un entier divisible par aucun carré parfait, excepté 1. Par exemple, 10 est sans facteur carré mais 18 ne l est pas, comme… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Valuation p-adique

Valuation

Sommaire