Restricted product topology on the idele group
= Restricted product topology on the idele group
The idele topology is the restricted product topology with respect to $\mathcal O_v^\times$. It is also the subspace topology induced by $x\mapsto(x,x^{-1})$ from $\mathbb A_K\times\mathbb A_K$.