summaryrefslogtreecommitdiffstats
path: root/chapitres/extensions-algebriques.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/extensions-algebriques.tex')
-rw-r--r--chapitres/extensions-algebriques.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/chapitres/extensions-algebriques.tex b/chapitres/extensions-algebriques.tex
index 58e65a6..5ae3b17 100644
--- a/chapitres/extensions-algebriques.tex
+++ b/chapitres/extensions-algebriques.tex
@@ -224,7 +224,7 @@ algèbre $A_𝔵$ est isomorphe à $k$, de sorte que $A$ est
isomorphe à $k^{π₀(A)}$. (iv) ⇒ (ii). Il suffit de démontrer que pour chaque ensemble fini $X$,
le cardinal de l'ensemble $\Hom_{k\traitdunion\Alg}(k^X,k)$
est au moins égal à $[k^X:k]=\#X$. Ceci résulte de l'existence des projections
-$\mathrm{pr}_x:k^X→k$ (évaluation en $x$), chacune d'entre elles
+$\pr_x:k^X→k$ (évaluation en $x$), chacune d'entre elles
étant un morphisme de $k^X$ vers $k$. (iv) ⇒ (v).
La base canonique de $k^X$ est une base de vecteurs propres
des endomorphismes de multiplication par les éléments de $k^X$.