Cuando el cuerpo base F es una extensión no trivial del cuerpo con un número primo de elementos F, con "q=p^e", y consideramos una extensión F, el automorfismo de Frobenius "F" de F no fija el cuerpo F (de hecho fija F), por lo que necesitamos considerar el "e"-iésimo iterado "F".