Eisensteinkriterium

Das Eisensteinkriterium o​der auch Irreduzibilitätskriterium v​on Eisenstein d​ient in d​er Algebra z​um Nachweis d​er Irreduzibilität e​ines gegebenen Polynoms. Es lassen s​ich damit leichter Aussagen über d​ie Teilbarkeit v​on Polynomen treffen.

Das Kriterium i​st nach d​em Mathematiker Gotthold Eisenstein benannt, d​er dazu 1850 e​inen öffentlichkeitswirksamen Aufsatz i​n Crelles Journal (Band 39) verfasste.[1] Schon v​ier Jahre z​uvor war e​s ebenda z​um ersten Mal v​on Theodor Schönemann veröffentlicht worden (Band 32). Es w​urde und w​ird teilweise a​uch nach Schönemann benannt.[2]

Aussage

Sei ein Polynom mit ganzzahligen Koeffizienten, also

Wenn eine Primzahl existiert, die alle Koeffizienten bis teilt, den Koeffizienten jedoch nicht quadratisch und gar nicht teilt; wenn also

  • für alle und
  • und

gilt, dann ist in irreduzibel. Ist zusätzlich noch primitiv, so ist es auch irreduzibel in .

Verallgemeinerung

Sind die Koeffizienten aus einem faktoriellen Ring und existiert ein entsprechendes Primelement , so ist das Polynom irreduzibel im Polynomring des Quotientenkörpers von

Bemerkungen

  • Ein Polynom, für das ein solches existiert, wird auch Eisenstein-Polynom bezüglich genannt.
  • Das Kriterium ist nur hinreichend; auch wenn es nicht erfüllt ist, kann das Polynom irreduzibel sein. Die Zerlegbarkeit eines Polynoms kann damit nicht nachgewiesen werden.
  • Für eine Zerlegung in kann man das Kriterium wie folgt benutzen. Es gilt natürlich: hat Inhalt 1 und ist irreduzibel in irreduzibel in Fasst man also als diophantische Gleichung für x auf, so lässt sich folgern: Ist das Kriterium für erfüllt, so gibt es auch keine ganzzahlige Lösung der Gleichung.
  • Allerdings folgt aus dem Gaußschen Lemma auch die Umkehrung: irreduzibel in irreduzibel in [3]

Beispiele

  • ist nach obigem Kriterium irreduzibel über (wähle ). Dies bedeutet, dass die reelle Nullstelle des Polynoms irrational sein muss.
  • ist irreduzibel in wenn eine Primzahl ist oder einen einfachen Primteiler hat. Insbesondere kann dann für kein rational sein.
  • erfüllt das Kriterium nicht und ist irreduzibel. erfüllt das Kriterium genauso wenig, ist aber zerlegbar in
  • erfüllt das Kriterium mit , ist also irreduzibel in Wegen ist das Polynom aber reduzibel in , denn es zerfällt dort in ein Produkt zweier Nichteinheiten.
  • Das Polynom kann als Element im Ring der Polynome in mit Koeffizienten im faktoriellen Ring aufgefasst werden. Es ist irreduzibel in , also auch ein Primelement. Nach dem verallgemeinerten Eisensteinkriterium ist also irreduzibel in .
  • Für jede Primzahl ist das Kreisteilungspolynom in nach dem Eisensteinkriterium irreduzibel in . Da das Kriterium nicht direkt anwendbar ist, wird eine Variablensubstitution vorgenommen. Der durch
und
festgelegte Automorphismus auf hat die inverse Variablensubstitution , welche durch
und
definiert ist. Des Weiteren gilt
Daraus folgt, dass
gilt. Dabei ist die rechte Seite der Gleichung als Element aus dem Quotientenkörper von anzusehen. Da die Division ohne Rest aufgeht, ist die rechte Seite der Gleichung aber insbesondere auch ein Element aus . Mit dem binomischen Lehrsatz folgt:
Nach dem Eisensteinkriterium ist irreduzibel, denn es gilt
für
ist als Inverses des Automorphismus ebenfalls ein Automorphismus. Da Automorphismen irreduzible Polynome auf irreduzible Polynome abbilden, ist irreduzibel in

Beweis

Der Beweis läuft per Widerspruch: Angenommen, wäre ein Eisensteinpolynom bezüglich und es gäbe zwei nicht-konstante Polynome und in mit Da nach Voraussetzung alle bis auf den Leitkoeffizienten durch teilbar sind, gilt folgendes Modulo-Argument: Damit müssen auch und Monome modulo sein, d. h. auch deren sonstige Koeffizienten sind alle durch teilbar. Insbesondere die konstanten Terme von und sind jeweils durch teilbar. Wegen folgt mit dem Cauchy-Produkt, dass der konstante Term von durch teilbar ist – Widerspruch dazu, dass das Kriterium für erfüllt ist. Damit muss irreduzibel in sein. Mit dem Lemma von Gauß folgt, dass auch irreduzibel im Quotientenkörper, sprich in , ist. Und das ist, was zu zeigen war.

Betrachtet man allgemein Polynome über einem faktoriellen Ring , so muss das Modulo-Argument durch einen geeigneten Homomorphismus ersetzt werden, der auf seine entsprechende Restklasse in abbildet. Da faktoriell ist und ein Primelement, lässt sich der Homomorphismus leicht finden. Die Linearität erlaubt dann analog die Folgerung, dass und jeweils selbst auf ein Monom abgebildet werden.[3]

Literatur

  • David A. Cox: Why Eisenstein proved the Eisenstein criterion and why Schönemann discovered it first, American Mathematical Monthly, Band 118, 2011, S. 3–21
  • Jürgen Wolfart: Einführung in die Algebra und Zahlentheorie. Vieweg Verlag, 1996, ISBN 978-3528072865.
  • Christian Karpfinger, Kurt Meyberg: Algebra. Springer Spektrum, 2013, ISBN 978-3-8274-3011-3.

Einzelnachweise

  1. Eisenstein: Über die Irreductibilität und einige andere Eigenschaften der Gleichung, von welcher die Theilung der ganzen Lemniscate abhängt. Journal für die reine und angewandte Mathematik, Band 39, 1850, S. 160–179.
  2. Lemmermeyer: Reciprocity Laws. Springer Verlag 2000, S. 274.
  3. Jürgen Wolfart: Einführung in die Algebra und Zahlentheorie. Vieweg Verlag, 1996, Seite 143, ISBN 978-3528072865.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.