>>736
> >>735
> ＞「>>697」が示唆している写像が環の自明でない準同型写像であり、その核がm_pであること。
> なら、示したんじゃなかったっけ？
示したのなら

> でも、それが示せたら、k[x]/mpが体だってどうやったら言えるのかわからない。
こんな疑問が出る筈がない。