summaryrefslogtreecommitdiffstats
path: root/chapitres/AC.tex
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2012-09-28 10:14:10 +0200
committerFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2012-09-28 10:14:10 +0200
commit2a9a2696535696fab8f27cf6aa1c0108107c921c (patch)
tree460782890650e2a57fc8bc9251eceea4543a7e5d /chapitres/AC.tex
parent738925ceeb9f4100c57a3e5b083c8451c06a445d (diff)
downloadgalois-2a9a2696535696fab8f27cf6aa1c0108107c921c.zip
galois-2a9a2696535696fab8f27cf6aa1c0108107c921c.tar.gz
galois-2a9a2696535696fab8f27cf6aa1c0108107c921c.tar.bz2
[AC, Calculs] ajout exercice (anneaux absolument plats) et remarque sur le lemme de Gauß (voir aussi Lombardi-Quitté)
Diffstat (limited to 'chapitres/AC.tex')
-rw-r--r--chapitres/AC.tex5
1 files changed, 5 insertions, 0 deletions
diff --git a/chapitres/AC.tex b/chapitres/AC.tex
index 8695848..27d9ed6 100644
--- a/chapitres/AC.tex
+++ b/chapitres/AC.tex
@@ -247,6 +247,11 @@ anneau absolument plat.
Exemple : algèbre de Boole.
+\begin{exercice2}
+Si $A$ est absolument plat, $\Spec(A)$ et $\Spec(\Idem(A))$
+sont naturellement isomorphes (cf. Popescu, Vraciu 1976). \XXX
+\end{exercice2}
+
\begin{théorème2}[Chevalley]
Soit $A$ un anneau nœthérien et $B$ une $A$-algèbre
de type fini. Alors l'image de $\Spec(B)$ dans $\Spec(A)$