Bourbaki

习题 7, § 1

标签 04ZW,永久不变。引用为 [Bourbaki, Tag 04ZW]。

交换代数, VII, 546

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 KK 为域和 (vi)i∈I(v_i)_{i \in I} 对 KK 满足条件 (AKI_I) 和 (AKIII_{III}) no. 3 的一系列离散估值,这样,对于每个整数 rr,每个有理整数的族(nh)1≤h≤r(n_h)_{1 \leq h \leq r}和II的不同元素的每个族(th)1≤h≤r(t_h)_{1 \leq h \leq r},存在x∈Kx \in K使得1≤h≤r1 \leq h \leq r的vth(x)=nhv_{t_h}(x) = n_h和ii的vi(x)≥0v_i(x) \geq 0不同于tht_h。证明viv_i的评估环的交是一个Krull域AA,其分数的域是KK,并且(vi)i∈I(v_i)_{i \in I}是AA的基本评估族。 (首先证明KK是AA的分数的域,因此AA是克鲁尔域;然后证明对于所有i∈Ii \in I,那些xx的AA由……组成的素理想,使得vi(x)>0v_i(x) > 0 必然具有高度 1,通过*归谬*论证并使用 no. 4 的推论 2 到命题 6。)

解答

尚未写出解答。

被以下引用

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。