习题 22, § 3
标签 052R,永久不变。引用为 [Bourbaki, Tag 052R]。
交换代数, VII, 569
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
(a) 设为有序域,为多项式环除以主理想的商;让表示中的典范像。证明是阶乘域(考虑分数的环(章11、§ 5, no. 1的记号),使用no. 4、命题3)。
(b) 设为的典范基,并令为由生成的单生子A模对的商,表明是射影模(形式 中 的补充子模)。
(c) 证明,如果,则-模不是自由的(认同与向量到单位的纤维束切线的连续截面的模的子模)球体并利用以下事实:在球体的每个点处不存在连续的向量 切线域)。 \*
解答
尚未写出解答。
被以下引用
无。