mpすなわちx_1-a_1,・・・,x_n-a_nで生成されるイデアルはk[x_1,・・・,x_n]の元で
x_i = a_i (i=1,2,・・・,n) を代入すると0になるから、本に出てくるｇという準同型
写像の核になるのも分かった。

だから、極大イデアルになると言うのが、まだ、ぴんとこない。

誰か、ヒントを下さい。