Nombre algébrique

Représentation des nombres irrationnels selon la répartition des réels en nombres rationnels, constructibles, algébriques et transcendants. Cliquez sur un des nombres du schéma pour plus d'informations concernant l'élément choisi. (Image source) v · d · m

Un nombre algébrique, en mathématiques^[a], est un nombre complexe solution d'une équation polynomiale à coefficients dans le corps $\mathbb {Q}$ des rationnels^[b] (autrement dit racine d'un polynôme non nul).

Les nombres entiers et rationnels sont algébriques, ainsi que toutes les racines de ces nombres. Les nombres complexes qui ne sont pas algébriques, comme π et e (théorème de Lindemann-Weierstrass), sont dits transcendants. L'étude de ces nombres, de leurs polynômes minimaux et des corps qui les contiennent fait partie de la théorie de Galois.

Exemples

Tout nombre rationnel a est algébrique, car il est solution de l'équation x – a = 0.
Un nombre irrationnel peut être ou non algébrique. Par exemple √2 ou (³√3)/2 sont algébriques (car ils sont solutions de x² – 2 = 0 et 8x³ – 3 = 0, respectivement), tandis que le nombre $e$ est transcendant (c'est-à-dire non algébrique).
L'unité imaginaire $i$ est algébrique, car il est solution de l'équation x² + 1 = 0.

Propriétés

L'ensemble des nombres algébriques est dénombrable^[1] — donc négligeable — puisque les polynômes non nuls à coefficients rationnels sont dénombrables et que chacun d'eux possède un nombre fini de zéros.

Le polynôme minimal d'un nombre algébrique est le polynôme unitaire à coefficients rationnels de plus petit degré dont ce nombre est racine. Ce degré est appelé le degré du nombre algébrique. Par exemple, les nombres algébriques de degré 1 sont les rationnels ; $i$ et √2 sont algébriques de degré 2.

Tout nombre algébrique appartient au corps de rupture ℚ(x) de son polynôme minimal, qui est un corps de nombres c'est-à-dire une extension finie de ℚ. Réciproquement, tout élément d'un corps de nombres est algébrique. En particulier :

L'opposé et l'inverse d'un nombre algébrique non nul x sont algébriques, puisqu'ils appartiennent au corps de nombres ℚ(x) (on construit d'ailleurs très facilement leurs polynômes minimaux à partir de celui de x).
La somme et le produit de deux nombres algébriques x et y sont encore algébriques, puisqu'ils appartiennent au corps ℚ(x, y), qui est une extension finie de ℚ (le calcul de leurs polynômes minimaux est moins évident et passe par l'utilisation du résultant).

Un nombre complexe est algébrique si et seulement si sa partie réelle et sa partie imaginaire le sont.

Le corps des nombres algébriques

D'après les propriétés ci-dessus, les nombres algébriques forment un sous-corps de ℂ, différent de ℂ. On peut montrer que chaque solution d'une équation polynomiale dont les coefficients sont des nombres algébriques est encore algébrique, autrement dit : le corps des nombres algébriques est algébriquement clos. En fait, c'est le plus petit corps algébriquement clos contenant les nombres rationnels, et il est par conséquent appelé clôture algébrique du corps ℚ des rationnels et noté ℚ.

Tous les énoncés ci-dessus se généralisent aux éléments algébriques d'une extension de corps.

Tous les nombres algébriques sont des périodes donc sont calculables.

Nombres définis par des radicaux

Tous les nombres qui peuvent être obtenus à partir des entiers en utilisant un nombre fini d'additions, de soustractions, de multiplications, de divisions et d'extractions de racines n-ièmes (où n est un entier strictement positif) sont algébriques. La réciproque est fausse : il existe des nombres algébriques qui ne peuvent pas être obtenus de cette manière (c'est le théorème d'Abel-Ruffini) ; d'après la théorie de Galois, tous ces nombres sont de degré supérieur ou égal à 5. Un exemple d'un tel nombre est l'unique solution réelle de x⁵ – x – 1 = 0.

Article détaillé : équation quintique.

Entiers algébriques

Article détaillé : entier algébrique.

Tout nombre algébrique est racine d'un polynôme à coefficients entiers. On dit que ce nombre est un entier algébrique s'il est racine d'un polynôme unitaire à coefficients entiers ou, ce qui est équivalent, si son polynôme minimal (unitaire) est à coefficients entiers. Ainsi, 3 + 2√2, racine de x² – 6x + 1 et 2 – 5 $i$ , racine de x² – 4x + 29, sont des entiers algébriques ; il en est de même du nombre d'or (1 + √5)/2, qui est racine de x² – x – 1 ; ce dernier exemple montre que les « coefficients » d'un entier algébrique peuvent ne pas être entiers ; cette question est développée dans l'article consacré aux entiers quadratiques. Des exemples d'entiers quadratiques sont les entiers de Gauss, les entiers d'Eisenstein ou les entiers du corps ℚ(√5). Les racines de l'unité sont des entiers algébriques (non quadratiques en général) donc les périodes de Gauss aussi (ce sont des sommes particulières de racines de l'unité). Les nombres de Salem et ceux de Pisot-Vijayaraghavan sont des types particuliers d'entiers algébriques.

