Deje $k = F_p$, y deje $k(x)$ ser la función racional de campo en una variable sobre la $k$. Definir $φ : k(x) \to k(x)$$φ(x) = x+1$. Mostrar que $φ$ ha finito de orden en $Gal(k(x)/k)$. Determinar este orden, encontrar una $u$, de modo que $k(u)$ es el campo fijo de $φ$, determinar el polinomio mínimo de más de $k(u)$$x$, y encontrar todas las raíces de este polinomio mínimo.
Ahora el orden de $\phi$ $p$ pero ¿y el resto? Puedo ver que si considero $u=x^p -x $$\phi (x^p -x)=(x+1)^p-(x+1)= x^p -x$, $\phi$ corrige esta $k(u)$. Ahora, es este el campo fijo? Si es así, ¿por qué? y qué pasa con el resto?