Bourbaki

习题 15, § 1

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

交换代数, VII, 549

Bourbaki marks this one as harder than the rest.

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

(a) 令A为A的整环和a,ba, b两个元素≠0\neq 0,使得Aa∩Ab=AabAa \cap Ab = Aab。证明在多项式环 A[X]A[X] 中,aX+baX + b 生成的主理想是素数(证明每个多项式f(X)∈A[X]f(X) \in A[X]使得f(−b/a)=0f(-b/a) = 0是aX+baX + b的倍数,论证归纳关于ff的次数)。

(b) 设 A 为 Krull 域且 A 的 a,ba, b 两个元素使得 Aa 和 Aa + Ab 互质且不同。证明A[X]/(aX+b)A[X]/(aX + b)是一个Krull域并且C(A[X]/(aX+b))C(A[X]/(aX + b))与C(A)C(A)同构的。 (注,借助(a),A[X]/(aX+b)A[X]/(aX + b)与A[b/a]=BA[b/a] = B同构的;证明Ba在B中是素数。观察A[a−1]=B[a−1]A[a^{-1}] = B[a^{-1}]是克鲁尔域并使用习题 12。)

(c) 设 A 为全闭诺特域和 A 的雅各布森根式 r 的a,ba, b 两个元素。假设理想 Aa + Ab 是不可除素理想;证明 Aa 和 Ab 是素理想。 (首先证明Aa∩Ab=AabAa \cap Ab = Aab考虑到Ass(A/Aa)Ass(A/Aa)的理想。其次证明关系xy∈Abxy \in Ab和y∉Aa+Aby \notin Aa + Ab对于所有hh意味着x∈Ab+Aahx \in Ab + Aa^h,通过hh上的归纳;推导出x∈Abx \in Ab。最后,推导如果xy∈Ab,x∉Ab,y∉Abxy \in Ab, x \notin Ab, y \notin Ab,则对于所有hh必然有x∈Ab+Aahx \in Ab + Aa^h和y∈Ab+Aahy \in Ab + Aa^h,通过归纳论证h,推导出矛盾。)

解答

尚未写出解答。

被以下引用

引用了

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