Bourbaki

Exemple 3

Étiquette 0CIO, permanente. À citer comme [Bourbaki, Tag 0CIO].

Commutative Algebra, chapter VII, § 1. Anneaux de Krull

Soient F un corps, et (Ri)1≤i≤n(R_i)_{1 \leq i \leq n} une famille finie de sous-anneaux de F qui soient des anneaux de Krull. Alors leur intersection S=⋂j=1nRjS = \bigcap_{j=1}^n R_j est un anneau de Krull. En effet, pour 1≤j≤n1 \leq j \leq n, soit (vji)i∈Ij(v_{ji})_{i \in I_j} une famille de valuations du corps des fractions de RjR_j vérifiant (AK_I), (AK_{II}), (AK_{III}) (où A est remplacé par RjR_j). Notons wjiw_{ji} la restriction de vjiv_{ji} au corps des fractions de S. Alors la famille (vji)1≤j≤n,i∈Ij(v_{ji})_{1 \leq j \leq n, i \in I_j} 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 wjiw_{ji} 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.

Transcrit du volume imprimé. Non traduit.