I will introduce the Krull topology that one can define on an infinite Galois group to obtain a similar correspondence theorem as in the finite case. I will also introduce the profinite group topology and explain how the Krull topology is a special case. (The materials I will cover in this talk should be quite elementary, yet very cool. There won't be pictures but I will use a lot of colors.)