习题 7, § 1
标签 04ZW,永久不变。引用为 [Bourbaki, Tag 04ZW]。
交换代数, VII, 546
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 为域和 对 满足条件 (AK) 和 (AK) no. 3 的一系列离散估值,这样,对于每个整数 ,每个有理整数的族和的不同元素的每个族,存在使得的和的不同于。证明的评估环的交是一个Krull域,其分数的域是,并且是的基本评估族。 (首先证明是的分数的域,因此是克鲁尔域;然后证明对于所有,那些的由……组成的素理想,使得 必然具有高度 1,通过*归谬*论证并使用 no. 4 的推论 2 到命题 6。)
解答
尚未写出解答。