>>697
f(gh)=f(g)f(h)に確かになる。
k[x_1,・・・,x_n]の元g,hに掛けてから(x_1,・・・,x_n)=(a_1,・・・,a_n)を代入しても
代入してから掛けても同じ値になると言う事だと言うことは分った。

しかし、それなら、ｍｐが極大イデアルになると言うのが、ピンとこない。
あんまり、準同型定理が良く分かってないのかも知れない。

一日ぐらいは自分で考えてみようと思うけど、なにかヒントないでしょうか？