Cotorsion and wild homology
type: Item
instance of: scholarly article
title: Cotorsion and wild homology
zbMATH Open document ID: 1421.55012
author: Wolfram Hojka
author: Wolfgang Herfort
published in: Israel Journal of Mathematics
publication date: 2017-11-17T00:00:00Z
review text: An abelian group \(G\) is called cotorsion if it is a direct summand in every extension by a torsion-free group, a group \(G\) is called algebraically compact if it is a direct summand of every extension where it embeds as a pure subgroup. There is an equivalence of the notion of algebraically compact with the property of solving equations, namely \(G\) is algebraically compact if every system of equations \(x_{i}=w_{i}(f_{i},x_{i+1})\) is solvable for any sequence \(f_{1},f_{2},\ldots\) in \(G\). This last characterization generalizes to nonabelian groups: a group \(G\) is called Higman-complete if such a system of equations is solvable in \(G\). In the present paper, the authors relate these notions to a special class of topological spaces with these kinds of fundamental groups. One of the main theorems is as follows: {Theorem 4.} Let \(X\) be a space such that every sequence of elements \(g_{i}\) in the fundamental group \(G=\pi_{1}(X,x)\) has representatives \(\gamma_{i}\) of \(g_{i}\) that converge pointwise to the trivial path at \(x\). Then \(G\) is Higman-complete. As a corollary of this result, the authors describe the first homology of such spaces. A space is called an archipelago if it is homotopy equivalent to a mapping cone of a weak wedge of circles to itself. As applications of their methods, the authors prove the following: {Theorem 8.} The abelianization of any archipelago group \(G=\circledast_{i\geq 1}G_{i}/\ast_{i\geq 1}G_{i}\) is isomorphic to \(\prod_{i\geq 1}\mathbb{Z}/\bigoplus_{i\geq 1}\mathbb{Z}\) for arbitrary nontrivial groups \(G_{1},G_{2},\ldots \) of cardinality at most the continuum.
Mathematics Subject Classification ID: 55Q20
Mathematics Subject Classification ID: 20J06
Mathematics Subject Classification ID: 57M30
Mathematics Subject Classification ID: 20K20
Mathematics Subject Classification ID: 20E06
Mathematics Subject Classification ID: 20F38
zbMATH DE Number: 6808572
zbMATH Keywords: cotorsion
zbMATH Keywords: Higman-complete
zbMATH Keywords: archipelago space
reviewed by: Daniel Juan Pineda
MaRDI profile type: Publication
full work available at URL: s11856-017-1566-z
OpenAlex ID: W2760654602
cites work: The word problem for some uncountable groups given by countable words
cites work: On the fundamental groups of one-dimensional spaces
cites work: Free subgroups of free complete products
cites work: Singular homology of one-dimensional spaces
cites work: Archipelago groups
cites work: THE FIRST INTEGRAL SINGUAR HOMOLOGY GROUPS OF ONE POINT UNIONS
cites work: Free \(\sigma\)-products and noncommutatively slender groups
cites work: Homotopy types of one-dimensional Peano continua
cites work: Cotorsion-free groups from a topological viewpoint
cites work: Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday
cites work: THE FUNDAMENTAL GROUP OF TWO SPACES WITH A COMMON POINT
cites work: Unrestricted Free Products, and Varieties of Topological Groups
cites work: The harmonic archipelago as a universal locally free group.
cites work: On the homology of the harmonic archipelago
cites work: Groups of dimension 1 are locally free
cites work: Small loop spaces
DOI: 10.1007/S11856-017-1566-Z
description: scientific article; zbMATH DE number 6808572