Bourbaki

习题 31, § 1

标签 050K,永久不变。引用为 [Bourbaki, Tag 050K]。

交换代数, VII, 555

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

(a) 设AA为正则积分闭域(习题30),KK为分数的域;对于每个多项式P∈K[X]P \in K[X],让c(P)c(P)表示除子div⁡(a)\operatorname{div}(a),其中aa是由PP的系数生成的KK的分数理想。让BB表示有理数函数P/QP/Q的K(X)K(X)由……组成的子环,使得c(P)≥c(Q)c(P) \geq c(Q)(证明这个条件仅取决于元素P/QP/Q,利用习题30) (a) 和 12(c))。然后B∩K=AB \cap K = A。

(b) 证明 BB 是贝祖域 (习题 20)(观察,如果P,QP, Q 是 A[X]A[X] 的两个多项式,P+XnQP + X^n Q 除 PP 和 QQ in BB if mm 是足够大)。

(c) 证明,如果 AA 是 Krull 域,则 BB 是主理想整环(考虑 BB 有限生成的分数主理想的递增序列)。给出例,其中 AA 完全积分闭,但 BB 不是主理想整环 (cf. 习题 22)。

(d) 从 (c) 诺特域 BB 的例推导出,其中存在分数的域子域 KK,使得 B∩KB \cap K 不是诺特。

解答

尚未写出解答。

被以下引用

无。

引用了

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