- Corps totalement reel
-
Corps totalement réel
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 par une racine d'un polynôme à coefficients entiers P dont toutes les racines sont réelles, ou bien encore le produit tensoriel est un produit d'exemplaires de . 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 qu'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 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 est soit totalement réelle, soit un corps à multiplication complexe, c'est-à-dire une extension quadratique totalement imaginaire d'un corps totalement réel.
Un nombre algébrique est dit totalement réel si tous ses conjugués (autrement dit les racines complexes de son polynôme minimal) sont réels. La plus petite extension normale contenant ce nombre est alors un corps totalement réel. Ainsi et sont totalement réels, mais ni ni ne le sont.
Références
- Pierre Samuel, Théorie algébrique des nombres [détail des éditions]
- (en) Jürgen Neukirch, Algebraic number theory [détail des éditions]
- Portail des mathématiques
Catégories : Théorie algébrique des nombres | Théorie des corps
Wikimedia Foundation. 2010.