k^n上の関数環と言うのは、単に、x_1,・・・,x_nの関数と言う意味だというのも
分ったが・・・。mp=(x_1-a_1,・・・,x_n-a_n)が極大イデアルだと言うのが分らない。