Permutation groups with small orbit growth

Research output: Contribution to journalResearch articleContributedpeer-review

Abstract

Let Kexp+ be the class of all structures A such that the automorphism group of A has at most cnd orbits in its componentwise action on the set of n-tuples with pairwise distinct entries, for some constants c,d{c,d} with d<1. We show that Kexp+ is precisely the class of finite covers of first-order reducts of unary structures, and also that Kexp+ is precisely the class of first-order reducts of finite covers of unary structures. It follows that the class of first-order reducts of finite covers of unary structures is closed under taking model companions and model-complete cores, which is an important property when studying the constraint satisfaction problem for structures from Kexp+. We also show that Thomas' conjecture holds for Kexp+: All structures in Kexp+ have finitely many first-order reducts up to first-order interdefinability.

Details

Original languageEnglish
Pages (from-to)643-709
Number of pages67
JournalJournal of Group Theory
Volume24
Issue number4
Publication statusPublished - 20 Jan 2021
Peer-reviewedYes

External IDs

ORCID /0000-0001-8228-3611/work/142241063

Keywords

ASJC Scopus subject areas

Library keywords