How does the strong approximation theorem for global function fields looks like?
For the number field $\mathbb{Q}$ it can be expressed as the surjection
$ \mathbb{Q}^\times \times \mathbb{R}^\times \times \prod\limits_{p} \mathbb{Z}_p \twoheadrightarrow \mathbb{A}^\times.$
I want to understand the image of the adelic norm.