Strong approximation for Zariski dense subgroups over arbitrary global fields (Q1596288)

Let \(G\) be a connected semisimple linear algebraic group over a global field \(F\), and let \(\Gamma\) be a finitely generated Zariski dense subgroup of \(G(F)\). For a finite set \(S\) of places of \(F\), let \(\mathbb{A}_F^S\) denote the ring of adeles of \(F\) outside \(S\). The author investigates the closure of \(\Gamma\) in \(G(\mathbb{A}_F^S)\) and is interested in sufficient conditions for such a closure to be open, in which case one speaks of strong approximation. An essentially optimal result is proved under the assumption that \(\Gamma\) is not discrete in that ambient group. There are no restrictions on the characteristic of \(F\) and the type of \(G\). Simultaneous approximation in finitely many algebraic groups is also studied.