Satz von Kronecker (Körpertheorie)

Der Satz von Kronecker (Vorlage:EnS) der Körpertheorie ist einer der Lehrsätze des Mathematikers Leopold Kronecker, welche innerhalb der Algebra angesiedelt sind. Der Satz behandelt die Frage der Existenz von Nullstellen von Polynomen über kommutativen Körpern und ist als solcher grundlegend in der Theorie der Zerfällungskörper.

Formulierung des Satzes

Der Satz lässt sich zusammengefasst formulieren wie folgt:

(1) Zu einem beliebigen irreduziblen Polynom $p\in K[X]$ über einem kommutativen Körper $K$ lässt sich stets eine endliche Körpererweiterung $L/K$ finden, in der $p$ eine Nullstelle hat und deren Erweiterungsgrad mit dem Grad des Polynoms übereinstimmt;

also derart, dass stets die Gleichungen

(1a) $p(x_0)=0$ für mindestens ein $x_0\in L$

(1b) $[L:K]=\mathrm{deg}(p)$

erfüllt sind.

(2) Zu jedem nichtkonstanten Polynom $f\in K[X]$ über einem kommutativen Körper $K$ gibt es stets eine endliche Körpererweiterung $L/K$, in der $f$ eine Nullstelle hat und deren Erweiterungsgrad in Bezug auf den Grad des Polynoms die Ungleichung $[L:K]\le \mathrm{deg}(f)$ erfüllt.

Folgerung

Der kroneckersche Satz zieht das folgende Resultat nach sich:

Zu jedem kommutativen Körper $K$ und jedem Polynom $f\in K[X]$ existiert ein Zerfällungskörper $S_f/K$, für dessen Erweiterungsgrad in Bezug auf den Grad des Polynoms die Ungleichung $[S_f:K]\le \mathrm{deg}(f)!$ besteht.

Quellen

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