Congruence hulls in \(SL_ n\) (Q689268)

Ist \(D\) ein Dedekindscher Ring, so existiert für eine große Klasse von Untergruppen \(S\) von \(SL_ n(D)\) eine (eindeutig bestimmte) kleinste Kongruenzuntergruppe von \(SL_ n(D)\), welche \(S\) enthält, die Kongruenzhülle \(C(S)\) von \(S\). Diese Klasse enthält alle Untergruppen von endlichem Index und alle nicht-zentralen Normalteiler. Sei \(A\) ein Dedekindscher Ring von arithmetischem Typ, und sei \(A^*\) die Einheitengruppe. Es ist wohlbekannt, daß für \(n \geq 3\) oder \(A^*\) unendlich jede Untergruppe \(S\) von \(SL_ n(A)\), die einen nicht- zentralen Normalteiler enthält, eine Kongruenzhülle besitzt. Ist \(n = 2\), \(A^*\) endlich und \(G\) eine endlich erzeugte Gruppe, so gibt es eine Untergruppe \(S\) von \(SL_ 2(A)\), so daß \(C(S)\) definiert ist und \(S \triangleleft C(S)\), \(C(S)/S \cong G\) gilt.