On minimal relation modules and 1-cohomology of finite groups (Q802006): Difference between revisions

The study of presentations of finite groups is very difficult; hence the first approximation is the abelianized problem: i.e. if R is the normal subgroup generated by the relations in a minimal free resolution of the finite group G, then one studies \(\bar R=R^{ab}\) as a \({\mathbb{Z}}G\)-lattice, \(\bar R\) is called a minimal relation module. A prime question is when minimal relation modules are unique; and this is the question the paper deals with. The question of uniqueness of minimal relation modules is closely related to the question of where \(\bar R\) is a generator. So let \({\mathcal C}\) be the class of finite groups for which \(\bar R\) is a generator - for at least one \(\bar R\) (and hence for all). The results of this paper: I) A finite non abelian simple group lies in \({\mathcal C}\), and hence minimal relation modules are unique. II) Let \(G\) be finite non-cyclic. Then \(G\) is in \({\mathcal C}\) if and only if for every split abelian chief factor \(A\) of \(G\) \(d(A\supset G)=d(G)\). (\(d\) the minimal number of generators.) The authors also draw consequences for the presentation rank of \(G\).