summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2013-02-21 17:26:45 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2013-02-21 17:26:45 (GMT)
commit933f78ae2964806d91c0290b57a3219880b76bc5 (patch)
tree7176f64944f922ccbfbc068521a98db9e7067ce3
parentafda6a7546ffbacfbc45706d446316c713ae77b9 (diff)
parent9dae8ac13d207a5b23d26db4788bec87b1590c38 (diff)
downloadgalois-933f78ae2964806d91c0290b57a3219880b76bc5.zip
galois-933f78ae2964806d91c0290b57a3219880b76bc5.tar.gz
galois-933f78ae2964806d91c0290b57a3219880b76bc5.tar.bz2
Merge branch 'master' of git.madore.org:galois
-rw-r--r--chapitres/AC.tex1
-rw-r--r--chapitres/AVD-Dedekind.tex1
-rw-r--r--chapitres/Boole.tex1
-rw-r--r--chapitres/Cebotarev.tex1
-rw-r--r--chapitres/Dedekind.tex1
-rw-r--r--chapitres/KASW.tex1
-rw-r--r--chapitres/RT.tex1
-rw-r--r--chapitres/algo-corps-finis.tex1
-rw-r--r--chapitres/bases-groebner.tex58
-rw-r--r--chapitres/brauer.tex1
-rw-r--r--chapitres/calculs-galois.tex1
-rw-r--r--chapitres/categories.tex1
-rw-r--r--chapitres/cohomologie-groupes.tex1
-rw-r--r--chapitres/corps-c1.tex1
-rw-r--r--chapitres/corps-finis.tex1
-rw-r--r--chapitres/correspondance-galois.tex2
-rw-r--r--chapitres/descente.tex1
-rw-r--r--chapitres/exemples-galois.tex1
-rw-r--r--chapitres/extensions-algebriques.tex1
-rw-r--r--chapitres/formes-tordues.tex2
-rw-r--r--chapitres/groupes-permutations.tex1
-rw-r--r--chapitres/krull.tex1
-rw-r--r--chapitres/locaux-globaux.tex2
-rw-r--r--chapitres/omega.tex1
-rw-r--r--chapitres/produit-tensoriel.tex1
-rw-r--r--chapitres/radicaux.tex1
-rw-r--r--chapitres/spectre.tex1
-rw-r--r--chapitres/verselles.tex1
28 files changed, 79 insertions, 9 deletions
diff --git a/chapitres/AC.tex b/chapitres/AC.tex
index 417b0e5..7e67843 100644
--- a/chapitres/AC.tex
+++ b/chapitres/AC.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/AVD-Dedekind.tex b/chapitres/AVD-Dedekind.tex
index 9054db2..09f9e3c 100644
--- a/chapitres/AVD-Dedekind.tex
+++ b/chapitres/AVD-Dedekind.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\usepackage{palatino,euler}
diff --git a/chapitres/Boole.tex b/chapitres/Boole.tex
index c64874d..603a3f6 100644
--- a/chapitres/Boole.tex
+++ b/chapitres/Boole.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/Cebotarev.tex b/chapitres/Cebotarev.tex
index 0f3705e..6ae920a 100644
--- a/chapitres/Cebotarev.tex
+++ b/chapitres/Cebotarev.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\usepackage{palatino,euler}
diff --git a/chapitres/Dedekind.tex b/chapitres/Dedekind.tex
index 1f8ece0..4921a88 100644
--- a/chapitres/Dedekind.tex
+++ b/chapitres/Dedekind.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/KASW.tex b/chapitres/KASW.tex
index 33a837f..bf2ad7b 100644
--- a/chapitres/KASW.tex
+++ b/chapitres/KASW.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/RT.tex b/chapitres/RT.tex
index ae8af5c..26a16a0 100644
--- a/chapitres/RT.tex
+++ b/chapitres/RT.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/algo-corps-finis.tex b/chapitres/algo-corps-finis.tex
index 96005c8..8b6279b 100644
--- a/chapitres/algo-corps-finis.tex
+++ b/chapitres/algo-corps-finis.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/bases-groebner.tex b/chapitres/bases-groebner.tex
index 436fac5..49be8ee 100644
--- a/chapitres/bases-groebner.tex
+++ b/chapitres/bases-groebner.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
@@ -1802,12 +1803,57 @@ $q_{d-i+1}$ ne fait intervenir que $Z_1,\ldots,Z_i$ et est unitaire de
degré $d-i+1$ en $Z_i$.
\end{proof}
-\subsubsection{} Probablement, on peut vérifier que
-pour tout anneau $k$ et tout polynôme unitaire
-$f$, on a $E_{f,k}$ [algèbre de déc. universelle de $f$
-sur $k$, notations BBK] est $k$-isomorphe à $E_{f₁,A}$ où
-$A=k[X]/f$ et $f₁=f(T)/(T-x) ∈ A[T]$. Du coup, par
-récurrence on a $E_{f,k}$ libre de rang $d!$. \XXX
+\begin{remarque2}\label{definition-recursive-algebre-de-decomposition-universelle}
+On peut préférer la définition suivante de l'algèbre de décomposition
+universelle d'un polynôme unitaire $f = X^d + a_1 X^{d-1} + \cdots +
+a_d \in k[X]$ (avec $k$ un anneau quelconque) par récurrence sur son
+degré $d$ : si $d=0$ (de sorte que $f$ est le polynôme $1$) on définit
+simplement l'algèbre de décomposition universelle de $f$ comme $k$
+lui-meme ; et si $d>0$, on note $K = k[X]/(f)$ l'algèbre de rupture de
+$f$ et $x$ la classe de $X$ dans $K$ et $g = X^{d-1} + b_1 X^{d-2} +
+\cdots + b_{d-1}$ le polynôme de $K[X]$ défini par $b_i = a_i + x
+a_{i-1} + \cdots + x^{i-1} a_1 + x^i$ pour tout $1 \leq i \leq d-1$
+(de sorte que $f = (X-x) g$ comme il est facile de vérifier), et
+l'algèbre de décomposition de $f$ sur $k$ est alors définie comme
+celle de $g$ sur $K$. (Avec cette définition, le
+corollaire \ref{algebre-de-decomposition-universelle-est-finie} est
+clair.)
+
+Pour montrer que les deux définitions coïncident, c'est-à-dire pour
+montrer que la propriété de récurrence qui vient d'être donnée est
+bien vérifiée pour l'algèbre de décomposition universelle telle que
+définie en \ref{definition-algebre-de-decomposition-universelle}, on
+utilise la proposition suivante (qui, si on appelle $Z_d$ plutôt que
+$X$ la variable dans l'algèbre de rupture, exprime le fait que nos
+deux présentations coïncident exactement) :
+\end{remarque2}
+
+\begin{proposition2}
+Soit $k$ un anneau et $f = X^d + a_1 X^{d-1} + \cdots + a_d \in k[X]$
+un polynôme unitaire de degré $d$. Alors l'idéal $I$ de
+$k[Z_1,\ldots,Z_d]$ engendré par les $e_i(Z_1,\ldots,Z_d) - (-1)^i
+a_i$ coïncide avec celui $J$ engendré par les $e_i(Z_1,\ldots,Z_{d-1})
+- (-1)^i b_i$ où $b_i = a_i + a_{i-1} Z_d + \cdots + a_1 Z_d^{i-1} +
+Z_d^i$ et par $f(Z_d)$.
+\end{proposition2}
+\begin{proof}
+Convenons de noter $e_i^{[d]}$ pour $e_i(Z_1,\ldots,Z_d)$ et
+$e_i^{[d-1]}$ pour $e_i(Z_1,\ldots,Z_{d-1})$. On a $e_i^{[d]} =
+e_i^{[d-1]} + Z_d e_{i-1}^{[d-1]}$ et $a_i = b_i - Z_d b_{i-1}$ : donc
+$(e_i^{[d]} - (-1)^i a_i) = (e_i^{[d-1]} - (-1)^i b_i) + Z_d
+(e_{i-1}^{[d-1]} - (-1)^{i-1} b_{i-1})$ --- ceci montre que les
+$e_i^{[d-1]} - (-1)^i b_i$ engendrent les $e_i^{[d]} - (-1)^i a_i$ (la
+relation $f(Z_d)$ sert lorsque $i=d$ pour annuler le terme $b_d$), et
+réciproquement par récurrence que les $e_i^{[d]} - (-1)^i a_i$
+engendrent les $e_i^{[d-1]} - (-1)^i b_i$. Enfin, $f(Z_d)$ s'écrit
+comme $\sum_{i=1}^d (-1)^{i+1} Z_d^{d-i} (e_i^{[d]}-(-1)^i a_i)$ grâce
+à l'égalité $\sum_{i=1}^d (-1)^{i+1} Z_d^{d-i} e_i^{[d]} = Z_d^d$ (qui
+est elle-même, si on ne la trouve pas évidente, une réécriture de
+l'égalité $\mathfrak{F}_1(Z_1,\ldots,Z_d|Z_d) = 0$ contenue dans le
+lemme \ref{lemme-modules-de-cauchy}).
+
+\XXX --- Cette démonstration est complètement pourrie.
+\end{proof}
\begin{proposition2}\label{algebre-de-decomposition-universelle-separe-les-racines}
Soit $k$ est un corps et $f \in k[X]$ un polynôme unitaire
diff --git a/chapitres/brauer.tex b/chapitres/brauer.tex
index 6cb8fd6..a78b2dc 100644
--- a/chapitres/brauer.tex
+++ b/chapitres/brauer.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex
index 656e83b..3bb2a1f 100644
--- a/chapitres/calculs-galois.tex
+++ b/chapitres/calculs-galois.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/categories.tex b/chapitres/categories.tex
index 121e480..dd9f328 100644
--- a/chapitres/categories.tex
+++ b/chapitres/categories.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/cohomologie-groupes.tex b/chapitres/cohomologie-groupes.tex
index 19b79f2..e1b2e12 100644
--- a/chapitres/cohomologie-groupes.tex
+++ b/chapitres/cohomologie-groupes.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/corps-c1.tex b/chapitres/corps-c1.tex
index 0363d9f..127a601 100644
--- a/chapitres/corps-c1.tex
+++ b/chapitres/corps-c1.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/corps-finis.tex b/chapitres/corps-finis.tex
index 9ded78a..e366935 100644
--- a/chapitres/corps-finis.tex
+++ b/chapitres/corps-finis.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/correspondance-galois.tex b/chapitres/correspondance-galois.tex
index 002acf3..9dc47cc 100644
--- a/chapitres/correspondance-galois.tex
+++ b/chapitres/correspondance-galois.tex
@@ -1,4 +1,4 @@
-% vim: textwidth=150
+%%% vim: textwidth=150: %%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/descente.tex b/chapitres/descente.tex
index 86d44cd..919c96f 100644
--- a/chapitres/descente.tex
+++ b/chapitres/descente.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/exemples-galois.tex b/chapitres/exemples-galois.tex
index c2f920d..bb590e6 100644
--- a/chapitres/exemples-galois.tex
+++ b/chapitres/exemples-galois.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/extensions-algebriques.tex b/chapitres/extensions-algebriques.tex
index d6af8f1..45cbec1 100644
--- a/chapitres/extensions-algebriques.tex
+++ b/chapitres/extensions-algebriques.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/formes-tordues.tex b/chapitres/formes-tordues.tex
index 8d9f915..113afd0 100644
--- a/chapitres/formes-tordues.tex
+++ b/chapitres/formes-tordues.tex
@@ -1,4 +1,4 @@
-% vim: textwidth=150
+%%% vim: textwidth=150: %%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/groupes-permutations.tex b/chapitres/groupes-permutations.tex
index 5f0bcf7..799e94c 100644
--- a/chapitres/groupes-permutations.tex
+++ b/chapitres/groupes-permutations.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/krull.tex b/chapitres/krull.tex
index c1a0108..b5147f2 100644
--- a/chapitres/krull.tex
+++ b/chapitres/krull.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/locaux-globaux.tex b/chapitres/locaux-globaux.tex
index 8dd27f6..ca6842a 100644
--- a/chapitres/locaux-globaux.tex
+++ b/chapitres/locaux-globaux.tex
@@ -1,4 +1,4 @@
-% vim: textwidth=80
+%%% vim: textwidth=80: %%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/amsart}
\usepackage{palatino,euler}
diff --git a/chapitres/omega.tex b/chapitres/omega.tex
index e8e0a5d..872bd10 100644
--- a/chapitres/omega.tex
+++ b/chapitres/omega.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/produit-tensoriel.tex b/chapitres/produit-tensoriel.tex
index 3abab0c..c231f83 100644
--- a/chapitres/produit-tensoriel.tex
+++ b/chapitres/produit-tensoriel.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/radicaux.tex b/chapitres/radicaux.tex
index f1216f7..94afc43 100644
--- a/chapitres/radicaux.tex
+++ b/chapitres/radicaux.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
diff --git a/chapitres/spectre.tex b/chapitres/spectre.tex
index 3108bfa..c635c72 100644
--- a/chapitres/spectre.tex
+++ b/chapitres/spectre.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\usepackage{palatino,euler}
diff --git a/chapitres/verselles.tex b/chapitres/verselles.tex
index 5081f1c..a6dcaef 100644
--- a/chapitres/verselles.tex
+++ b/chapitres/verselles.tex
@@ -1,3 +1,4 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}