Remark prime ideals <-> irreductible closed sets also works in projective context.

1 files changed, 3 insertions, 0 deletions

diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index 8e2b41a..79ca3f3 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -2153,6 +2153,9 @@ Si $k$ est un corps algébriquement clos :
   décroissantes pour l'inclusion, entre les idéaux homogènes radicaux
   de $k[t_0,\ldots,t_d]$ autres que $(t_0,\ldots,t_d)$ d'une part, et
   les fermés de Zariski de $\mathbb{P}^d(k)$ d'autre part.
+\item Ces bijections mettent en corrrespondance les idéaux homogènes
+  premiers de $k[t_0,\ldots,t_d]$ avec les fermés irréductibles
+  de $\mathbb{P}^d$.
 \end{itemize}
 \end{thm}