From 251e2cddfb6a6ff3d8d945b29e353da97c25c427 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sat, 5 Mar 2016 20:36:39 +0100
Subject: Add a few remarks.

---
 notes-accq205.tex | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

(limited to 'notes-accq205.tex')

diff --git a/notes-accq205.tex b/notes-accq205.tex
index 53aa72c..efcaf49 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -2100,7 +2100,8 @@ $I$ de $A$ est de type fini.
 Remarquons qu'un \emph{quotient} d'un anneau noethérien est
 noethérien.  En effet, les idéaux de $A/J$ sont de la forme $I/J$ avec
 $I$ un idéal de $A$ contenant $J$, et si $I$ est de type fini alors
-$I/J$ l'est aussi.
+$I/J$ l'est aussi (il est engendré par les classes modulo $J$ des
+éléments qui engendrent $I$).
 
 \begin{prop}[théorème de la base de Hilbert]
 Si $A$ est un anneau noethérien, alors l'anneau $A[t]$ des polynômes à
@@ -2411,8 +2412,8 @@ qu'on pouvait supposer qu'il s'agit d'un idéal radical.
 Le vide est un fermé de Zariski ($Z(1) = \varnothing$) ; l'ensemble
 $(k^{\alg})^d$ tout entier est un fermé de Zariski ($Z(0) =
 (k^{\alg})^d$).  Le singleton de tout $x \in k^d$ (à coordonnées
-dans $k$, donc) est un fermé de Zariski défini sur $k$ : en effet,
-$Z(\mathfrak{m}_x) = \{x\}$, où $\mathfrak{m}_x$ est l'idéal
+\underline{dans $k$}, donc) est un fermé de Zariski défini sur $k$ :
+en effet, $Z(\mathfrak{m}_x) = \{x\}$, où $\mathfrak{m}_x$ est l'idéal
 $(t_1-x_1,\ldots,t_d-x_d)$ (cf. \ref{maximal-ideals-of-points}) où $x
 = (x_1,\ldots,x_d)$, autrement dit le noyau de la fonction $f \mapsto
 f(x)$ d'évaluation en $x$.
@@ -2558,6 +2559,18 @@ les ensembles qu'on a dit, et on a observé qu'elles sont
 décroissantes.
 \end{proof}
 
+\thingy On aurait pu être tenté de définir $Z(\mathscr{F})$ comme
+l'ensemble des zéros dans $k^d$, plutôt que $(k^{\alg})^d$, des
+éléments de $\mathscr{F}$ : le problème avec ce point de vue est qu'on
+peut avoir $Z(I) \cap k^d = \varnothing$ alors que $I$ n'est pas
+l'idéal unité : penser au cas de l'idéal engendré par $t^2 + 1$ dans
+$\mathbb{R}[t]$ (qui n'est pas l'idéal unité puisque $t^2 + 1$ n'est
+pas inversible, et qui n'a pourtant pas de zéro dans $\mathbb{R}$).
+Avec le point de vue choisi ici, on a $Z(t^2+1) = \{\pm i\} \subseteq
+\mathbb{C}$.  On remarquera bien que $\{+i\}$ seul n'est pas un fermé
+de Zariski défini sur $\mathbb{R}$ (c'est, en revanche, un fermé de
+Zariski défini sur $\mathbb{C}$).
+
 
 
 
-- 
cgit v1.2.3

