Finite covers with finite kernels (Q1377640): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q56269725, #quickstatements; #temporary_batch_1706366595684 |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: H. D. Macpherson / rank | |||
Property / reviewed by | |||
Property / reviewed by: H. D. Macpherson / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant subgroups of \(^ V V\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: What's so special about \((\mathbb{Z}/4\mathbb{Z})^ \omega\)? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On one-based theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Splitting of Finite Covers of ℵ<sub>0</sub> -Categorical Structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the automorphism groups of finite covers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3027108 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5557005 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4003410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4309354 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomology of Structures and Some Problems of Ahlbrandt and Ziegler / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Endliche Gruppen I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4309359 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:29, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite covers with finite kernels |
scientific article |
Statements
Finite covers with finite kernels (English)
0 references
30 June 1998
0 references
The author considers certain infinite imprimitive automorphism groups, motivated by model-theoretic questions on classes of \(\aleph_0\)-categorical structures. The basic notion is that of a permutation structure, that is a set \(X\) together with a closed subgroup of \(\text{Sym}(X)\) (denoted \(\text{Aut}(X)\)). If \(C\), \(W\) are permutation structures, then a finite cover is a surjection \(\pi:C\rightarrow W\) such that the \(\{\pi^{-1}(w)\}\) (where \(w \in W\)) are finite and form an \(\text{Aut}(C)\)-invariant partition of \(C\), and the induced map \(\rho: \text{Aut}(C) \rightarrow \text{Aut}(W)\) given by \(\rho g(w)=\pi(g\pi^{-1}(w))\) has image \(\text{Aut}(W)\). The kernel of the cover is \(\text{ker}(\mu)\). The emphasis is on the case when \(W\) is \(\aleph_0\)-categorical (so \(\text{Aut}(W)\) has finitely many orbits on \(k\)-sets for all finite \(k\)) and \(\text{ker}(\mu)\) is finite. The author examines possible kernels, and possible covers with given kernel, under certain hypotheses. In particular, he conjectures that under natural hypotheses (on \(W\) and the class of covers), for a given permutation structure \(W\) there is a natural number \(r\) such that the kernel of any finite cover is at most \(r\)-generated. This has since been verified, by the author [J. Algebra 193, 214-238 (1997; Zbl 0884.03041)] and also by J. Koshan and by E. Hrushovski. The author introduces natural conditions -- untwisted, locally trivial, locally transitive (sometimes relativised to an orbit) -- and gives reduction lemmas to these situations. He develops a theory of finite coverings of digraphs, and uses this, under certain hypotheses, to define a universal covering of a structure, and also to define an analogue of the first homology group, which has all sufficiently nice kernels as quotients. This theory works well if there is a strong type, a privileged 1-type which exists in many \(\omega\)-categorical structures. In the final section, the author gives a reduction to the locally transitive situation. (The natural example is an \(\aleph_0\)-dimensional vector space over a finite field, covering projective space.) Assuming the existence of a strong type, sufficiently nice finite covers are parametrised.
0 references
finite cover
0 references
aleph-zero categorical structures
0 references
automorphism groups
0 references
coverings of digraphs
0 references
permutation structure
0 references
untwisted
0 references
locally trivial
0 references
locally transitive
0 references
analogue of the first homology group
0 references
kernels
0 references