Körpererweiterung/Algebraisches Element/Äquivalente Charakterisierung/Fakt/Beweis

Beweis

. Das ist trivial, da man ein von verschiedenes Polynom stets normieren kann, indem man durch den Leitkoeffizienten dividiert. . Nach (2) gibt es ein Polynom , , mit . Sei . Dann ist

eine lineare Abhängigkeit zwischen den Potenzen. . Umgekehrt bedeutet die lineare Abhängigkeit, dass es Elemente gibt, die nicht alle sind mit . Dies ist aber die Einsetzung für das Polynom , und dieses ist nicht das Nullpolynom. . Sei

ein normiertes Polynom mit , also mit

Dann kann man umstellen

D.h. kann man durch kleinere Potenzen ausdrücken. Durch Multiplikation dieser Gleichung mit weiteren Potenzen von ergibt sich, dass man auch die höheren Potenzen durch die Potenzen , , ausdrücken kann. . Das ist trivial. . Wenn in einer endlichdimensionalen Algebra liegt, so liegen darin auch alle Potenzen von . Da es in einem endlichdimensionalen Vektorraum keine unendliche Folge von linear unabhängigen Elementen geben kann, müssen diese Potenzen linear abhängig sein.