diff options
author | David A. Madore <david+git@madore.org> | 2013-03-06 20:40:05 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2013-03-06 20:40:05 +0100 |
commit | 12c884bc91c8ea7f98df1436ebebcb29e2dafc53 (patch) | |
tree | d9e9e0d4774905baac50330d4bd489dd48359afc /chapitres/groupes-permutations.tex | |
parent | b123e52385ff80029565590b3a0b73acf2fa554e (diff) | |
download | galois-12c884bc91c8ea7f98df1436ebebcb29e2dafc53.tar.gz galois-12c884bc91c8ea7f98df1436ebebcb29e2dafc53.tar.bz2 galois-12c884bc91c8ea7f98df1436ebebcb29e2dafc53.zip |
Introduction de macros \mathtextrm, \mathtextsf et \mathtexttt
Le but est de résoudre le problème des accents qui n'apparaissaient
pas, par exemple, dans \mathrm{Dér} (parce qu'Unicode ne définit pas
les caractères accentués dans les alphabets mathématiques et,
concrètement, parce que le package unicode-math ne leur donne pas
des \mathcode appropriés, et ne fournit d'ailleurs pas de 'é'
sans-sérif ou autre truc du genre).
Ces macros servent donc à écrire du texte dans des formules
mathématiques, de façon un peu « intermédiaire » entre \mathrm et
\textrm : elles créent du vrai mode maths (donc qui change de taille
en exposant et indice, contrairement à \textrm) mais en allant
chercher dans une police orientée texte et _sans_ aller prendre dans
les alphabets « mathématiques » d'Unicode. Attention : à cause de
l'usage de \emitmathchars, le paramètre passé à ces macros ne doit
pas contenir de commande quelle qu'elle soit, uniquement des
caractères.
Diffstat (limited to 'chapitres/groupes-permutations.tex')
-rw-r--r-- | chapitres/groupes-permutations.tex | 4 |
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}$ |