Details

Autor(en) / Beteiligte

• GREENBERG, NOAM
• MELNIKOV, ALEXANDER
• NIES, ANDRE
• TURETSKY, DANIEL

Titel

Effectively closed subgroups of the infinite symmetric group

Ist Teil von

• Proceedings of the American Mathematical Society, 2018-12, Vol.146 (12), p.5421-5435

Ort / Verlag

American Mathematical Society

Erscheinungsjahr

2018

Quelle

EZB Electronic Journals Library

Beschreibungen/Notizen

• We apply methods of computable structure theory to study effectively closed subgroups of S_\infty . The main result of the paper says that there exists an effectively closed presentation of \mathbb{Z}_2 which is not the automorphism group of any computable structure M. In contrast, we show that every effectively closed discrete group is topologically isomorphic to \rm {Aut}(M) for some computable structure M. We also prove that there exists an effectively closed compact (thus, profinite) subgroup of S_\infty that has no computable Polish presentation. In contrast, every profinite computable Polish group is topologically isomorphic to an effectively closed subgroup of S_\infty . We also look at oligomorphic subgroups of S_\infty ; we construct a \Sigma ^1_1 closed oligomorphic group in which the orbit equivalence relation is not uniformly HYP. Our proofs rely on methods of computable analysis, techniques of computable structure theory, elements of higher recursion theory, and the priority method.