Куликов П. А.
Некоторые конструкции на классе групп вычислимых автоморфизмов
Показано, что вычислимый обратный предел вычислимого семейства вычислимых групп, вычислимое сплетение группы вычислимых автоморфизмов и вычислимой группы, а также коммутант и центр всякой вычислимой группы реализуются как группы вычислимых автоморфизмов подходящих вычислимых моделей.
|
Kulikov P. A.
Some constructions on the class of groups of computable automorphisms
We show that the computable inverse limit of a computable family of computable groups, the computable wreath product of a group of computable automorphisms and a computable group, as well as the commutant and center of every computable group can be realized as groups of computable automorphisms of suitable computable models.
|