Consideremos el conjunto de todos los automorfismos de cuerpos de "E"/"F"; esto es, los isomorfismos α de "E" a sí mismo, tal que α("x") = "x" para cada "x" en "F".