summaryrefslogtreecommitdiffstats
path: root/chapitres/formes-tordues.tex
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo@gmail.com>2011-01-12 17:12:18 +0100
committerFabrice Orgogozo <Fabrice.Orgogozo@gmail.com>2011-01-12 17:12:18 +0100
commit3e09257b1f240e1a86db15293d679c587638ec95 (patch)
treea85e4c13ae03cc6c2b85a6c75a4c707e061f5351 /chapitres/formes-tordues.tex
parentb3310644d556d5e03889bce91ad8627d2b1a71b4 (diff)
downloadgalois-3e09257b1f240e1a86db15293d679c587638ec95.zip
galois-3e09257b1f240e1a86db15293d679c587638ec95.tar.gz
galois-3e09257b1f240e1a86db15293d679c587638ec95.tar.bz2
[formes] retour remarque supprimée à tort
Diffstat (limited to 'chapitres/formes-tordues.tex')
-rw-r--r--chapitres/formes-tordues.tex9
1 files changed, 9 insertions, 0 deletions
diff --git a/chapitres/formes-tordues.tex b/chapitres/formes-tordues.tex
index 5023a7e..022d1ef 100644
--- a/chapitres/formes-tordues.tex
+++ b/chapitres/formes-tordues.tex
@@ -18,6 +18,8 @@
\usepackage{srcltx} % pour passer du dvi au tex en cliquant
%\usepackage{pxfonts}
+\synctex=1
+
\textwidth13cm % pour pouvoir lire le nom des étiquettes si \usepackage{showkeys}
\externaldocument{extensions-algebriques} % là où regarder
\externaldocument{categories}
@@ -701,6 +703,13 @@ que le morphisme $k ′ ⊗_k K → K^G$, $x ⊗ y ↦\big(ι(g(x))y\big)_g$
est un isomorphisme. Il est $G$-équivariant.
\end{exemple2}
+\begin{remarque2}
+Dans l'exemple précédent, le groupe $G$ est le groupe $\Aut_k(k ′)$.
+Il faut cependant se garder de croire qu'en général le groupe
+se retrouve à partir de l'algèbre sous-jacente au torseur. Il fait
+partie de la donnée (cf. \refext{CG}{meg-torseurs}).
+\end{remarque2}
+
De façon générale, on a :
— l'action de $G$ est fidèle ;