Irreduzibilitätssatz von Hilbert

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

Der Irreduzibilitätssatz von Hilbert lautet: Sei

$f(x_{1}\ldots ,x_{s},y)$

ein irreduzibles Polynom über den rationalen Zahlen. Dann gibt es unendlich viele $s$-Tupel rationaler Zahlen $q_{i}$, so dass:

$f(q_{1},\ldots ,q_{s},y)$

irreduzibel ist.

Beispiel

$f(x,y)=y^{2}-x$ bleibt irreduzibel über den rationalen Zahlen für alle Spezialisierungen $x=q$, die keine Quadrate rationaler Zahlen sind. Hat man andererseits für $f(x_{1},...,x_{i},y)=y^{2}-g(x_{1},...,x_{i})$, dass der Ausdruck reduzibel für alle rationalen $(x_{1},...,x_{i})$ ist, das heißt $g(x_{1},...,x_{i})$ 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, $g(x)=a(x)^{2}$. Entsprechendes gilt für $y^{n}-g(x)$ mit $n>2$ und bei Ersetzung von rational durch ganzzahlig.

Hilbert-Körper

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 $k$. Beispiele für Hilbert-Körper sind außer den rationalen Zahlen algebraische Erweiterungen der rationalen Zahlen, also algebraische Zahlkörper. 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 $k$ sicher, man kann sogar zeigen, dass sie Zariski-dicht liegen in $k^{s}$. 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

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 $r\geq 3g+6$. 1952 zeigte so Neron, dass es elliptische Kurven mit Rang $r>9$ über den rationalen Zahlen gibt.

Von David Hilbert und Emmy Noether (1918) 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.

Man führe für jedes Gruppenelement $g\in G$ eine Variable $x_{g}$ ein und betrachte die Wirkung von G auf die Permutation der Variablen über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h (x_g)=x_{hg}} , womit man eine Darstellung von G in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K=k (x_1, ..., x_n)} erhält, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n=|G|} ) die Gruppenordnung ist. Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K^G} der unter G invariante Unterkörper von K, der wiederum ein Unterkörper des Körpers der symmetrischen Funktionen in den n Variablen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_i} über K ist und ein rationaler Funktionenkörper über k sei. Dann hat Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K \backslash K^G} die Galoisgruppe G . Ist k ein Hilbertkörper, zum Beispiel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k =\mathbb Q} , kann man (n-1) der Variablen spezifizieren und erhält nach dem Irreduzibilitätssatz einen Körper L, der Zerfällungskörper eines Polynoms Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x) \in k (x)} 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) 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. 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb Q} darstellen (Satz von Kronecker-Weber), und ebenso jede auflösbare endliche Gruppe (Igor Schafarewitsch).

Literatur

• 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)

Weblinks

• Umberto Zannier, On the Hilbert irreducibility theorem, Rend. Mat. Sem. Univ. Pol. Torino, Band 67, 2009, S. 1–14, pdf
• Alexei Nikolajewitsch Parschin, Hilbert’s irreducibility theorem, Encyclopedia of Mathematics, Springer