Algebraic number theory MOC

Eisenstein's criterion

Let be an integral domain and be a polynomial. For a prime ideal , we say is Eisenstein at iff

1. for ;
2. ;
3. .

If is Eisenstein at some prime ideal , then cannot be written as the product of two non-constant polynomials in .¹ #m/thm/num/alg

In particular, if is a Unique factorization domain then is also irreducible in , by Gauß's lemma.

#state/develop | #lang/en | #SemBr