diff options
author | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2013-03-07 16:22:45 +0100 |
---|---|---|
committer | Fabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com> | 2013-03-07 16:22:45 +0100 |
commit | b36d30e983fe4dac14db04a3fdb0c827ac500abb (patch) | |
tree | 44aa43be4441557cfbe8e48c7214e8fdee4cc236 /chapitres/krull.tex | |
parent | 91656648ad5dba200378ed19f6a788a4c9400374 (diff) | |
download | galois-b36d30e983fe4dac14db04a3fdb0c827ac500abb.tar.gz galois-b36d30e983fe4dac14db04a3fdb0c827ac500abb.tar.bz2 galois-b36d30e983fe4dac14db04a3fdb0c827ac500abb.zip |
[Krull] suppression étiquette en double
Diffstat (limited to 'chapitres/krull.tex')
-rw-r--r-- | chapitres/krull.tex | 7 |
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)$. |