Bourbaki

习题 11, § 3

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

交换代数, III, 247

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

设 A 为 p-adic 整数(pp素的)的环 Zp\mathbf{Z}_p 和 p-adic 拓扑,它是完整的 Zariski 环。令 E 为 A-模 A(N)A^{(\mathbf{N})} 以及 p 进数拓扑。 (a) 证明 E 的补全 E^\hat{E} 可以用 A 的 ANA^{\mathbf{N}} 由……组成的子模 、序列 (an)n∈N(a_n)_{n \in \mathbf{N}} 、A 的元素来识别,从而lim⁡n→∞an=0\lim_{n \to \infty} a_n = 0。 (b) 设ene_n为E的典范基的第n个向量。考虑由向量e2n−1e_{2n-1}生成的E子模F和向量p2ne2n−e2n−1 (n≥1)p^{2n}e_{2n} - e_{2n-1} \ (n \geq 1)生成的子模G。证明 E 上的 p-adic 拓扑在 F 和 G 上诱导的拓扑是 F 和 G 上的 p-adic 拓扑,但是,在 E^\hat{E} 中,

F+G‾≠F‾+G‾. \overline{F + G} \neq \overline{F} + \overline{G}.
(c) 在E^\hat{E}中,设ar=∑n=0∞pner+2 (r≥0)a_r = \sum_{n=0}^{\infty} p^n e_{r+2} \ (r \geq 0);令 H 为由 a,(r≥0)a, (r \geq 0) 生成的 E^\hat{E} 的子模。证明在 HH 拓扑上由 E^\hat{E} 上的 pp-adic 拓扑引起,是 HH 上的 pp-adic 拓扑,但E∩H≠E‾∩H‾E \cap H \neq \overline{E} \cap \overline{H}。

(d) 令LL为pnenp^n e_n生成的EE中的子模;证明在 LL 拓扑上由 EE 上的 pp-adic 拓扑引起的与 LL 上的 pp-adic 拓扑不同。

解答

尚未写出解答。

被以下引用

引用了

无。

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