summaryrefslogtreecommitdiffstats
path: root/chapitres/formes-tordues.tex
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo@gmail.com>2011-01-31 22:07:49 +0100
committerFabrice Orgogozo <Fabrice.Orgogozo@gmail.com>2011-01-31 22:07:49 +0100
commit487b9b45cc31db70b7692ff2903e2353cae743e5 (patch)
tree63877954e4a51c95480b4d9747956a532159dbbb /chapitres/formes-tordues.tex
parent45291f96c75f64966b066868523a3b2c31604610 (diff)
downloadgalois-487b9b45cc31db70b7692ff2903e2353cae743e5.zip
galois-487b9b45cc31db70b7692ff2903e2353cae743e5.tar.gz
galois-487b9b45cc31db70b7692ff2903e2353cae743e5.tar.bz2
[formes] toudou : utiliser π₀ plutôt que K-points
C'est plus parlant, les notations sont plus légères et c'est plus proche de l'intuition topologique (revêtements).
Diffstat (limited to 'chapitres/formes-tordues.tex')
-rw-r--r--chapitres/formes-tordues.tex11
1 files changed, 11 insertions, 0 deletions
diff --git a/chapitres/formes-tordues.tex b/chapitres/formes-tordues.tex
index 022d1ef..f5913ed 100644
--- a/chapitres/formes-tordues.tex
+++ b/chapitres/formes-tordues.tex
@@ -73,6 +73,12 @@ il en est donc de même de sa sous-algèbre $k_X$ (\refext{Alg}{sous-diag=diag})
Enfin, notons que tout morphisme $X→Y$ de $Π$-ensembles induit un morphisme de
$k$-algèbres $k_Y→k_X$.
+\begin{quote}
+On peut sans doute réécrire tout ça en terme de $π₀(A_K)$ ; c'est peut-être
+plus parlant. \XXX
+\end{quote}
+
+
\begin{proposition2}\label{Galois-Grothendieck fini}
Soit $K\bo k$ une extension finie étale de groupe
de Galois $Π$.
@@ -480,6 +486,11 @@ de la théorie dans un cas particulièrement simple.
\subsection{$k$-algèbres finies diagonalisables par $K\bo k$}\label{H1kSn}
+\begin{quote}
+réécrire les deux paragraphes suivants avec du $π₀$ et références
+à [Spec] \XXX
+\end{quote}
+
\subsubsection{}\label{H1kSn début} Considérons comme en \ref{exemple k-formes kn}
les catégories des $k$-algèbres, des $K$-algèbres
et le foncteur évident d'extension des scalaires (produit