Is a Compact Group with All Dense Subgroups Separable Metrizable?
Dekui Peng
Abstract
Open-access reader
Dekui Peng
Abstract
Open-access reader
A compact group with {\bf all dense subspaces} separable is metrizable. Inspired by this, we conjecture that a compact group with {\bf all dense subgroups} separable is metrizable. Positive answers are given here for two elementary cases, say, when the compact group is additionally assumed to be abelian or connected. However, a locally compact abelian group, even when it has an open compact subgroup, with all dense subgroups separable, may not be metrizable. At the end of this note, it is shown that a locally compact group with {\bf all subgroups} separable is metrizable. Our arguments are formalized in a more general form, namely, not restricted to the countable case.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
A compact group with {\bf all dense subspaces} separable is metrizable. Inspired by this, we conjecture that a compact group with {\bf all dense subgroups} separable is metrizable. Positive answers are given here for two elementary cases, say, when the compact group is additionally assumed to be abelian or connected. However, a locally compact abelian group, even when it has an open compact subgroup, with all dense subgroups separable, may not be metrizable. At the end of this note, it is shown that a locally compact group with {\bf all subgroups} separable is metrizable. Our arguments are formalized in a more general form, namely, not restricted to the countable case.
Key concepts: Metrization theorem, Separable space, Mathematics, Locally compact space, Abelian group, Group (periodic table), Compact group, Locally compact group