ガロア拡大
Now that we have defined a topology on the Galois group we can restate the fundamental theorem for infinite Galois extension.