Développement : Construction des corps finis

Détails/Enoncé :

On montre dans ce développement l'existence d'un polynôme irréductible de degré $n$ sur $\mathbb{F}_p[X]$. On crée alors un corps fini à $p^n$ éléments en prenant le corps de rupture de ce polynôme.

Recasages pour l'année 2020 :

Versions :

  • Auteur :
  • Remarque :
    La rédaction du Gozard est assez minimaliste et est (je trouve) très bien complétée par les explications de Marie. Je me suis permis de réécrire ce développement avec ma propre rédaction en corrigeant une petite coquille de Marie (stabilité de L par addition), et en espérant ne pas en avoir ajouté.

    Le développement est trop court sans les corollaires, qui ne doivent pas être placés juste après le théorème dans le plan car on a besoin du fait que $\mathbb{F}_q^*$ est cyclique.
  • Référence :
  • Fichier :