Exemple 3
Étiquette 0CIO, permanente. À citer comme [Bourbaki, Tag 0CIO].
Commutative Algebra, chapter VII, § 1. Anneaux de Krull
Soient F un corps, et une famille finie de sous-anneaux de F qui soient des anneaux de Krull. Alors leur intersection est un anneau de Krull. En effet, pour , soit une famille de valuations du corps des fractions de vérifiant (AK_I), (AK_{II}), (AK_{III}) (où A est remplacé par ). Notons la restriction de au corps des fractions de S. Alors la famille vérifie évidemment (AK_{II}) (où A est remplacé par S), et aussi (AK_{III}) puisque l’ensemble des indices j est fini. Les valuations sont, soit discrètes, soit impropres. En ne gardant que celles qui sont discrètes, on obtient évidemment une famille vérifiant (AK_I), (AK_{II}) et (AK_{III}) (où A est remplacé par S). Donc S est bien un anneau de Krull.
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.