> このとき、多項式環k[x1,x2,・・・,xn]はk^n上の関数である。

なるほど、>>1がバカなのではなく、訳本に誤植があっただけなのか……