If E/F is a Galois extension, then Gal(E/F) can be given a topology, called the Krull topology, that makes it into a profinite group.
Om E/F är en Galoisutvidgning, då kan Gal(E/F) ges en topologi, känd som Krulltopologin, som gör den till en proändlig grupp.