Développement : Corps des nombres algébriques

Détails/Enoncé :

Démonstration du fait que l'ensemble des nombres algébriques sur un corps est un corps et de ses propriétés.

Recasages pour l'année 2024 :

Versions :

  • Auteur :
  • Remarque :

    /!\ Attention /!\


    Coquille non négligeable dans la version d'Aurélie Bigot ! (Désolé Aurélie, je n'ai rien contre vous, vous l'avez pourtant bien écrit dans votre leçon !)

    • - Le théorème est faux: sachant que tout élément de $K$ est algébrique sur $K$, on a $K \subseteq A$, donc si $K$ n'est pas dénombrable, $A$ ne pourra jamais l'être. (L'erreur vient, dans la démonstration de (ii), du fait que $A = \bigcup\limits_{k \geq 0} \bigcup\limits_{n \geq 1} \bigcup\limits_{P \in E_{k,n}} Z(P)$, et qu'en n'écrivant pas cette troisième union, on oublie le fait que $E_{k,n}$ n'est pas dénombrable si $K$ ne l'est pas.)

    • - Bien évidemment, il ne faut pas oublier la condition $P \neq 0$ dans la définition de $A$



    C'est bien trop court pour faire un développement: en prenant vraiment son temps, on ne peut pas tenir plus de 10 min. Je recommande d'ajouter ceci à la double caractérisation de l'algébricité (avec $K[\alpha]$ et $K(\alpha)$).

    Côté recasages, mettre ce développement en dehors de la 125 me paraît quelque peu abusif.

    On trouvera cet exercice p94 de la 3e version du Gourdon algèbre, et ma suggestion d'ajout se trouvera en p66 du Perrin
  • Références :

Références utilisées dans les versions de ce développement :

Algèbre , Gourdon (utilisée dans 238 versions au total)
Cours d'algèbre , Perrin (utilisée dans 287 versions au total)
Algèbre et probabilités, Gourdon (utilisée dans 23 versions au total)