Si "E"/"F" es una extensión de Galois, entonces Gal("E"/"F") puede ser dada una topología, llamada topología de Krull, que lo convierte en un grupo profinito.