summaryrefslogtreecommitdiffstats
path: root/notes-geoalg-2012.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-geoalg-2012.tex')
-rw-r--r--notes-geoalg-2012.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-geoalg-2012.tex b/notes-geoalg-2012.tex
index eb8930e..f865eb6 100644
--- a/notes-geoalg-2012.tex
+++ b/notes-geoalg-2012.tex
@@ -355,7 +355,7 @@ $(x+y)^{2n}=0$ en développant. Il est inclus dans tout idéal radical,
et il est visiblement lui-même radical : c'est donc le plus petit
idéal radical. Étant inclus dans tout idéal radical, il est \textit{a
fortiori} inclus dans tout idéal premier. Reste à montrer que si
-$z$ est inclus dans tout idéal premier, alors $x$ est nilpotent.
+$z$ est inclus dans tout idéal premier, alors $z$ est nilpotent.
Supposons que $z$ n'est pas nilpotent. Considérons $\mathfrak{p}$ un
idéal maximal pour l'inclusion parmi les idéaux ne contenant aucun