Atomic property of the fundamental groups of the Hawaiian earring and wild locally path-connected spaces (Q719079)

From MaRDI portal
Revision as of 11:19, 4 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Atomic property of the fundamental groups of the Hawaiian earring and wild locally path-connected spaces
scientific article

    Statements

    Atomic property of the fundamental groups of the Hawaiian earring and wild locally path-connected spaces (English)
    0 references
    0 references
    27 September 2011
    0 references
    The paper is a continuation of Eda's work on algebraic properties of the fundamental groups of wild spaces as published in a number of preceding papers. Such groups are a challenging object to study. Even the fact that the fundamental group of the Hawaiian earring is not free requires a surprisingly long argument. In his previous work Eda has studied quasi-atomic groups and proved that many interesting fundamental groups (including the fundamental group of the Hawaiian earring) have this property. A group \(G\) is quasi-atomic if for every homomorphism \(h: G \to A*B\) the image \(h(G)\) is contained in the free product of a finitely generated subgroup and one of the two factor spaces. The current paper introduces a somehow flexible notion of the atomic property. The author proves that free \(\sigma\)-products of groups have a version of the atomic property, i.e., every homomorphic image of a free \(\sigma\)-product of groups in a free product \(*_i A_i\) is ``essentially'' contained in a conjugate subgroup to some \(A_i\). The free \(\sigma\)-product of groups is a certain group encoding an infinite multiplication and which contains the free product. The fundamental group of the Hawaiian earring is a free \(\sigma\)-product of a countable collection of integer groups. Furthermore, the author proves that the fundamental groups of certain wild spaces have another version of the atomic property: if \(X\) is a sufficiently wild Peano continuum then for every injective homomorphism \(h: \pi_1(X)\to *_j H_j\) the image \(h(\pi_1(X))\) is contained in a conjugate subgroup to some \(H_j\).
    0 references
    wild space
    0 references
    fundamental group
    0 references
    Hawaiian earring
    0 references
    Peano continuum
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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