summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--notes-mdi349.tex12
1 files changed, 10 insertions, 2 deletions
diff --git a/notes-mdi349.tex b/notes-mdi349.tex
index 0c78a0f..690552a 100644
--- a/notes-mdi349.tex
+++ b/notes-mdi349.tex
@@ -424,7 +424,7 @@ Si $A$ est un anneau noethérien, alors l'anneau $A[t]$ des polynômes à
une indéterminée sur $A$ est noethérien.
\end{prop}
\begin{proof}
-Soit $I \subseteq A[t]$ un idéal. Supposons par l'abusrde que $I$
+Soit $I \subseteq A[t]$ un idéal. Supposons par l'absurde que $I$
n'est psa de type fini. On construit par récurrence une suite
$f_0,f_1,f_2,\ldots$ d'éléments de $I$ comme suit. Si
$f_0,\ldots,f_{r-1}$ ont déjà été choisis, comme l'idéal
@@ -753,7 +753,7 @@ $\mathfrak{I}(E) = \{f\in k[t_1,\ldots,t_d] :\penalty0 (\forall
facile : c'est un idéal de $k[t_1,\ldots,t_d]$, et même un idéal
radical. Remarque évidente : si $E \subseteq E'$ alors
$\mathfrak{I}(E) \supseteq \mathfrak{I}(E')$ ; on a $\mathfrak{I}(E) =
-\cap_{x\in E} \mathfrak{m}_x$ (où $\mathfrak{m}_x$ désigne l'idéal
+\bigcap_{x\in E} \mathfrak{m}_x$ (où $\mathfrak{m}_x$ désigne l'idéal
maximal $\mathfrak{I}(\{x\})$ des polynômes s'annulant en $x$), et en
particulier $\mathfrak{I}(E) \neq k[t_1,\ldots,t_d]$ dès que $E \neq
\varnothing$.
@@ -828,6 +828,14 @@ On dit qu'un fermé de Zariski $E \subseteq k^d$ non vide est
où $E',E''$ sont deux fermés de Zariski (forcément contenus
dans $E$...), sauf si $E'=E$ ou $E''=E$.
+\emph{Contre-exemple :} $Z(xy)$ (dans le plan $k^2$ de
+coordonnées $x,y$) n'est pas ir\-ré\-duc\-tible, car $Z(xy) = \{(x,y)
+\in k^2 : xy=0\} = \{(x,y) \in k^2 :
+x=0\penalty0\ \textrm{ou}\penalty0\ y=0\} = Z(x) \cup Z(y)$ est
+réunion de $Z(x)$ (l'axe des ordonnées) et $Z(y)$ (l'axe des
+abscisses) qui sont tous tous les deux strictement plus petits
+que $Z(xy)$.
+
\begin{prop}
Un fermé de Zariski $E \subseteq k^d$ est irréductible si, et
seulement si, l'idéal $\mathfrak{I}(E)$ est premier.