Satz von Warning

In der Zahlentheorie, einem der Teilgebiete der Mathematik, ist der Satz von Warning ein von dem Mathematiker Ewald Warning im Jahre 1935 vorgelegter Lehrsatz, der eine Teilbarkeitseigenschaft der Nullstellenmengen gewisser Polynome über endlichen Körpern beschreibt. Der Satz umfasst nicht zuletzt einen ebenfalls im Jahre 1935 vorgelegten Satz des französischen Mathematikers Claude Chevalley (1909–1984). Der Satz von Warning zog eine Anzahl von weitergehenden Untersuchungen nach sich.

Formulierung des Warning'schen Satzes

Der Satz lässt sich folgendermaßen formulieren:

Gegeben seien eine Primzahl $p$ sowie der zugehörige endliche Körper $𝕂=\mathrm{GF}(p)$ und weiter eine natürliche Zahl $n\ge 1$ sowie ein Polynom $f\in 𝕂[x_1,\dots ,x_n]$ und es gelte die Ungleichung $\mathrm{deg}(f)<n$.

Weiter sei $N_f\subseteq {𝕂}^n$ die Menge der Nullstellen von $f$ .

Dann ist $|N_f|$ ist durch $p$ teilbar. Mit anderen Worten: $|N_f|\equiv 0(\mathrm{mod}p)$.

Verallgemeinerung

Der Satz von Warning ist enthalten in dem folgenden allgemeineren Satz:

Es seien die allgemeinen Voraussetzungen von oben gültig. Dabei seien jedoch – anstelle eines einzigen Polynoms – für eine beliebige natürliche Zahl $m\ge 1$ mehrere Polynome $f_1,\dots ,f_m\in 𝕂[x_1,\dots ,x_n]$ gegeben, welche der Ungleichung $\mathrm{deg}(f_1)+\cdots +\mathrm{deg}(f_m)<n$ genügen sollen.

Dann ist für die Menge $N=\bigcap _{j=1}^m{N}_{f_j}\subseteq {𝕂}^n$ der gemeinsamen Nullstellen der $f_j(j=1,\dots ,m)$ deren Anzahl $|N|$ durch $p$ teilbar.

Insbesondere gibt es stets eine weitere gemeinsame Nullstelle, falls die $f_j(j=1,\dots ,m)$ mindestens eine gemeinsame Nullstelle haben.

Erläuterungen und Hinweise

• Für eine Menge $X$ bezeichnet man mit $|X|$ die Mächtigkeit dieser Menge.
• Zu einer Primzahl $p$ gehört stets der Galoiskörper $𝕂=\mathrm{GF}(p)$ mit der Charakteristik $\mathrm{char}(𝕂)=|𝕂|=p$.
• Zu einem gegebenen Körper $𝕂$ und einer gegebenen natürlichen Zahl $n\ge 1$ gehört stets der Polynomring $𝕂[x_1,\dots ,x_n]$ in $n$ Veränderlichen $x_1,\dots ,x_n$.
• $\mathrm{deg}(f)$ bezeichnet den Grad des Polynoms $f$.
• Für den Galoiskörper $𝕂=\mathrm{GF}(p)$ ist $(a_1,\dots ,a_n)\in {𝕂}^n$ genau dann Nullstelle des Polynoms $f$, wenn $f(a_1,\dots ,a_n)\equiv 0(\mathrm{mod}p)$.
• Man bezeichnet in der englischsprachigen Fachliteratur die genannte Verallgemeinerung des Warning'schen Satzes auch als Chevalley–Warning theorem (Vorlage:DeS).
• Der von Chevalley vorgelegte Satz wurde parallel zum Satz von Warning in derselben Zeitschrift publiziert und besagt, dass die im Chevalley–Warning'schen Satz genannte Polynome $f_j(j=1,\dots ,m)$ unter der genannten Gradbedingung im Falle $(0,\dots ,0)\in N$ mindestens noch eine weitere gemeinsame Nullstelle $(a_1,\dots ,a_n)\in N\setminus \{(0,\dots ,0)\}$ haben. Hier ist zu beachten, dass $p\ge 2$ ist.
• Der Satz von Warning und die oben genannte Verallgemeinerung lassen sich nicht zuletzt sich auch mit Hilfe des Kombinatorischen Nullstellensatzes ableiten.
• Der von Koch und Pieper in ihrer Zahlentheorie (s. u.) dargestellte „schöne Beweis“ des Satzes von des Warning beruht auf der Publikation von James Ax aus dem Jahre 1964 (s. u.).

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur