Bourbaki

习题 16, § 2

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

交换代数, VII, 560

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

设 A 为 Priiferian 域,K 为分数的域和 L K 的(有限或其他)代数扩张;证明 A 在 L 中的积分闭包 A′A' 是一个 Priiferian 域。 (令x∈Lx \in L和a0Xn+a1Xn−1+…+ana_0 X^n + a_1 X^{n-1} + \ldots + a_n为A[X]A[X]中的多项式,其中xx为根;如果我们写

a0Xn+a1Xn−1+…+an=(X−x)(b0Xn−1+…+bn−1), a_0 X^n + a_1 X^{n-1} + \ldots + a_n = (X - x)(b_0 X^{n-1} + \ldots + b_{n-1}),

使用§ 1、习题 12 (a) 显示bib_i 和bixb_i x 属于到A′A'。如果a=∑i=0nAai, b=∑j=0n−1Bbja = \sum_{i=0}^n A a_i, \ b = \sum_{j=0}^{n-1} B b_j表明理想的b.Ba−1b.Ba^{-1}是B+BxB + Bx的倒数。)

解答

尚未写出解答。

被以下引用

引用了

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