Zahlkörper/Betrag/Polynom/Abschätzung/Fakt/Beweis

Beweis

Wir können einen Betrag auf einen Erweiterungskörper fortsetzen, deshalb können wir davon ausgehen, dass das Polynom in Linearfaktoren zerfällt. Wir betrachten die Situation eines nichtarchimedischen Betrages. Dieser rührt von einem Primideal im zugehörigen Zahlbereich ${}R$ her, und zwar ist

${}\vert {f}\vert =a^{-\operatorname {ord} \,(f)}\,$

mit einer reellen Basis ${}a>1$. Wir arbeiten im zugehörigen diskreten Bewertungsring ${}B=R_{\mathfrak {p}}$. Wir schreiben das Polynom als

${}F=v\pi ^{\ell }(X-b_{1}\pi ^{n_{1}})\cdots (X-b_{d}\pi ^{n_{d}})\,$

mit Einheiten ${}v,b_{j}$ aus ${}B$, wobei ${}\pi$ eine Ortsuniformisierende von ${}B$ bezeichnet, ${}\ell ,n_{j}\in \mathbb {Z}$. Es sei ${}m_{0}$ negativ und echt kleiner als alle ${}n_{j}$ und so, dass auch ${}\ell +dm_{0}$ negativ ist. Wir setzen

${}c:=\operatorname {min} \left(a^{dm_{0}},\,a^{-\ell }\right)\,$

Es sei

${}x=u\pi ^{m}\,,$

somit ist also ${}\vert {x}\vert =a^{-m}$. Bei ${}m\geq m_{0}$ ist

${}1=a^{dm_{0}}a^{-dm_{0}}\geq ca^{-dm}=c(a^{-m})^{d}\geq c\cdot \operatorname {max} \left(\vert {x}\vert ^{d},\,1\right)\,.$

Bei ${}m\leq m_{0}$ ist die Ordnung von jedem Faktor (nach der Einsetzung) gleich ${}m$ und die Gesamtordnung von ${}F(x)$ ist ${}\ell +dm$. Der Betrag davon ist

${}\vert {F(x)}\vert =a^{-\ell -dm}=a^{-\ell }(a^{-m})^{d}=a^{-\ell }\cdot \vert {x}\vert ^{d}\geq c\cdot \vert {x}\vert ^{d}\,.$

Zur bewiesenen Aussage