Solution
1.a. On sait que tout nombre complexe s’écrit de manière unique sous la forme avec . La famille forme donc une base du -espace vectoriel .
Ainsi, la dimension de en tant qu’espace vectoriel sur est de . Le degré de l’extension est donc .
1.b. Si une telle extension existait, il y aurait un élément dont le polynôme minimal sur serait de degré .
Or, tout polynôme de degré à coefficients dans s’écrit avec . Son discriminant est un nombre complexe.
Puisque tout nombre complexe admet une racine carrée dans (en passant par la forme trigonométrique ou par résolution d’un système algébrique), on peut trouver tel que .
Les racines de sont alors , qui appartiennent toutes deux à .
Ainsi, tout polynôme de degré sur est réductible (scindé). Il n’existe donc aucun polynôme irréductible de degré sur , et par conséquent, aucune extension de degré de .
2.a. Puisque est une extension de degré fini sur , l’anneau est un sous-corps de .
D’après le théorème de la base télescopique, on a :
On sait que est un entier impair. Or, le produit de deux entiers est impair si et seulement si les deux entiers sont impairs.
On en déduit que le degré divise un nombre impair, donc est une extension de degré impair de .
2.b. Par définition, l’extension est engendrée par l’élément . La théorie des extensions de corps nous dit que la dimension de l’espace vectoriel sur est exactement égale au degré du polynôme minimal de sur .
Ainsi, .
D’après la question précédente, est impair, donc le polynôme minimal est de degré impair.
2.c. Le polynôme minimal est un polynôme à coefficients réels de degré impair.
Or, d’après le théorème des valeurs intermédiaires (puisque les limites en et sont de signes opposés car est de degré impair), admet au moins une racine réelle.
Mais est par définition un polynôme irréductible sur . Le seul moyen pour qu’un polynôme irréductible sur admette une racine réelle est qu’il soit de degré .
On a donc , ce qui implique que .
Par conséquent, .
Puisque ce raisonnement est valable pour n’importe quel élément , on a . Comme , on conclut finalement que .

No messages yet.