From 359f923f64feddaae1b1a7dcdc24a152d2200533 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sat, 9 Apr 2016 17:23:21 +0200
Subject: Fix mistake in old notes.

---
 notes-geoalg-2012.tex | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'notes-geoalg-2012.tex')

diff --git a/notes-geoalg-2012.tex b/notes-geoalg-2012.tex
index f865eb6..80146e7 100644
--- a/notes-geoalg-2012.tex
+++ b/notes-geoalg-2012.tex
@@ -3495,7 +3495,8 @@ Soit $C$ une courbe (lisse) sur un corps $k$, $P$ un point de $C$ et
 $t$ une uniformisante en $P$ (i.e., $\ord_P(t) = 1$).  Pour $f \in
 k(C)$, on a
 \begin{itemize}
-\item $\ord_P(df/dt) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$, et
+\item $\ord_P(df/dt) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$ dans $k$
+  (i.e., $\ord_P(f)$ n'est pas multiple de la caractéristique), et
 \item $\ord_P(df/dt) \geq 0$ si $\ord_P(f) = 0$.
 \end{itemize}
 \end{prop}
@@ -3530,7 +3531,8 @@ proposition \ref{order-of-derivative} en :
 Soit $C$ une courbe (lisse) sur un corps $k$, et $P$ un point de $C$.
 Pour $f \in k(C)$, on a
 \begin{itemize}
-\item $\ord_P(df) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$, et
+\item $\ord_P(df) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$ dans $k$ (i.e.,
+  $\ord_P(f)$ n'est pas multiple de la caractéristique), et
 \item $\ord_P(df) \geq 0$ si $\ord_P(f) = 0$.
 \end{itemize}
 \end{prop}
-- 
cgit v1.2.3

