Algebraic number theory MOC

Eisenstein’s criterion

Let 𝑅 be an integral domain and 𝑓(π‘₯) =βˆ‘π‘›π‘–=1π‘Žπ‘–π‘₯𝑖 βˆˆπ‘…[π‘₯] be a polynomial. For a prime ideal 𝔭 βŠ΄π‘…, we say 𝑓(π‘₯) is Eisenstein at 𝔭 iff

  1. π‘Žπ‘– βˆˆπ”­ for 1 ≀𝑖 <𝑛;
  2. π‘Žπ‘› βˆ‰π”­;
  3. π‘Ž0 βˆ‰π”­2.

If 𝑓(π‘₯) is Eisenstein at some prime ideal 𝔭, then 𝑓(π‘₯) cannot be written as the product of two non-constant polynomials in 𝑅[π‘₯].1 alg

In particular, if 𝑅 is a Unique factorization domain then 𝑓(π‘₯) is also irreducible in (Frac⁑𝑅)[π‘₯], by GauΓŸβ€™s lemma.


develop | en | SemBr

Footnotes

  1. 2009. Algebra: Chapter 0, Β§V.5.4, p. 288 ↩