diff options
author | Fabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com> | 2011-02-21 13:47:29 +0100 |
---|---|---|
committer | Fabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com> | 2011-02-21 13:47:29 +0100 |
commit | 851224241c7f52694ec389180e0ad022218928f4 (patch) | |
tree | 4b161841183a125e10a5ff71f0cb0807ff86681c /chapitres | |
parent | b1f99148d3eaf0750a1f1d203bd75865b68f9d55 (diff) | |
download | galois-851224241c7f52694ec389180e0ad022218928f4.tar.gz galois-851224241c7f52694ec389180e0ad022218928f4.tar.bz2 galois-851224241c7f52694ec389180e0ad022218928f4.zip |
[Alg] coquilles
Diffstat (limited to 'chapitres')
-rw-r--r-- | chapitres/extensions-algebriques.tex | 4 |
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}. |