Throughout this abstract, G is a topological Abelian group and $\hat G$ is the space of continuous homomorphisms from G into the circle group ${\mathbb{T}}$ in the compact-open topology. A dense subgroup D of G is said to determine G if the (necessarily continuous) surjective isomorphism $\hat G \to \hat D$ given by $h \mapsto h\left| D \right.$ is a homeomorphism, and G is determined if each dense subgroup of G determines G. The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is determined. The authors offer several related results, including these. 1. There are (many) nonmetrizable, noncompact, determined groups. 2. If the dense subgroup Di determines Gi with Gi compact, then $ \oplus _i D_i $ determines ΠiGi. In particular, if each Gi is compact then $ \oplus _i G_i $ determines ΠiGi. 3. Let G be a locally bounded group and let G+ denote G with its Bohr topology. Then G is determined if and only if G+ is determined. 4. Let non $\left( {\mathcal{N}} \right)$ be the least cardinal κ such that some $X \subseteq {\mathbb{T}}$ of cardinality κ has positive outer measure. No compact G with $w\left( G \right) \geqslant non\left( {\mathcal{N}} \right)$ is determined; thus if $\left( {\mathcal{N}} \right) = {\mathfrak{N}}_1 $ (in particular if CH holds), an infinite compact group G is determined if and only if w(G) = ω. Question. Is there in ZFC a cardinal κ such that a compact group G is determined if and only if w(G) < κ? Is $\kappa = non\left( {\mathcal{N}} \right)?\kappa = {\mathfrak{N}}_1 ?$
It is a theorem of W. W. Comfort and K. A. Ross that if 𝐺 is a subgroup of a compact Abelian group and 𝑆 denotes the continuous homomorphisms from 𝐺 to the one-dimensional torus, then the topology on 𝐺 is the initial topology given by 𝑆. Assume that 𝐻 is a subgroup of 𝐺. We study how the choice of 𝑆 affects the topological placement and properties of 𝐻 in 𝐺. Among other results, we have made significant progress toward the solution of the following specific questions. How many totally bounded group topologies does 𝐺 admit such that 𝐻 is a closed (dense) subgroup? If denotes the poset of all subgroups of 𝐺 that are 𝑆-closed, ordered by inclusion, does have a greatest (resp. smallest) element? We say that a totally bounded (topological, resp.) group is an SC group (topologically simple, resp.) if all its subgroups are closed (if 𝐺 and are its only possible closed normal subgroups, resp.) In addition, we investigate the following questions. How many SC-(topologically simple totally bounded, resp.) group topologies does an arbitrary Abelian group 𝐺 admit?
It is a Theorem of W.~ W. Comfort and K.~ A. Ross that if $G$ is a subgroup of a compact Abelian group, and $S$ denotes those continuous homomorphisms from $G$ to the one-dimensional torus, then the topology on $G$ is the initial topology given by $S$. {Assume that $H$ is a subgroup of $G$. We study how} the choice of $S$ affects the topological placement and properties of $H$ in $G$. Among other results, we have {made significant} progress toward the solution of the following specific questions: How many totally bounded group topologies does $G$ admit such that $H$ is a closed (dense) subgroup? If $C_S$ denotes the poset of all subgroups of $G$ that are $S$-closed, ordered by inclusion, does $C_S$ has a greatest (resp. smallest) element? We say that a totally bounded (topological, resp.) group is an \textit{SC-group} (\textit{topologically simple}, resp.) if all its subgroups are closed (if $G$ and $\{e\}$ are its only possible closed normal subgroups, resp.) {In addition, we investigate the following questions.} How many SC-(topologically simple totally bounded, resp.) group topologies does an arbitrary Abelian group $G$ admit?
We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco, Domínguez and Tkachenko. {Among other consequences, we obtain an example of a group that is $g$-dense in its completion but is not $g$-barrelled. This solves a question proposed by Au$β$enhofer and Dikranjan.}