>>735
＞「>>697」が示唆している写像が環の自明でない準同型写像であり、その核がm_pであること。
なら、示したんじゃなかったっけ？
でも、それが示せたら、k[x]/mpが体だってどうやったら言えるのかわからない。
でも、関係あるように思えるんだよ・・・。