A quantitative generalization of Prodanov-Stoyanov theorem on minimal abelian topological groups

DOI10.1016/J.TOPOL.2019.106983MaRDI QIDQ2292999zbMATH OpenOpenAlexWikidataFDO

Authors Taras Banakh

Publication date 6 February 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1706.05411

zbMATH Keywords

abelian topological groupminimal topological grouppartopological grouptopological group of compact exponenttopological semigroup

Mathematics Subject Classification ID

Structure of general topological groups (22A05) Structure of topological semigroups (22A15) Compactness (54D30) Uniform structures and generalizations (54E15)

Abstract: A topological group $X$ is defined to have $compact$ $exponent$ if for some number $ninmathbbN$ the set $x^n:xinX$ has compact closure in $X$. Any such number $n$ will be called a compact exponent of $X$. Our principal result states that a complete Abelian topological group $X$ has compact exponent (equal to $ninmathbbN$) if and only if for any injective continuous homomorphism $f:XoY$ to a topological group $Y$ and every $$ there exists a positive number $k$ (equal to $n$) such that $y^{k}inf(X)$. This result has many interesting implications: (1) an Abelian topological group is compact if and only if it is complete in each weaker Hausdorff group topology; (2) each minimal Abelian topological group is precompact (this is the famous Prodanov-Stoyanov Theorem); (3) a topological group $X$ is complete and has compact exponent if and only if it is closed in each Hausdorff paratopological group containing $X$ as a topoloical subgroup (this confirms an old conjecture of Banakh and Ravsky).

Review text

In this outstanding paper, the author proves the following theorem: For a complete abelian topological group \(G\) the following statements are equivalent: 1) There exists a natural number \(n\ge 1\) such that the closure of the subgroup \(nG\) is compact. 2) For every injective homomorphism \(f:G\to H\) (\(H\) a topological group) the quotient group \(\overline{f(G)}/f(G)\) is a torsion group. A corollary of this result is the famous Prodanov-Stoyanov theorem which states that every abelian minimal topological group is precompact. Another consequence is that an abelian group \(G\) is compact if and only if it is complete in each weaker Hausdorff group topology.

Recommendations

• scientific article; zbMATH DE number 3910663
• scientific article; zbMATH DE number 49201
• scientific article; zbMATH DE number 3869625
• Recent advances in minimal topological groups
• Sequentially complete groups: Dimension and minimality

Cites work

• Categorically closed topological groups
• Categorically compact topological groups
• Compact-like topological groups
• Generalization of a theorem of Bogolioùboff to topological groups. With an appendix on Banach mean values in nonabelian groups
• scientific article; zbMATH DE number 1811344 (Why is no real title available?)
• scientific article; zbMATH DE number 3869625 (Why is no real title available?)
• scientific article; zbMATH DE number 3769911 (Why is no real title available?)
• scientific article; zbMATH DE number 193576 (Why is no real title available?)
• scientific article; zbMATH DE number 2149854 (Why is no real title available?)
• Minimality conditions in topological groups
• On H-closed paratopological groups
• Recent advances in minimal topological groups
• Relative minimality and co-minimality of subgroups in topological groups
• Topological groups and related structures

Cited in

(9)

• Minimality of topological matrix groups and Fermat primes
• c-minimal topological groups
• Categorically closed topological groups
• Homomorphisms into totally disconnected, locally compact groups with dense image
• scientific article; zbMATH DE number 3869625 (Why is no real title available?)
• scientific article; zbMATH DE number 3910663 (Why is no real title available?)
• scientific article; zbMATH DE number 3910665 (Why is no real title available?)
• Categorically closed countable semigroups
• Precompact Abelian groups and topological annihilators

This page was built for publication: A quantitative generalization of Prodanov-Stoyanov theorem on minimal abelian topological groups

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