summaryrefslogtreecommitdiffstats
path: root/notes-accq205.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-03-03 11:59:10 +0100
committerDavid A. Madore <david+git@madore.org>2016-03-03 11:59:10 +0100
commitdab303de04c9677e857f4fbd6b7d6e02239c4aba (patch)
treebed6c19879f6fbb16718941ab965d5e9faf90456 /notes-accq205.tex
parent233bccf38e9b976562a3f1342d8eb28e1d5e619b (diff)
downloadaccq205-dab303de04c9677e857f4fbd6b7d6e02239c4aba.tar.gz
accq205-dab303de04c9677e857f4fbd6b7d6e02239c4aba.tar.bz2
accq205-dab303de04c9677e857f4fbd6b7d6e02239c4aba.zip
Typo.
Diffstat (limited to 'notes-accq205.tex')
-rw-r--r--notes-accq205.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index ebea262..5ce7d3c 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -1928,10 +1928,10 @@ $h_i(g_1,\ldots,g_n) = q_i f$ : soient $\tilde f, \tilde g_j, \tilde
q_i \in k[t]$ les polynômes ainsi substitués et soit $w \in k$ une
racine de $\tilde f$ (noter que le degré de $\tilde f$ est le même que
celui de $f$ en la variable $t$ puisque le coefficient dominant ne
-s'annule pas en $v_1,\ldots,v_d$) : on a $\tilde h_i(\tilde
+s'annule pas en $v_1,\ldots,v_d$) : on a $h_i(\tilde
g_1,\ldots,\tilde g_n) = \tilde q_i \tilde f$, donc en évaluant en $w$
ce polynôme, on trouve $0$. Ceci montre que $x_j := \tilde g_j(w)$
-répond au problème posé.
+répond au problème posé $h_i(x_1,\ldots,x_n) = 0$.
\end{proof}