Когомологии Галуа и некоторые вопросы теории алгоритмов

Пусть $G$ – произвольная линейная алгебраическая группа, определенная над полем алгебраических чисел $K$, $R$ – ее разрешимый радикал, $S=G/R$, $\widetilde S$ – односвязная накрывающая группы $S$. Основной результат работы утверждает, что алгоритмически проверяется когомологичность любых двух 1-коциклов Галуа из $Z_1(K,G)$, если для $\widetilde S$ выполнен “принцип Хассе”.
Библиография: 13 названий.