习题 4, § 2

标签 0C0H，永久不变。引用为 [Bourbaki, Tag 0C0H]。

一般拓扑, VIII

Bourbaki marks this one as harder than the rest.

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

Let $K$ be the smallest Pythagorean subfield of $\mathbf{R}$ and let $K' = K(i)$ . 设 $G$ 为绝对值1( $\mathbf{U}$ 子群) $K'$ 元素乘法群。证明 $G$ 与 $K$ mod 1 的数的加法群不同构。（观察在后者群中，存在任意素数阶 $p$ 的元素；另一方面，如果 $p$ 是一个素数，使得 $p - 1$ 不是 2 中的幂，通过注意到 $K'$ 中每个元素的次数超过 $\mathbf{Q}$ ，证明 $G$ 包含单位元中没有第 $p$ 根不是 1是 2 的幂。）

解答

尚未写出解答。

被以下引用

无。

引用了

无。