>>644
ありがとうございます とても助かりました あと、

剰余環Ｚ/Ｉ(ただしＩは素数Pで生成される単項イデアル)は素体である

という証明を先ほど教えていただいたものに倣って次のようにしてみました

(証)
Ｚ/Ｉから部分体Ｆをとる
体の定義より、Ｚ/Ｉの単位元Ｉ+1について
Ｉ+1∈Ｆ
体は特に和について定義されているのだから
(Ｉ+1)+(Ｉ+1)=(Ｉ+2)∈Ｆ、
(Ｉ+2)+(Ｉ+1)=(Ｉ+3)∈Ｆ
…
(Ｉ+P-1)+(Ｉ+1)=(Ｉ+P)=Ｉ∈Ｆ


すなわちＦには
Ｉ、Ｉ+1、…、Ｉ+P-1
が含まれているから、
Ｚ/Ｉ=Ｑ
である


おかしいところがあれば御指摘お願いします