Конгруэнц-проблема

всякая ли подгруппа конечного индекса группы G О, где О- кольцо целых элементов поля алгебраич. чисел k,a G- связная линейная алгебраическая k-определенная группа, является конгруэнц-подгруппой?Это - классическая постановка К.-п. Современный вариант К.-п. основывается на понятии конгруэнц-ядра, выражающего меру отклонения от ее положительного решения. А именно, пусть [img: http://localhost:8080/file/021232-48.jpg] и GO- пополнения группы О- точек GO в топологии, определяемой соответственно всеми подгруппами конечного индекса и конгруэнц-подгруппами группы GO. Тогда существует сюръективный и непрерывный гомоморфизм p: [img: http://localhost:8080/file/021232-49.jpg] Ядро Кеr p наз. конгруэнц-ядром и обозначается через c(G). Положительное решение К.-п. в классической постановке эквивалентно c(G)=l. К.-п. в современной форме заключается в вычислении конгруэнц-ядра с (G). Для G0=SL(p,Z), где Z - кольцо целых чисел, еще в конце 19 в. было известно, что при n=2 К.-п. решается отрицательно. В 1965 было показано, что при п>2 всякая подгруппа конечного индекса группы SL(n, X)является конгруэнц-подгруппой (см. [1]). Вслед за этим было получено [1] решение К.-п. для G0=SL(n, О), п>2, или Sp(2n, О), n>1, где Sp обозначает симплектическую группу. Для этих групп результат таков: [img: http://localhost:8080/file/021232-50.jpg] только для вполне мнимого поля к, для к-рого конгруэнц-ядро c(G)изоморфно циклической группе корней из единицы, содержащихся в к. Оказывается, точно такой же результат справедлив для всех односвязных групп Шевалле, кроме SL(2) (см. [3]). Условие односвязности является существенным, ибо из теоремы о сильной аппроксимации следует, что для неодносвязной полупростой группы Gконгрузнц-ядро c(G)бесконечно. Для неполупростой группы Gвсегда c(G) = c(S), где S- максимальная полупростая подгруппа в G; в частности, для разрешимой G всегда c(G)=l. Более общая форма К.-п. получается заменой кольца Она кольцо [img: http://localhost:8080/file/021232-51.jpg] где V- произвольное конечное множество неэквивалентных нормирований поля к, содержащее все архимедовы нормирования. В этой ситуации конгруэнц-ядро, обозначаемое c(G, V), существенно зависит от V(см. [4], [5]).