[AC] ajout toudou + lemme normalisation déplacé

1 files changed, 19 insertions, 2 deletions

diff --git a/chapitres/AC.tex b/chapitres/AC.tex
index 235f2cb..4e7a04e 100644
--- a/chapitres/AC.tex
+++ b/chapitres/AC.tex
@@ -8,7 +8,7 @@
 \input{../configuration/numerotation}
 \input{../configuration/formules}
 \input{../configuration/encoredesmacros}
-\synctex=1
+
 \usepackage{stmaryrd}
 \usepackage{graphics}
 \usepackage[usenames,dvipsnames]{xcolor}
@@ -17,6 +17,8 @@
 \usetikzlibrary{matrix}
 \usetikzlibrary{calc}
 
+\usepackage{palatino,euler}
+
 \title{Notions d'algèbre commutative}
 
 \externaldocument{extensions-algebriques}
@@ -731,6 +733,22 @@ reste irréductible dans $B[X]$.
 
 Contre-exemple non japonais.
 
+\subsection{Lemme de normalisation}
+
+\subsection{Normalisation d'une $k$-algèbre de type fini}
+
+\begin{théorème2}
+\label{k-algèbre-tf-est-japonaise}
+Soient $k$ un corps et $A$ une $k$-algèbre de type fini
+intègre. Pour toute extension finie $K′ \bo K$ de son
+corps des fractions, la clôture intégrale $A′$ de $A$ dans $K′$
+est un $A$-module de type fini et une $k$-algèbre de type
+fini.
+\end{théorème2}
+
+% AC, V, §3.2 (p. 59).
+% Utilise le théorème de normalisation de Nœther.
+
 \subsection{Relèvements des idéaux premiers}
 
 \begin{théorème2}\label{relèvement idéaux}
@@ -1141,7 +1159,6 @@ Dimension d'un anneau.
 
 Corollaires Cohen-Seidenberg.
 
-\subsection{Lemme de normalisation}
 
 Exemple : anneaux de polynômes.