From 1a2c050fc882bb03cf9b87385da2df10cf2f578b Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sat, 9 Apr 2016 10:56:46 +0200
Subject: More small clarifications.

---
 notes-accq205.tex | 28 +++++++++++++++++++---------
 1 file changed, 19 insertions(+), 9 deletions(-)

(limited to 'notes-accq205.tex')

diff --git a/notes-accq205.tex b/notes-accq205.tex
index a1cc590..b5aa884 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -4347,6 +4347,15 @@ particulier, leur intersection $\tilde k$ est égale à $k$.
 simplement $k$ comme égal à $\tilde k$, à condition qu'on ne tienne
 pas à garder le corps de base fixé.)
 
+\thingy La remarque suivante peut être utile : tous les corps
+résiduels $\varkappa_v$ sont des extensions de $\tilde k$ (puisque
+$\tilde k$ est l'intersection de tous les $\mathcal{O}_v$, on a des
+morphismes d'anneaux $\tilde k \to \varkappa_v$).  Notamment, $[\tilde
+  k : k]$ divise tous les $\deg(v) = [\varkappa_v : k]$
+(cf. \ref{degree-of-a-place}), et en particulier, s'il existe une
+place \emph{rationnelle} (c'est-à-dire $\deg(v) = 1$), ou simplement
+deux places de degrés premiers entre eux, on a $\tilde k = k$.
+
 
 \subsection{Les places de la droite projective}\label{subsection-places-of-the-projective-line}
 
@@ -5037,20 +5046,21 @@ complètement $\Omega^1_{K/k}$, et est bien vérifiée de l'objet défini
 ci-dessus.
 
 \begin{prop}\label{differentials-of-separable-field-extension}
-Soit $k \subseteq K$ une extension de corps telle qu'il existe une
-base de transcendance $(t_i)_{i\in I}$ pour laquelle $K$ est
+Soit $k \subseteq K$ une extension de corps telle que (*) il existe
+une base de transcendance $(t_i)_{i\in I}$ pour laquelle $K$ est
 (algébrique) \emph{séparable} sur $k(t_i)_{i\in I}$
 (cf. \ref{definition-separable-algebraic-extension}).  Alors
 $\Omega^1_{K/k}$ est un $K$-espace vectoriel de base $(dt_i)_{i\in
   I}$.
 
-De plus, l'hypothèse qu'on vient de dire est vérifiée exactement quand
-les extensions $K^p$ et $k$ de $k^p$ sont linéairement disjointes
-dans $K$ (comparer avec \ref{linear-criterion-for-separability}).
-Elle est \emph{notamment} vérifiée lorsque les extensions $K$ et
-$k^{\alg}$ de $k$ sont linéairement disjointes dans $K^{\alg}$, et en
-particulier lorsque $K$ est le corps de fonctions d'un fermé de
-Zariski \emph{géométriquement} irréductible
+De plus, l'hypothèse (*) qu'on vient de dire est vérifiée exactement
+quand les extensions $K^p$ et $k$ de $k^p$ sont linéairement
+disjointes dans $K$ (comparer
+avec \ref{linear-criterion-for-separability}).  Elle est
+\emph{notamment} vérifiée lorsque les extensions $K$ et $k^{\alg}$
+de $k$ sont linéairement disjointes dans $K^{\alg}$, et en particulier
+lorsque $K$ est le corps de fonctions d'un fermé de Zariski
+\emph{géométriquement} irréductible
 (cf. \ref{geometric-irreducibility},
 et \ref{function-field-of-an-irreducible-set}).  Elle est par ailleurs
 aussi vérifiée lorsque $k$ est \emph{parfait}
-- 
cgit v1.2.3

