From 681be0036aced272dd324ef97dbf39328fb89b0c Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sun, 17 Apr 2016 16:08:34 +0200
Subject: Add another exercise to exam.

---
 controle-20160421.tex | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

(limited to 'controle-20160421.tex')

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

