Наименьшее поле определения подгруппы группы $\operatorname{PSL}_2$

Как доказал ранее автор, для всякой плотной в топологии Зарисского подгруппы связной полупростой алгебраической группы присоединенного типа существует наименьшее поле определения, являющееся инвариантом класса соизмеримых подгрупп. В данной работе дается алгоритм для нахождения наименьшего поля определения плотной конечнопорожденной подгруппы группы $\operatorname{PSL}_2(\mathbb C)$. В терминах этого поля приводится критерий арифметичности решетки в $\operatorname{PSL}_2(\mathbb R)$ или $\operatorname{PSL}_2(\mathbb C)$.
Библиография: 7 названий.