diff options
author | Fabrice (Darwin) <Fabrice.Orgogozo@gmail.com> | 2011-01-31 22:07:49 +0100 |
---|---|---|
committer | Fabrice Orgogozo <Fabrice.Orgogozo@gmail.com> | 2011-01-31 22:07:49 +0100 |
commit | 487b9b45cc31db70b7692ff2903e2353cae743e5 (patch) | |
tree | 63877954e4a51c95480b4d9747956a532159dbbb /chapitres/formes-tordues.tex | |
parent | 45291f96c75f64966b066868523a3b2c31604610 (diff) | |
download | galois-487b9b45cc31db70b7692ff2903e2353cae743e5.tar.gz galois-487b9b45cc31db70b7692ff2903e2353cae743e5.tar.bz2 galois-487b9b45cc31db70b7692ff2903e2353cae743e5.zip |
[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.tex | 11 |
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 |