Group localization and two problems of Levine

From MaRDI portal



Abstract: A. K. Bousfield's HmathbbZ-localization of groups inverts homologically two-connected homomorphisms of groups. J. P. Levine's algebraic closure of groups inverts homomorphisms between finitely generated and finitely presented groups which are homologically two-connected and for which the image normally generates. We resolve an old problem concerning Bousfield HmathbbZ-localization of groups, and answer two questions of Levine regarding algebraic closure of groups. In particular, we show that the kernel of the natural homomorphism from a group G to it's Bousfield HmathbbZ-localization is not always a G-perfect subgroup. In the case of algebraic closure of groups, we prove the analogous result that this kernel is not always an invisible subgroup.


This paper considers two forms of localization of groups, one due to Bousfield is the \(H{\mathbb Z}\)-localization [\textit{A. K. Bousfield}, Topology 14, 133--150 (1975; Zbl 0309.55013)] the other due to \textit{J. P. Levine} [Contemp. Math. 109, 99--105 (1990; Zbl 0755.20007)] is an algebraic closure that describes how the Vogel localization of a space affects the fundamental group of the space. Letting \(E(G)\) denote either of these two localizations one can ask what is the kernel of \((G \rightarrow E(G))\). This paper shows that in the case of the Bousfield localization this kernel need not be a relatively perfect subgroup, and in the Levine case it need not be the union of the relatively perfect subgroups. The paper gives explicit constructions for each case. One such example can be constructed starting with the binary icosahedral group.











This page was built for publication: Group localization and two problems of Levine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2349899)