From 3773e4a360aa92b103a83d3246fb2d4d3832c5a4 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Thu, 24 Mar 2016 15:57:57 +0100 Subject: Slightly expand last arguments. --- notes-accq205.tex | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'notes-accq205.tex') 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} -- cgit v1.2.3