Let π be an integral domain and π(π₯)=βππ=1πππ₯πβπ [π₯] be a polynomial.
For a prime idealπβ΄π , we say π(π₯) is Eisenstein at π iff
ππβπ for 1β€π<π;
ππβπ;
π0βπ2.
If π(π₯) is Eisenstein at some prime ideal π, then π(π₯) cannot be written as the product of two non-constant polynomials in π [π₯].1alg