>>721
R/Iが体って言うことを示すより、Iが極大イデアルである事を理解
する方が簡単な気がするんだけど・・・。
mp=(x_1-a_1,・・・,x_n-a_n)なら、それより大きなイデアルを考えると
k[x_1,・・・,x_n]自身になるように思うが・・・。