Frob_p: F_p(X)→F_p(X)、Frob_p(f)=f^p
と書けばわかるが
F_p(X)で f --> f^p
じゃわからん。少なくとも地球にはそのような数式は無い。