summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-04-04 19:57:52 +0200
committerDavid A. Madore <david+git@madore.org>2016-04-04 19:57:52 +0200
commit38471f29b4e383ddfcdca46bf490b6dc6d4c17f7 (patch)
tree237a8e58d07eb6a963bdbfbdaf604b5622d55736
parent219e5ed4eeffaa883f68488049ee6888baccd6d7 (diff)
downloadaccq205-upload-20160404.tar.gz
accq205-upload-20160404.tar.bz2
accq205-upload-20160404.zip
Value group is Abelian: say so.upload-20160404
-rw-r--r--notes-accq205.tex38
1 files changed, 19 insertions, 19 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index 5801a86..c5935f6 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -3636,16 +3636,16 @@ anneau de valuation fait qu'on a défini une relation d'ordre
\emph{total} sur l'ensemble des valuations (plus $\infty$ qui est le
plus grand élément).
-On définit $v(x)+v(y)$ comme $v(xy)$ et on note $0$ pour $v(1)$
-(ou $v(c)$ pour n'importe quel $c\in R^\times$) :
-cette définition a bien un sens comme on le vérifie facilement, et
-fait de l'ensemble des valuations (sans compter le symbole
-spécial $\infty$) un \emph{groupe}, appelé \textbf{groupe des
- valuations} (ou \textbf{des valeurs}) de $R$ (ou de $K$ pour $R$),
-qui n'est autre que le groupe quotient $\Gamma := K^\times/R^\times$.
-Avec l'ordre qu'on a mis ci-dessus, il s'agit d'un \emph{groupe
- ordonné}, c'est-à-dire que si $u \geq u'$ alors $u+w \geq u'+w$ quel
-que soit $w$.
+On définit $v(x)+v(y)$ comme $v(xy)$ et on note $0$ pour $v(1)$ (ou
+$v(c)$ pour n'importe quel $c\in R^\times$) : cette définition a bien
+un sens comme on le vérifie facilement, et fait de l'ensemble des
+valuations (sans compter le symbole spécial $\infty$) un \emph{groupe}
+abélien, appelé \textbf{groupe des valuations} (ou \textbf{des
+ valeurs}) de $R$ (ou de $K$ pour $R$), qui n'est autre que le groupe
+quotient $\Gamma := K^\times/R^\times$. Avec l'ordre qu'on a mis
+ci-dessus, il s'agit d'un \emph{groupe abélien totalement ordonné},
+c'est-à-dire que si $u \geq u'$ alors $u+w \geq u'+w$ quel que
+soit $w$.
Lorsque le groupe des valuations est $\mathbb{Z}$, c'est-à-dire qu'il
est engendré par un unique élément (on peut alors choisir un
@@ -3670,8 +3670,8 @@ qui est une conséquence des précédentes.
L'anneau $R$ peut se retrouver à partir de la valuation comme $\{x\in
K : v(x) \geq 0\}$.
-Réciproquement, si $\Gamma$ est un groupe totalement ordonné et
-$v\colon K \to \Gamma \cup \{\infty\}$ une fonction surjective
+Réciproquement, si $\Gamma$ est un groupe abélien totalement ordonné
+et $v\colon K \to \Gamma \cup \{\infty\}$ une fonction surjective
vérifiant (o), (i) et (ii), alors $R := \{x\in K : v(x) \geq 0\}$ est
un anneau de valuation qui a $v$ pour valuation associée : on dit
alors que $v$ est une \defin{valuation} sur $K$ ou sur $R$.
@@ -3733,13 +3733,13 @@ v(y)$ où $y := \sum_{j\neq i} x_j$ d'après la propriété (ii), et
(ii.b) entraîne alors que la valuation de la somme est égale à celle
de $x_i$, donc n'est pas $\infty$.).
-\thingy\label{valuations-on-integral-domains}
-Si $A$ est un anneau et $v\colon A \to \Gamma\cup\{\infty\}$
-(où $\Gamma$ est un groupe totalement ordonné) une fonction vérifiant
-(o), (i) et (ii) de \ref{valuation-ring-versus-valuation-function},
-alors $A$ est intègre (à cause de (i)), et il est facile de vérifier
-que $v$ se prolonge de façon unique en une valuation sur son corps des
-fractions $K$ en posant $v(x/y) = v(x)-v(y)$ (ce qui est manifestement
+\thingy\label{valuations-on-integral-domains} Si $A$ est un anneau et
+$v\colon A \to \Gamma\cup\{\infty\}$ (où $\Gamma$ est un groupe
+abélien totalement ordonné) une fonction vérifiant (o), (i) et (ii)
+de \ref{valuation-ring-versus-valuation-function}, alors $A$ est
+intègre (à cause de (i)), et il est facile de vérifier que $v$ se
+prolonge de façon unique en une valuation sur son corps des fractions
+$K$ en posant $v(x/y) = v(x)-v(y)$ (ce qui est manifestement
nécessaire et bien défini). Cette observation peut simplifier la
recherche ou l'étude des valuations sur un corps défini comme corps
des fractions. Le plus souvent, dans la situation qu'on vient de