summaryrefslogtreecommitdiffstats log msg author committer range
diff options
 context: 12345678910152025303540 space: includeignore mode: unifiedssdiff
author committer David A. Madore 2014-06-02 11:16:25 (GMT) David A. Madore 2014-06-02 11:16:25 (GMT) 56c2658b4894b9e399c9420e186578366abf8fc2 (patch) 88c5ee908e48d30830f216d9afe5146ba8d548cd /notes-geoalg-2010.tex 1d4019463c936b8dbf08dee647c9945737ba26e2 (diff) mdi349-56c2658b4894b9e399c9420e186578366abf8fc2.zipmdi349-56c2658b4894b9e399c9420e186578366abf8fc2.tar.gzmdi349-56c2658b4894b9e399c9420e186578366abf8fc2.tar.bz2
 diff --git a/notes-geoalg-2010.tex b/notes-geoalg-2010.texindex caac273..9890f52 100644--- a/notes-geoalg-2010.tex+++ b/notes-geoalg-2010.tex@@ -2912,7 +2912,7 @@ condition ouverte de Zariski. \mathbb{P}^d$est lisse ssi les polynômes$\frac{\partial f}{\partial t_i}$n'ont aucun zéro commun sur$k$(algébriquement clos !), car un zéro commun des$\frac{\partial f}{\partial t_i}$- est forcément zéro de$f = \sum_{i=0}^d t_i \frac{\partial+ est forcément zéro de $\deg(f)\cdot f = \sum_{i=0}^d t_i \frac{\partial f}{\partial t_i}$. Grâce au Nullstellensatz projectif, on peut encore reformuler cela en : les $\frac{\partial f}{\partial t_i}$ engendrent un idéal irrelevant.