summaryrefslogtreecommitdiffstats
path: root/notes-accq205.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-03-16 15:18:31 +0100
committerDavid A. Madore <david+git@madore.org>2016-03-16 15:18:31 +0100
commit8dab23667c86b09e5a7a2c130a733ed16ec343a0 (patch)
tree193fb08d54a79546a4bf2ed4798bf12c980ef303 /notes-accq205.tex
parent6d9b24d30f4b835fb0f683286817c82e2b0ce634 (diff)
downloadaccq205-8dab23667c86b09e5a7a2c130a733ed16ec343a0.tar.gz
accq205-8dab23667c86b09e5a7a2c130a733ed16ec343a0.tar.bz2
accq205-8dab23667c86b09e5a7a2c130a733ed16ec343a0.zip
Gauß lemma on irreducible polynomials.
Diffstat (limited to 'notes-accq205.tex')
-rw-r--r--notes-accq205.tex27
1 files changed, 26 insertions, 1 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index f2056a7..e70e4d1 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -298,6 +298,30 @@ automatiquement bijective, et en appliquant ce fait à la
multiplication par un $a\in K$, on voit que tout élément régulier est
inversible.
+\thingy\label{gauss-lemma-on-irreducibility} Rappelons par ailleurs le
+\textbf{lemme de Gauß} concernant les polynômes irréductibles : si $A$
+est un anneau factoriel et $K$ son corps des fractions, alors l'anneau
+$A[t]$ des polynômes en une indéterminée sur $A$ est factoriel ; et
+par ailleurs $f \in A[t]$ est irréductible (dans $A[t]$) si et
+seulement si $f$ est constant et irréductible dans $A$, \emph{ou bien}
+$f$ est irréductible \underline{dans $K[t]$} et le pgcd (dans $A$) des
+coefficients de $f$ vaut $1$ (on dit que $f$ est \textbf{primitif}
+lorsque cette dernière condition est vériifée). Le point-clé dans la
+démonstration est de montrer que le pgcd $c(f)$ des coefficients d'un
+polynôme dans $A[t]$, aussi appelé \textbf{contenu} de $f$, est
+multiplicatif (i.e., $c(fg) = c(f)\,c(g)$) ; la décomposition en
+facteurs irréductibles dans $A[t]$ d'un élément de $A[t]$ s'obtient
+alors à partir de celle de $K[t]$ et de celle dans $A$ du contenu.
+
+Notamment, le corps $k[z_1,\ldots,z_n]$ des fractions rationnelles en
+$n$ indéterminées sur un corps $k$ est un anneau factoriel, un
+polynôme $f \in k[z_1,\ldots,z_n,t]$ (en $n+1$ indéterminées)
+irréductible et faisant effectivement intervenir $t$ est encore
+irréductible dans $k(z_1,\ldots,z_n)[t]$, et réciproquement, un
+polynôme irréductible dans $k(z_1,\ldots,z_n)[t]$ donne un polynôme
+irréductible dans $k[z_1,\ldots,z_n,t]$ quitte à multiplier par le
+pgcd des dénominateurs.
+
\subsection{Algèbre engendrée, extensions de corps}
\thingy\label{subalgebra-generated} Si $A$ est une $k$-algèbre (où $k$
@@ -1719,7 +1743,8 @@ sont algébriquement indépendants sur $K$
algébrique sur $k(w_1,\ldots,w_d)$, donc on peut écrire
$f(w_1,\ldots,w_d,y) = 0$ avec $f \in k(t_1,\ldots,t_d)[u]$
irréductible, donc, quitte à chasser les dénominateurs, $f \in
-k[t_1,\ldots,t_d,u]$ irréductible.
+k[t_1,\ldots,t_d,u]$ irréductible
+(cf. \ref{gauss-lemma-on-irreducibility}).
En particulier, on peut trouver un tel polynôme $f \in
k[t_1,\ldots,t_{d+1}]$ irréductible tel que $f(w_1,\ldots,w_{d+1}) =