Corps totalement réel

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques et en théorie des nombres, un corps de nombres K est dit totalement réel si pour chaque plongement de K dans l'ensemble des nombres complexes, l'image se trouve dans l'ensemble des nombres réels. De manière équivalente, K est engendré sur $\mathbb{Q}\,$ par une racine d'un polynôme à coefficients entiers P dont toutes les racines sont réelles, ou bien encore le produit tensoriel $K\otimes_\mathbb{Q}\mathbb{R}$ est un produit d'exemplaires de $\mathbb{R}$ . La notion de signature d'un corps de nombres permet de mesurer plus précisément à quel point un corps est loin d'être totalement réel.

Par exemple, les corps quadratiques sont soit totalement réels, soit complexes, suivant s'ils sont engendrés par la racine carrée d'un nombre positif ou négatif. Dans le cas des corps cubiques, un polynôme P irréductible de degré 3 à coefficients entiers aura au moins une racine réelle. S'il possède une racine réelle et deux complexes, l'extension cubique correspondante de $\mathbb{Q}\,$ définie en adjoignant la racine réelle ne sera pas totalement réelle, bien qu'elle soit incluse dans le corps des nombres réels.

Les corps totalement réels jouent un rôle spécial significatif dans la théorie algébrique des nombres ; ils sont l'objet par exemple de la conjecture de Greenberg. Une extension abélienne de $\mathbb{Q}\,$ est soit totalement réelle, soit un corps à multiplication complexe, c'est-à-dire une extension quadratique totalement imaginaire d'un corps totalement réel.