有限空闲拓扑中数域单元的闭包

让 $K$ 是一个数字字段。 用 $\mathcal O _K^\times$ 表示它的单位环,用 $\mathcal O _{K,+} ^\times$ 表示它的完全有利设备的环。 进一步允许我们用 $\mathbb A _{K,f}^\times$ 表示 $K$ 的 ideles 及其共同的 idele 地理,并用 $\widehat{\mathcal O}_K^\times$ 表示其常规的小部分积分、有限、ideles。

关于 $\widehat{\mathcal O}_K^\times$ 中的闭包 $\overline {\mathcal O _K ^\times}$ 和 $\overline{\mathcal O _{K,+}^\times}$ 可以声明什么?

明确描述闭包是否可行?

对我来说,最有趣的例子是一开始的实际二次区域。 如果我适当地记住虚构的方形场,则设备必须是离散的。

非常感谢您的帮助!

7
2022-06-07 14:38:20
资源 分享
答案: 0