Bourbaki

习题 10, § 4

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

代数, VII, p. 65

Bourbaki marks this one as harder than the rest.

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

设A为主理想整环,M为E=AnE = A^{n}中秩nn的子模;令 AαiA\alpha_{i} (1≤i≤n1 \leq i \leq n) 为 M 关于 E 的不变量因子,排列在递减阶中。令 N 为 M 的子模,并允许 M 中存在补集(即,使得 N=M∩KNN = M \cap KN,其中 K 为 A 的分数的域)。 a) 令P为M中N的补集。证明E/ME/M的子模(P+(E∩KN))/M(P + (E \cap KN))/M与(E∩KN)/N(E \cap KN)/N同构的。推断,如果 N 具有秩 p 且 AβkA\beta_{k} (1≤k≤p1 \leq k \leq p) 是 N 关于 E 的不变量因子,则βk\beta_{k} 除 αk+n−p\alpha_{k+n-p} 对于 1≤k≤p1 \leq k \leq p(使用例 8,d))。 b) 给出例,证明模E/ME/M不一定同构于模(E∩KN)/N(E \cap KN)/N和E/(P+(E∩KN))E/(P + (E \cap KN))的乘积(取E/ME/M不可分解)。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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