ATLAS Ouvrir dans l'atlas →

Proposition 1Théorie algébrique des nombres

Norme et unités

Énoncé

(i) La norme est multiplicative : N(αβ)=N(α)N(β)N(\alpha\beta) = N(\alpha)N(\beta).

(ii) Un élément α∈𝒪K\alpha \in {\mathcal O_K} est inversible dans 𝒪K\mathcal O_K si et seulement si N(α)=±1N(\alpha) = \pm 1.

(iii) Pour d<0d < 0, les unités sont en nombre fini : ±1\pm 1 en général, ±1,±i\pm 1, \pm i pour d=−1d = -1, et les six racines sixièmes de l'unité pour d=−3d = -3.

(iv) Pour d=2d = 2, 1+21 + \sqrt 2 est une unité d'ordre infini : ℤ[2]\mathbb Z[\sqrt 2] a une infinité d'unités.

Démonstration

(i) La conjugaison α↦αˉ\alpha \mapsto \bar\alpha est un automorphisme de KK, puisque d\sqrt d et −d-\sqrt d ont le même polynôme minimal (Corps de décomposition) ; donc αβ‾=αˉβˉ\overline{\alpha\beta} = \bar\alpha\bar\beta.

(ii) Si αβ=1\alpha\beta = 1 avec β∈𝒪K\beta \in \mathcal O_K, N(α)N(β)=1N(\alpha)N(\beta) = 1 avec des normes entières (Corps quadratiques). Réciproquement, si N(α)=±1N(\alpha) = \pm 1, α−1=±αˉ\alpha^{-1} = \pm\bar\alpha, et αˉ\bar\alpha est entier, ayant même trace et même norme que α\alpha.

(iii) Pour d<0d < 0, N(a+bd)=a2+∣d∣b2N(a + b\sqrt d) = a^2 + |d|b^2, avec a,b∈12ℤa, b \in \frac12{\mathbb Z}, et les unités sont les solutions de N=1N = 1 par (ii).

Si d≡2,3(mod4)d \equiv 2, 3 \pmod 4, alors a,b∈ℤa, b \in \mathbb Z, et a2+∣d∣b2=1a^2 + |d|b^2 = 1 force b=0b = 0 et a=±1a = \pm 1, sauf pour d=−1d = -1, où s'ajoutent ±i\pm i.

Si d≡1(mod4)d \equiv 1 \pmod 4, donc d⩽−3d \leqslant -3, on écrit α=A+Bd2\alpha = \frac{A + B\sqrt d}2 avec A≡B(mod2)A \equiv B \pmod 2 et A2+∣d∣B2=4A^2 + |d|B^2 = 4. Alors B=0B = 0 et A=±2A = \pm 2, ou bien ∣d∣=3|d| = 3 et A,B=±1A, B = \pm 1, ce qui donne les six racines sixièmes de l'unité.

(iv) N(1+2)=1−2=−1N(1 + \sqrt 2) = 1 - 2 = -1. Comme 1+2>11 + \sqrt 2 > 1, ses puissances sont strictement croissantes, donc deux à deux distinctes.

□
Remarque

Les unités de ℤ[2]\mathbb Z[\sqrt 2] donnent toutes les solutions de l'équation de Pell-Fermat x2−2y2=±1x^2 - 2y^2 = \pm 1 : (1+2)2=3+22(1 + \sqrt 2)^2 = 3 + 2\sqrt 2, (1+2)3=7+52(1 + \sqrt 2)^3 = 7 + 5\sqrt 2, et 49−50=−149 - 50 = -1.

x y x2 − 2y2 = 1 x2 − 2y2 = −1 1 1 + √2 3 + 2√2 × (1 + √2)
Les puissances 11, 1+21 + \sqrt 2 et 3+223 + 2\sqrt 2, placées au point (x,y)(x, y) quand elles s'écrivent x+y2x + y\sqrt 2, passent alternativement de l'hyperbole x2−2y2=1x^2 - 2y^2 = 1 à l'hyperbole x2−2y2=−1x^2 - 2y^2 = -1, puisque la multiplication par 1+21 + \sqrt 2 multiplie la norme par −1-1. Les deux branches s'approchent de l'asymptote y=x/2y = x/\sqrt 2, en pointillé, et la puissance suivante, 7+527 + 5\sqrt 2, est déjà hors du cadre.

Le théorème des unités de Dirichlet décrit en général le groupe des unités d'un corps de nombres ; il est admis ici.

Ouvrir dans l'atlas interactif →