Exemple 2

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

Commutative Algebra, chapter VI, § 1. Anneaux de valuation

Soient $B$ un anneau intègre, $A$ un sous-anneau de $B$ , $\mathfrak{p}'$ un idéal premier de $B$ , et $\mathfrak{p} = A \cap \mathfrak{p}'$ . On a $\mathfrak{p}A_{\mathfrak{p}} \subset \mathfrak{p}'B_{\mathfrak{p}'}$ , de sorte que $B_{\mathfrak{p}'}$ domine $A_{\mathfrak{p}}$ .

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.