习题 10, § 2
标签 072Z,永久不变。引用为 [Bourbaki, Tag 072Z]。
代数, VII, p. 56
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
u) 令 为-primary 模,没有无限高度的非零元素,并令 为 的纯子模,由 的元素的最大伪自由族生成(例 4 和 7, b))。证明 是可整除的模 (矛盾论证,应用例 8,c),例 8 7,c),例如。 7,b),最后是Ex。 4、c))。
b) 考虑 M 上可测量的拓扑 ,通过将所有整数 视为 0 子模 的邻域基来定义(Gen. Top.、III、p. 5)。那么 M 的 与子模 P 的商可被整除当且仅当 P 在拓扑 下在 M 中处处稠密。
c) 设是M的两个子模,它们是纯的,在拓扑下M中处处稠密,以及循环子模的直和。证明 和 是同构的(请注意,对于所有 n, 与 同构)。
d) 令 M 为 M 关于拓扑 的完成(Gen. Top., III, p. 24)。证明对于所有 , 是从 M 到 的严格态射, 是开闭子模,对于所有 , 是闭包,并且商模 、同构。
e) 令 M 为 的挠元子模:证明 M 是 =-primary 模,,并且 M 是 M 的纯子模。
f) 假设-主模 M 是循环子模族 的直和。那么 是离散的,当且仅当 M 的湮没子为 0 时。在这种情况下,令 E 为乘积模 ,并令 F 为子模的 E 由……组成的元素所有可数的许多坐标都是零;表明 M 可以被识别为(作为非拓扑模)与 的 F 由……组成的子模,这样,对于每个整数 ,只有有限多个指标 对应。然后证明这四个模M、、M、F是不同的。推导出M不是循环模的直和(使用e)),并且它不是不可分解模的直和(注意包含不是无限高度的元素,并应用例8,c))。
解答
尚未写出解答。
被以下引用
无。
引用了
无。