summaryrefslogtreecommitdiffstats
path: root/chapitres/krull.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2013-03-07 16:33:21 +0100
committerDavid A. Madore <david+git@madore.org>2013-03-07 16:33:21 +0100
commit9a6a69f4ef641d3321a40f7f5941c8b6b3a2f2da (patch)
tree4a8ebad1ac61b79416a1c445c85987b8fb3de9f2 /chapitres/krull.tex
parent9014f0dc1b7bbaf20ff12742c8176ce665504a66 (diff)
parentb36d30e983fe4dac14db04a3fdb0c827ac500abb (diff)
downloadgalois-9a6a69f4ef641d3321a40f7f5941c8b6b3a2f2da.zip
galois-9a6a69f4ef641d3321a40f7f5941c8b6b3a2f2da.tar.gz
galois-9a6a69f4ef641d3321a40f7f5941c8b6b3a2f2da.tar.bz2
Merge branch 'master' of git.madore.org:galois
Diffstat (limited to 'chapitres/krull.tex')
-rw-r--r--chapitres/krull.tex7
1 files changed, 3 insertions, 4 deletions
diff --git a/chapitres/krull.tex b/chapitres/krull.tex
index f93c31d..8c948ae 100644
--- a/chapitres/krull.tex
+++ b/chapitres/krull.tex
@@ -465,7 +465,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
@@ -477,7 +477,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.
@@ -782,9 +782,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)$.