arXiv subjects
Publications and source records attributed to F. J. Trigos-Arrieta.
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.}
(1) Every infinite, Abelian compact (Hausdorff) group K admits 2^|K|-many dense, non-Haar-measurable subgroups of cardinality |K|. When K is nonmetrizable, these may be chosen to be pseudocompact. (2) Every infinite Abelian group G admits a family A of 2^2^|G|-many pairwise nonhomeomorphic totally bounded group topologies such that no nontrivial sequence in G converges in any of the topologies T in A. (For some G one may arrange w(G,T) < 2^|G| for some T in A.) (3) Every infinite Abelian group $G$ admits a family B of 2^2^|G|-many pairwise nonhomeomorphic totally bounded group topologies, with w(G,T) = 2^|G| for all T in B, such that some fixed faithfully indexed sequence in G converges to 0_G in each T in B.