summaryrefslogtreecommitdiffstats
path: root/chapitres/formes-tordues.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/formes-tordues.tex')
-rw-r--r--chapitres/formes-tordues.tex8
1 files changed, 4 insertions, 4 deletions
diff --git a/chapitres/formes-tordues.tex b/chapitres/formes-tordues.tex
index bad6d72..6cdf363 100644
--- a/chapitres/formes-tordues.tex
+++ b/chapitres/formes-tordues.tex
@@ -541,8 +541,8 @@ $k$-algèbres de rang
$n$ trivialisées par l'extension $K\bo k$.
Pour mémoire, rappelons que les trois applications
-$\{1,\dots,n\}→\Spec(K^n)$, $i↦\Ker(\mathrm{pr}_i)$
-($\mathrm{pr}_i$ est la projection sur le $i$-ième facteur),
+$\{1,\dots,n\}→\Spec(K^n)$, $i↦\Ker(\pr_i)$
+($\pr_i$ est la projection sur le $i$-ième facteur),
$\Hom_{K\traitdunion\categ{Alg}}(K^n,K)→\Spec(K^n)$,
$φ↦\Ker(φ)$, et
$\Aut_{K\traitdunion\categ{Alg}}(K^n)→\Aut_{\Ens}(\Hom_{K\traitdunion\categ{Alg}}(K^n,K))$,
@@ -648,7 +648,7 @@ l'application $x↦σ∘x$.
(Prendre garde que si $σ$ est une permutation d'un ensemble
fini $X$,
l'image inverse par l'automorphisme $(λ_x)↦(λ_{σ(x)})$ de
-$K^X$ de l'idéal premier $𝔭_x=\Ker(\mathrm{pr}_x)$
+$K^X$ de l'idéal premier $𝔭_x=\Ker(\pr_x)$
est $𝔭_{σ^{-1}(x)}$.) CQFD.
\end{démo}
@@ -717,7 +717,7 @@ où $G$ agit sur lui-même par translation à droite : $g ⋅h=hg^{-1}$. L'alg
il résulte de l'exercice \refext{Alg}{algebres finies via
idempotents} que l'application $G → \Spec(K^G)$ $g ↦ \Ann(e_g)$ est
une bijection\footnote{On obtient une seconde démonstration de ce fait en observant que
-$\Ann(e_g)=\Ker(\mathrm{pr}_g)$ et en utilisant \refext{Alg}{ideaux-k-X}}.
+$\Ann(e_g)=\Ker(\pr_g)$ et en utilisant \refext{Alg}{ideaux-k-X}}.
L'isomorphisme $G ⥲ \Spec(K^G)$
ainsi obtenu est $G$-équivariant, si l'on fait agir $G$ sur le spectre de
la manière naturelle, c'est-à-dire par $g ⋅ 𝔭=g(𝔭)$.