Bourbaki

习题 18, § 1

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

交换代数, VII, 550

Bourbaki marks this one as harder than the rest.

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

令A=⨁n∈ZAnA = \bigoplus_{n \in \mathbf{Z}} A_n为正次数的分级克鲁尔域,使得A0A_0为域,并令m=⨁n≫1Anm = \bigoplus_{n \gg 1} A_n为A的最大理想。令S为A的齐次元素≠0\neq 0的乘法集合,使得环 S−1AS^{-1}A 是主理想整环 (习题 16 (b))。 (a) 令pp为高度为1的A的素理想,满足A−mA - m;则pp不评分(否则p=Ap = A),S−1AS^{-1}A的理想S−1pS^{-1}p为主,由形式x=1+x1+…+xrx = 1 + x_1 + \ldots + x_r的元素生成,其中xj∈(S−1A)jx_j \in (S^{-1}A)_j。将形式 1+a1+…+ar1 + a_1 + \ldots + a_r p 元素,(ai∈Aia_i \in A_i) 写为 S−1AS^{-1}A 中xx 倍数,并使用章 V, § 1, no. 3,命题 11,表明x∈px \in p;最后将p的每个元素写为S−1AS^{-1}A中xx的倍数,证明p=Axp = Ax。 (b) 从 (a) 推出 C(A)C(A) 和 C(Am)C(A_m) 是规范同构的(应用命题 17 of no. 10)。

解答

尚未写出解答。

被以下引用

无。

引用了

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