Irreduzibilitätssatz von Hilbert

(Weitergeleitet von Hilbert-Körper)

Der Irreduzibilitätssatz von Hilbert ist ein Satz von David Hilbert über die Irreduzibilität von Polynomen mit rationalen Koeffizienten in mehreren Variablen, wenn eine Anzahl der Variablen rationale Werte erhalten. Verallgemeinerungen des Satzes betreffen Polynome über anderen Körpern als den rationalen Zahlen. Der Satz ist von besonderer Bedeutung für die Zahlentheorie und die arithmetische algebraische Geometrie.

Formulierung des Satzes

Bearbeiten

Der Irreduzibilitätssatz von Hilbert lautet: Sei

 

ein irreduzibles Polynom über den rationalen Zahlen. Dann gibt es unendlich viele  -Tupel rationaler Zahlen  , so dass:

 

irreduzibel ist.

Beispiel

Bearbeiten

  bleibt irreduzibel über den rationalen Zahlen für alle Spezialisierungen  , die keine Quadrate rationaler Zahlen sind. Hat man andererseits für  , dass der Ausdruck reduzibel für alle rationalen   ist, das heißt   ist ein Quadrat in den rationalen Zahlen, so kann der ursprüngliche Ausdruck nach dem Irreduzibilitätssatz auch nicht irreduzibel über den rationalen Zahlen sein und muss das Quadrat eines Polynoms sein,  . Entsprechendes gilt für   mit   und bei Ersetzung von rational durch ganzzahlig.

Hilbert-Körper

Bearbeiten

Allgemeiner kann man auch andere Körper als die rationalen Zahlen betrachten, gilt in ihnen der Hilbertsche Irreduzibilitätssatz, spricht man von Hilbert-Körpern  . Beispiele für Hilbert-Körper sind außer den rationalen Zahlen algebraische Erweiterungen der rationalen Zahlen, also algebraische Zahlkörper.[1] Das Irreduzibilitätstheorem gilt auch für Spezialisierungen in den ganzen Zahlen und den Ringen ganzer Zahlen in algebraischen Zahlkörpern. Der Irreduzibilitätssatz stellt die Existenz unendlich vieler solcher s-Tupel von Zahlen aus   sicher, man kann sogar zeigen, dass sie Zariski-dicht liegen in  . Der Satz hat Anwendungen in der Zahlentheorie, zum Beispiel wird er im Beweis der großen Fermatvermutung von Andrew Wiles benutzt, und in der inversen Galoistheorie.

Anwendungen

Bearbeiten

Der Irreduzibilitätssatz wurde von André Neron zur Konstruktion Abelscher Varietäten über den rationalen Zahlen benutzt. Nach dem Satz von Mordell-Weil ist die Gruppe der rationalen Punkte der abelschen Varietät endlich erzeugt (und der Rang endlich) und Neron konstruierte abelsche Varietäten der Dimension g und Rang  [2]. 1952 zeigte so Neron, dass es elliptische Kurven mit Rang   über den rationalen Zahlen gibt.

Von David Hilbert und Emmy Noether (1918)[3][4] wurde der Satz in der inversen Galoistheorie angewandt. Darin geht es um das Problem, eine Körpererweiterung L von k zu finden, so dass eine vorgegebene endliche Gruppe G dessen Galoisgruppe ist.[5]

Man führe für jedes Gruppenelement   eine Variable   ein und betrachte die Wirkung von G auf die Permutation der Variablen über  , womit man eine Darstellung von G in   erhält, wobei  ) die Gruppenordnung ist. Sei   der unter G invariante Unterkörper von K, der wiederum ein Unterkörper des Körpers der symmetrischen Funktionen in den n Variablen   über K ist und ein rationaler Funktionenkörper über k sei. Dann hat   die Galoisgruppe G . Ist k ein Hilbertkörper, zum Beispiel  , kann man (n-1) der Variablen spezifizieren und erhält nach dem Irreduzibilitätssatz einen Körper L, der Zerfällungskörper eines Polynoms   ist und die Galoisgruppe G hat.

Diese Strategie von Emmy Noether (Noethersches Kriterium oder Vermutung von Noether, der Invariantenkörper von G ist ein rationaler Funktionenkörper über k, das heißt eine rein transzendente Körpererweiterung von k)[6] ist häufig erfolgreich. Noether zeigte dies für den Fall der symmetrischen Gruppe und weitere Beispiele sind bekannt, so von Claude Chevalley für endliche Spiegelungsgruppen. Ein Gegenbeispiel fand 1969 Richard Swan mit der zyklischen Gruppe der Ordnung 47.[7] Das Umkehrproblem der Galoistheorie, 1892 von Hilbert formuliert, ist bis heute im Allgemeinen ungelöst, auch wenn viele Teilresultate bekannt sind. Zum Beispiel lässt sich jede endliche abelsche Gruppe als Galoisgruppe über   darstellen (Satz von Kronecker-Weber), und ebenso jede auflösbare endliche Gruppe (Igor Schafarewitsch).

Literatur

Bearbeiten
  • David Hilbert, Über die Irreduzibilität ganzer rationaler Funktionen mit ganzzahligen Koeffizienten, Journal für Reine und Angewandte Mathematik, Band 110, 1892, S. 104–129, SUB Göttingen
  • Jean-Pierre Serre: Topics in Galois Theory, Jones and Bartlett 1992 (Kapitel 3)
  • Charles Robert Hadlock: Field theory and its classical problems, Carus Mathematical Monographs, Mathematical Association of America 1978
  • Serge Lang: Fundamentals of Diophantine Geometry, Springer 1983 (oder Diophantine Geometry, Interscience 1962, Kapitel 8)
Bearbeiten

Einzelnachweise

Bearbeiten
  1. Lang, Survey of Diophantine Geometry, Springer 1997, S. 41
  2. Parshin, in: Hilbert theorems, Encyclopedia of Mathematical Sciences, Springer
  3. Emmy Noether, Gleichungen mit vorgeschriebener Gruppe, Mathematische Annalen, Band 78, 1918, S. 221–229, SUB Göttingen
  4. Meredith Blue, Galois theory and Noether’s problem, Proc. Thirty-Fourth Annual Meeting Florida Section MAA, 2001, pdf
  5. Bei Hilbert war G die symmetrische Gruppe, was von Noether verallgemeinert wurde.
  6. Matzat, Konstruktive Galoistheorie, Springer, 1987, S. 5
  7. Jacques Martinet Un contre-exemple à une conjecture d'E. Noether, d'après R. Swan, Seminaire Bourbaki 372, 1969, numdam (Memento vom 3. März 2016 im Internet Archive)