习题 2, § 5

证明每个 $p$-adic 拓扑（$p$素数数）的 $\mathbf{Z}$-模都是 Hausdorff，理想情况下是 Hausdorff，但给出有限生成的 $\mathbf{Z}$-模的例，它是 Hausdorff，但相对于 $p$ 不是绝对 Hausdorff （使用习题 1 (a)）。