Free subgroups with torsion quotients and profinite subgroups with torus quotients (Q2039353)

From MaRDI portal





scientific article; zbMATH DE number 7367416
Language Label Description Also known as
English
Free subgroups with torsion quotients and profinite subgroups with torus quotients
scientific article; zbMATH DE number 7367416

    Statements

    Free subgroups with torsion quotients and profinite subgroups with torus quotients (English)
    0 references
    0 references
    0 references
    0 references
    2 July 2021
    0 references
    All groups are abelian. The authors study the full free subgroups \(F\) of a torsion free abelian group of finite rank \(A\) i.e., the free subgroups of \(A\) with torsion quotient. Let \(\mathfrak{F}(A)\) denote the set of all full free subgroups of \(A\). It is obtained numerous properties of groups which belong to the class \(\mathfrak{F}(A)\). A protorus is a compact, connected, finite dimensional topological group. If \(G\) is a protorus then compact totally disconnected subgroups \(\Delta\) of \(G\) such that \(G/\Delta\) is a torus is called \(\delta\)-subgroup. \(\delta\)-subgroups are essential ingredients in the important Resolution Theorem a description of compact groups. The authors receive the characterization \(\delta\)-subgroups from the properties of full free subgroups with the help of Pontryagin's duality. The authors introduce a new topology on a torsion free abelian group \(A\) by the set \(\mathfrak{F}(A)\) (the free or \(\mathfrak{F}\)-topology of \(A\)). It is received some results about completion in this topology. The authors introduce by \(\delta\)-subgroups the new topology on a protorus (\(\mathcal{D}\)-topology) and they explore it.
    0 references
    torsion-free abelian group
    0 references
    finite rank
    0 references
    full free subgroup
    0 references
    Pontryagin duality
    0 references
    compact abelian group
    0 references
    totally disconnected
    0 references
    profinite
    0 references
    torus quotient
    0 references
    resolution theorem
    0 references

    Identifiers

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