mpって多項式環の部分集合でしょう
関数ってk^nからkへの関数でしょう

どうやって元になることをしめすの?