## Finite Covers With Finite Kernels (1995)

Venue: | Ann. Pure Appl. Logic |

Citations: | 4 - 4 self |

### BibTeX

@ARTICLE{Evans95finitecovers,

author = {David M. Evans},

title = {Finite Covers With Finite Kernels},

journal = {Ann. Pure Appl. Logic},

year = {1995}

}

### OpenURL

### Abstract

We are concerned with the following problem. Suppose \Gamma and \Sigma are closed permutation groups on infinite sets C and W and ae : \Gamma \Gamma! \Sigma is a non-split, continuous epimorphism with finite kernel. Describe (for fixed \Sigma) the possibilities for ae. Here, we consider the case where ae arises from a finite cover ß : C \Gamma! W . We give reasonably general conditions on the permutation structure hW ; \Sigmai which allow us to prove that these covers arise in two possible ways. The first way, reminiscent of covers of topological spaces, is as a covering of some \Sigma-invariant digraph on W . The second construction is less easy to describe, but produces the most familiar of these types of covers: a vector space covering its projective space. AMS classification: 03C35 and 20B27. 0 Introduction Various natural model-theoretic questions can be cast into the following form: Given a structure, what additional structure can be put on one part of it without affecting the s...

### Citations

540 | A Shorter Model Theory
- Hodges
- 2000
(Show Context)
Citation Context ... which is isomorphic to W , and w 2 V n W such that (i) tp(w=X) = p j X for all finite X ` W ; (ii) Aut(V=w) j WsH. Proof of lemma. Let C be a strongly ! 1 -homogeneous elementary extension of W (see =-=[8]-=-, Exercise 10.1.4 for this). Then C is also ! 1 -saturated, and so there exists w 2 C satisfying (i). We now show that any automorphism of W extends to an automorphism of C which fixes w. First, note ... |

268 |
Endliche Gruppen
- HUPPERT
- 1967
(Show Context)
Citation Context ... point of view, it is not too fanciful to compare this problem with the determination of the Schur multiplier of a group (although as this is usually defined in terms of generators and relations (see =-=[11]-=-), one cannot import this terminology with any degree of accuracy). Indeed, our results can be used to prove statements which are phrased solely in group-theoretic terminology: for example (Theorem 2.... |

73 |
Algebraic topology
- Greenberg, Harper
(Show Context)
Citation Context ...ble finite cover of L with kernel isomorphic to D=H. Proof. Once we have Corollary 1.14, the proof is really just a copy of the standard result of algebraic topology mentioned above (see, for example =-=[7]-=- p.50). However, as there is no obvious reference for the precise statement we need, we include the argument here. Recall that U is the set of homotopy classes of paths in (L; R) which start at x 0 . ... |

11 |
Cohomology of Structures and some problems of Ahlbrandt and
- Hodges, Pillay
- 1994
(Show Context)
Citation Context ...tain amount of attention recently, largely as a result of work on totally categorical structures, is the problem of determining the finite covers of a given first-order structure W (see, for example, =-=[1, 2, 4, 5, 9, 10, 12, 13]-=-). Loosely speaking, a finite cover C of W is obtained in two steps. First, one replaces each element of W by a copy of some finite structure, to obtain a free cover C 0 . So W can be identified with ... |

5 |
Invariant subspaces of V
- Ahlbrandt, Ziegler
- 1992
(Show Context)
Citation Context ...tain amount of attention recently, largely as a result of work on totally categorical structures, is the problem of determining the finite covers of a given first-order structure W (see, for example, =-=[1, 2, 4, 5, 9, 10, 12, 13]-=-). Loosely speaking, a finite cover C of W is obtained in two steps. First, one replaces each element of W by a copy of some finite structure, to obtain a free cover C 0 . So W can be identified with ... |

5 |
On one-based theories
- Bouscaren, Hrushovski
- 1994
(Show Context)
Citation Context ...educible superlinked finite covers of W with kernel K and fully non-degenerate conjugate families of homomorphisms for (W; R; K). Remark The method of producing finite covers on page 589 of the paper =-=[3]-=- by E. Bouscaren and E. Hrushovski provides an alternative (and simpler) approach to the construction of the covers in the above theorem (that is, it is an alternative approach to Theorem 3.5). It is ... |

5 |
Some combinatorial aspects of the cover problem for totally categorical theories
- IVANOV
- 1994
(Show Context)
Citation Context ...tain amount of attention recently, largely as a result of work on totally categorical structures, is the problem of determining the finite covers of a given first-order structure W (see, for example, =-=[1, 2, 4, 5, 9, 10, 12, 13]-=-). Loosely speaking, a finite cover C of W is obtained in two steps. First, one replaces each element of W by a copy of some finite structure, to obtain a free cover C 0 . So W can be identified with ... |

4 |
Splittings of finite covers of @ 0 -categorical structures
- Evans
- 1993
(Show Context)
Citation Context |

3 |
The structure of totally categorical structures', In: Automorphisms of First-Order Structures
- Hodges
- 1994
(Show Context)
Citation Context |

3 |
Finite covers and cohomology
- Ivanov
- 1993
(Show Context)
Citation Context |

2 |
What's so special about (Z=4Z
- Ahlbrandt, Ziegler
- 1991
(Show Context)
Citation Context |

2 |
and Ehud Hrushovski, `On the automorphism groups of finite covers
- Evans
- 1993
(Show Context)
Citation Context ...mmas on finite covers, and then review the material we need from [4] on coverings of digraphs. 1.1 Finite covers The first part of the following lemma (which, for countable C, is essentially (1.2) of =-=[5]-=-) shows that the condition in (1ii) of Definition 0.3 that ae has image Aut(W ) can be weakened to the image of ae being dense in Aut(W ). Lemma 1.1 (i) Suppose C is a countable permutation structure ... |