summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo+git@gmail.com>2012-02-15 16:00:31 +0100
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2012-02-15 16:00:31 +0100
commit96ef1948d89ef185de8e0ba2b08fff87fad75728 (patch)
treeeed7dd603fc3be6bd16d8f481feeb7d86c05b5d6
parent396089e6efa8f180531194a4011c7cd6351f2f2b (diff)
parent8bf4f261057d4c2ac399160313bc2d6e60ec2137 (diff)
downloadgalois-96ef1948d89ef185de8e0ba2b08fff87fad75728.tar.gz
galois-96ef1948d89ef185de8e0ba2b08fff87fad75728.tar.bz2
galois-96ef1948d89ef185de8e0ba2b08fff87fad75728.zip
Merge git.madore.org:galois
-rw-r--r--chapitres/radicaux.tex9
-rw-r--r--configuration/formules.tex11
2 files changed, 20 insertions, 0 deletions
diff --git a/chapitres/radicaux.tex b/chapitres/radicaux.tex
index 4790f25..f4fb7dd 100644
--- a/chapitres/radicaux.tex
+++ b/chapitres/radicaux.tex
@@ -29,6 +29,15 @@
\section{Extensions résolubles}
+\begin{convention2}
+Si $k$ est un corps et $n$ un entier non multiple de la
+caractéristique de $k$, on dit que $k$ \emph{contient les racines
+$n$-ième de l'unité} lorque le polynôme $X^n-1$, ou, de façon
+équivalente, le polynôme cyclotomique $\Phi_n$, est scindé sur $k$.
+Lorsque c'est le cas, on notera $\bimu_n(k)$, ou simplement $\bimu_n$,
+le groupe multiplicatif des racines $n$-ièmes de l'unité dans $k$.
+\end{convention2}
+
\begin{definition2}
Soit $k$ un corps, dont on suppose fixée une clôture séparable
$k\sep$. On appelle \emph{corps des expressions en radicaux} sur $k$
diff --git a/configuration/formules.tex b/configuration/formules.tex
index 3a1a338..8ae983d 100644
--- a/configuration/formules.tex
+++ b/configuration/formules.tex
@@ -119,6 +119,17 @@
\DeclareMathSymbol{\tiret}{\mathord}{operators}{"7C}
\DeclareMathSymbol{\traitdunion}{\mathord}{operators}{"2D}
+% une horreur pour avoir le μ en gras sans passer par le package bold math
+\DeclareFontFamily{OML}{cmmib}{\skewchar\font127 }
+\DeclareFontShape{OML}{cmmib}{m}{it}%
+ {<5><6><7><8><9>gen*cmmib%
+ <10><10.95>cmmib10%
+ <12><14.4><17.28><20.74><24.88>cmmib12%
+ }{}
+\DeclareSymbolFont{biletters}{OML}{cmmib}{m}{it}
+\DeclareSymbolFontAlphabet{\mathbi}{biletters}
+\DeclareMathSymbol{\bimu}{\mathord}{biletters}{"16}
+
% degré de transcendance
\newcommand{\degtr}{\mathop{\mathrm{deg.tr}}}