15/03/04 20:12:02.00 YdJRWdwI.net
>>350-354
難しく考えすぎ。そこまでT(s),T(t)を弄っていて正解に辿り着かないのはセンスなさすぎ。
Case1-1どころか、Case1の途中で既に間違ってる。実はCase2も間違ってる。まずはCase1から。
>従って、n^2≡0(mod m)から、m|n^2。
>単項イデアルについて、(n^2)=(n)(n)⊂(n)だから、n≡0(mod m)。
n=2, m=4 と置くと、n^2≡0(mod m)は成り立つがn≡0(mod m)は成り立たない。
その他にも、成り立たない(n, m)の例はたくさんある。
なーにが単項イデアルだよ。算