summaryrefslogtreecommitdiffstats
path: root/chapitres/calculs-galois.tex
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2012-09-28 08:14:10 (GMT)
committerFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2012-09-28 08:14:10 (GMT)
commit2a9a2696535696fab8f27cf6aa1c0108107c921c (patch)
tree460782890650e2a57fc8bc9251eceea4543a7e5d /chapitres/calculs-galois.tex
parent738925ceeb9f4100c57a3e5b083c8451c06a445d (diff)
downloadgalois-2a9a2696535696fab8f27cf6aa1c0108107c921c.zip
galois-2a9a2696535696fab8f27cf6aa1c0108107c921c.tar.gz
galois-2a9a2696535696fab8f27cf6aa1c0108107c921c.tar.bz2
[AC, Calculs] ajout exercice (anneaux absolument plats) et remarque sur le lemme de Gauß (voir aussi Lombardi-Quitté)
Diffstat (limited to 'chapitres/calculs-galois.tex')
-rw-r--r--chapitres/calculs-galois.tex3
1 files changed, 3 insertions, 0 deletions
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex
index 4404eaa..262e122 100644
--- a/chapitres/calculs-galois.tex
+++ b/chapitres/calculs-galois.tex
@@ -233,6 +233,9 @@ nécessairement trouvé par cet algorithme.
Le cas de $\QQ[X]$ découle de $\ZZ[X]$ : si $f \in \QQ[X]$, on peut
écrire $f = c f_1$ où $c \in \QQ$ et $f_1 \in\ZZ[X]$ est primitif.
Les facteurs irréductibles de $f$ sont alors ceux de $f_1$. \XXX
+\commentaire{Pour une démonstration constructive du lemme de
+Gauß, cf. Messing-Reiner, A universal coefficient theorem
+for Gauß's lemma.}
Montrons maintenant que la connaissance d'un algorithme de
factorisation pour une seule variable permet, en principe, de