Definición inicial del grupo de Galois (grupo de autotomorfismos de una extensión de campo)