Bourbaki

习题 12, § 1

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

代数, II, 382

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

设G为模,E、F为两个子模,使得E⊂FE \subset F。

(a) 如果 F 是 G 的直因子,则 F/EF/E 是 G/EG/E 的直因子。如果E也是F的直因子,则E是G的直因子。

(b) 如果E是G的直因子,则E是F的直因子。如果F/EF/E也是G/EG/E的直因子,则F是G中的直因子。

(c) 给出Z\mathbf{Z}-模E=Z2E = \mathbf{Z}^2的两个子模 M、N的例,使得M和N是E的直因子,但M+NM + N不是E的直因子。

(d) Let pp be a prime number and UpU_p the submodule of the Z\mathbf{Z}-module Q/Z\mathbf{Q}/\mathbf{Z} consisting of the classes mod Z\mathbf{Z} of rational numbers of the form k/pnk/p^n (k∈Zk \in \mathbf{Z}, n∈Nn \in \mathbf{N}). 令E为乘积Z\mathbf{Z}-模M×NM \times N,其中M和N均与UpU_p同构的,M和N被规范地标识为E的子模。 考虑 E 的自同态 u:(x,y)↦(x,y+px)u : (x, y) \mapsto (x, y + px);证明 uu 是双射的。 如果M′=u(M)M' = u(M),证明M和M′M'都是E的直因子,但M∩M′M \cap M'不是E的直因子(使用(b),证明Z\mathbf{Z}-模UpU_p除了自身和{0}\{0\}之外没有直因子)。

解答

尚未写出解答。

被以下引用

引用了

无。

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