Criterium van Eisenstein

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

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

Criterium[bewerken]

Laat

een polynoom zijn met gehele coëfficienten.

Veronderstel dat er een priemgetal is, zodanig dat

  • geen deler is van
  • wel deler is van alle andere coëfficienten
  • geen deler is van ,

dan is over de rationale getallen irreducibel.

Voorbeeld[bewerken]

De polynoom is irreducibel, want het priemgetal 5 is deler van de coëfficiënten 5, 15 en 10, maar geen deler van 3 en ook is 25 geen deler van 10.

Toepassing[bewerken]

Als een priemgetal is, dan is

irreducibel.[1] Het bewijs gaat als volgt

Na de substitutie van is deze vergelijking te schrijven met binomiaalcoëfficiënten als:

.

Hieruit blijkt dat geen deler is van de coëfficiënt 1 van de hoogste macht van , wel deler is van alle andere coëfficiënten, maar geen deler is van de constante term . Uit het criterium van Eisenstein volgt nu dat de polynoom in irreducibel is, dus is ook de oorspronkelijke polynoom in irreducibel.

Algemeen[bewerken]

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.

Geschiedenis[bewerken]

Het criterium is naar Ferdinand Eisenstein genoemd. Het werd als eerste door T. Schönemann gepubliceerd,[2] maar werd daarna ook door Eisenstein gebruikt.[3] Eisenstein paste het criterium toe op polynomen met coëfficiënten in Z[i], niet Z. Vaak wordt Eisenstein verward met Einstein.

Externe links[bewerken]

Voetnoten[bewerken]

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

  1. (fr) Pierre Samuel, "Théorie algébrique des nombres," Hermann 1967.
  2. (de) Journal für die reine und angewandte Mathematik, T Schönemann. "Von dejenigen Moduln, welche Potenzen von Primzahlen sind.", 1846. band 32, blz. 93
  3. (de) Journal für die reine und angewandte Mathematik, F Eisenstein. "Über die Irreducibilität und einige andere Eigenschaften der Gelichung, von welcher die Teilung der ganzen Lemniscate abhängt.", 1850. band 39, blz. 166-169