Les entiers algébriques forment un sous-anneau involutif de ℂ, ce qui signifie que la somme, la différence, le produit et le conjugué d'entiers algébriques sont encore des entiers algébriques. Cet anneau ne contient aucun élément irréductible, puisqu'il est stable par racine carrée.

Le nom entier algébrique provient du fait que^{[réf. souhaitée]} les seuls nombres rationnels qui sont des entiers algébriques sont les entiers, et que les entiers algébriques dans tout corps de nombres sont, sous bien des aspects, analogues aux entiers : ce sont les exemples les plus typiques d'anneaux de Dedekind. Si K est un corps de nombres, l'« anneau de ses entiers » est le sous-anneau des entiers algébriques dans K et est fréquemment noté O_K.

Généralisation

Le concept de nombre algébrique peut être généralisé à d'autres corps que $\mathbb {Q}$ , comme le corps des nombres p-adiques ; les éléments dans de telles extensions qui satisfont aux équations polynomiales sont appelés des éléments algébriques.

Soient K un corps et L une extension de K. Un élément de L est dit algébrique sur K s'il est racine d'une équation polynomiale à coefficients dans K, non tous nuls ; il est dit transcendant sur K dans le cas contraire.

La définition donnée plus haut s'obtient dans le cas particulier où K est le corps $\mathbb {Q}$ des rationnels et L est le corps $\mathbb {C}$ des nombres complexes.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Algebraic number » (voir la liste des auteurs).

Notes

↑ En physique et en chimie, on dit souvent de la valeur d'une grandeur que c'est un « nombre algébrique » pour dire que c'est un nombre réel qui peut prendre des valeurs positives, nulles ou négatives (pas seulement positives ou nulles).
↑ On peut remplacer ces coefficients par des entiers en les multipliant par un multiple commun de leurs dénominateurs.

Références

↑ Histoire des sciences : L'article de 1874 de Cantor sur la dénombrabilité des nombres algébriques en ligne et commenté sur le site Bibnum

Arithmétique et théorie des nombres

[1] En physique et en chimie, on dit souvent de la valeur d'une grandeur que c'est un « nombre algébrique » pour dire que c'est un nombre réel qui peut prendre des valeurs positives, nulles ou négatives (pas seulement positives ou nulles).

[2] On peut remplacer ces coefficients par des entiers en les multipliant par un multiple commun de leurs dénominateurs.

[3] Histoire des sciences : L'article de 1874 de Cantor sur la dénombrabilité des nombres algébriques en ligne et commenté sur le site Bibnum

[a]

[b]

[1]

v · m Notion de nombre
Ensembles usuels	Entier naturel ( $\scriptstyle \mathbb {N}$ ) Entier relatif ( $\scriptstyle \mathbb {Z}$ ) Nombre décimal ( $\scriptstyle \mathbb {D}$ ) Nombre rationnel ( $\scriptstyle \mathbb {Q}$ ) Nombre réel ( $\scriptstyle \mathbb {R}$ ) Nombre complexe ( $\scriptstyle \mathbb {C}$ )
Extensions	Quaternion ( $\scriptstyle \mathbb {H}$ ) Octonion ( $\scriptstyle \mathbb {O}$ ) Sédénion ( $\scriptstyle \mathbb {S}$ ) Nombre complexe déployé Tessarine Nombre bicomplexe ( $\scriptstyle \mathbb {C} _{2}$ ) Nombre multicomplexe ( $\scriptstyle \mathbb {C} _{n}$ $\scriptstyle {\mathcal {M}}\mathbb {C} _{n}$ ) Biquaternion Coquaternion Quaternion hyperbolique Octonion déployé Nombre hypercomplexe Nombre p-adique ( $\scriptstyle \mathbb {Q} _{p}$ ) Nombre hyperréel Nombre superréel Nombre dual Droite réelle achevée Nombre cardinal Nombre ordinal Nombre surréel Nombre pseudo-réel
Propriétés particulières	Parité Nombre premier Nombre composé Nombre figuré Nombre parfait Nombre positif Nombre négatif Fraction dyadique Nombre irrationnel Nombre algébrique Nombre transcendant Nombre imaginaire pur Nombre de Liouville Période Nombre normal Nombre univers Nombre constructible Nombre réel calculable Nombre transfini Infiniment petit
Exemples	Pi ( $π$ ) Racine carrée de deux ( $\scriptstyle {\sqrt {2}}$ ) Nombre d’or (φ) Zéro (0) Unité imaginaire ( $i$ ) Constante de Neper ( $e$ ) Aleph-zéro (ℵ₀) Table de constantes mathématiques
Articles liés	Chiffre Numération Fraction Opération Calcul Algèbre Arithmétique Suite d'entiers Infini ( $\infty$ ) Chiffre significatif