Eisenstein's criterion

From Commalg

Statement

Let be an integral domain and a prime ideal in . Consider a primitive polynomial:

where , and , then is an irreducible polynomial.