How does topology enter Number theory and how we can grasp its essence? In infinite Galois theory,main theorem failed and we get a "Krull topology" to mend the main theorem, we even generalized that to make definition for profinite group.
In local class field theory, the multiplicative group modulo the norm group is isomorphic to the Galois group both algebraically and topologically. So is the topology we just defined on infinite Galois group is "forced to define" because of that isomorphism? If you teach such a course in Galois theory, how would you convince your students that this topology comes out in "natural"?
There is another way topology arise: by study prime $p$, we deduce the $p$-adic topology, we complete the space we get local field and also a topological field. Can we realize that all the topologies that arise in number theory are just a mimic of that?
Since I am not a math major, I get into math since my teacher teach me quadratic reciprocity when I was a high schooler, I led all the way myself to class field theory and get lost when I encounter the "modern language" such as Galois cohomology and schemes.
I saw a remark that in order to gain arithmetic information we need a ground base: the direct product of all $\mathbb{Q}_p$ ($p$-adic number field), but since it is not locally compact, we can not apply analysis on it, so we make restricted product and get idèles and adèles.
I know little about analysis and I get puzzled. Hecke proved quadratic reciprocity for number field using Fourier analysis and Tate has a famous "Thesis", both of which confused me.
Can someone explain that to me, what led these guys to do that,and what were they doing?
Finally I summarize my odd words:


*

*Why we introduce topology to various group such as a Galois group, and how do we realize that topology?

*Why, in doing arithmetic, do we need a locally compact group or field to apply "analysis"? what is "apply analysis" all about? (If it is not that easy to explain for a outsider, give me a link to some elementary resource as well; thanks!)
 A: I think a basic observation is that one can obtain a topology on a ring $R$ simply from the data of an ideal $I \subset R$; this is the $I$-adic topology, where a neighborhood basis at the identity consists of the powers of the ideals $I^i$. The nice thing about doing so is that, in essence, solving a polynomial equation mod a high power of $I$ essentially amounts to finding an "approximate solution" in $R$ itself: the notion of "approximate" solution is made valid by the existence of a topology.
In the case where $I $ is the ideal $p \mathbb{Z}$ inside the ring $\mathbb{Z}$, 
then the point of this discussion is that one has translated (purely arithmetic) questions of the form "When does there exist an integer $x$ such that $P(x) \equiv 0 \mod p^N$?" into more analysis-y questions of the form "When does there exist an integer $x$ such that $P(x) $ is close to zero?" So far, we have just moved words around without content, but we can make a big step forward by noting that  analysis actually works pretty well only when one has a completeness property (like the completeness property of the real numbers). Without the completeness property of the real numbers, most of ordinary mathematical analysis would fail: try doing integration over the rationals, for instance. 
Anyway, one does not usually have completeness of the topology induced on the ring $R$ given by an ideal $I$, but there is a mathematical procedure that enables you to replace $R$ by something where the completeness process is true: this process is called completion. When applied to the integers with the ideal $p \mathbb{Z}$, one gets the ring of $p$-adic integers, and more generally applied to rings of integers in number fields one can get rings of integers in local fields. 
Again, one of the things that is nice about completion is that one can in fact do analysis in a reasonable way.  A standard example is given by Hensel's lemma, which allows you to lift approximate solutions to exact solutions (in the completion). 
The completions turn out to provide information about the integers themselves (the starting point): for instance, it is a general principle that if something is true over $\mathbb{R}$ and all the $p$-adic fields $\mathbb{Q}_p$, then it should be true over $\mathbb{Q}$. The usual example is the Hasse-Minkowski theorem for quadratic forms, but the analog for other polynomials is false. 
As for the infinite Galois group: the answer is that it is  an inverse 
limit of the Galois groups of finite subextensions, and as such inherits a topology in a similar way as the completion. 
