summaryrefslogtreecommitdiffstats
path: root/chapitres/extensions-algebriques.tex
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-02-21 13:47:29 +0100
committerFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-02-21 13:47:29 +0100
commit851224241c7f52694ec389180e0ad022218928f4 (patch)
tree4b161841183a125e10a5ff71f0cb0807ff86681c /chapitres/extensions-algebriques.tex
parentb1f99148d3eaf0750a1f1d203bd75865b68f9d55 (diff)
downloadgalois-851224241c7f52694ec389180e0ad022218928f4.zip
galois-851224241c7f52694ec389180e0ad022218928f4.tar.gz
galois-851224241c7f52694ec389180e0ad022218928f4.tar.bz2
[Alg] coquilles
Diffstat (limited to 'chapitres/extensions-algebriques.tex')
-rw-r--r--chapitres/extensions-algebriques.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/chapitres/extensions-algebriques.tex b/chapitres/extensions-algebriques.tex
index 59cb852..0571b6e 100644
--- a/chapitres/extensions-algebriques.tex
+++ b/chapitres/extensions-algebriques.tex
@@ -294,7 +294,7 @@ L'algèbre $B$ est donc isomorphe à $k$ et, \emph{a fortiori}, diagonalisable
Considérons maintenant un morphisme de $k$-algèbres $f:B → A$.
Le composé de $f$ avec le morphisme d'évaluation $\ev_A:A ⥲ k^{\japmath{田}A(k)}$
-de $A$ se factorise à travers le morphisme d'évaluation $\ev_B:B ↠ k^{\japmath{田}B(k)}$ de $B :
+de $A$ se factorise à travers le morphisme d'évaluation $\ev_B:B ↠ k^{\japmath{田}B(k)}$ de $B$ :
\begin{center}
\begin{tikzpicture}[auto]
@@ -350,7 +350,7 @@ Si $B$ est une seconde $k$-algèbre diagonalisable, $\Hom_k(B,A)
\end{théorème2}
Le lecteur vérifiera sans peine, à l'aide des techniques et énoncés de [Spec]
-que $\End_k(k^X)$ est isomorphe à $\End_\Ens(X)^\op$ dès lors que $k$ est un anneau connexe.
+que $\End_k(k^X)$ est isomorphe à $\End_\Ens(X)^{\op}$ dès lors que $k$ est un anneau connexe.
Voir également l'exercice \refext{Spec}{dévissage Hom(A,produit connexes)} pour une généralisation.
%cf. aussi : \refext{formes}{H1kSn début} et \refext{formes}{G-torseurs sur k}.