diff options
author | Fabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com> | 2012-09-28 10:14:10 +0200 |
---|---|---|
committer | Fabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com> | 2012-09-28 10:14:10 +0200 |
commit | 2a9a2696535696fab8f27cf6aa1c0108107c921c (patch) | |
tree | 460782890650e2a57fc8bc9251eceea4543a7e5d /chapitres/calculs-galois.tex | |
parent | 738925ceeb9f4100c57a3e5b083c8451c06a445d (diff) | |
download | galois-2a9a2696535696fab8f27cf6aa1c0108107c921c.tar.gz galois-2a9a2696535696fab8f27cf6aa1c0108107c921c.tar.bz2 galois-2a9a2696535696fab8f27cf6aa1c0108107c921c.zip |
[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.tex | 3 |
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 |