From 681be0036aced272dd324ef97dbf39328fb89b0c Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Sun, 17 Apr 2016 16:08:34 +0200 Subject: Add another exercise to exam. --- controle-20160421.tex | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/controle-20160421.tex b/controle-20160421.tex index 9da37a6..16bd62f 100644 --- a/controle-20160421.tex +++ b/controle-20160421.tex @@ -114,6 +114,38 @@ Durée : 3h \pagebreak +% +% +% + +\exercice + +Soit $K$ un corps de fonctions sur un corps $k$ (c'est-à-dire, une +extension de type fini de $k$ de degré de transcendance $1$), soit $P$ +une place de $K$ au-dessus de $k$ (dont on pourra noter $v$ +ou $\ord_P$ la valuation), et soit $z$ une uniformizante en $P$ +(autrement dit, $v(z) = 1$). Soit enfin $d \geq 2$ un entier naturel. + +En raisonnant sur la valuation des $x_i$, montrer qu'il n'existe pas +de solution autre que $(0,\ldots,0)$ à l'équation $x_0^d + z x_1^d + +z^2 x_2^d + \cdots + z^{d-1} x_{d-1}^d = 0$ (homogène de degré $d$ en +$d$ inconnues $(x_0,\ldots,x_{d-1})$ dans $K$). + +\begin{corrige} +On remarque que si $x \in K^\times$, alors $v(x^d) = d\,v(x)$ est un +multiple de $d$. Par conséquent, $v(z^i x^d) = i + d\,v(x)$ est +congru à $i$ modulo $d$. Par conséquent, dans la somme $x_0^d + z +x_1^d + z^2 x_2^d + \cdots + z^{d-1} x_{d-1}^d$, il est impossible que +deux termes aient la même valuation (puisqu'elles sont congrues à des +valeurs différentes modulo $d$) sauf si cette valuation est $\infty$, +c'est-à-dire que les termes sont nuls. Donc dès lors que tous les +termes ne sont pas nuls, il y en a un qui a une valuation +\emph{strictement} plus petite que tous les autres. +D'après \ref{remark-on-sums-in-valuation-rings}, la somme ne peut pas +être nulle, ce qui prouve le résultat voulu. +\end{corrige} + + % % % -- cgit v1.2.3