习题 11, § 1
标签 0500,永久不变。引用为 [Bourbaki, Tag 0500]。
交换代数, VII, 547
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
整环 中的除子 被称为“有限生成”,如果它是形式 ,其中 是有限生成的分数理想(不一定是除数;cf. (b))。
(a) 证明,如果是一个Krull域,的每个除子都是形式,其中、是分数的域的元素 (使用no. 5的推论2至命题9)。
(b) 设 为可数集合不定式中 多项式的域、 环,这是一个 Krull 环 (习题 8)。令为单位元生成的的子环以及所有对的单项式(等价地,是所有其项的多项式的集合)甚至有次数)。如果和是和的分数的域,则表明,因此是Krull环。令为乘积对于所有生成的中的理想;表明 是高度为 1 的素理想(因此 除数),但 它不是有限生成的。
解答
尚未写出解答。