Polynomring/Körper/Lemma von Bezout/Fakt/Beweis

Beweis

Wir betrachten die Menge aller Linearkombinationen

${}I={\left\{Q_{1}P_{1}+\cdots +Q_{n}P_{n}\mid Q_{i}\in K[X]\right\}}\,.$

Dies ist ein Ideal von ${}K[X]$, wie man direkt überprüft. Nach Fakt ist dieses Ideal ein Hauptideal, also

${}I=(E)\,$

mit einem gewissen Polynom ${}E$. Es ist ${}E$ ein gemeinsamer Teiler der ${}P_{i}$. Wegen ${}P_{i}\in I=(E)$ ist nämlich

${}P_{i}=H_{i}E\,,$

d.h. ${}E$ ist ein Teiler von jedem ${}P_{i}$. Aufgrund einer ähnlichen Überlegung ist

${}P_{i}\in (G)\,$

für alle ${}i$ und damit auch

${}(E)=I\subseteq (G)\,.$

Also ist

${}E=GF\,.$

Da nach Voraussetzung ${}G$ den maximalen Grad unter allen gemeinsamen Teilern besitzt, muss ${}F\neq 0$ eine Konstante sein. Also ist

${}(G)=(E)=I\,$

und insbesondere ${}G\in I$. Also ist ${}G$ eine Linearkombination der ${}P_{i}$.

Zur bewiesenen Aussage