Let $G$ be a linear algebraic group over a number field $k$. If necessary, assume $G$ is connected and reductive. Let $\mathbb A$ be the ring of adeles of $k$, and $\mathbb A_S = \prod\limits_{v \in S} k_v \prod\limits_{v \not\in S} \mathcal O_v$ for any (large) finite set of places $S$ containing the archimedean ones. Is it the case that

$$G(\mathbb A_S) G(k) = G(\mathbb A)$$

for sufficiently large $S$? This is claimed in Moeglin and Waldspurger's book on Spectral Decomposition and Eisenstein Series, in the proof that $Z(\mathbb A)G(k)$ is closed in $G(\mathbb A)$ when $G$ is connected reductive.

This is easy to see in the case $G = \operatorname{GL}_1$. We have a copy of $H = (0,\infty)$ in $G(\mathbb A) = \mathbb A^{\ast}$ by sending $\rho$ to $(\rho^{1/n}, ... , \rho^{1/n}, 1, 1, ...)$ in $\prod\limits_{v \mid \infty} k_v$, where $n = [k : \mathbb Q]$. The quotient $\mathbb A^{\ast}/H k^{\ast}$ is compact, and is covered by the images of the open sets $\mathbb A_S^{\ast}$.