>>2
k[x,y,z]/I で考えると y^2→xz, x^3→yz, x^2 y→z^2 で
f(x,y,z)＝f0(z)＋x f1(z)＋x^2 f2(z)＋y f3(z)＋xy f3(z) となる
φf＝f0(t^5)＋t^3 f1(t^5)＋t^6 f2(z)＋t^4 f3(t^5)＋t^7 f3(t^5) の各項は
t^(5n), t^(5n＋3), t^(5n＋6), t^(5n＋4), t^(5n＋7) だから一致せず 0 にならない