In the study of number theory (and in other branches of mathematics) presence of Hecke Algebra and Hecke Operator is very prominent.


One of the many ways to define the Hecke Operator $T(p)$ is in terms of double coset operator corresponding to the matrix $ \begin{bmatrix} 1 & 0 \\ 0 & p \end{bmatrix}$ . 


On the other hand Hecke Algebra $\mathcal{H}(G,K)$ associated to a group $G$ of td-type ( topological group, such that every neighborhood of unity contains a compact open subgroup), where $K$ is a compact open subgroup of $G$ is defined as the space of locally constant compactly supported $K$ bi-invariant functions on $G$. Convolution product makes it an associative algebra. 


I was told that the hecke algebra $\mathcal{H}(Gl(2,\mathbb{Q}\_p) , Gl(2,\mathbb(Z)\_p))$ corresponds to the classical algebra of hecke operators attached to $p$ via Satake Isomorphism Theorem. Using Satake Isomorphism theorem I can show $\mathcal{H}(Gl(2,\mathbb{Q}\_p) ,Gl(2,\mathbb(Z)\_p))$ is commutative and finitely generated over $\mathbb{C}$. 


So my question is how one uses Satake Isomorphism Theorem (or otherwise) to see this? 
And secondly in general what is the relation between hecke operators and hecke algebra?



Relation between Hecke Operator and Hecke Algebra
The fact that Hecke operators (double coset stuff coming from $SL\_2(\mathbf{Z})$ acting on modular forms) and Hecke algebras (locally constant functions on $GL\_2(\mathbf{Q}\_p)$) are related has nothing really to do with the Satake isomorphism. The crucial observation is that instead of thinking of modular forms as functions on the upper half plane, you can think of them as functions on $GL\_2(\mathbf{R})$ which transform in a certain way under a subgroup of $GL\_2(\mathbf{Z})$, and *then* as functions on $GL\_2(\mathbf{A})$ ($\mathbf{A}$ the adeles) which are left invariant under $GL\_2(\mathbf{Q})$ and right invariant under some compact open subgroup of $GL\_2(\widehat{\mathbf{Z}})$. 


Now there's just some general algebra yoga which says that if $H$ is a subgroup of $G$ and $f$ is a function on $G/H$, and $g\in G$ such that the $HgH$ is a finite union of cosets $g\_iH$, then you can define a Hecke operator $T=[HgH]$ acting on the functions on $G/H$, by $Tf(g)=\sum\_i f(gg\_i)$; the lemma is that this is still $H$-invariant.


Next you do the tedious but entirely elementary check that if you consider modular forms not as functions on the upper half plane but as functions on $GL\_2(\mathbf{A})$, then the classical Hecke operators have interpretations as operators $T=[HgH]$ as above, with $T\_p$ corresponding to the function supported at $p$ and with $g=(p,0;0,1)$. Because the action is "all going on locally" you may as well compute the double coset space locally, that is, if $H=H^pH\_p$ with $H\_p$ a compact open subgroup of $GL\_2(\mathbf{Q}\_p)$, then you can do all your coset decompositions and actions locally at $p$.


Now finally you have your link, because you can think of $T$ as being the characteristic function of the double coset space $HgH$ which is precisely the sort of Hecke operator in your Hecke algebra of locally constant functions. Furthermore the sum $f(gg\_i)$ is just an explicit way of writing convolution, so everything is consistent.


I don't know a book that explains how to get from the classical to the adelic point of view in a nice low-level way, but I am sure there will be some out there by now. Oh---maybe Bump?


