summaryrefslogtreecommitdiffstats
path: root/chapitres/verselles.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2013-02-28 22:32:21 +0100
committerDavid A. Madore <david+git@madore.org>2013-02-28 22:32:21 +0100
commitc25cbc4a23eed12021811601c302903e9298c3bd (patch)
tree7350e72f621e4634569989729ca1cae458e8428a /chapitres/verselles.tex
parent73389c0bbb0227236f6c689cf743b201f83c2008 (diff)
downloadgalois-c25cbc4a23eed12021811601c302903e9298c3bd.zip
galois-c25cbc4a23eed12021811601c302903e9298c3bd.tar.gz
galois-c25cbc4a23eed12021811601c302903e9298c3bd.tar.bz2
Unicode : remplacement du symbole dièze (♯) quand il sert à désigner le cardinal.
Diffstat (limited to 'chapitres/verselles.tex')
-rw-r--r--chapitres/verselles.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/chapitres/verselles.tex b/chapitres/verselles.tex
index 3c707a7..bdc44b1 100644
--- a/chapitres/verselles.tex
+++ b/chapitres/verselles.tex
@@ -1091,7 +1091,7 @@ Cependant, ceci ne produit pas d'équation polynomiale verselle
en des \emph{paramètres} comme en \ref{equation verselle C3} ou \ref{equation verselle C4}.
Supposons maintenant que $\Frac(BG)$ soit une extension \emph{transcendante pure}
de $k$, c'est-à-dire de la forme $k(Y₁, …,Y_n)$ où les $Y_i$ sont
-algébriquement indépendants. (On a alors nécessairement $n= ♯G$ ;
+algébriquement indépendants. (On a alors nécessairement $n= \#G$ ;
cela résulte du fait que $\Frac(EG)$ est isomorphe à $k(x_g:g ∈ G)$
et de la proposition \refext{}{}.)
Insistons sur le fait que la condition de pureté transcendante n'est pas systématiquement vérifiée ;
@@ -1511,7 +1511,7 @@ Cela résulte de l'hypothèse d'invertibilité du déterminant.
\end{démo}
\begin{remarque2}
-On peut montrer que le $BG$-module $EG$ est \emph{libre} de rang $♯G$.
+On peut montrer que le $BG$-module $EG$ est \emph{libre} de rang $\#G$.
(On sait déjà qu'il est \emph{projectif}, c'est-à-dire
\emph{localement} libre.)
Soient $s:EG → \Hom_{\Ens}(G,BG)$ et $π:\Hom_{\Ens}(G,BG) → EG$