summaryrefslogtreecommitdiffstats
path: root/chapitres/groupes-permutations.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/groupes-permutations.tex')
-rw-r--r--chapitres/groupes-permutations.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/chapitres/groupes-permutations.tex b/chapitres/groupes-permutations.tex
index bb7e7ab..b1f571a 100644
--- a/chapitres/groupes-permutations.tex
+++ b/chapitres/groupes-permutations.tex
@@ -1250,7 +1250,7 @@ primitif de $𝔖_n$ contenant un $p$-cycle.
\begin{lemme2}
Soient $G$ un sous-groupe $f$-transitif de $𝔖_X$, $C$ un sous-groupe
-de $G$ tel que le cardinal de $F=\mathrm{Fix}(C)\subset X$ soit égal à $f$.
+de $G$ tel que le cardinal de $F=\Fix(C)\subset X$ soit égal à $f$.
Alors, si $C$ est conjugué and $G_F$ à tout sous-groupe de $G_F$ conjugué
\emph{dans $G$} à $C$, le normalisateur de $C$ dans $G$ agit $f$-transitivement
sur $F$.
@@ -1303,7 +1303,7 @@ normalisateur dans $G$. On démontre les faits suivants :
\item Le sous-groupe $N$ est $f$-transitif sur $F$ (rappelons
que $C$ est un $p$-Sylow) et donc $N ↠ 𝔖_F$, via le morphisme
de restriction, bien défini ici.
-\item pour tout $\pi\in P$, $N_{\pi}:=\mathrm{Stab}_N(\pi)$ satisfait
+\item pour tout $\pi\in P$, $N_{\pi}:=\Stab_N(\pi)$ satisfait
$N_{\pi}↠ 𝔖_F$. En effet, $N=N_{\pi} G_F$ car $G_F$ agit
transitivement sur $P$ et $N$ agit sur $P$.
\item Pour tout $\pi\in P$, l'image de $N_{\pi}$ dans $𝔖_{P}$