Homological and topological properties of locally indicable groups (Q789518): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q917707
Property / reviewed by
 
Property / reviewed by: Robert Bieri / rank
Normal rank
 

Revision as of 09:00, 21 February 2024

scientific article
Language Label Description Also known as
English
Homological and topological properties of locally indicable groups
scientific article

    Statements

    Homological and topological properties of locally indicable groups (English)
    0 references
    0 references
    0 references
    1983
    0 references
    This is an important paper: The authors show that three classes of groups, which have each been introduced in different contexts and for different reasons, actually coincide. This simplifies the existing theory and sheds new light on work of Adams on the Whitehead problem concerning asphericity in 2-complexes. The three classes of groups are the locally indicable groups, introduced by \textit{G. Higman} in connection with the zero divisor and unit problem in group rings [Proc. Lond. Math. Soc., II. Ser. 46, 231-248 (1940; Zbl 0025.24302)], the conservative groups, introduced by \textit{J. F. Adams} in connection with the Whitehead problem [J. Lond. Math. Soc. 30, 482-488 (1955; Zbl 0064.415)], and the Ḏ-groups introduced by \textit{R. Strebel} in connection with homological methods applied to the derived series of groups [Comment. Math. Helv. 49, 302-332 (1974; Zbl 0288.20066)]. Let \(R={\mathbb{Z}}\) or \({\mathbb{F}}_ p\). A group G is said to be locally R-indicable if every non-trivial finitely generated subgroup H admits an epimorphism \(H\twoheadrightarrow R\). G is conservative over R if \(H_ 2(K;R)=0\) for every 2-complex K acted on by G with \(H_ 2(K/G;R)=0.\) And G is a Ḏ(R)-group if \(R\otimes_{RG}\phi\) is non- injective whenever \(\phi:P\to Q\) is a non-injective homomorphism between projective RG-modules. (\(R\otimes_{RG}-\) detects injectivity). The main result, then, asserts that to be local R-indicable, to be conservative over R, and to be a Ḏ(R)-group are equivalent properties. There are also more subtle results comparing the three properties for different rings R. Applications. 1) For any group G let \(r(G)\triangleleft G\) denote the smallest normal subgroup M with G/M locally indicable. If X is a 2- complex, \(G=\pi_ 1(X),\) and \(N\triangleleft G\) a normal subgroup whose covering complex \(\tilde X\) satisfies \(H_ 2(\tilde X;{\mathbb{F}}_ p)=0\) for all p, then G/r(N) is of cohomology dimension \(\leq 2\). This applies, e.g., in the situation when X is a subcomplex of a 2-complex Y and \(N=\ker(\pi_ 1(X)\to \pi_ 2(Y)).\) And it yields substantial restriction on the centre of G. 2) A G-module M is said to be perfect if \({\mathbb{Z}}\otimes_{{\mathbb{Z}}G}M=0.\) If G is a Ḏ(R)-group then, clearly, G cannot have any non-trivial projective perfect \({\mathbb{Z}}G\)-module. Using this remark and the results above the authors show: If G has a transfinite descending subnormal series \(\{G_{\alpha}\}\) with \(\cap G_{\alpha}=1\) and each \(G_{\alpha}/G_{\alpha +1} R_{\alpha}\)- indicable for some \(R_{\alpha}\). Then G admits no non-trivial projective perfect G-module. Corollary: Let C be a connected n-complex with fundamental group \(\pi_ 1(X)\) of cohomology dimension \(\leq n\) and \(\pi_ i(X)=0\), \(2\leq i<n\). If the Hurewicz map \(\pi_ n (X) \to H_ n (X)\) is trivial and \(G\) has a subnormal series as above then \(X\) is aspherical.
    0 references
    Whitehead problem
    0 references
    asphericity in 2-complexes
    0 references
    locally indicable groups
    0 references
    zero divisor and unit problem in group rings
    0 references
    conservative groups
    0 references
    Ḏ-groups
    0 references
    derived series
    0 references
    finitely generated subgroup
    0 references
    projective RG-modules
    0 references
    covering complex
    0 references
    cohomology dimension
    0 references
    projective perfect \({\mathbb{Z}}G\)-module
    0 references
    descending subnormal series
    0 references
    fundamental group
    0 references
    Hurewicz map
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references