Construction des corps finis

J'ai une version un peu différente de ce qui est donné dans l'énoncé : 1. Construction des corps finis avec le corps de décomposition 2. Montrer qu'un sous groupe fini de K* est cyclique 3. En déduire l'existence d'un polynôme irréductible de degré n sur Fp pour tout n, p; et donc une 2e construction avec le corps de rupture cette fois ci

Retrouvez toutes les leçons et tous les développements, ainsi que des cours (avec les fichiers sources) sur mon site www.coquillagesetpoincare.fr

Dans cette version on montre l'existence et unicité d'un corps fini $\mathbb{F}_q$ à $q$ élément avec $q = p^n$ puis on montre que les sous corps de $\mathbb{F}_{p^n}$ sont exactement (à isomorphisme près) les $\mathbb{F}_{p^d}$ avec $d \mid n$. Rappel : attention aux erreurs/typos possibles et à la pertinence des développements, c'est à vous de vérifier et de juger.

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.

Mis à jour le 12.06.17