Critère d'Eisenstein :
Soit A un anneau factoriel,
P = a0 + a1 X + ... + aN X^N ∈ A[X] et p ∈ A premier.
Si 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]
Contre-exemple :
Soit 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.