Computation of first cohomology groups of finite covers
type: Item
instance of: scholarly article
title: Computation of first cohomology groups of finite covers
zbMATH Open document ID: 0884.03041
author: David M. Evans
published in: Journal of Algebra
publication date: 1998-03-17T00:00:00Z
review text: The paper contains important structural results on finite covers of permutation structures (in the context of infinite permutation groups). These arise naturally in model theory, for example in the analysis of totally categorical (or, much more generally, smoothly approximable) structures. The problem is, given a large base structure \(W\), to determine all finite covers of \(W\) (finite means that the fibres are finite.) The proofs are cohomological, typically using Shapiro's Lemma. Theorem 1.5 (also proved by Hrushovski) states that if \(W\) is an oligomorphic \(G\)-finite permutation structure, then there is a (computable) bound \(r\) such that if \(\pi:C \rightarrow W\) is a minimal finite cover with finite kernel \(K\), then \(K\) has a generating set of size at most \(r\) (minimal here means that no proper expansion of \(C\) induces the same structure on \(W\).) In Corollary 5.4, using Sylow theory for profinite groups, it is shown that for a permutation structure \(W\) on which \(\Aut(W)\) has finitely many orbits, the kernel of any minimal finite cover is nilpotent. Then in Theorem 6.1, sufficient conditions are given for a minimal finite cover of \(W\) to have finite kernel. Finally, in Section 7, the author treats generalisations of Ziegler's Finiteness Conjecture. He shows that, under a certain combinatorial hypothesis on \(W\), each cover of \(W\) is determined up to finitely many possibilities by its kernel. The number of such covers is bounded in terms of the order of a certain cohomology group, which is shown to be finite (but the method does not give explicit bounds).
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 20J05
Mathematics Subject Classification ID: 20A15
Mathematics Subject Classification ID: 20B07
Mathematics Subject Classification ID: 03C35
zbMATH DE Number: 1051519
zbMATH Keywords: finite covers of permutation structures
zbMATH Keywords: \(\aleph_ 0\)-categoricity
zbMATH Keywords: cohomology group
reviewed by: H. D. Macpherson
MaRDI profile type: Publication
full work available at URL: jabr.1996.6987
OpenAlex ID: W1983655535
cites work: Quasi finitely axiomatizable totally categorical theories
cites work: What's so special about \((\mathbb{Z}/4\mathbb{Z})^ \omega\)?
cites work: Invariant subgroups of \(^ V V\)
cites work: The Rationals have an AZ-Enumeration
cites work: Q3708977
cites work: Maximal Frattini extensions
cites work: Splitting of Finite Covers of ℵ0 -Categorical Structures
cites work: Finite covers with finite kernels
cites work: On the automorphism groups of finite covers
cites work: Q3027108
cites work: Cohomology of Structures and Some Problems of Ahlbrandt and Ziegler
cites work: Totally Categorical Structures
cites work: Q4305611
cites work: Structure Results for Transitive, Untwisted, Superlinked Finite Covers
DOI: 10.1006/JABR.1996.6987
description: scientific article; zbMATH DE number 1051519