习题 4, § 5
标签 04V3，永久不变。引用为 [Bourbaki, Tag 04V3]。
交换代数, VI, 455
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
令 为域 K、A 环对 的评估，m 为其最大理想值。
(a) 为了使 A 上的 定义的拓扑与 m 进数拓扑相同，A 为域或离散估值环是充分必要的。
(b) 对于由定义的拓扑，使A成为严格线性紧环（章111，§ 2，习题21），A为域或离散估值环是充分必要的（使用（a）和章III, § 2、习题22(a))。
解答
尚未写出解答。