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?