Développement : Critère d'Eisenstein + application à l'irréductibilité de $\Phi_p$

Détails/Enoncé :

On démontre le critère d'Eisenstein et à l'aide de ce dernier, on prouve l'irréductibilité du $p$-ème polynôme cyclotomique $\Phi_p(X)=\sum \limits_{k=0}^{p-1}X^k$ sur $\mathbb{Q}[X]$.

Versions :

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

Oraux X-ENS Algèbre 1, Francinou, Gianella, Nicolas (utilisée dans 115 versions au total)
Cours d'algèbre , Perrin (utilisée dans 287 versions au total)
Algèbre , Gourdon (utilisée dans 238 versions au total)