习题 5, § 8
标签 04X9，永久不变。引用为 [Bourbaki, Tag 04X9]。
交换代数, VI, 462
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
令 K 为域，A 为 K 的估值环，L 为 K 的有限代数扩张。令 A ⊃ A 为 K 的另一个估值环；令 A'_i (1 ≤ i ≤ m) 为 L 的估值环，使得 A'_i ∩ K = A' 并令 k'_i 为它们各自的剩余类域。令 k 为 A' 的剩余类域，A'' 为 A 的 K 典范像的估值环；最后令 A''_{ij} (1 ≤ j ≤ n_i) 为 k'_i 的估值环，使得 A''_{ij} (1 ≤ i ≤ m, 1 ≤ j ≤ n_i) 的 A'_i 中 A''_{ij} ∩ k = A'' 且 A_{ij} 逆像。
(a) 证明 A_{ij} 是 L 的估值环，它们是不同的，并且使得 A_{ij} ∩ K = A 以及 L 的每个估值环 B，使得 B ∩ K = A 等于 A_{ij} 之一。
(b) 证明
和
解答
尚未写出解答。
被以下引用
引用了
无。