18/11/13 23:42:31.90 uF2vbFvO.net
>>724
A, Ab, Ab+Ab^2, ...... はそれぞれ有限生成でA[b]も有限生成だから、あるnが存在してA+Ab+...Ab^n = A[b]となる
よって1,b, ...... , b^nがとれる
とネーター加群の真似をしてみたのですが、これは正しいでしょうか？
18/11/13 23:42:31.90 uF2vbFvO.net
>>724
A, Ab, Ab+Ab^2, ...... はそれぞれ有限生成でA[b]も有限生成だから、あるnが存在してA+Ab+...Ab^n = A[b]となる
よって1,b, ...... , b^nがとれる
とネーター加群の真似をしてみたのですが、これは正しいでしょうか？