summaryrefslogtreecommitdiffstats
path: root/notes-accq205.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-accq205.tex')
-rw-r--r--notes-accq205.tex13
1 files changed, 7 insertions, 6 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index 57f59ea..a298d95 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -3659,12 +3659,13 @@ a vu ci-dessus que $x$ était transcendant sur $k$, c'est-à-dire que
les $f_i$ sont des fractions rationnelles en $x$. Quitte à chasser
les dénominateurs, on peut supposer $f_i \in k[x]$ et que $x$ ne les
divise pas tous. Soit $c_i = f_i(0)$ le terme constant de $f_i$ (non
-tous nuls, donc), mettons $f_i = c_i + x g_i$, et soit $j$ le plus
-petit possible tel que $c_j \neq 0$ : ainsi, on a $c_j x_j + \cdots +
-c_n x_n + g_1 x x_1 + \cdots + g_n x x_n = 0$. Or la valuation $v(c_j
-x_j) = v(x_j)$ est strictement plus petite que celle de n'importe quel
-autre terme dans cette somme, ce qui interdit que la somme puisse être
-nulle. Ceci démontre (B).
+tous nuls, donc), mettons $f_i = c_i + x g_i$ où $g_i \in k[x]$, et
+soit $j$ le plus petit possible tel que $c_j \neq 0$ : ainsi, on a
+$c_j x_j + \cdots + c_n x_n + g_1 x x_1 + \cdots + g_n x x_n = 0$. Or
+la valuation $v(c_j x_j) = v(x_j)$ est strictement plus petite que
+celle de n'importe quel autre terme dans cette somme (puisque $v(g_i)
+\geq 0$ et $v(x x_i) = v(x_n) + v(x_i) > v(x_n) \geq v(x_j)$), ce qui
+interdit que la somme puisse être nulle. Ceci démontre (B).
\end{proof}