Polynômes irréductibles sur Fq

Mis à jour le 5.06.17

[Doublon : Classification des groupes d'ordre 8]

C[X,Y]/(XY-1) est principal

Mis à jour le 10.06.17

Automorphismes de K(X)

Équation de Nagell-Ramanujan

Polynômes irréductibles sur Fq

Les idéaux premiers de K[X,Y]

La première phrase dans la preuve du lemme est un peu floue. Je veux dire qu'on voit $F$ et $P$ comme éléments de $K[X][Y] \subset K(X)[Y]$.

Table de caractères des groupes non abéliens d'ordre 8

C'est l'exercice E.21 page 333 du livre de Caldero, tome 2 (nouvelle édition).
En complément, la preuve de la classification des groupes d'ordre 8 est faite dans le livre de Francinou et Gianella (Attention, ce n'est pas un FGN !)

Le dénombrement des polynômes irréductibles unitaires sur un corps fini

Le dénombrement des polynômes irréductibles unitaires sur un corps fini

Développement pas trop long, assez compliqué mais très recasable ce qui en fait, pour moi, un incontournable.
On utilise le théorème fondamental de l'arithmétique, le théorème de Lagrange, la notion de polynome minimal, la notion de corps de rupture et de décomposition et le théorème de la base télescopique.
NB1 : Il faut se convaincre soi-même de la pertinence d'un recasage et être capable de défendre son choix le jour J devant le jury. Vous pouvez, évidemment, ne pas être d'accord avec moi.
NB2 : Il peut y avoir des fautes dans ce que j'écris, faites attention.
NB3 : Attention, il n'est pas évident que : $ [F_{q^n} : F_[q}] = n $. (voir la question 1 qui manque de détails)

Le dénombrement des polynômes irréductibles unitaires sur un corps fini

Leçons 123, 125, 141, 144, 190

Le dénombrement des polynômes irréductibles unitaires sur un corps fini

Dans cette version j'utilise la formule d'inversion de Moebius sans la démontrer.
Rappel : attention aux erreurs/typos possibles et à la pertinence des développements, c'est à vous de vérifier et de juger.

Table de caractères de D4 et H8

Théorème de Wolstenholme