>>340
ありがと

>とかなんとかいってる間に、wiki書き換えられてんなｗｗｗ
>https://en.wikipedia.org/wiki/Circle_group
>In the same way that
>the real numbers are a completion of the b-adic rationals Z[1/b] for every natural number b>1,
>the circle group is the completion of the Prüfer group Z[1/b]/Z for b, given by the direct limit lim→ Z/b^nZ.

見た。確かにｗ
だが、主張は変えないよ

Profinite integer Z＾から始めよう
Z＾＝lim ← Z/nZ ＝Πp Zp
これが、the profinite completion of Z （下記）は、いいよね

では、星の円分物 Z＾(1) def ：= lim ←-n μn(Ω) で、μn(Ω) ⊆ Ω は, Ω の中の 1 の n 乗根のなす群(>>240)
で、1 の n 乗根のなす群は、巡回群であって、 Z/nZに同型だ
ここまでは良いだろう？

1 の n 乗根のなす群たちを、ｎについて全て集めたものは また（可算無限）乗法群になる（>>110）
これが、Q/Zに同型も良いよね（>>332）
これを、∪ μn と書く（>>332）

だから、星の円分物 Z＾(1) def ：= lim ←-n μn(Ω) は、
群 ∪ μn を、群として profinite completion したものだってことでしょ

つづく