Searcharxiv⌕ Search

arXiv subjects

F. Javier Trigos-Arrieta

Publications and source records attributed to F. Javier Trigos-Arrieta.

5 recordsLinked to original sources
arXiv2022

On closed subgroups of precompact groups

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?

math.GR↗
arXiv2018

When a totally bounded group topology is the Bohr Topology of a LCA group

We look at the Bohr topology of maximally almost periodic groups (MAP, for short). Among other results, we investigate when a totally bounded abelian group $(G,w)$ is the Bohr reflection of a locally compact abelian group. Necessary and sufficient conditions are established in terms of the inner properties of $w$. As an application, an example of a MAP group $(G,t)$ is given such that every closed, metrizable subgroup $N$ of $bG$ with $N \cap G = \{0\}$ preserves compactness but $(G,t)$ does not strongly respects compactness. Thereby, we respond to Questions 4.1 and 4.3 in [comftrigwu].

math.GN↗
arXiv2005

On Aumann's Theorem that the sphere does not admit a mean

We prove that the circle S_1 does not have a 2-mean, i.e., S_1 times S_1 cannot have a retraction r onto its diagonal with r(x,y) = r(y,x), whenever x,y in S_1. Our proof is combinatorial and topological rather than analytical.

math.GN↗
arXiv2002

Concerning the dual group of a dense subgroup

Throughout this Abstract, $G$ is a topological Abelian group and $\hat{G}$ is the space of continuous homomorphisms from $G$ into $T$ in the compact-open topology. A dense subgroup $D$ of $G$ determines $G$ if the (necessarily continuous) surjective isomorphism $\hat{G} \twoheadrightarrow \hat{D}$ given by $h\mapsto 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. Aussenhofer 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 $D_i$ determines $G_i$ with $G_i$ compact, then $\oplus_i D_i$ determines $Π_i G_i$. In particular, if each $G_i$ is compact then $\oplus_i G_i$ determines $Π_i G_i$. (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(N)$ be the least cardinal $κ$ such that some $X \subseteq T}$ of cardinality $κ$ has positive outer measure. No compact $G$ with $w(G)\geq non(N)$ is determined; thus if $non(N)=\aleph_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 $κ=non(N)$? $κ=\aleph_1$?

math.GN↗