Bourbaki

习题 22, § 3

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

交换代数, VII, 569

Bourbaki marks this one as harder than the rest.

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

(a) 设kk为有序域,AA为多项式环k[X,Y,Z]k[X, Y, Z]除以主理想(X2+Y2+Z2−1)(X^2 + Y^2 + Z^2 - 1)的商;让x,y,zx, y, z表示AA中X,Y,ZX, Y, Z的典范像。证明AA是阶乘域(考虑分数Az−1A_{z-1}的环(章11、§ 5, no. 1的记号),使用no. 4、命题3)。

(b) 设(ei)1≤i≤3(e_i)_{1 \leq i \leq 3}为A3A^3的典范基,并令MM为由xe,+ye,+te,;xe, + ye, + te,;生成的单生子A模NN对A3A^3的商,表明MM是射影AA模(形式 A3A^3 中NN 的补充子模)。

(c) 证明,如果k=Rk = \mathbf{R},则AA-模MM不是自由的(认同MM与向量到单位的纤维束切线的连续截面的模的子模)球体并利用以下事实:在球体的每个点处不存在连续的向量 ≠0\neq 0 切线域)。 \*

解答

尚未写出解答。

被以下引用

无。

引用了

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