summaryrefslogtreecommitdiffstats
path: root/notes-accq205.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-02-15 14:56:04 +0100
committerDavid A. Madore <david+git@madore.org>2016-02-15 14:56:30 +0100
commit03f8fb210899554749676531119d07717b987415 (patch)
tree346cdaa4548e2a8da42afa8d059b4842ea1bab30 /notes-accq205.tex
parent67d35189937157a88220e885226f4657227a95e5 (diff)
downloadaccq205-03f8fb210899554749676531119d07717b987415.tar.gz
accq205-03f8fb210899554749676531119d07717b987415.tar.bz2
accq205-03f8fb210899554749676531119d07717b987415.zip
Nilradical of a ring.
Diffstat (limited to 'notes-accq205.tex')
-rw-r--r--notes-accq205.tex39
1 files changed, 39 insertions, 0 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index c379b8b..e6ea133 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -202,6 +202,45 @@ que $1$ n'y appartient pas). Le principe maximal de Hausdorff permet
de conclure.
\end{proof}
+\thingy Un élément $x$ d'un anneau $A$ est dit \textbf{nilpotent}
+lorsqu'il existe $n\geq 0$ tel que $x^n = 0$ (un anneau dans lequel le
+seul élément nilpotent est $0$ est dit \textbf{réduit}).
+
+\begin{prop}
+Dans un anneau, l'ensemble des éléments nilpotents est un idéal :
+cet idéal est aussi l'intersection des idéaux premiers de l'anneau.
+(On l'appelle le \textbf{nilradical} de l'anneau.)
+\end{prop}
+\begin{proof}
+L'ensemble des nilpotents est un idéal car si $x^n=0$ et $y^n=0$ alors
+$(x+y)^{2n}=0$ en développant. Il est inclus dans tout idéal
+premier $\mathfrak{p}$, car $x^n \in \mathfrak{p}$ (et à plus forte
+raison $x^n = 0$) implique $x \in \mathfrak{p}$ par récurrence
+sur $n$. Reste à montrer que si $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
+$z^n$ : un tel idéal existe d'après le principe maximal de Hausdorff
+(il existe un idéal ne contenant aucun $z^n$, à savoir $\{0\}$).
+Montrons qu'il est premier : si $x,y \not \in \mathfrak{p}$, on veut
+voir que $xy \not\in \mathfrak{p}$. Par maximalité de $\mathfrak{p}$,
+chacun des idéaux\footnote{On rappelle que si $I,J$ sont deux idéaux
+ d'un anneau, l'ensemble $I + J = \{u+v : u\in I, v\in J\}$ est un
+ idéal, c'est l'idéal engendré par $I\cup J$, c'est-à-dire, le plus
+ petit idéal contenant $I$ et $J$ ; on l'appelle idéal somme de $I$
+ et $J$. Dans le cas particulier où $J = (x)$ est engendré par un
+ élément, c'est donc l'idéal engendré par $I\cup\{x\}$.}
+$\mathfrak{p}+(x)$ et $\mathfrak{p}+(y)$ doit rencontrer $\{z^n\}$,
+c'est-à-dire qu'on doit pouvoir trouver deux éléments de la forme
+$f+ax$ et $g+by$ avec $f,g\in\mathfrak{p}$ et $a,b\in A$, qui soient
+des puissances de $z$ ; leur produit est alors aussi une puissance
+de $z$, donc n'est pas dans $\mathfrak{p}$, donc $abxy
+\not\in\mathfrak{p}$ (car les trois autres termes sont
+dans $\mathfrak{p}$), et a plus forte raison $xy \not\in
+\mathfrak{p}$.
+\end{proof}
+
\thingy Si $A$ est un anneau intègre, on définit un corps $\Frac(A)$,
dit \textbf{corps des fractions} de $A$, dont les éléments sont les
symboles formels $\frac{a}{q}$ avec $a \in A$ et $q \in A