単に、変数がn個ある関数の事をk^n上の関数環と言ってるのか
なあ?