Sin embargo, como el automorfismo de Frobenius es un generador del grupo de Galois de toda extensión finita de F, es un generador de todo cociente finito del grupo de Galois absoluto.