>>345
>そもそも問いは、
>「星の円分物 Z＾(1) def ：= lim ←-n μn(Ω) で、μn(Ω) ⊆ Ω は, Ω の中の 1 の n 乗根のなす群(>>240)」
>で、ここに何が含まれるか？(>>17) だよ

ここに戻る
下記に書いたが
これだね

Inter-universal geometry と ABC予想 (応援スレ) 65 より
https://rio2016.5ch.net/test/read.cgi/math/1644632425/273-274
円分物で 逆極限 lim ←-n μn(Ω)
つまり、Z＾(1)は、一種のprofinite 完備化
（ http://www4.math.sci.osaka-u.ac.jp/~ochiai/ss2009proceeding/ss2009preparation.pdf プレサマースクール?数論的な体の絶対ガロア群の構造への道先案内? 大阪大学　落合理 2009
　1.1. 副有限群の定義と特徴づけ
　P2 一般的に通常の群が与えられるとその群を “完備化”することで副有限群が与えられることにも注意しておきたい.）

雪江明彦 代数学3 第3章「付値と完備化」では、ある条件下で、profinite 完備化と 非アルキメデス付値による完備化とが同値だとある

また、同 3.2「完備化の平坦性」で、ネーター局所環なら 平坦になる という
なお、Z＾(1)と Z＾（下記 Profinite integer）とで、前者 Z＾(1)には 1のn乗根は 射影の成分として入っているので射影として取り出すことができるが
後者のZ＾（下記 Profinite integer）は、そうではないという違いがある

なるほどね
(参考)
https://en.wikipedia.org/wiki/Profinite_integer
Profinite integer
(引用終り)
以上