Структура конгруэнц-ядра для $\operatorname{SL}_2$ в случае глобального поля положительной характеристики

В работе дается следующее описание конгруэнц-ядра $C(\operatorname{SL}_2,\mathcal O)$, где $\mathcal O$ – координатное кольцо афинной кривой, полученной удалением точки и проектной кривой над конечным полем $k_0$.
Теорема. {\it $C(\operatorname{SL}_2,\mathcal O)=(*_{x\in X}H_x)*P$ – свободное проконечное произведение групп $H_x$, изоморфных прямому произведению $\prod \mathbb Z/p\mathbb Z$ континуума групп порядка $p=\operatorname{char}(k_0)$, над сепарабельным пространством $X$ и сепарабельной проективной группы $P$, каждая открытая подгруппа которой свободна. }
В доказательстве используется некоторый общий результат о нормальных делителях свободных проконечных произведений.
Библиография: 13 названий.