Czechoslovak Mathematical Journal. 54(2):509–533, JUNE 2004

Issn Print: 0011-4642

Publication Date: June 2004

# THE DUAL GROUP OF A DENSE SUBGROUP

W. Comfort;S. Raczkowski;F. Trigos-Arrieta;

+ Author Information

1Department of Mathematics, Wesleyan University, Middletown, CT 06459, wcomfort@wesleyan.edu2Department of Mathematics, California State University, Bakersfield, Bakersfield, CA, 93311-1099

### Abstract

Throughout this abstract, G is a topological Abelian group and is the space of continuous homomorphisms from G into the circle group 𝕋 in the compact-open topology. A dense subgroup D of G is said to determine G if the (necessarily continuous) surjective isomorphism ↠ given by h → h | D 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 ⊕iDi determines ΠiGi. In particular, if each Gi is compact then ⊕iGi 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 (𝒩) be the least cardinal κ such that some X ⊂ 𝕋 of cardinality κ has positive outer measure. No compact G with w(G) ≥ non (𝒩) is determined; thus if non (𝒩) = N1 (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 κ = non (𝒩)? κ = N1?