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.