summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2013-03-07 15:22:45 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2013-03-07 15:22:45 (GMT)
commitb36d30e983fe4dac14db04a3fdb0c827ac500abb (patch)
tree44aa43be4441557cfbe8e48c7214e8fdee4cc236
parent91656648ad5dba200378ed19f6a788a4c9400374 (diff)
downloadgalois-b36d30e983fe4dac14db04a3fdb0c827ac500abb.zip
galois-b36d30e983fe4dac14db04a3fdb0c827ac500abb.tar.gz
galois-b36d30e983fe4dac14db04a3fdb0c827ac500abb.tar.bz2
[Krull] suppression étiquette en double
-rw-r--r--chapitres/krull.tex7
1 files changed, 3 insertions, 4 deletions
diff --git a/chapitres/krull.tex b/chapitres/krull.tex
index f797c51..c58d40f 100644
--- a/chapitres/krull.tex
+++ b/chapitres/krull.tex
@@ -464,7 +464,7 @@ est \emph{ouvert}. \XXX
\end{remarque2}
\subsubsection{Spectre de l'anneau des fonctions localement
-constantes}\label{Spec(Hom(X,k))}
+constantes}
Soient $X$ un espace topologique, $k$ un corps muni de la
topologie discrète et
@@ -476,7 +476,7 @@ Son noyau
$\{f∈A: f(x)=0\}$ est donc un idéal maximal de $A$, que nous
noterons $\MM_x$.
-\begin{proposition2}\label{Spec(Hom(X,k))}
+\begin{proposition2}\label{SpecHomXk}
Si l'espace topologique $X$ est quasi-compact et totalement
discontinu,
l'application $X→\Spec(A)$, $x↦\MM_x$, est une bijection.
@@ -781,9 +781,8 @@ Le fait que cet isomorphisme soit $G$-équivariant est
conséquence immédiate des définitions.
\end{démo}
-
L'espace topologique sous-jacent à $G$ étant compact,
-il résulte du résultat de \ref{Spec(Hom(X,k))} que le
+il résulte de \ref{Spec(Hom(X,k))} que le
spectre de
$\Hom_{\mathtextrm{cont}}(G,K')$ est en bijection naturelle avec
$G$, par l'application naturelle $g↦\Ker(\ev_g)$.