summaryrefslogtreecommitdiffstats
path: root/chapitres/entiers.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/entiers.tex')
-rw-r--r--chapitres/entiers.tex12
1 files changed, 12 insertions, 0 deletions
diff --git a/chapitres/entiers.tex b/chapitres/entiers.tex
index e386ebe..0b08b9a 100644
--- a/chapitres/entiers.tex
+++ b/chapitres/entiers.tex
@@ -475,6 +475,18 @@ L'ensemble des éléments de $B$ entiers sur $A$ est appelé \emph{fermeture
intégrale de $A$ dans $B$}\index{fermeture intégrale}.
\end{définition}
+\begin{lemme2}
+\label{intégralement clos préserve irréductibilité}
+Soit $A ⊆ B$ une inclusion d'anneaux intègres. On suppose
+que $A$ est intégralement clos dans $B$.
+Alors, tout polynôme $P ∈ A[X]$ irréductible unitaire
+reste irréductible dans $B[X]$.
+\end{lemme2}
+
+\begin{démo}
+\XXX
+\end{démo}
+
\XXX
\subsection{Normalisation dans une extension séparable}