summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-04-17 14:08:34 (GMT)
committerDavid A. Madore <david+git@madore.org>2016-04-17 16:40:19 (GMT)
commit681be0036aced272dd324ef97dbf39328fb89b0c (patch)
treec28544edc556133dc0e120717af6dc93138d7c1d
parent78e74a95c0e64a8bbe12047109ae429b5aac87b8 (diff)
downloadaccq205-681be0036aced272dd324ef97dbf39328fb89b0c.zip
accq205-681be0036aced272dd324ef97dbf39328fb89b0c.tar.gz
accq205-681be0036aced272dd324ef97dbf39328fb89b0c.tar.bz2
Add another exercise to exam.
-rw-r--r--controle-20160421.tex32
1 files changed, 32 insertions, 0 deletions
diff --git a/controle-20160421.tex b/controle-20160421.tex
index 9da37a6..16bd62f 100644
--- a/controle-20160421.tex
+++ b/controle-20160421.tex
@@ -118,6 +118,38 @@ Durée : 3h
%
%
+\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}
+
+
+%
+%
+%
+
\exercice\label{basic-dimension-fact}
Soit $k$ un corps \emph{algébriquement clos}. On considère