Criterium van Eisenstein

Het criterium van Eisenstein geeft een voldoende voorwaarde voor de irreducibiliteit van een polynoom met gehele coëfficienten. Polynomen die voldoen aan het criterium, zijn irreducibel over de rationale getallen en, dat is in feite hetzelfde, over de gehele getallen. Het polynoom

$f(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots +a_{1}x+a_{0}$

met gehele coëfficienten is volgens het criterium irreducibel over de rationale getallen, als er een een priemgetal $p$ is, zodanig dat

• $a_{n}$ niet door $p$ kan worden gedeeld,
• alle andere coëfficienten $a_{i}$ wel door $p$ kunnen worden gedeeld en
• $a_{0}$ niet door $p^{2}$ kan worden gedeeld.

Het criterium is naar Ferdinand Eisenstein genoemd. Het werd als eerste door T. Schönemann gepubliceerd, maar werd daarna ook door Eisenstein gebruikt. Eisenstein paste het criterium toe op polynomen met coëfficiënten in $\mathbb {Z} [i]$, niet $\mathbb {Z}$.

Voorbeelden

• Het polynoom $3x^{3}+5x^{2}+15x+10$ is bijvoorbeeld irreducibel, want de coëfficiënten 5, 15 en 10 kunnen door het priemgetal 5 worden gedeeld, 3 niet en 10 kan niet door 25 worden gedeeld.

• Als $p$ een priemgetal is, dan is

$x^{p-1}+x^{p-2}+\ldots +x+1$

irreducibel. Het bewijs gaat als volgt

$x^{p}-1=(x-1)(x^{p-1}+x^{p-2}+\ldots +x+1)$

Na de substitutie van $x=y+1$ is deze vergelijking te schrijven met binomiaalcoëfficiënten als:

$x^{p-1}+x^{p-2}+\ldots +x+1={\frac {x^{p}-1}{x-1}}={\frac {(y+1)^{p}-1}{y}}=y^{p-1}+\sum _{j=1}^{p-1}{\binom {p}{j}}y^{j-1}$

De coëfficiënt 1 van de hoogste macht van $y$ is hierin niet door $p$ te delen, maar alle andere coëfficiënten wel en de constante term $p$ kan weer niet door $p^{2}$ worden gedeeld. Uit het criterium van Eisenstein volgt nu dat het polynoom in $y$ irreducibel is, dus is ook het oorspronkelijke polynoom in $x$ irreducibel.

• Indien de gehele getallen worden vervangen door een uniek factorisatiedomein $D$, de rationale getallen door het quotiëntenlichaam $F$ van $D$ en $p$ door een priemelement in $D$, dan geldt het criterium ook.

Websites

• MathWorld. Eisenstein's Irreducibility Criterion.

Voetnoten

Journal für die reine und angewandte Mathematik wordt afgekort tot Crelle's Journal.