习题 29, § 2

令$A$为交换环，$m$为$A$的理想，使得$\bigcap_{n > 0} m^n = 0$和$c$为$A$的元素，而不是0的除子。证明运输器$q_n = m^n : Ac$在$m$-adic 拓扑并有零交。如果 $A$ 与 $m$-adic 拓扑 (习题 22(b)) 严格线性紧，对于这个拓扑，$(q_n)$ 是 $A$ 中 0 的邻域的基本系统。