Développement #1290

Titre : Critère d'Eisenstein + Contre-exemple au théorème de l'élément primitif

Contenu : Critère d'Eisenstein :\rSoit A un anneau factoriel, \rP = a0 + a1 X + ... + aN X^N ∈ A[X] et p ∈ A premier.\rSi p ne divise pas aN, p divise aK pour K inférieur à N-1, et p^2 ne divise pas a0, alors P est irréductible dans Frac(A)[X]\r\rContre-exemple :\rSoit k un corps de caractéristique p > 0, on pose K = k(U,T) et K0 = k(U^p, T^p), alors K n'est pas une extension monogène de K0.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42