Bourbaki

习题 11, § 1

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

交换代数, VII, 547

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

整环 AA 中的除子 dd 被称为“有限生成”,如果它是形式 div⁡(a)\operatorname{div}(a),其中 aa 是有限生成的分数理想(不一定是除数;cf. (b))。

(a) 证明,如果AA是一个Krull域,D(A)D(A)的每个除子都是形式div⁡(a)\operatorname{div}(a),其中a=Ax+Aya = Ax + Ay、x,yx, y是分数的域的元素≠0\neq 0 AA(使用no. 5的推论2至命题9)。

(b) 设 KK 为可数集合不定式中 KK 多项式的域、A=K[Xn]n∈NA = K[X_n]_{n \in \mathbf{N}} 环,这是一个 Krull 环 (习题 8)。令A′A'为单位元生成的AA的子环以及所有对(i,j)(i, j)的单项式XiXjX_i X_j(等价地,A′A'是所有其项的多项式的集合)甚至有次数)。如果LL和L′L'是AA和A′A'的分数的域,则表明A′=A∩L′A' = A \cap L',因此A′A'是Krull环。令pp为乘积XiXjX_i X_j对于所有i≥0i \geq 0生成的A′A'中的理想;表明 pp 是高度为 1 的素理想(因此 除数),但 它不是有限生成的。

解答

尚未写出解答。

被以下引用

引用了

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