Irreduzibilitätssatz von Hilbert
# 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 $h(x_{g})=x_{hg}$, womit man eine Darstellung von G in $K=k(x_{1},...,x_{n})$ erhält, wobei $n=|G|$) die Gruppenordnung ist. Sei $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 $x_{i}$ über K ist und ein rationaler Funktionenkörper über k sei. Dann hat $K\backslash K^{G}$ die Galoisgruppe G . Ist k ein Hilbertkörper, zum Beispiel $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 $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 $\mathbb {Q}$ darstellen (Satz von Kronecker-Weber), und ebenso jede auflösbare endliche Gruppe (Igor Schafarewitsch).

