スレ主です

前スレから
純粋・応用数学(含むガロア理論)9
https://rio2016.5ch.net/test/read.cgi/math/1623019011/976
 >>944より
「> 1のm乗根のなす乗法群の射影極限たる 円分物には、何が含まれるのか?
 単位元以外に位数有限の元はないから、n乗して1になる1以外の元はない。
 μ_nで1のn乗根のなす乗法群をあらわすとして
 たとえば、μ_3,μ_9,μ_27...という列のどの群にも
 1の3乗根が含まれているのに、その射影極限には含まれないというのは。」>>838 より
(引用終り)

これ、いろいろ考えたけど
怪しくね?
本気でいうけど

1)円分物には、何が含まれるのか? これが含まれるという主張がない
 いま求めているのは、「これが含まれる」という具体的例示だ
2)”1の3乗根が含まれているのに、その射影極限には含まれない”
 に証明がない

 (前スレのZとZ^(zee-hat というそうだが)の議論は分かった。が、あの議論は環の整域を使う議論だった。今の1のn乗根の話は、演算は積のみで環ではなく群だよ)