-
Markov's problem for free groups
Authors:
Dmitri Shakhmatov,
Víctor Hugo Yañez
Abstract:
We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide in free groups. It follows that the class of groups for which Markov and Zariski topologies coincide is not closed under taking quotients. We also show that Mar…
▽ More
We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide in free groups. It follows that the class of groups for which Markov and Zariski topologies coincide is not closed under taking quotients. We also show that Markov and Zariski topologies differ from the so-called precompact Markov topology in non-commutative free groups.
△ Less
Submitted 17 October, 2022; v1 submitted 30 November, 2021;
originally announced November 2021.
-
Topological groups all continuous automorphisms of which are open
Authors:
Vitalij Chatyrko,
Dmitri Shakhmatov
Abstract:
A topological space is reversible if each continuous bijection of it onto itself is open. We introduce an analogue of this notion in the category of topological groups: A topological group G is g-reversible if every continuous automorphism of G (=continuous isomorphism of G onto itself) is open. The class of g-reversible groups contains Polish groups, locally compact sigma-compact groups, minimal…
▽ More
A topological space is reversible if each continuous bijection of it onto itself is open. We introduce an analogue of this notion in the category of topological groups: A topological group G is g-reversible if every continuous automorphism of G (=continuous isomorphism of G onto itself) is open. The class of g-reversible groups contains Polish groups, locally compact sigma-compact groups, minimal groups, abelian groups with the Bohr topology, and reversible topological groups. We prove that subgroups of R^n are g-reversible, for every positive integer n. An example of a compact (so reversible) metric abelian group having a countable dense non-g-reversible subgroup is given. We also highlight the differences between reversible spaces and g-reversible topological groups. Many open problems are scattered throughout the paper.
△ Less
Submitted 21 December, 2019;
originally announced December 2019.
-
Automorphism groups of dense subgroups of R^n
Authors:
Vitalij Chatyrko,
Dmitri Shakhmatov
Abstract:
By an automorphism of a topological group G we mean an isomorphism of G onto itself which is also a homeomorphism. In this article, we study the automorphism group Aut(G) of a dense subgroup G of R^n, n>=1. We show that Aut(G) can be naturally identified with the subgroup I(G)={A in GL(n,R): G A =G} of the group GL(n,R) of all non-degenerated (n x n)-matrices over R, where G A={g A:g in G}. We des…
▽ More
By an automorphism of a topological group G we mean an isomorphism of G onto itself which is also a homeomorphism. In this article, we study the automorphism group Aut(G) of a dense subgroup G of R^n, n>=1. We show that Aut(G) can be naturally identified with the subgroup I(G)={A in GL(n,R): G A =G} of the group GL(n,R) of all non-degenerated (n x n)-matrices over R, where G A={g A:g in G}. We describe $I(G) for many dense subgroups G of either R or R^2. We consider also an inverse problem of which symmetric subgroups of GL(n,R) can be realized as I(G) for some dense subgroup G of R^n. For example, for n>=2, we show that the group {A in GL(n,R): det A=+-1} cannot be realized in this way. The realization problem is quite non-trivial even in the one-dimensional case and has deep connections to number theory.
△ Less
Submitted 10 December, 2019;
originally announced December 2019.
-
Cardinal invariants and convergence properties of locally minimal groups
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that |S|=w(G)=w(K).
Items (i)--(iii) hold when G is a dense locally minimal subgroup of K. We show that locally minimal, locally precompact abelian groups of countabl…
▽ More
If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that |S|=w(G)=w(K).
Items (i)--(iii) hold when G is a dense locally minimal subgroup of K. We show that locally minimal, locally precompact abelian groups of countable tightness are metrizable. In particular, a minimal abelian group of countable tightness is metrizable. This answers a question of O. Okunev posed in 2007.
For every uncountable cardinal kappa, we construct a Frechet-Urysohn minimal group G of character kappa such that the connected component of G is an open normal omega-bounded subgroup (thus, G is locally precompact). We also build a minimal nilpotent group of nilpotency class 2 without non-trivial convergent sequences having an open normal countably compact subgroup.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Compactness properties defined by open-point games
Authors:
Alejandro Dorantes-Aldama,
Dmitri Shakhmatov
Abstract:
Let S be a topological property of sequences (such as, for example, "to contain a convergent subsequence" or "to have an accumulation point"). We introduce the following open-point game OP(X,S) on a topological space X. In the n'th move, Player A chooses a non-empty open subet U_n of X, and Player B responds by selecting a point x_n in U_n. Player B wins the game if the sequence (x_n) satisfies pr…
▽ More
Let S be a topological property of sequences (such as, for example, "to contain a convergent subsequence" or "to have an accumulation point"). We introduce the following open-point game OP(X,S) on a topological space X. In the n'th move, Player A chooses a non-empty open subet U_n of X, and Player B responds by selecting a point x_n in U_n. Player B wins the game if the sequence (x_n) satisfies property S in X; otherwise, Player A wins. The (non-)existence of regular or stationary winning strategies in OP(X,S) for both players defines new compactness properties of the underlying space X. We thoroughly investigate these properties and construct examples distinguishing half of them, for an arbitrary property S sandwiched between sequential compactness and countable compactness.
△ Less
Submitted 6 June, 2019;
originally announced June 2019.
-
Countably compact groups and sequential order
Authors:
Dmitri Shakhmatov,
Alexander Shibakov
Abstract:
We use $\diamondsuit$ to construct, for every $α\leqω_1$ a sequential countably compact topological group of sequential order $α$. This establishes the independence of the existence of sequential countably compact non Fréchet groups from the usual axioms of ZFC and answers several questions of D.~Shakhmatov.
We use $\diamondsuit$ to construct, for every $α\leqω_1$ a sequential countably compact topological group of sequential order $α$. This establishes the independence of the existence of sequential countably compact non Fréchet groups from the usual axioms of ZFC and answers several questions of D.~Shakhmatov.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
SSGP topologies on free groups of infinite rank
Authors:
Dmitri Shakhmatov,
Víctor Hugo Yañez
Abstract:
We prove that every free group G with infinitely many generators admits a Hausdorff group topology T with the following property: for every T-open neighbourhood U of the identity of G, each element g in G can be represented as a product g=g_1 g_2 ... g_k such that the cyclic group generated by each g_i is contained in U. In particular, G admits a Hausdorff group topology with the small subgroup ge…
▽ More
We prove that every free group G with infinitely many generators admits a Hausdorff group topology T with the following property: for every T-open neighbourhood U of the identity of G, each element g in G can be represented as a product g=g_1 g_2 ... g_k such that the cyclic group generated by each g_i is contained in U. In particular, G admits a Hausdorff group topology with the small subgroup generating property of Gould. This provides a positive answer to a question of Comfort and Gould in the case of free groups with infinitely many generators. The case of free groups with finitely many generators remains open.
△ Less
Submitted 2 February, 2019;
originally announced February 2019.
-
The impact of the Bohr topology on selective pseudocompactness
Authors:
Dmitri Shakhmatov,
Víctor Hugo Yañez
Abstract:
Recall that a space X is selectively pseudocompact if for every sequence (U_n) of non-empty open subsets of X one can choose a point x_n in U_n for all n such that the resulting sequence (x_n) has an accumulation point in X. This notion was introduced under the name strong pseudocompactness by García-Ferreira and Ortiz-Castillo, the present name is due to Dorantes-Aldama and the first author. In 2…
▽ More
Recall that a space X is selectively pseudocompact if for every sequence (U_n) of non-empty open subsets of X one can choose a point x_n in U_n for all n such that the resulting sequence (x_n) has an accumulation point in X. This notion was introduced under the name strong pseudocompactness by García-Ferreira and Ortiz-Castillo, the present name is due to Dorantes-Aldama and the first author. In 2015, García-Ferreira and Tomita constructed a pseudocompact Boolean group that is not selectively pseudocompact. We prove that if the subgroup topology on every countable subgroup H of an infinite Boolean topological group G is finer than its maximal precompact topology (the so-called Bohr topology of H), then G is not selectively pseudocompact, and from this result we deduce that many known examples in the literature of pseudocompact Boolean groups automatically fail to be selectively pseudocompact. We also show that, under the Singular Cardinal Hypothesis, every infinite pseudocompact Boolean group admits a pseudocompact reflexive group topology which is not selectively pseudocompact.
△ Less
Submitted 23 December, 2018; v1 submitted 29 January, 2018;
originally announced January 2018.
-
Selectively sequentially pseudocompact group topologies on torsion and torsion-free Abelian groups
Authors:
Alejandro Dorantes-Aldama,
Dmitri Shakhmatov
Abstract:
A space X is selectively sequentially pseudocompact if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in each U_n in such a way that the sequence (x_n) has a convergent subsequence. Let G be a group from one of the following three classes: (i) V-free groups, where V is an arbitrary variety of Abelian groups; (ii) torsion Abelian groups; (iii) torsion-free Abeli…
▽ More
A space X is selectively sequentially pseudocompact if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in each U_n in such a way that the sequence (x_n) has a convergent subsequence. Let G be a group from one of the following three classes: (i) V-free groups, where V is an arbitrary variety of Abelian groups; (ii) torsion Abelian groups; (iii) torsion-free Abelian groups. Under the Singular Cardinal Hypothesis SCH, we prove that if G admits a pseudocompact group topology, then it can also be equipped with a selectively sequentially pseudocompact group topology. Since selectively sequentially pseudocompact spaces are strongly pseudocompact in the sense of García-Ferreira and Ortiz-Castillo, this provides a strong positive (albeit partial) answer to a question of García-Ferreira and Tomita.
△ Less
Submitted 22 August, 2017;
originally announced August 2017.
-
Characterizing Lie groups by controlling their zero-dimensional subgroups
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
We provide characterizations of Lie groups as compact-like groups in which all closed zero-dimensional metric (compact) subgroups are discrete. The "compact-like" properties we consider include (local) compactness, (local) omega-boundedness, (local) countable compactness, (local) precompactness, (local) minimality and sequential completeness. Below is a sample of our characterizations:
(i) A top…
▽ More
We provide characterizations of Lie groups as compact-like groups in which all closed zero-dimensional metric (compact) subgroups are discrete. The "compact-like" properties we consider include (local) compactness, (local) omega-boundedness, (local) countable compactness, (local) precompactness, (local) minimality and sequential completeness. Below is a sample of our characterizations:
(i) A topological group is a Lie group if and only if it is locally compact and has no infinite compact metric zero-dimensional subgroups.
(ii) An abelian topological group G is a Lie group if and only if G is locally minimal, locally precompact and all closed metric zero-dimensional subgroups of G are discrete.
(iii) An abelian topological group is a compact Lie group if and only if it is minimal and has no infinite closed metric zero-dimensional subgroups.
(iv) An infinite topological group is a compact Lie group if and only if it is sequentially complete, precompact, locally minimal, contains a non-empty open connected subset and all its compact metric zero-dimensional subgroups are finite.
△ Less
Submitted 9 May, 2017;
originally announced May 2017.
-
SSGP topologies on abelian groups of positive finite divisible rank
Authors:
Dmitri Shakhmatov,
Víctor Hugo Yañez
Abstract:
Let G be an abelian group. For a subset A of G, Cyc(A) denotes the set of all elements x of G such that the cyclic subgroup generated by x is contained in A, and G is said to have the small subgroup generating property (abbreviated to SSGP) if the smallest subgroup of G generated by Cyc(U) is dense in G for every neighbourhood U of zero of G. SSGP groups form a proper subclass of the class of mini…
▽ More
Let G be an abelian group. For a subset A of G, Cyc(A) denotes the set of all elements x of G such that the cyclic subgroup generated by x is contained in A, and G is said to have the small subgroup generating property (abbreviated to SSGP) if the smallest subgroup of G generated by Cyc(U) is dense in G for every neighbourhood U of zero of G. SSGP groups form a proper subclass of the class of minimally almost periodic groups. Comfort and Gould asked for a characterization of abelian groups G which admit an SSGP group topology, and they solved this problem for bounded torsion groups (which have divisible rank zero). Dikranjan and the first author proved that an abelian group of infinite divisible rank admits an SSGP group topology. In the remaining case of positive finite divisible rank, the same authors found a necessary condition on G in order to admit an SSGP group topology and asked if this condition is also sufficient. We answer this question positively, thereby completing the characterization of abelian groups which admit an SSGP group topology.
△ Less
Submitted 16 September, 2018; v1 submitted 27 April, 2017;
originally announced April 2017.
-
Selectively pseudocompact groups without non-trivial convergent sequences
Authors:
Dmitri Shakhmatov,
Víctor Hugo Yañez
Abstract:
The existence of a countably compact group without non-trivial convergent sequences in ZFC alone is a major open problem in topological group theory. We give a ZFC example of a Boolean topological group G without non-trivial convergent sequences having the following "selective" compactness property: For each free ultrafilter p on N and every sequence {U_n:n in N} of non-empty open subsets of G one…
▽ More
The existence of a countably compact group without non-trivial convergent sequences in ZFC alone is a major open problem in topological group theory. We give a ZFC example of a Boolean topological group G without non-trivial convergent sequences having the following "selective" compactness property: For each free ultrafilter p on N and every sequence {U_n:n in N} of non-empty open subsets of G one can choose a point x_n in U_n for all n in such a way that the resulting sequence {x_n:n in N} has a p-limit in G, that is, {n in N: x_n in V} belongs to p for every neighbourhood V of x in G. In particular, G is selectively pseudocompact (strongly pseudocompact) but not selectively sequentially pseudocompact. This answers a question of Dorantes-Aldama and the first author. As a by-product, we show that the free precompact Boolean group over any disjoint sum of maximal countable spaces contains no infinite compact subsets.
△ Less
Submitted 25 April, 2017;
originally announced April 2017.
-
Selective sequential pseudocompactness
Authors:
Alejandro Dorantes-Aldama,
Dmitri Shakhmatov
Abstract:
We say that a topological space X is selectively sequentially pseudocompact (SSP for short) if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in U_n for every n in such a way that the sequence (x_n) has a convergent subsequence. We show that the class of SSP spaces is closed under taking arbitrary products and continuous images, contains the class of all dyadic…
▽ More
We say that a topological space X is selectively sequentially pseudocompact (SSP for short) if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in U_n for every n in such a way that the sequence (x_n) has a convergent subsequence. We show that the class of SSP spaces is closed under taking arbitrary products and continuous images, contains the class of all dyadic spaces and forms a proper subclass of the class of strongly pseudocompact spaces introduced recently by García-Ferreira and Ortiz-Castillo. We investigate basic properties of this new class and its relations with known compactness properties. We prove that every omega-bounded (=the closure of which countable set is compact) group is SSP, while compact spaces need not be SSP. Finally, we construct SSP group topologies on both the free group and the free Abelian group with continuum-many generators.
△ Less
Submitted 7 February, 2017;
originally announced February 2017.
-
The existence of continuous weak selections and orderability-type properties in products and filter spaces
Authors:
Koichi Motooka,
Dmitri Shakhmatov,
Takamitsu Yamauchi
Abstract:
Orderability, weak orderability and the existence of continuous weak selections on filter spaces (i.e., spaces with a single non-isolated point) and their products are discussed. We prove that a closed continuous image X of a suborderable space must be hereditarily paracompact provided that its product X\times Y with some non-discrete space Y has a separately continuous weak selection.
Orderability, weak orderability and the existence of continuous weak selections on filter spaces (i.e., spaces with a single non-isolated point) and their products are discussed. We prove that a closed continuous image X of a suborderable space must be hereditarily paracompact provided that its product X\times Y with some non-discrete space Y has a separately continuous weak selection.
△ Less
Submitted 19 July, 2017; v1 submitted 25 August, 2016;
originally announced August 2016.
-
Completeness and compactness properties in metric spaces, topological groups and function spaces
Authors:
Alejandro Dorantes-Aldama,
Dmitri Shakhmatov
Abstract:
We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a space X with the topology of pointwise convergence, for a separable metric group G. Not only the results but also the proofs themselves are novel even in the class…
▽ More
We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a space X with the topology of pointwise convergence, for a separable metric group G. Not only the results but also the proofs themselves are novel even in the classical case when G is the real line.
A space X is weakly pseudocompact if it is G_delta-dense in at least one of its compactifications. A topological group G is precompact if it is topologically isomorphic to a subgroup of a compact group. We prove that every weakly pseudocompact precompact topological group is pseudocompact, thereby answering positively a question of Tkachenko.
△ Less
Submitted 24 March, 2016;
originally announced March 2016.
-
A countable free closed non-reflexive subgroup of Z^c
Authors:
Maria Vincenta Ferrer,
Salvador Hernández,
Dmitri Shakhmatov
Abstract:
We prove that the group G=Hom(P,Z) of all homomorphisms from the Baer-Specker group P to the group Z of integer numbers endowed with the topology of pointwise convergence contains no infinite compact subsets. We deduce from this fact that the second Pontryagin dual of G is discrete. As G is non-discrete, it is not reflexive. Since G can be viewed as a closed subgroup of the Tychonoff product of co…
▽ More
We prove that the group G=Hom(P,Z) of all homomorphisms from the Baer-Specker group P to the group Z of integer numbers endowed with the topology of pointwise convergence contains no infinite compact subsets. We deduce from this fact that the second Pontryagin dual of G is discrete. As G is non-discrete, it is not reflexive. Since G can be viewed as a closed subgroup of the Tychonoff product of continuum many copies of the integers Z, this provides an example of a group described in the title, thereby answering Problem 11 from [J.Galindo, L.Recorder-Núñez, M.Tkachenko, Reflexivity of prodiscrete topological groups, J. Math. Anal. Appl. 384 (2011), 320--330.] It follows that an inverse limit of finitely generated (torsion-)free discrete abelian groups need not be reflexive.
△ Less
Submitted 30 December, 2015;
originally announced December 2015.
-
A complete solution of Markov's problem on connected group topologies
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
Every proper closed subgroup of a connected Hausdorff group must have index at least c, the cardinality of the continuum. 70 years ago Markov conjectured that a group G can be equipped with a connected Hausdorff group topology provided that every subgroup of G which is closed in all Hausdorff group topologies on G has index at least c. Counter-examples in the non-abelian case were provided 25 year…
▽ More
Every proper closed subgroup of a connected Hausdorff group must have index at least c, the cardinality of the continuum. 70 years ago Markov conjectured that a group G can be equipped with a connected Hausdorff group topology provided that every subgroup of G which is closed in all Hausdorff group topologies on G has index at least c. Counter-examples in the non-abelian case were provided 25 years ago by Pestov and Remus, yet the problem whether Markov's Conjecture holds for abelian groups G remained open. We resolve this problem in the positive.
△ Less
Submitted 22 September, 2015;
originally announced September 2015.
-
Direct sums and products in topological groups and vector spaces
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov,
Jan Spěvák
Abstract:
We call a subset $A$ of an abelian topological group $G$: (i) $absolutely$ $Cauchy$ $summable$ provided that for every open neighbourhood $U$ of $0$ one can find a finite set $F\subseteq A$ such that the subgroup generated by $A\setminus F$ is contained in $U$; (ii) $absolutely$ $summable$ if, for every family $\{z_a:a\in A\}$ of integer numbers, there exists $g\in G$ such that the net…
▽ More
We call a subset $A$ of an abelian topological group $G$: (i) $absolutely$ $Cauchy$ $summable$ provided that for every open neighbourhood $U$ of $0$ one can find a finite set $F\subseteq A$ such that the subgroup generated by $A\setminus F$ is contained in $U$; (ii) $absolutely$ $summable$ if, for every family $\{z_a:a\in A\}$ of integer numbers, there exists $g\in G$ such that the net $\left\{\sum_{a\in F} z_a a: F\subseteq A\mbox{ is finite}\right\}$ converges to $g$; (iii) $topologically$ $independent$ provided that $0\not \in A$ and for every neighbourhood $W$ of $0$ there exists a neighbourhood $V$ of $0$ such that, for every finite set $F\subseteq A$ and each set $\{z_a:a\in F\}$ of integers, $\sum_{a\in F}z_aa\in V$ implies that $z_aa\in W$ for all $a\in F$. We prove that: (1) an abelian topological group contains a direct product (direct sum) of $κ$-many non-trivial topological groups if and only if it contains a topologically independent, absolutely (Cauchy) summable subset of cardinality $κ$; (2) a topological vector space contains $\mathbb{R}^{(\mathbb{N})}$ as its subspace if and only if it has an infinite absolutely Cauchy summable set; (3) a topological vector space contains $\mathbb{R}^{\mathbb{N}}$ as its subspace if and only if it has an $\mathbb{R}^{(\mathbb{N})}$ multiplier convergent series of non-zero elements. We answer a question of Hušek and generalize results by Bessaga-Pelczynski-Rolewicz, Dominguez-Tarieladze and Lipecki.
△ Less
Submitted 4 August, 2015;
originally announced August 2015.
-
Final solution of Protasov-Comfort's problem on minimally almost periodic group topologies
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
We prove that an abelian group admits a minimally almost periodic (MinAP) group topology if and only if it is connected in its Markov-Zariski topology. In particular, every unbounded abelian group admits a MinAP group topology. This answers positively a question set by Comfort, as well as several weaker forms proposed recently by Gabriyelyan. Using this characterization we answer also two open que…
▽ More
We prove that an abelian group admits a minimally almost periodic (MinAP) group topology if and only if it is connected in its Markov-Zariski topology. In particular, every unbounded abelian group admits a MinAP group topology. This answers positively a question set by Comfort, as well as several weaker forms proposed recently by Gabriyelyan. Using this characterization we answer also two open questions of Gould. We prove that a subgroup H of an abelian group G can be realized as the von Neumann kernel of G equipped with some Hausdorff group topology if and only if H is contained in the connected component of zero of G with respect to its Markov-Zariski topology. This completely resolves a question of Gabriyelyan, as well as some of its particular versions which were open.
△ Less
Submitted 13 October, 2014;
originally announced October 2014.
-
Subgroups of direct products closely approximated by direct sums
Authors:
Maria V. Ferrer,
Salvador Hernandez,
Dmitri Shakhmatov
Abstract:
Let $I$ be an infinite set, $\{G_i:i\in I\}$ be a family of (topological) groups and $G=\prod_{i\in I} G_i$ be its direct product. For $J\subseteq I$, $p_{J}: G\to \prod_{j\in J} G_j$ denotes the projection. We say that a subgroup $H$ of $G$ is: (i) \emph{uniformly controllable} in $G$ provided that for every finite set $J\subseteq I$ there exists a finite set $K\subseteq I$ such that…
▽ More
Let $I$ be an infinite set, $\{G_i:i\in I\}$ be a family of (topological) groups and $G=\prod_{i\in I} G_i$ be its direct product. For $J\subseteq I$, $p_{J}: G\to \prod_{j\in J} G_j$ denotes the projection. We say that a subgroup $H$ of $G$ is: (i) \emph{uniformly controllable} in $G$ provided that for every finite set $J\subseteq I$ there exists a finite set $K\subseteq I$ such that $p_{J}(H)=p_{J}(H\cap\bigoplus_{i\in K} G_i)$; (ii) \emph{controllable} in $G$ provided that $p_{J}(H)=p_{J}(H\cap\bigoplus_{i\in I} G_i)$ for every finite set $J\subseteq I$; (iii) \emph{weakly controllable} in $G$ if $H\cap \bigoplus_{i\in I} G_i$ is dense in $H$, when $G$ is equipped with the Tychonoff product topology. One easily proves that (i)$\to$(ii)$\to$(iii). We thoroughly investigate the question as to when these two arrows can be reversed. We prove that the first arrow can be reversed when $H$ is compact, but the second arrow cannot be reversed even when $H$ is compact. Both arrows can be reversed if all groups $G_i$ are finite. When $G_i=A$ for all $i\in I$, where $A$ is an abelian group, we show that the first arrow can be reversed for {\em all} subgroups $H$ of $G$ if and only if $A$ is finitely generated. Connections with coding theory are highlighted.
△ Less
Submitted 17 June, 2013;
originally announced June 2013.
-
On the existence of kings in continuous tournaments
Authors:
Masato Nagao,
Dmitri Shakhmatov
Abstract:
The classical result of Landau on the existence of kings in finite tournaments (=finite directed complete graphs) is extended to continuous tournaments for which the set X of players is a compact Hausdorff space. The following partial converse is proved as well. Let X be a Tychonoff space which is either zero-dimensional or locally connected or pseudocompact or linearly ordered. If X admits at lea…
▽ More
The classical result of Landau on the existence of kings in finite tournaments (=finite directed complete graphs) is extended to continuous tournaments for which the set X of players is a compact Hausdorff space. The following partial converse is proved as well. Let X be a Tychonoff space which is either zero-dimensional or locally connected or pseudocompact or linearly ordered. If X admits at least one continuous tournament and each continuous tournament on X has a king, then X must be compact. We show that a complete reversal of our theorem is impossible, by giving an example of a dense connected subspace Y of the unit square admitting precisely two continuous tournaments both of which have a king, yet Y is not even analytic (much less compact).
△ Less
Submitted 31 May, 2012; v1 submitted 2 May, 2012;
originally announced May 2012.
-
Metrization criteria for compact groups in terms of their dense subgroups
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
According to Comfort, Raczkowski and Trigos-Arrieta, a dense subgroup D of a compact abelian group G determines G if the restriction homomorphism G^ --> D^ of the dual groups is a topological isomorphism. We introduce four conditions on D that are necessary for it to determine G and we resolve the following question: If one of these conditions holds for every dense (or G_δ-dense) subgroup D of G,…
▽ More
According to Comfort, Raczkowski and Trigos-Arrieta, a dense subgroup D of a compact abelian group G determines G if the restriction homomorphism G^ --> D^ of the dual groups is a topological isomorphism. We introduce four conditions on D that are necessary for it to determine G and we resolve the following question: If one of these conditions holds for every dense (or G_δ-dense) subgroup D of G, must G be metrizable? In particular, we prove (in ZFC) that a compact abelian group determined by all its G_δ-dense subgroups is metrizable, thereby resolving a question by Hernandez, Macario and Trigos-Arrieta. (Under the additional assumption of the Continuum Hypothesis CH, the same statement was proved recently by Bruguera, Chasco, Dominguez, Tkachenko and Trigos-Arrieta.) As a tool, we develop a machinery for building G_δ-dense subgroups without uncountable compact subsets in compact groups of weight ω_1 (in ZFC). The construction is delicate, as these subgroups must have non-trivial convergent sequences in some models of ZFC.
△ Less
Submitted 30 August, 2011; v1 submitted 24 February, 2011;
originally announced February 2011.
-
A Kronecker-Weyl theorem for subsets of abelian groups
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
Let N be the set of non-negative integer numbers, T the circle group and c the cardinality of the continuum. Given an abelian group G of size at most 2^c and a countable family F of infinite subsets of G, we construct "Baire many" monomorphisms p: G --> T^c such that p(E) is dense in {y in T^c : ny=0} whenever n in N, E in F, nE={0} and {x in E: mx=g} is finite for all g in G and m such that n=mk…
▽ More
Let N be the set of non-negative integer numbers, T the circle group and c the cardinality of the continuum. Given an abelian group G of size at most 2^c and a countable family F of infinite subsets of G, we construct "Baire many" monomorphisms p: G --> T^c such that p(E) is dense in {y in T^c : ny=0} whenever n in N, E in F, nE={0} and {x in E: mx=g} is finite for all g in G and m such that n=mk for some k in N--{1}. We apply this result to obtain an algebraic description of countable potentially dense subsets of abelian groups, thereby making a significant progress towards a solution of a problem of Markov going back to 1944. A particular case of our result yields a positive answer to a problem of Tkachenko and Yaschenko. Applications to group actions and discrete flows on T^c, diophantine approximation, Bohr topologies and Bohr compactifications are also provided.
△ Less
Submitted 19 December, 2010;
originally announced December 2010.
-
Productivity of sequences with respect to a given weight function
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov,
Jan Spěvák
Abstract:
Given a function f: N --> (omega+1)-{0}, we say that a faithfully indexed sequence {a_n: n in N} of elements of a topological group G is: (i) f-Cauchy productive (f-productive) provided that the sequence {prod_{n=0}^m a_n^{z(n)}: m in N} is left Cauchy (converges to some element of G, respectively) for each function z: N --> Z such that |z(n)| <= f(n) for every n in N; (ii) unconditionally f-Cauch…
▽ More
Given a function f: N --> (omega+1)-{0}, we say that a faithfully indexed sequence {a_n: n in N} of elements of a topological group G is: (i) f-Cauchy productive (f-productive) provided that the sequence {prod_{n=0}^m a_n^{z(n)}: m in N} is left Cauchy (converges to some element of G, respectively) for each function z: N --> Z such that |z(n)| <= f(n) for every n in N; (ii) unconditionally f-Cauchy productive (unconditionally f-productive) provided that the sequence {a_{s(n)}: n in N\} is (f\circ s)-Cauchy productive (respectively, (f\circ s)-productive) for every bijection s: N --> N. (Bijections can be replaced by injections here.) We consider the question of existence of (unconditionally) f-productive sequences for a given "weight function" f. We prove that: (1) a Hausdorff group having an f-productive sequence for some f contains a homeomorphic copy of the Cantor set; (2) if a non-discrete group is either locally compact Hausdorff or Weil complete metric, then it contains an unconditionally f-productive sequence for every function f: N--> N; (3) a metric group is NSS if and only if it does not contain an f_omega-Cauchy productive sequence, where f_omega is the function taking the constant value omega. We give an example of an f_omega-productive sequence {a_n: n in N} in a (necessarily non-abelian) separable metric group H with a linear topology and a bijection s: N --> N such that the sequence {prod_{n=0}^m a_{s(n)}: m in N} diverges, thereby answering a question of Dominguez and Tarieladze. Furthermore, we show that H has no unconditionally f_omega-productive sequences. As an application of our results, we resolve negatively a question from C_p(-,G)-theory.
△ Less
Submitted 5 November, 2010;
originally announced November 2010.
-
The Markov-Zariski topology of an abelian group
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
According to Markov, a subset of an abelian group G of the form {x in G: nx=a}, for some integer n and some element a of G, is an elementary algebraic set; finite unions of elementary algebraic sets are called algebraic sets. We prove that a subset of an abelian group G is algebraic if and only if it is closed in every precompact (=totally bounded) Hausdorff group topology on G. The family of all…
▽ More
According to Markov, a subset of an abelian group G of the form {x in G: nx=a}, for some integer n and some element a of G, is an elementary algebraic set; finite unions of elementary algebraic sets are called algebraic sets. We prove that a subset of an abelian group G is algebraic if and only if it is closed in every precompact (=totally bounded) Hausdorff group topology on G. The family of all algebraic subsets of an abelian group G forms the family of closed subsets of a unique Noetherian T_1 topology on G called the Zariski, or verbal, topology of G. We investigate the properties of this topology. In particular, we show that the Zariski topology is always hereditarily separable and Frechet-Urysohn. For a countable family F of subsets of an abelian group G of cardinality at most the continuum, we construct a precompact metric group topology T on G such that the T-closure of each member of F coincides with its Zariski closure. As an application, we provide a characterization of the subsets of G that are dense in some Hausdorff group topology on G, and we show that such a topology, if it exists, can always be chosen so that it is precompact and metric. This provides a partial answer to a long-standing problem of Markov.
△ Less
Submitted 7 May, 2010;
originally announced May 2010.
-
Hewitt-Marczewski-Pondiczery type theorem for abelian groups and Markov's potential density
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
For an uncountable cardinal τand a subset S of an abelian group G, the following conditions are equivalent: (i) |{ns:s\in S}|\ge τfor all integers n\ge 1; (ii) there exists a group homomorphism π:G\to T^{2^τ} such that π(S) is dense in T^{2^τ}. Moreover, if |G|\le 2^{2^τ}, then the following item can be added to this list: (iii) there exists an isomorphism π:G\to G' between G and a subgroup G' o…
▽ More
For an uncountable cardinal τand a subset S of an abelian group G, the following conditions are equivalent: (i) |{ns:s\in S}|\ge τfor all integers n\ge 1; (ii) there exists a group homomorphism π:G\to T^{2^τ} such that π(S) is dense in T^{2^τ}. Moreover, if |G|\le 2^{2^τ}, then the following item can be added to this list: (iii) there exists an isomorphism π:G\to G' between G and a subgroup G' of T^{2^τ} such that π(S) is dense in T^{2^τ}. We prove that the following conditions are equivalent for an uncountable subset S of an abelian group G that is either (almost) torsion-free or divisible: (a) S is T-dense in G for some Hausdorff group topology T on G; (b) S is T-dense in some precompact Hausdorff group topology T on G; (c) |{ns:s\in S}|\ge \min{τ:|G|\le 2^{2^τ}} for every integer n\ge 1. This partially resolves a question of Markov going back to 1946.
△ Less
Submitted 2 December, 2009;
originally announced December 2009.
-
NSS and TAP properties in topological groups close to being compact
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov,
Jan Spěvák
Abstract:
We introduce a notion of productivity (summability) of sequences in a topological group G, parametrized by a given function f : N --> omega+1. The extreme case when f is the function taking constant value omega is closely related to the TAP property, the weaker version of the well-known property NSS. We prove that TAP property coincides with NSS in locally compact groups, omega-bounded abelian g…
▽ More
We introduce a notion of productivity (summability) of sequences in a topological group G, parametrized by a given function f : N --> omega+1. The extreme case when f is the function taking constant value omega is closely related to the TAP property, the weaker version of the well-known property NSS. We prove that TAP property coincides with NSS in locally compact groups, omega-bounded abelian groups and countably compact minimal abelian groups. As an application of our results, we provide a negative answer to [13, Question 11.1].
△ Less
Submitted 12 September, 2009;
originally announced September 2009.
-
Group-valued continuous functions with the topology of pointwise convergence
Authors:
Dmitri Shakhmatov,
Jan Spěvák
Abstract:
We denote by C_p(X,G) the group of all continuous functions from a space X to a topological group G endowed with the topology of pointwise convergence. We say that spaces X and Y are G-equivalent provided that the topological groups C_p(X,G) and C_p(Y,G) are topologically isomorphic. We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed…
▽ More
We denote by C_p(X,G) the group of all continuous functions from a space X to a topological group G endowed with the topology of pointwise convergence. We say that spaces X and Y are G-equivalent provided that the topological groups C_p(X,G) and C_p(Y,G) are topologically isomorphic. We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of C_p(X,G). Since R-equivalence coincides with l-equivalence, this line of research "includes" major topics of the classical C_p-theory of Arhangel'skii as a particular case (when G = R). We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if C_p(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^*-regular space X is compact if and only if C_p(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if C_p(X,R) is a TAP group (of countable tightness). We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, sigma-compactness, the property of being a Lindelof Sigma-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.
△ Less
Submitted 23 April, 2010; v1 submitted 28 July, 2009;
originally announced July 2009.
-
Convergent sequences in minimal groups
Authors:
Dmitri Shakhmatov
Abstract:
A Hausdorff topological group G is minimal if every continuous isomorphism f : G --> H between G and a Hausdorff topological group H is open. Clearly, every compact Hausdorff group is minimal. It is well known that every infinite compact Hausdorff group contains a non-trivial convergent sequence. We extend this result to minimal abelian groups by proving that every infinite minimal abelian group…
▽ More
A Hausdorff topological group G is minimal if every continuous isomorphism f : G --> H between G and a Hausdorff topological group H is open. Clearly, every compact Hausdorff group is minimal. It is well known that every infinite compact Hausdorff group contains a non-trivial convergent sequence. We extend this result to minimal abelian groups by proving that every infinite minimal abelian group contains a non-trivial convergent sequence. Furthermore, we show that "abelian" is essential and cannot be dropped. Indeed, for every uncountable regular cardinal kappa we construct a Hausdorff group topology T_kappa on the free group F(kappa) with kappa many generators having the following properties:
(i) (F(kappa), T_kappa) is a minimal group;
(ii) every subset of F(kappa) of size less than kappa is T_kappa-discrete (and thus also T_kappa-closed);
(iii) there are no non-trivial proper T_kappa-closed normal subgroups of F(kappa).
In particular, all compact subsets of (F(kappa), T_kappa) are finite, and every Hausdorff quotient group of (F(kappa), T_kappa) is minimal (that is, (F(kappa), T_kappa) is totally minimal).
△ Less
Submitted 1 January, 2009;
originally announced January 2009.
-
Super-sequences in the arc component of a compact connected group
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
Let G be an abelian topological group. The symbol \hat{G} denotes the group of all continuous characters χ: G --> T endowed with the compact open topology. A subset E of G is said to be qc-dense in G provided that χ(E) \subseteq φ([-1/4,1/4]) holds only for the trivial character χ\in \hat{G}, where φ: R --> T = R/Z is the canonical homomorphism. A super-sequence is a non-empty compact Hausdorff…
▽ More
Let G be an abelian topological group. The symbol \hat{G} denotes the group of all continuous characters χ: G --> T endowed with the compact open topology. A subset E of G is said to be qc-dense in G provided that χ(E) \subseteq φ([-1/4,1/4]) holds only for the trivial character χ\in \hat{G}, where φ: R --> T = R/Z is the canonical homomorphism. A super-sequence is a non-empty compact Hausdorff space S with at most one non-isolated point (to which S converges). We prove that an infinite compact abelian group G is connected if and only if its arc component G_a contains a super-sequence converging to 0 that is qc-dense in G. This gives as a corollary a recent theorem of Aussenhofer: For a connected locally compact abelian group G, the restriction homomorphism r : \hat{G} --> \hat{G}_a defined by r(χ) = χ\restriction_{G_a} for χ\in \hat{G}, is a topological isomorphism. We also show that an infinite compact group G is connected if and only if its arc component G_a contains a super-sequence S converging to the identity e that generates a dense subgroup of G (equivalently, S \setminus {e} is an infinite suitable set for G in the sense of Hofmann and Morris).
△ Less
Submitted 15 December, 2008;
originally announced December 2008.
-
Building suitable sets for locally compact groups by means of continuous selections
Authors:
Dmitri Shakhmatov
Abstract:
If a discrete subset S of a topological group G with the identity 1 generates a dense subgroup of G and S \cup {1} is closed in G, then S is called a suitable set for G. We apply Michael's selection theorem to offer a direct, self-contained, purely topological proof of the result of Hofmann and Morris on the existence of suitable sets in locally compact groups. Our approach uses only elementary…
▽ More
If a discrete subset S of a topological group G with the identity 1 generates a dense subgroup of G and S \cup {1} is closed in G, then S is called a suitable set for G. We apply Michael's selection theorem to offer a direct, self-contained, purely topological proof of the result of Hofmann and Morris on the existence of suitable sets in locally compact groups. Our approach uses only elementary facts from (topological) group theory.
△ Less
Submitted 4 December, 2008; v1 submitted 2 December, 2008;
originally announced December 2008.
-
Minimal pseudocompact group topologies on free abelian groups
Authors:
Dikran Dikranjan,
Anna Giordano Bruno,
Dmitri Shakhmatov
Abstract:
A Hausdorff topological group G is minimal if every continuous isomorphism f: G --> H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence {σ_n : n\in N} of cardinals such that w(G) = sup {σ_n : n \in N} and sup {2^{σ_n} : n \in N} \leq |G| \…
▽ More
A Hausdorff topological group G is minimal if every continuous isomorphism f: G --> H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence {σ_n : n\in N} of cardinals such that w(G) = sup {σ_n : n \in N} and sup {2^{σ_n} : n \in N} \leq |G| \leq 2^{w(G)}, where w(G) is the weight of G. If G is an infinite minimal abelian group, then either |G| = 2^σfor some cardinal σ, or w(G) = min {σ: |G| \leq 2^σ}; moreover, the equality |G| = 2^{w(G)} holds whenever cf (w(G)) > ω. For a cardinal κ, we denote by F_κthe free abelian group with κmany generators. If F_κadmits a pseudocompact group topology, then κ\geq c, where c is the cardinality of the continuum. We show that the existence of a minimal pseudocompact group topology on F_c is equivalent to the Lusin's Hypothesis 2^{ω_1} = c. For κ> c, we prove that F_κadmits a (zero-dimensional) minimal pseudocompact group topology if and only if F_κhas both a minimal group topology and a pseudocompact group topology. If κ> c, then F_κadmits a connected minimal pseudocompact group topology of weight σif and only if κ= 2^σ. Finally, we establish that no infinite torsion-free abelian group can be equipped with a locally connected minimal group topology.
△ Less
Submitted 6 April, 2009; v1 submitted 6 November, 2008;
originally announced November 2008.
-
Quasi-convex density and determining subgroups of compact abelian groups
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
For an abelian topological group G let G^* denote the dual group of all continuous characters endowed with the compact open topology. Given a closed subset X of an infinite compact abelian group G such that w(X) < w(G) and an open neighbourhood U of 0 in the circle group, we show that the set of all characters which send X into U has the same size as G^*. (Here, w(G) denotes the weight of G.) A…
▽ More
For an abelian topological group G let G^* denote the dual group of all continuous characters endowed with the compact open topology. Given a closed subset X of an infinite compact abelian group G such that w(X) < w(G) and an open neighbourhood U of 0 in the circle group, we show that the set of all characters which send X into U has the same size as G^*. (Here, w(G) denotes the weight of G.) A subgroup D of G determines G if the restriction homomorphism G^* --> D^* is an isomorphism between G^* and D^*. We prove that w(G) = min {|D|: D is a subgroup of G that determines G} for every infinite compact abelian group G. In particular, an infinite compact abelian group determined by a countable subgroup is metrizable. This gives a negative answer to questions of Comfort, Hernandez, Macario, Raczkowski and Trigos-Arrieta. As an application, we furnish a short elementary proof of the result from [13] that a compact abelian group G is metrizable provided that every dense subgroup of G determines G.
△ Less
Submitted 8 September, 2008; v1 submitted 24 July, 2008;
originally announced July 2008.
-
Reflection principle characterizing groups in which unconditionally closed sets are algebraic
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
We give a necessary and sufficient condition, in terms of a certain reflection principle, for every unconditionally closed subset of a group G to be algebraic. As a corollary, we prove that this is always the case when G is a direct product of an Abelian group with a direct product (sometimes also called a direct sum) of a family of countable groups. This is the widest class of groups known to d…
▽ More
We give a necessary and sufficient condition, in terms of a certain reflection principle, for every unconditionally closed subset of a group G to be algebraic. As a corollary, we prove that this is always the case when G is a direct product of an Abelian group with a direct product (sometimes also called a direct sum) of a family of countable groups. This is the widest class of groups known to date where the answer to the 63 years old problem of Markov turns out to be positive. We also prove that whether every unconditionally closed subset of G is algebraic or not is completely determined by countable subgroups of G.
△ Less
Submitted 11 March, 2007;
originally announced March 2007.