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

Доказано, что для линейной алгебраической группы, определенной над полем алгебраических чисел и удовлетворяющей некоторым ограничениям, существует алгоритм, который проверяет, совпадают ли в ее группе аделей два двойных смежных класса специального вида, и перечисляет все такие классы. Этот результат прилагается к проблеме изоморфизма для конечно-порожденных нильпотентных групп, а также к другим задачам.
Библиография: 18 названий.