Bourbaki

习题 20, § 8

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

代数, III, 642

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

令AA为交换环,MM为任意AA模块,U=(αij)U = (\alpha_{ij})矩阵为型(m,n)(m, n),元素位于AA中。

(a) 假设m=nm = n并设Δ=det⁡(U)\Delta = \det(U);那么,如果 x1,…,xnx_1, \ldots, x_n 是 MM 的元素,使得 1≤i≤n1 \leq i \leq n 对应 ∑j=1nαijxj=0\sum_{j=1}^n \alpha_{ij} x_j = 0,则每个指标 ii 对应 Δxi=0\Delta x_i = 0。

(b) 假设mm和nn是任意的,阶>r> r的UU的所有小数都是零,并且阶rr的小数是可逆的,对于例矩阵(αij)(\alpha_{ij}),其中i≤ri \leq r和j≤rj \leq r;那么如果aia_i表示UU中指标ii的行,则所有AnA^n的子模的指标≤r\leq r形式基的aia_i UU 行;对于i>ri > r,因此ai=∑k=1rλikaka_i = \sum_{k=1}^r \lambda_{ik} a_k。则令y1,…,ymy_1, \ldots, y_m为MM的元素;对于1≤i≤m1 \leq i \leq m,存在方程∑j=1nαijxj=yi\sum_{j=1}^n \alpha_{ij} x_j = y_i的MM满足系统的元素x1,…,xnx_1, \ldots, x_n,yi=∑k=1rλikyky_i = \sum_{k=1}^r \lambda_{ik} y_k对于i>ri > r是充分必要的。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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