Nombre algébrique - Définition

Introduction

Un nombre algébrique, en mathématiques, est tout nombre qui est solution d'une équation algébrique (autrement dit racine d'un polynôme différent de zéro) à coefficients entiers (ou de manière équivalente, à coefficients rationnels). Sans plus de précision, on suppose qu'un nombre algébrique est un nombre complexe, mais on peut aussi considérer les nombres algébriques dans d'autres corps, tel que le corps des nombres p-adiques. Les éléments d'un corps de nombres sont (par définition) des nombres algébriques.

Le polynôme irréductible unitaire ayant un tel nombre pour racine est appelé polynôme minimal de ce nombre. L'étude de ces nombres, de leurs polynômes minimaux et des corps qui les contiennent est l'objet de la théorie de Galois.

Exemples

• Tout nombre rationnel est algébrique, car le quotient de deux entiers est racine de l'équation .
• Un nombre irrationnel peut être ou non algébrique. Par exemple ou sont algébriques, car ils sont les solutions de et , respectivement.
• Le nombre complexe est algébrique, car il est racine de l'équation x² + 1 = 0.

Le corps des nombres algébriques

La somme, la différence, le produit et le quotient de deux nombres algébriques sont encore algébriques (ce résultat n'est nullement évident ; la façon la plus simple de le démontrer passe par l'utilisation du résultant) ; par conséquent, les nombres algébriques forment un corps, habituellement noté  ; il est inclus dans . On a  : en effet, il est connu que l'ensemble est dénombrable, alors que ne l'est pas. Il en résulte l'existence de nombres qui ne sont pas algébriques : on dit qu'ils sont transcendants. On peut montrer que chaque racine d'une équation polynômiale dont les coefficients sont des nombres algébriques est encore algébrique. Ceci peut être reformulé en disant que 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.

Tous les énoncés ci-dessus sont très facilement démontrés dans le contexte général des éléments algébriques d'une extension de corps.

Propriétés

Les nombres qui ne sont pas algébriques sont appelés nombres transcendants. Presque tous les nombres complexes sont transcendants, parce que l'ensemble des nombres algébriques est dénombrable tandis que l'ensemble des nombres complexes, et par conséquent aussi l'ensemble des nombres transcendants, ne l'est pas. Les exemples les plus connus de nombres transcendants sont et . D'autres exemples sont fournis par le théorème de Gelfond-Schneider.

Tous les nombres algébriques sont calculables.

Si un nombre algébrique est racine d'une équation polynômiale de degré n, et s'il n'est racine d'aucune équation polynômiale de degré strictement inférieur à n, on dit que c'est un nombre algébrique de degré n. Par exemple, les nombres algébriques de degré 1 sont les rationnels ; i et sont algébriques de degré 2.

Le concept de nombre algébrique peut être généralisé à des extensions de corps arbitraires; les éléments dans de telles extensions qui satisfont aux équations polynômiales sont appelés des éléments algébriques.

Entiers algébriques

Un nombre algébrique qui satisfait une équation polynômiale de degré n à coefficients a_i appartenant à l'ensemble des entiers, dont le premier coefficient a_n vaut 1 (c'est-à-dire qui est racine d'un polynôme monique), est appelé un entier algébrique. Ainsi, , racine de x² − 6x + 1 et , racine de x² − 4x + 29, sont des entiers algébriques ; il en est de même du nombre d'or , 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.

La somme, la différence et le produit d'entiers algébriques sont encore des entiers algébriques, ce qui signifie que les entiers algébriques forment un anneau. Le nom entier algébrique provient du fait que les seuls nombres rationnels qui sont des entiers algébriques sont les entiers, et parce que les entiers algébriques dans tout corps de nombres sont sous bien des aspects analogues aux entiers. Si est un corps de nombres, son anneau d'entiers est le sous-anneau des entiers algébriques dans , et est fréquemment noté . Ces anneaux sont les exemples les plus typiques d'anneaux de Dedekind.