>>912-913
>>>909は紛れもなく雑談さんオリジナルですね。

うん、つい禁を破って、オリジナルを書いてしまったｗ
オリジナルは、前半の
”いま、上記より z∈Z/p^(i+1)Zとする。zには、mod p^(i+1)が作用するので、位数は有限である
上記同様、(0,・・ ,0,z,0,・・・)∈Πi=0〜∞ Z/p^(i+1)Z を考える。これをz'とする
即ち、z'＝(0,・・ ,0,z,0,・・・)である”
だけだが、これが変？

>本気でそう思ってるとは驚きました。

本気でそう思っています

>Z_pやZ^は整域で、上記はそのことと矛盾する。
>雑談さんの理解は間違ってるってことです。

ありがと
考えてみるよ