Adelic profinite groups (Q1364320)

A profinite group is called adelic if it is a subgroup of \(\prod_p\text{SL}_n(\mathbb{Z}_p)\). Two results on adelic groups are proved in the paper. The first result is that a finitely generated adelic pro-\(\pi\) group, where \(\pi\) is a finite set of primes, has bounded generation. This result is applied to prove the following conjecture of A. Lubotzky. Conjecture. If the profinite completion \(\widehat\Gamma\) of an \(S\)-arithmetic group \(\Gamma\) is adelic, then \(\Gamma\) satisfies the congruence subgroup property, i.e., the \(S\)-congruence kernel is finite.