Алгоритмические вопросы для линейных алгебраических групп. I

Пусть $G$ – линейная алгебраическая группа, определенная над полем рациональных чисел и удовлетворяющая некоторым ограничениям, $G(\mathbf R)$ – группа ее вещественных точек, $G(\mathbf Z,m)$ – конгруэнц-подгруппа в группе ее целых точек. В работе доказано, что можно построить в $G(\mathbf R)$ с помощью рекурсивной процедуры фундаментальное относительно $G(\mathbf Z,m)$ множество. Этот результат применяется во второй части работы.
Библиография: 18 названий.