A Distinguished Subgroup of Compact Abelian Groups

Abstract

Here “group” means additive abelian group. A compact group G contains $\delta$–subgroups, that is, compact totally disconnected subgroups $\Delta$ such that $G/\Delta$ is a torus. The canonical subgroup $\mathbf{\Delta }\left(G\right)$ of G that is the sum of all $\delta$–subgroups of G turns out to have striking properties. Lewis, Loth and Mader obtained a comprehensive description of $\mathbf{\Delta }\left(G\right)$ when considering only finite dimensional connected groups, but even for these, new and improved results are obtained here. For a compact group G, we prove the following: $\mathbf{\Delta }\left(G\right)$ contains $tor\left(G\right)$, is a dense, zero-dimensional subgroup of G containing every closed totally disconnected subgroup of G, and $G/\mathbf{\Delta }\left(G\right)$ is torsion-free and divisible; $\mathbf{\Delta }\left(G\right)$ is a functorial subgroup of G, it determines G up to topological isomorphism, and it leads to a “canonical” resolution theorem for G. The subgroup $\mathbf{\Delta }\left(G\right)$ appeared before in the literature as $td\left(G\right)$ motivated by completely different considerations. We survey and extend earlier results. It is shown that td, as a functor, preserves proper exactness of short sequences of compact groups.

1. Introduction

The topological groups studied in this paper are mainly the Pontryagin duals of discrete abelian groups with some emphasis on the duals of torsion-free groups. The latter are exactly the compact connected abelian groups. Non-compact topological groups prominently appear in Section 7.

The result ([1], Proposition 8.15, p. 416) deals with the existence of compact totally disconnected subgroups $\Delta$ of a compact group G such that $G/\Delta$ is a torus. These $\delta$–subgroups enter into the Resolution Theorem for compact abelian groups ([1], Theorem 8.20, p. 420, see also Section 6). The duals of the short exact sequences $\Delta \rightarrowtail G\twoheadrightarrow T$ where G is a compact group, $\Delta$ is a $\delta$–subgroup of G and thus T is a torus, are precisely the exact sequences $F\rightarrowtail A\twoheadrightarrow D$ where A is a discrete group, F is a free subgroup of A and D is a torsion group. This suggests the study of the full free subgroups F of A, i.e., the free subgroups of A with torsion quotient. Let $\mathcal{F}\left(A\right)$ denote the family of all full free subgroups of A and let $\mathcal{D}\left(G\right)$ denote the family of all $\delta$–subgroups of the compact group G. In Theorem 1, a comprehensive description of $\mathcal{F}\left(A\right)$ is established, and by duality a similarly comprehensive description of $\mathcal{D}\left(G\right)$ is obtained (Theorem 6). In fact, there is an anti-isomorphism of semi-lattices $\delta :\mathcal{F}\left(A\right)\to \mathcal{D}\left(G\right)$ where $G=A^{\wedge }$ (Theorem 5).

The canonical subgroup $\mathbf{\Delta }\left(G\right):=\sum \mathcal{D}\left(G\right)$ of G, referred to as “Fat Delta”, has interesting properties:

(FD1)

It contains $tor\left(G\right)$, is dense in G, and $G/\mathbf{\Delta }\left(G\right)$ is torsion-free and divisible (Theorem 6(2),(4),(6) and Theorem 10(2)).

(FD2)

If G is not totally disconnected, then $\mathbf{\Delta }\left(G\right)$ is a proper subgroup of G, and hence is not locally compact (Proposition 6(1)).

(FD3)

$\mathbf{\Delta }\left(G\right)$ is zero-dimensional (Theorem 19), and contains every closed totally disconnected subgroup of G (Proposition 5).

(FD4)

Fat Delta is a functorial subgroup in the sense that for any morphism $f:G\to H$ we have $f[\mathbf{\Delta }(G\left)\right]\subseteq \mathbf{\Delta }\left(H\right)$ (Corollary 3, Proposition 10(1)), moreover $f[\mathbf{\Delta }(G\left)\right]=\mathbf{\Delta }\left(H\right)$ if f is surjective (Proposition 10(2)).

(FD5)

The Fat Delta of a product is the product of the Fat Deltas of the factors (Theorem 10(4), Proposition 10(4)).

(FD6)

If $G=A^{\wedge }$ is a compact group, then $\mathbf{\Delta }\left(G\right)=Hom(A,\mathbb{Q}/\mathbb{Z})$ (see Theorem 10(1) for a more rigorous formulation).

(FD7)

$\mathbf{\Delta }\left(G\right)$ determines G up to topological isomorphism (Theorem 12).

The group $\mathbf{\Delta }\left(G\right)$ coincides with $tor\left(G\right)$ if and only if $G=T\times E$ with T a finite dimensional torus and E a bounded group (Theorem 9). We obtain a “canonical” resolution theorem (Theorem 15) for a compact abelian group G where the canonical $\mathbf{\Delta }\left(G\right)$ replaces a random $\delta$–subgroup.

In [2], the case of connected compact groups of finite dimension was studied; here we generalize to arbitrary compact abelian groups of any dimension, but even in the case of finite dimension, our results on Fat Delta surpass by far those in [2].

Furthermore, Fat Delta, defined differently, in greater generality, and called $td\left(G\right)$, previously appeared in the literature ([3], pp. 127–128, [4]). We quote, elaborate, and extend results from earlier works as follows.

In Section 7, we provide a different ‘projective’ characterization of $td\left(G\right)$ (see Proposition 9(1)) and various applications of $\mathbf{\Delta }\left(G\right)=td\left(G\right)$. It is proved that td, as a functor, preserves proper exactness of short sequences of compact groups (Corollary 4). The interest in the subgroup $td\left(G\right)$ of compact groups (see Definition 4) was triggered by the intensive research on the Open Mapping Theorem since the early seventies of the last century [3,4,5,6,7,8,9,10,11,12,13,14,15] (see Definition 5 for the relevant properties and Theorem 17 for criteria for the inheritance of these properties from dense subgroups). Section 7.3 is focused on the topological p-Sylow subgroups ${td}_p\left(G\right)$ of $td\left(G\right)$.

The characterization (FD6) of Fat Delta for compact groups first appeared in ([6], (2), p. 217) and ([3], Proposition 4.1.4).

In Section 8, we discuss some open problems.

In a forthcoming paper [16], we extend the characterization (FD6) to larger classes of topological abelian groups (e.g., subgroups of LCA groups). To this end, we introduce there a new series of functorial subgroups in $\mathrm{TAG}$, related to $td\left(G\right)$ and ${td}_p\left(G\right)$, and consider alternative definitions of Fat Delta for non compact groups.

2. Notation and Background

Our reference on abelian groups is [17]. As a rule $A,B,C,D,E,\dots$ denote discrete groups and $G,H,K,L,\dots$ are used to denote topological groups. Unless otherwise stated, p is an arbitrary prime number. If $\mathcal{C}$ is a category of groups, then “A is a $\mathcal{C}$–group” and “$A\in \mathcal{C}$” means that A is an object of $\mathcal{C}$. By $A\le B$ we mean that A is a sub-object of B when $A,B\in \mathcal{C}$. We will deal with the following categories:

• The category $\mathrm{AG}$ of discrete abelian groups with morphisms algebraic homomorphisms, ≅ denoting isomorphism in this category, also called algebraic isomorphism;
• $\mathrm{TAG}$ is the category of topological abelian groups with morphisms continuous algebraic homomorphisms, ${\cong }_{\mathrm{t}}$ denoting isomorphism in this category;
• $\mathrm{LCA}$ is as usual the full subcategory of $\mathrm{TAG}$ consisting of locally compact Hausdorff groups.

We will use $\mathbb{N}:=\{1,2,\dots \}$ and ${\mathbb{N}}_0:=\mathbb{N}\cup \left\{0\right\}$ while $\mathbb{P}$ denotes the set of all prime numbers. Furthermore, $\mathbb{R}$ denotes the additive group of real numbers, $\mathbb{Z}$ the integers and $\mathbb{T}$ the additively written circle group $\mathbb{R}/\mathbb{Z}$ equipped with the compact quotient topology. A torus is a topological group isomorphic with a power ${\mathbb{T}}^{\mathfrak{m}}$ where $\mathfrak{m}$ is any cardinal.

The torsion subgroup (p-torsion subgroup) of an abelian group G is denoted by $tor\left(G\right)$ (${tor}_p\left(G\right)$, respectively). We have $tor\left(\mathbb{T}\right)=\mathbb{Q}/\mathbb{Z}\le \mathbb{T}$ with the subspace topology, and ${tor}_p\left(\mathbb{T}\right)\le \mathbb{Q}/\mathbb{Z}$ with the subspace topology. We use $\mathbb{Z}\left(p^{\infty }\right):={tor}_p\left(\mathbb{T}\right)=\{m/p^n+\mathbb{Z}\mid m,n\in {\mathbb{N}}_0\}$ in agreement with ([1], p. 27).

The m–socle of a group X is $X\left[m\right]:=\{x\in X\mid mx=0\}$ and the socle of X is $Soc\left(X\right)={⨁}_{p\in \mathbb{P}}X\left[p\right]$. By ${\mu }_m^X$ we denote multiplication by m in X. For a subgroup, Y of X and $m\in \mathbb{N}$, define

$$m_X^{-1}Y=\{x\in X\mid mx\in Y\},\mathrm{equivalently},m_X^{-1}Y/Y=(X/Y)\left[m\right].$$

This concept is used to construct larger full free subgroups from given full free subgroups.

In the following discussion of divisible hulls, $\mathbb{Z}\left(p^{\infty }\right)$ is the discrete quasi-cyclic group ([17], p. 16).

The group D is a divisible hull of A if D is divisible and A is an essential subgroup of D, equivalently, if $D/A$ is a torsion group and ${⨁}_{p\in \mathbb{P}}D\left[p\right]\subseteq A$. Divisible hulls exist for any group and divisible groups are direct sums of copies of $\mathbb{Q}$ and of $\mathbb{Z}\left(p^{\infty }\right)$, $p\in \mathbb{P}$ ([17], p. 136).

The $\mathbb{Z}$–adic topology of $\mathbb{Z}$ (having as a local base at 0 the filter base $\{n\mathbb{Z}:n\in \mathbb{N}\})$ will be denoted by ${\nu }_{\mathbb{Z}}$. We denote by $G^{\wedge }$ the Pontryagin dual of a $\mathrm{TAG}$–group G, while $\widehat{G}$ is reserved for the completion of G. In particular, $\widehat{\mathbb{Z}}$ is the completion of $(\mathbb{Z},{\nu }_{\mathbb{Z}})$ and ${\widehat{\mathbb{Z}}}_p$ is the completion of $\mathbb{Z}$ in the p-adic topology.

For topological groups $G,H$ we will deal with $cHom(G,H)$, the set of all continuous homomorphisms from G to H. Throughout, we assume that the groups of morphisms $cHom(G,H)$ carry the compact-open topology. We will use the notation of ([1], p. 337), so recall that the sets $W(C,U)=\{f\in cHom(G,H)\mid f[C]\subseteq U\}$ where C is compact in G and U is open in H, form a basis for the topology of $cHom(G,H)$.

By $c\left(G\right)$ we denote the 0–component of G and by $a\left(G\right)$ the arc component of $0\in G$. A Hausdorff topological group G is zero-dimensional if G has a base of clopen sets. Clearly, every linearly topologized group is zero-dimensional and every zero-dimensional group is totally disconnected. Recall that a group is linearly topologized if it possesses a neighborhood basis at 0 consisting of subgroups.

Lemma 1

([1], E8.6, p. 414). Let G be a locally compact abelian group. Then G is totally disconnected if and only if G is zero-dimensional.

A topological abelian group G is said to be precompact if its completion is compact. It is a well-known and deep fact that a topological abelian group G is precompact if and only if the topology of G is generated by its continuous characters, which means that the characters $\chi \in G^{\wedge }$ separate the points of G and the injective (continuous) diagonal map $G\to {\prod }_{\chi \in G^{\wedge }}\chi \left[G\right]\le {\mathbb{T}}^{G^{\wedge }}$ is an embedding ([3]).

Proposition 1.

Let G be a topological abelian group and let $G_i$, $i\in I$, be a family of topological groups. Then

$$cHom(G,{\prod }_{i\in I}{G}_i){\cong }_{\mathrm{t}}{\prod }_{i\in I}cHom(G,G_i).$$

Proof. 

Let ${\pi }_j:{\prod }_{i\in I}{G}_i\to G_j$ be the projections. Then

$$\pi :cHom(G,{\prod }_{i\in I}{G}_i)\to {\prod }_{i\in I}cHom(G,G_i):\pi \left(f\right)=(\dots ,{\pi }_i\circ f,\dots ).$$

is the restriction of the well-known algebraic isomorphism. Evidently, $\pi \left(f\right)=(\dots ,{\pi }_i\circ f,\dots )\in {\prod }_{i\in I}cHom(G,G_i)$, so $\pi$ is well-defined.

To show that $\pi$ is continuous, consider the generic open neighborhood $V={\prod }_{i\in I}{V}_i$, $V_i=W(C,U_i)$, of $0\in {\prod }_{i\in I}cHom(G,G_i)$ where J is a finite subset of I, $C\subseteq G$ is compact, $U_j$, $j\in J$, is an open neighborhood of $0\in G_j$, $\forall i\notin J:U_i=G_i$. Then $W:=W(C,{\prod }_{i\in I}{V}_i)$ is an open neighborhood of $0\in {\prod }_{i\in I}cHom(G,{\prod }_{i\in I}{G}_i)$ and $\pi \left[W\right]\subseteq V$.

To show that $\pi$ is open, we consider a basic open subset U of $Hom(A,{\prod }_{i\in I}{G}_i)$, i.e., $U=W(C,{\prod }_i{U}_i)$ where C is compact in G and ${\prod }_i{U}_i$ is open in ${\prod }_{i\in I}{G}_i$, i.e., there is a finite subset J of I such that $\forall i\in J:U_i\mathrm{is}\mathrm{open}\mathrm{in}{G}_i$ and $\forall i\notin J:U_i=G_i$. Then $\forall i\in J:W(C,U_i)$ is open in $Hom(G,G_i)$ and $\forall i\notin J:W(C,U_i)=W(C,G_i)=G_i$. Hence, ${\prod }_{i\in I}W(C,U_i)$ is open in ${\prod }_{i\in I}Hom(G,G_i)$ and it is easily checked that $\pi \left[W(C,{\prod }_i{U}_i)\right]={\prod }_{i\in I}W(C,U_i)$ showing that $\pi$ is an open map. □

Let A be a discrete group and G any topological group. Then, the compact open topology on $Hom(A,G)$ coincides with the subspace topology of $Hom(A,G)\subseteq G^A$ where $G^A$ carries the product topology (=topology of point-wise convergence). This is well-known and is easily seen noting that the compact subsets of A are exactly the finite subsets.

Let G and H be topological groups. Recall ([18], p. 1) that $\alpha \in cHom(G,H)$ is proper if $\alpha$ is open onto its range. A short exact sequence $K\rightarrowtail G\twoheadrightarrow H$ is proper if both maps are proper. Embeddings of subgroups are examples of proper monomorphisms, and proper epimorphisms are quotient maps. For a subgroup H of an abelian group G, we denote by $H\stackrel{ins}{\rightarrowtail }G$ the inclusion homomorphism, a proper map.

In ([1], Proposition 1.17, p. 12) Proposition 2 is proved for $G=\mathbb{T}$ in which case ${\prod }_{i\in I}Hom(A_i,G)$ is compact and it is easy to show that $\mathsf{\Phi }$ is a quotient map.

Proposition 2.

Let $A_i$, $i\in I$, be a family of discrete abelian groups, G a topological abelian group. Then

$$\mathsf{\Phi }:\prod _{i\in I}Hom(A_i,G)\overrightarrow{{\cong }_{\mathrm{t}}}Hom\left(\underset{i\in I}{⨁}{A}_i,G\right):\left(\mathsf{\Phi }\left((\dots ,f_i,\dots )\right)\right)\left(\sum _{i\in I}{a}_i\right)=\sum _{i\in I}{f}_i\left(a_i\right).$$

Proof. 

Let ${ins}_i:A_i\to {⨁}_{i\in I}{A}_i$ be the insertions belonging to the direct sum. The map $\mathsf{\Phi }$ is the standard algebraic isomorphism and

$${\mathsf{\Phi }}^{-1}:Hom({⨁}_{i\in I}{A}_i,G)\to {\prod }_{i\in I}Hom(A_i,G):{\mathsf{\Phi }}^{-1}\left(f\right)=(\dots ,f\circ {ins}_i,\dots ).$$

We first show that ${\mathsf{\Phi }}^{-1}$ is continuous. By definition of the product topology, ${\mathsf{\Phi }}^{-1}$ is continuous if and only if ${\pi }_i\circ {\mathsf{\Phi }}^{-1}:Hom({⨁}_{i\in I}{A}_i,G)\to Hom(A_i,G)$ is continuous where ${\pi }_i:{\prod }_{j\in I}Hom(A_j,G)\to Hom(A_i,G)$ is the projection belonging to the product. Let U be an open neighborhood of $0\in G$ and let F be a finite subset of $A_i$. Then $W:=W(F,U)$ is a generic neighborhood of $0\in Hom(A_i,G)$. As $F\subseteq {⨁}_{i\in I}{A}_i$, the set $W^{\prime }=\{f\in Hom({⨁}_{i\in I}{A}_i,G)\mid f\left[F\right]\subseteq U\}$ is an open neighborhood of $0\in Hom({⨁}_{i\in I}{A}_i,G)$. Evidently ${\mathsf{\Phi }}^{-1}\left[W^{\prime }\right]\subseteq W$.

We show next that $\mathsf{\Phi }$ is continuous. Let F be a finite subset of ${⨁}_{i\in I}{A}_i$ and U an open neighborhood of $0\in G$. Then $W=W(F,U)$ is a generic open neighborhood of $0\in Hom({⨁}_{i\in I}{A}_i,G)$. Then there is a finite subset J of I such that $F\subseteq {⨁}_{i\in J}{A}_i$. Furthermore, for $j\in J$, there exist finite sets $B_j\subseteq A_j$ such that $F\subseteq {\sum }_{j\in J}{B}_j$. For $i\notin J$, let $B_j=\left\{0\right\}$. There exists an open neighborhood V of $0\in G$ such that $V^{\left|J\right|}\subseteq U$. Then ${\prod }_{i\in I}W(B_i,V)$ is an open neighborhood of $0\in {\prod }_{i\in I}Hom(A_i,G)$. We claim that $\mathsf{\Phi }\left[{\prod }_{i\in I}W(B_i,V)\right]\subseteq W(F,U)$. Let $f=\left(f_i\right)\in {\prod }_{i\in I}W(B_i,V)$ and $b={\sum }_{j\in J}{b}_j\in F$. Then $\left(\mathsf{\Phi }\left(f\right)\right)\left(b\right)={\sum }_{j\in J}{f}_j\left(b_j\right)\in V^{\left|J\right|}\subseteq U$. □

The following is surely well-known.

Lemma 2.

Let G and H be topological abelian groups and $\phi :G\to H$ a surjective homomorphism with kernel K.

(1) 

Suppose that φ is continuous and K is dense in G. Then H is indiscrete.

(2) 

Suppose that φ is an open map and H is indiscrete. Then K is dense in G.

(3) 

Suppose that H is indiscrete and $cHom(G,H)$ is endowed with the compact-open topology. Then $cHom(G,H)$ is indiscrete.

Proof. 

(1) Suppose that C is a non-empty closed subset of H. Then ${\phi }^{-1}\left[C\right]$ is closed in G containing K. As K is dense in G it follows that ${\phi }^{-1}\left[C\right]=G$. It follows that $C=H$. Hence, the only closed sets in H are H and ∅, so H is indiscrete.

(2) Let $x\in G$ and $U=-U$ a symmetric open neighborhood of $0\in G$. Then $\phi \left[U\right]$ is non-empty and open in H and as H is indiscrete, $\phi \left[U\right]=H$. Hence, there is $y\in U$ such that $\phi \left(y\right)=\phi \left(x\right)$ and so $x-y=z\in K$ and $z\in x+U$ showing that K is dense in G.

(3) The open sets of $cHom(G,H)$ are the sets of the form $W:=W(C,U)=\{f\in cHom(G,H)\mid f[C]\subseteq U\}$ where C is a compact subset of G and U is an open subset of H. By hypothesis $U=\varnothing$ or $U=H$. Whatever C may be, in the first case $W=\varnothing$ and in the second case $W=cHom(G,H)$. □

3. The Meet Semi-Lattice $\mathcal{F}\left(A\right)$ of Full Free Subgroups in AG

The following notation relating an arbitrary group A with its torsion-free quotient $A_0:=A/tor\left(A\right)$ will be used throughout.

Let $A\in \mathrm{AG}$ and let ${\phi }_0:A\to A_0$ be the natural epimorphism. For future use we record the short exact sequence

$${\mathrm{E}}_0:tor\left(A\right)\stackrel{ins}{\rightarrowtail }A\stackrel{{\phi }_0}{\twoheadrightarrow }{A}_0.$$

It is well-known that $\mathbb{Q}{A}_0:=\mathbb{Q}{\otimes }_{\mathbb{Z}}{A}_0\cong \mathbb{Q}{\otimes }_{\mathbb{Z}}A$ is a $\mathbb{Q}$–vector space containing $A_0\cong \mathbb{Z}{\otimes }_{\mathbb{Z}}{A}_0$ as an essential subgroup. Thus $\mathbb{Q}{A}_0$ is a divisible hull of $A_0$. The rank of A is the dimension of $\mathbb{Q}{A}_0$: $rk\left(A\right):=rk\left(A_0\right):={dim}_{\mathbb{Q}}\left(\mathbb{Q}{A}_0\right)$.

For $F\in \mathcal{F}\left(A\right)$, set $F_0:={\phi }_0\left[F\right]=\frac{F\oplus tor\left(A\right)}{tor\left(A\right)}\cong F$. Then $rk\left(A\right)=rk\left(F\right)=rk\left(F_0\right)$.

In the literature, the dimension of a compact abelian group is defined in several equivalent ways. The cardinal $dim\left(G\right)=rk\left(G^{\wedge }\right)$ will serve for the purposes of this article.

For every prime p we define the p-rank of A by ${rk}_p\left(A\right):={dim}_{\mathbb{Z}/p\mathbb{Z}}\left(A\left[p\right]\right)$.

A discrete divisible group D is determined up to isomorphism by the invariants ${rk}_p\left(D\right)$ counting the summands isomorphic to $\mathbb{Z}\left(p^{\infty }\right)$ and $rk(D/tor(D\left)\right)$ counting the summands isomorphic to $\mathbb{Q}$. See ([17], Chapter 4) for details.

Lemma 3.

If A is a torsion-free group, then ${rk}_p(A/pA)\le rk\left(A\right)$.

Proof. 

It suffices to check that if $\{b_1,\dots ,b_n\}$ is a linearly independent subset of $A/pA$, where $b_i=a_i+pA$, $a_i\in A$, then $\{a_1,\dots ,a_n\}$ is linearly independent in A. Assume that $m_1{a}_1+\cdots +m_n{a}_n=0$, with $m_i\in \mathbb{Z}$ for $i=1,2,\dots ,n$. As A is torsion-free, we can assume without loss of generality that $gcd(p,m_j)=1$ for some $j=1,2,\dots ,n$. After projecting in $A/pA$ we obtain $m_1{b}_1+\cdots +m_n{b}_n=0$. By the choice of $\{b_1,\dots ,b_n\}$ this gives $m_i=p\mathbb{Z}$ for all i. This contradicts $gcd(p,m_j)=1$. □

Now we see that the p-ranks of a compact connected group G of finite dimension are bounded from above by $dim\left(G\right)$.

Corollary 1.

Let A be a discrete torsion-free group of finite rank n. Then ${rk}_p\left(A^{\wedge }\right)={rk}_p(A/pA)\le n$.

Proof. 

Clearly, $G=A^{\wedge }$ is a compact connected group with $dim\left(G\right)=n$. The socle $G\left[p\right]$ of G is the kernel of ${\mu }_p^G$, the multiplication by p in G, and hence closed and therefore compact. We have the proper exact sequence $G\left[p\right]\rightarrowtail G\stackrel{{\mu }_p^G}{\twoheadrightarrow }G$ which gives the proper exact sequence $G^{\wedge }\stackrel{{\mu }_p^{G^{\wedge }}}{\rightarrowtail }{G}^{\wedge }=A^{\wedge \wedge }=A\twoheadrightarrow A/pA\cong G{\left[p\right]}^{\wedge }$. Hence, ${rk}_p\left(G{\left[p\right]}^{\wedge }\right)={rk}_p(A/pA)\le rk\left(A\right)=n<\infty$, by Lemma 3. Thus, $G\left[p\right]\cong G{\left[p\right]}^{\wedge }$ and ${rk}_p\left(G\right)={rk}_p\left(G\left[p\right]\right)={rk}_p\left(G{\left[p\right]}^{\wedge }\right)\le n$. □

We first illuminate the abundance of full free subgroups in a group.

Lemma 4.

Let $tor\left(A\right)\ne A\in \mathrm{AG}$. Then the following hold.

(1) 

$\{a_i\mid i\in I\}$ is a linearly independent set in A if and only if $\{a_i+tor\left(A\right)\mid i\in I\}$ is a linearly independent set in $A_0$. Moreover, $\{a_i\mid i\in I\}$ is maximal linearly independent if and only if $\{a_i+tor\left(A\right)\mid i\in I\}$ is maximal linearly independent.

(2) 

If $\{a_i\mid i\in I\}$ is a (maximal) linearly independent set in A and $\forall i\in I:t_i\in tor\left(A\right)$, then $\{a_i+t_i\mid i\in I\}$ is a (maximal) linearly independent subset of A.

(3) 

Every linearly independent set extends to a maximal linearly independent set. In particular, every torsion-free element in A is contained in a maximal linearly independent subset.

(4) 

If $\{a_i\mid i\in I\}$ is a maximal linearly independent subset of A, then $F={⨁}_{i\in I}\mathbb{Z}{a}_i$ is a full free subgroup of A. Conversely, if $F={⨁}_{i\in I}\mathbb{Z}{a}_i$ is a full free subgroup of A, then $\{a_i\mid i\in I\}$ is a maximal linearly independent subset of A.

(5) 

If $F\in \mathcal{F}\left(A\right)$, then $F_0\cong F$ and $A_0/F_0\cong A/(F\oplus tor\left(A\right))$, $F_0\in \mathcal{F}\left(A_0\right)$, and ${\phi }_0^{-1}\left[F_0\right]=F\oplus tor\left(A\right)$.

(6) 

Given $F_0\in \mathcal{F}\left(A_0\right)$, there exists $F\in \mathcal{F}\left(A\right)$ such that ${\phi }_0\left[F\right]=F_0$ and ${\phi }^{-1}\left[F_0\right]=F\oplus tor\left(A\right)$. If $F,F^{\prime }\in \mathcal{F}\left(A\right)$ and $F_0=F_0^{\prime }$, then there is $\phi \in Hom(F,tor(A\left)\right)$ such that $F^{\prime }=\{\phi \left(x\right)+x\mid x\in F\}$. Note that $Hom(F,tor\left(A\right))\cong tor{\left(A\right)}^{rk\left(A\right)}$

(7) 

A maximal linearly independent subset of $A_0$ is a $\mathbb{Q}$–basis of $\mathbb{Q}{A}_0$.

(8) 

If $\{v_i\mid i\in I\}$ is a $\mathbb{Q}$–basis of $\mathbb{Q}{A}_0$, then there exist positive integers $m_i$ such that $\forall i\in I:m_i{v}_i\in A$ and $F={⨁}_{i\in I}\mathbb{Z}\left(m_i{v}_i\right)$ is a full free subgroup of A.

Proof. 

Maximal linearly independent subsets exist by Zorn’s Lemma.

(6) Suppose that $F,F^{\prime }\in \mathcal{F}\left(A\right)$ and $F_0=F_0^{\prime }$. Then $F\oplus tor\left(A\right)=F^{\prime }\oplus tor\left(A\right)$. By ([19], Lemma 1.1.3, p. 6) there exists $\phi \in Hom(F,tor(A\left)\right)$ such that $F^{\prime }=\{\phi \left(x\right)+x\mid x\in F\}$.

The rest consists of easy and well-known observations. □

We always assume that $A_0\ne \left\{0\right\}$, i.e., we assume that A is not a torsion group. The dual $T^{\wedge }$ of a torsion group T is a compact totally disconnected group.

Theorem 1.

For $A\in \mathrm{AG}$, the family $\mathcal{F}:=\mathcal{F}\left(A\right)$ has the following properties.

(1) 

Let $F,F^{\prime }\in \mathcal{F}$. Then $F\cap F^{\prime }\in \mathcal{F}$.

(2) 

If $F\in \mathcal{F}$, $F^{\prime }\le F$ and $F/F^{\prime }$ is a torsion group, then $F^{\prime }\in \mathcal{F}$.

(3) 

If $F\in \mathcal{F}$, then $\forall m\in \mathbb{N}:mF\in \mathcal{F}$ and ${\bigcap }_{m}mF=\left\{0\right\}$.

(4) 

$\bigcap \mathcal{F}=\left\{0\right\}$. If $A\ne tor\left(A\right)$ then $\bigcup \mathcal{F}=A\backslash tor\left(A\right)$ and $\sum \mathcal{F}=A$.

(5) 

$\mathcal{F}$ is a meet semi-lattice with meet ∩.

(6) 

Let $F\in \mathcal{F}$. Then $\forall m\in \mathbb{N}:m_A^{-1}F=F^{\prime }\oplus A\left[m\right]$ for some $F^{\prime }\in \mathcal{F}$, and $(F^{\prime }\oplus A\left[m\right])/F=(A/F)\left[m\right]$. If A is torsion-free, then $m_A^{-1}F\in \mathcal{F}$.

Proof. 

(1) Certainly $F\cap F^{\prime }$ is free as subgroup of free groups. The map $A/(F\cap F^{\prime })\to A/F\oplus A/F^{\prime }:a+(F\cap F^{\prime })\mapsto (a+F,a+F^{\prime })$ is well-defined and injective. Hence, $A/(F\cap F^{\prime })$ is torsion.

(2) and (3) are trivial.

(4) It follows from (3) that $\bigcap \mathcal{F}=\left\{0\right\}$. If $A\ne tor\left(A\right)$, then $\bigcup \mathcal{F}=A\backslash tor\left(A\right)$ is evident, and it follows from Lemma 4(2) that $\sum \mathcal{F}=A$.

(5) Follows from (1).

(6.1) We first assume that A is torsion-free. Then the multiplication ${\mu }_m^A$ is injective, and ${\mu }_m^A:A\to mA$ is an isomorphism. Thus, $m^{-1}F={\left({\mu }_m^A\right)}^{-1}[mA\cap F]$ is free since F is free. As $F\subseteq m_A^{-1}F$ it follows that $m_A^{-1}F\in \mathcal{F}$.

(6.2) Recall that $F_0\in \mathcal{F}\left(F_0\right)$ and by (6.1) $F_0\subseteq m_{A_0}^{-1}{F}_0\in \mathcal{F}\left(A_0\right)$ with $\left(m_{A_0}^{-1}{F}_0\right)/F_0=(A_0/F_0)\left[m\right]$. It is straightforward to check that ${\phi }_0\left[m_A^{-1}F\right]\subseteq m_{A_0}^{-1}{F}_0$ and it follows that ${\phi }_0\left[m_A^{-1}F\right]$ is free. Hence, the epimorphism ${\phi }_0:m_A^{-1}F\to {\phi }_0\left[m_A^{-1}F\right]$ splits with kernel $m_A^{-1}F\cap tor\left(A\right)=tor\left(A\right)\left[m\right]$. Hence, $m_A^{-1}F=F^{\prime }\oplus tor\left(A\right)\left[m\right]$ for some free group $F^{\prime }\cong {\phi }_0\left[m_A^{-1}F\right]$.

It remains to show that $A/F^{\prime }$ is a torsion group. As $A_0/F_0$ is torsion and $F_0\subseteq {\phi }_0\left[m_A^{-1}F\right]$, we see that $A_0/{\phi }_0\left[m_A^{-1}F\right]$ is a torsion group. Let $a\in A$. Then there is $k\in \mathbb{N}$ such that $k{\phi }_0\left(a\right)\in {\phi }_0\left[m_A^{-1}F\right]={\phi }_0\left[F^{\prime }\right]$. Hence, $k{\phi }_0\left(a\right)={\phi }_0\left(ka\right)={\phi }_0\left(b\right)$ for some $b\in F^{\prime }$ and $ka-b\in Ker\left({\phi }_0\right)=tor\left(A\right)$. Thus, there is $k^{\prime }\in \mathbb{N}$ such that $k^{\prime }ka=k^{\prime }b\in F^{\prime }$. Finally, $(F^{\prime }\oplus A\left[m\right])/F=\left(m_A^{-1}F\right)/F=(A/F)\left[m\right]$. □

Remark 1.

In general, $\mathcal{F}\left(A\right)$ is not closed under finite sums, so $\mathcal{F}\left(A\right)$ may not be a lattice, and therefore, $A=\sum \mathcal{F}\left(A\right)$ may not be the directed union (direct limit) of its members. However, for $A=A_0$, using Theorem 1(6) (with $tor\left(A\right)=\left\{0\right\})$, given $F\in \mathcal{F}\left(A\right)$, also the larger $m_A^{-1}F$ is a full free subgroup, and as $A/F$ is a torsion group, we obtain an ascending chain

$$F={(1!)}_A^{-1}F\subseteq {(2!)}_A^{-1}F\subseteq \cdots \subseteq {(m!)}_A^{-1}F\subseteq {((m+1)!)}_A^{-1}F\subseteq \cdots$$

of full free subgroups of A whose union is A.

In the case of a torsion-free group A of finite rank, the quotients $A/F$ for $F\in \mathcal{F}\left(A\right)$ are somewhat alike ([2], Theorem 3.5(9)). For arbitrary rank there is a great variety of quotients $A/F$.

Proposition 3.

Let A be an abelian group of infinite rank $\mathfrak{m}$. Let $F\in \mathcal{F}\left(A\right)$. Then $rk\left(F\right)=\left|F\right|=\mathfrak{m}$. Let T be any torsion group that is $\mathfrak{m}$–generated. Then there is an epimorphism $\phi :F\twoheadrightarrow T$ with $F_{\phi }:=Ker\left(\phi \right)\in \mathcal{F}\left(A\right)$, and there is an exact sequence $T\rightarrowtail A/F_{\phi }\twoheadrightarrow A/F$. Moreover, ${rk}_p(A/F)\le \mathfrak{m}$.

Proof. 

Routine and simple. □

In the case of infinite rank, the sum of two full free subgroups need not be free, as shown by Jim Reid (([20], Theorem 2.2)):

Theorem 2.

Let A be a torsion-free group of infinite rank.

(a) 

(([20], Theorem 2.2) and its proof) Given a free subgroup F of A with $rk\left(F\right)=rk\left(A\right)$, there is a second free subgroup $F_1$ such that $A=F+F_1$.

(b) 

([20], Corollary 3.5) There exists a full free subgroup $F_0$ of A such that $A/F_0$ is divisible (A is “quotient divisible”).

One can deduce from (a) that in a torsion-free group A of infinite rank every non-free subgroup of torsion index is the sum of two full free subgroups.

Definition 1.

An abelian group A is $\mathcal{F}$-summable if for any $F_1,F_2\in \mathcal{F}\left(A\right)$ also $F_1+F_2\in \mathcal{F}\left(A\right)$.

Theorem 2(a) yields:

Theorem 3.

$A\in \mathrm{AG}$ is $\mathcal{F}$-summable if and only if A is either torsion-free of finite rank or is free of arbitrary rank.

Proof. 

If $tor\left(A\right)\ne \left\{0\right\}$, then there are full free subgroups whose sum contains torsion elements (Lemma 4(2)). So a summable group must be torsion-free.

Suppose that A is torsion-free and $\mathcal{F}$-summable of infinite rank. Then A is the sum of two free subgroups and hence of two full free subgroups. As A is summable, it is free. The converse is clear.

If the torsion-free group A has finite rank, then full free subgroups are finitely generated and finitely generated torsion-free subgroups are free. □

4. The Semi-Lattices $\mathcal{F}\left(A\right)$ and $\mathcal{D}\left(G\right)$

Let $A\in \mathrm{AG}$ and $G=A^{\wedge }$. Then G is compact, not necessarily connected. Let $F\in \mathcal{F}\left(A\right)$. Then $F\stackrel{ins}{\rightarrowtail }A\stackrel{\alpha }{\twoheadrightarrow }A/F$ is exact where $\alpha$ is the natural epimorphism. Therefore,

$${(A/F)}^{\wedge }\stackrel{{\alpha }^{\wedge }}{\rightarrowtail }G\stackrel{restr}{\twoheadrightarrow }{F}^{\wedge }$$

is exact, where $F^{\wedge }$ is a torus isomorphic to ${\mathbb{T}}^{rk\left(A\right)}$ and ${\alpha }^{\wedge }\left[{(A/F)}^{\wedge }\right]$ is a compact totally disconnected subgroup of G. Hence, ${\alpha }^{\wedge }\left[{(A/F)}^{\wedge }\right]\in \mathcal{D}\left(G\right)$. We obtained the mapping

$$\mathcal{F}\left(A\right)\to \mathcal{D}\left(G\right):F\mapsto {\alpha }^{\wedge }\left[{(A/F)}^{\wedge }\right].$$

(1)

Let G be a compact group and $A=G^{\wedge }$. Then A is a possibly mixed group. Let $\Delta \in \mathcal{D}\left(G\right)$. Then $\Delta \stackrel{ins}{\rightarrowtail }G\stackrel{\beta }{\twoheadrightarrow }G/\Delta$ is exact where $\beta$ is the natural epimorphism and $G/\Delta$ is a torus. Therefore,

$${(G/\Delta )}^{\wedge }\stackrel{{\beta }^{\wedge }}{\rightarrowtail }A\stackrel{restr}{\twoheadrightarrow }{\Delta }^{\wedge }$$

is exact, where ${\Delta }^{\wedge }$ is a torsion group and ${\beta }^{\wedge }\left[{(G/\Delta )}^{\wedge }\right]$ is a full free subgroup of A. Hence, ${\beta }^{\wedge }\left[{(G/\Delta )}^{\wedge }\right]\in \mathcal{F}\left(A\right)$. We obtained

$$\mathcal{D}\left(G\right)\to \mathcal{F}\left(A\right):\Delta \mapsto {\beta }^{\wedge }\left[{(G/\Delta )}^{\wedge }\right].$$

(2)

Lemma 5.

Let $G\in \mathrm{LCA}$ and H a closed subgroup of G. The sequence $H\stackrel{ins}{\rightarrowtail }G\stackrel{\phi }{\twoheadrightarrow }G/H$ is exact in $\mathrm{LCA}$. Hence,

$${(G/H)}^{\wedge }\stackrel{{\phi }^{\wedge }}{\rightarrowtail }{G}^{\wedge }\stackrel{restr}{\twoheadrightarrow }{H}^{\wedge }$$

(3)

is exact in $\mathrm{LCA}$, and ${\phi }^{\wedge }\left[{(G/H)}^{\wedge }\right]=(G^{\wedge },H)$.

Proof. 

Suppose first that $\chi \in (G^{\wedge },H)$. Then $\chi \left[H\right]=\left\{0\right\}$, so $\chi {\upharpoonright }_H=0$. Hence, $\chi$ is in the kernel of the restriction map in (3), i.e., $\chi \in Ker(restr)={\alpha }^{\wedge }\left[{(A/F)}^{\wedge }\right]$. Conversely, if $\chi \in Ker(restr)$, then $\chi \left[H\right]=\left\{0\right\}$ and $\chi \in (G^{\wedge },H)$. □

For a general topological abelian group G, the family $Lat\left(G\right)$ of closed subgroups is a lattice with the operations $C_1\wedge C_2=C_1\cap C_2$ and $C_1\vee C_2=\overline{C_1+C_2}$. There also exist greatest lower bounds and least upper bounds for infinite families: Let $\mathcal{C}$ be a family of closed subgroups of G. Then $\bigcap \mathcal{C}$ is a closed subgroup of G and $\bigcap \mathcal{C}=\bigwedge \mathcal{C}$. The subgroup $\overline{\sum \mathcal{C}}$ is closed and $\overline{\sum \mathcal{C}}=\bigvee \mathcal{C}$. See ([1], p. 361).

We will establish that $\mathcal{F}\left(A\right)$ and $\mathcal{D}\left(A^{\wedge }\right)$ are anti-isomorphic semi-lattices. To do so, we use results of ([1], p. 351) where we find annihilators $H^{\perp }$ defined as follows.

For $G\in \mathrm{LCA}$, we have the pairing $G^{\wedge }\times G\to \mathbb{T}:(\chi ,g)\mapsto \chi \left(g\right)$. For a subset X of G, we define the annihilator $X^{\perp }$ of $X\subseteq G$ in $G^{\wedge }$ by $X^{\perp }:=(G^{\wedge },X)=\{\chi \in G^{\wedge }\mid \chi \left[X\right]=0\}$ while for $Y\subseteq G^{\wedge }$, we define $Y^{\perp }=\{g\in G\mid \forall \rho \in Y:\rho \left(g\right)=0\}$

Note that $X^{\perp \perp }\subseteq G$ is not the same as $(G^{\wedge \wedge },X^{\perp })=(G^{\wedge \wedge },(G^{\wedge },X))$. However, they are topologically isomorphic:

Lemma 6.

Let $A\in \mathrm{LCA}$. Then, for $X\subseteq A$, the natural evaluation isomorphism ${\eta }_A:A\to A^{\wedge \wedge }$ restricts to an isomorphism $X^{\perp \perp }\to (A^{\wedge \wedge },X^{\perp })$, ${\eta }_A\left[X^{\perp \perp }\right]=(A^{\wedge \wedge },X^{\perp })$. In particular, $X^{\perp \perp }$ is a full free subgroup of A if and only if $(A^{\wedge \wedge },X^{\perp })$ is a full free subgroup of $A^{\wedge \wedge }$.

Proof. 

We need to check that ${\eta }_A\left[X^{\perp \perp }\right]=(A^{\wedge \wedge },X^{\perp })$. Let $a\in A$. Then

${\eta }_A\left(a\right)\in (A^{\wedge \wedge },X^{\perp })⟺\forall \chi \in X^{\perp }:{\eta }_A\left(a\right)\left(\chi \right)=\chi \left(a\right)=0⟺a\in X^{\perp \perp }$. □

We rely on the basic properties of annihilators ([1], pp. 351–362), in particular see ([1], Theorem 7.64, p. 392); alternatively see ([21], pp. 270–275).

Theorem 4

([1], Theorem 7.64(iv),(v), (vi), p. 392). Let $G\in \mathrm{LCA}$. Then $H\mapsto H^{\perp }=(G^{\wedge },H)$ with $H^{\perp \perp }=H$, is a lattice anti-isomorphism between $Lat\left(G\right)$ and $Lat\left(G^{\wedge }\right)$. In particular, $H\subseteq K$ if and only if $K^{\perp }\subseteq H^{\perp }$.

If $H\rightarrowtail G\twoheadrightarrow G/H$ is proper exact in $\mathrm{LCA}$, then

$${(G/H)}^{\wedge }{\cong }_{\mathrm{t}}{H}^{\perp }\mathrm{and}{H}^{\wedge }{\cong }_{\mathrm{t}}{G}^{\wedge }/H^{\perp }.$$

Theorem 5.

Let $A\in \mathrm{AG}$ and $G=A^{\wedge }$. The lattice anti-isomorphism $H\mapsto H^{\perp }$ of Theorem 4 restricts to an anti-isomorphism of semi-lattices $\delta :\mathcal{F}\left(A\right)\to \mathcal{D}\left(G\right)$. In particular we have:

• $\mathcal{D}\left(G\right)$ is a join semi-lattice with join +.
• $\forall F,F_1,F_2\in \mathcal{F}\left(A\right):\delta \left(F\right)=F^{\perp }\in \mathcal{D}\left(G\right)$; if $F_1\subseteq F_2$, then $\delta \left(F_2\right)\subseteq \delta \left(F_1\right)$; $\delta (F_1\cap F_2)=\delta \left(F_1\right)+\delta \left(F_2\right)$.

Proof. 

By Theorem 4 we only need to show that $\delta \left(\mathcal{F}\right(A\left)\right)=\mathcal{D}\left(G\right)$.

Let $F\in \mathcal{F}\left(A\right)$. Then $F^{\perp }=(G,F)$ by definition, and $(G,F)={\alpha }^{\wedge }\left[{(A/F)}^{\wedge }\right]\in \mathcal{D}\left(G\right)$ by Lemma 5 and (1). So $\delta$ is well defined.

Let $\Delta \in \mathcal{D}\left(G\right)$. By (2) ${\beta }^{\wedge }\left[{(G/\Delta )}^{\wedge }\right]\in \mathcal{F}\left(A^{\wedge \wedge }\right)$ and by Lemma 6 ${\Delta }^{\perp }\in \mathcal{F}\left(A\right)$ and $\delta \left({\Delta }^{\perp }\right)={\Delta }^{\perp \perp }=\Delta$. □

We now establish, for a compact group $G=A^{\wedge }$, the properties of $\mathcal{D}\left(G\right)$ corresponding to the properties of $\mathcal{F}\left(A\right)$. Recall that for any $m\in \mathbb{N}$ and any subgroup Y of X, we have $m_X^{-1}Y=\{x\in X\mid mx\in Y\}$.

Definition 2.

For a compact abelian group G set $\mathbf{\Delta }\left(G\right):=\sum \mathcal{D}\left(G\right)$.

We collect here some properties of the subgroup $\mathbf{\Delta }\left(G\right)$, “Fat Delta”.

Theorem 6.

Let $G=A^{\wedge }$, $A\in \mathrm{AG}$. The family $\mathcal{D}:=\mathcal{D}\left(G\right)$ has the following properties.

(1) 

$\mathcal{D}$ is a join semi-lattice with join +. Hence, $\mathbf{\Delta }\left(G\right)=\bigcup \mathcal{D}$.

(2) 

$\mathbf{\Delta }\left(G\right)$ is dense in G, while $\bigcap \mathcal{D}=\left\{0\right\}$ if $c\left(G\right)\ne \left\{0\right\}$, otherwise $\bigcap \mathcal{D}=G$.

(3) 

Let $\Delta =\delta \left(F\right)$ and ${\Delta }^{\prime }=\delta \left(F^{\prime }\right)$ and assume that $\Delta \subseteq {\Delta }^{\prime }$. Then $F^{\prime }\subseteq F$ and ${\Delta }^{\prime }/\Delta {\cong }_{\mathrm{t}}{(F/F^{\prime })}^{\wedge }$.

(4) 

If $\Delta \in \mathcal{D}$, then $m_G^{-1}\Delta \in \mathcal{D}$ for any $m\in \mathbb{N}$. Hence, $tor(G/\Delta )\subseteq \Delta /\Delta$ and $tor\left(G\right)\subseteq \mathbf{\Delta }\left(G\right)$.

(5) 

Let $\Delta \in \mathcal{D}$ and $m\in \mathbb{N}$. Then there is ${\Delta }^{\prime }\in \mathcal{D}$ such that $m\Delta ={\Delta }^{\prime }\cap mG$. If A is torsion-free, then $m\Delta \in \mathcal{D}$.

(6) 

$G/\mathbf{\Delta }\left(G\right)$ is torsion-free.

Proof. 

(1) Theorem 5 establishes the semi-lattice property. As $\mathcal{D}$ is closed under finite sums, we have $\sum \mathcal{D}=\bigcup \mathcal{D}$.

(2) By ([1], Theorem 7.64(vii), p. 392) $\overline{\bigcup \mathcal{D}}=(G,\bigcap \mathcal{F}\left(A\right))=(G,0)=G$ and $\bigcap \mathcal{D}=(G,\sum \mathcal{F}(A\left)\right)$. If $A\ne tor\left(A\right)$, then $\sum \mathcal{F}\left(A\right)=A$, by Theorem 1(4). So, $\overline{\bigcup \mathcal{D}}=(G,A)=\left\{0\right\}$ in this case. If G is totally disconnected, then $\mathcal{D}=\left\{G\right\}$, so $\bigcap \mathcal{D}=G$.

(3) We have the following commutative diagram with natural maps and exact rows

We conclude that

$$\frac{{\Delta }^{\prime }}{\Delta }=\frac{{\left({\phi }^{\prime }\right)}^{\wedge }\left[{(A/F^{\prime })}^{\wedge }\right]}{{\phi }^{\wedge }\left[{(A/F)}^{\wedge }\right]}{\cong }_{\mathrm{t}}\frac{{(A/F^{\prime })}^{\wedge }}{{\psi }^{\wedge }\left[{(A/F)}^{\wedge }\right]}{\cong }_{\mathrm{t}}{\left(\frac{F}{F^{\prime }}\right)}^{\wedge }$$

(4) Let $\Delta =F^{\perp }=(G,F)\in \mathcal{D}$ with $F\in \mathcal{F}\left(A\right)$. If $m\in \mathbb{N}$, then $m_G^{-1}\Delta =m_G^{-1}(G,F)=(G,mF)$ (cf. [21], Lemma 6.4.14, p. 274), so since $mF\in \mathcal{F}\left(A\right)$ we have $m_G^{-1}\Delta \in \mathcal{D}$.

(5) Let $\Delta =\delta \left(F\right)$ for some $F\in \mathcal{F}\left(A\right)$. By Theorem 1(3) we know that $m_A^{-1}F=F^{\prime }\oplus A\left[m\right]$ for some $F^{\prime }\in \mathcal{F}\left(A\right)$. Using ([21], Lemma 6.4.13, p. 27) and ([21], Lemma 6.4.15, p. 27) we obtain $m\Delta =m\delta \left(F\right)=\overline{m(G,F)}=(G,m_A^{-1}F)=(G,F^{\prime }+A\left[m\right])=(G,F^{\prime })\cap (G,A\left[m\right])=\delta \left(F^{\prime }\right)\cap \overline{mG}$. Furthermore, $\delta \left(F\right)$ and G are both compact and hence, so are $m\delta \left(F\right)$ and $mG$, therefore closed, and equal to the closures.

(6) Let $x\in G$. If $mx\in \mathbf{\Delta }\left(G\right)$ for some $m\in \mathbb{N}$, then $mx\in \Delta$ for some $\Delta \in \mathcal{D}$. Then $x\in m_G^{-1}\Delta \in \mathcal{D}$ by (4), thus $x\in \mathbf{\Delta }\left(G\right)$. Therefore $G/\mathbf{\Delta }\left(G\right)$ is torsion-free. □

The fact that linearly independent sets can be enlarged to maximal linearly independent sets has the following dual.

Proposition 4.

Let $G=A^{\wedge }$ be a compact abelian group of infinite dimension.

Suppose that Θ is a subgroup of G such that $G/\Theta$ is a torus of dimension $\mathfrak{m}$. Then Θ contains some $\Delta \in \mathcal{D}\left(G\right)$ and $\mathfrak{m}\le dim\left(G\right)$.

Proof. 

$\Theta =E^{\perp }$ for some subgroup E of A (Theorem 4). We claim that E is a free subgroup of A. From $\Theta \stackrel{ins}{\rightarrowtail }G\twoheadrightarrow T$ where T is a torus of dimension $\mathfrak{m}$, we conclude the exact sequence $T^{\wedge }\rightarrowtail A^{\wedge \wedge }\stackrel{restr}{\twoheadrightarrow }{\Theta }^{\wedge }$. By Lemma 5 $T^{\wedge }\cong (A^{\wedge \wedge },\Theta )$ and by Lemma 6 $(A^{\wedge \wedge },\Theta )\cong (A,\Theta )=E^{\perp \perp }=E$. As $T^{\wedge }$ is free of rank $\mathfrak{m}$ as the dual of a torus, so is E and $\mathfrak{m}\le rk\left(A\right)$. Let F be a full free subgroup containing E. Then $\Delta :=F^{\perp }\in \mathcal{D}\left(G\right)$ and $\Theta =E^{\perp }\supseteq F^{\perp }=\Delta$. □

Let $G=A^{\wedge }$. We next study the connection between $\mathcal{D}\left(G\right)$, $\mathcal{D}(c(G\left)\right)$, $\mathbf{\Delta }\left(G\right)$, and $\Delta (c(G\left)\right)$. Given A, let $T=tor\left(A\right)$ and let $F\in \mathcal{F}\left(A\right)$. Then, we obtain the following commutative diagram with exact rows and its dual.

We now set

• $\Delta :={\psi }^{\wedge }\left[{\left(\frac{A}{F}\right)}^{\wedge }\right]$
• $G_0:={\phi }_0^{\wedge }\left[A_0^{\wedge }\right]$
• ${\Delta }_0:=({\phi }_0^{\wedge }\circ {\psi }_0^{\wedge })\left[{\left(\frac{A_0}{F_0}\right)}^{\wedge }\right]=({\psi }^{\wedge }\circ {\phi }_0^{\wedge }))\left[{\left(\frac{A_0}{F_0}\right)}^{\wedge }\right]\subseteq G$

and obtain

(4)

We have the following easy consequences.

Theorem 7.

Let $G=A^{\wedge }$ where $A\in \mathrm{AG}$ and consider (4), where $T=tor\left(A\right)$.

(1) 

$G_0={\phi }_0^{\wedge }\left[A_0^{\wedge }\right]=tor{\left(A\right)}^{\perp }$ coincides with the 0–component $c\left(G\right)$ of G.

(2) 

$c\left(G\right)$ is divisible and so, algebraically, $G\cong c\left(G\right)\oplus T^{\wedge }$ and $G{\cong }_{\mathrm{t}}c\left(G\right)\oplus T^{\wedge }$ if and only if A splits, i.e., $A\cong A_0\oplus T$.

(3) 

${\Delta }_0=\Delta \cap c\left(G\right)$. Thus $\mathcal{D}(c(G\left)\right)=\{D\cap c(G)\mid D\in \mathcal{D}(G\left)\right\}$, $\mathbf{\Delta }(c(G\left)\right)=\mathbf{\Delta }\left(G\right)\cap c\left(G\right)$, and $\Delta (c(G\left)\right)$ is closed in $\mathbf{\Delta }\left(G\right)$.

(4) 

$G=\Delta +c\left(G\right)$ and $\mathbf{\Delta }\left(G\right)=\Delta +\mathbf{\Delta }(c(G\left)\right)$.

(5) 

$c\left(G\right)/{\Delta }_0{\cong }_{\mathrm{t}}G/\Delta$ and $\Delta /{\Delta }_0{\cong }_{\mathrm{t}}G/c\left(G\right){\cong }_{\mathrm{t}}{T}^{\wedge }$.

(6) 

With the established notation $\mathbf{\Delta }(c(G\left)\right)$ is divisible and hence algebraically a direct summand of $\mathbf{\Delta }\left(G\right)$.

(7) 

There is a topological isomorphism $tor{\left(A\right)}^{\wedge }{\cong }_{\mathrm{t}}\frac{\Delta }{{\Delta }_0}\to \frac{\mathbf{\Delta }\left(G\right)}{\mathbf{\Delta }(c(G\left)\right)}$.

Proof. 

(1) As $A_0$ is torsion-free, its dual $G_0$ is connected and $G/G_0$ is totally disconnected. Hence, $G_0$ is the 0–component of G: $c\left(G\right)=G_0$. The equality ${\phi }_0^{\wedge }\left[A_0^{\wedge }\right]=tor{\left(A\right)}^{\perp }$ follows from Lemma 5.

(2) $c\left(G\right)$ is divisible as the dual of a torsion-free group. The rest is evident.

(3) It follows from the definition that ${\Delta }_0\subseteq \Delta \cap c\left(G\right)$. On the other hand, let $x\in \Delta \cap c\left(G\right)$. Then $0={restr}_G\left(x\right)=({restr}_G\circ {ins}_{\Delta })\left(x\right)={restr}_{\Delta }\left(x\right)$, hence, $x\in {\Delta }_0$. This proves the equality ${\Delta }_0=\Delta \cap c\left(G\right)$.

The topological isomorphism $A_0^{\wedge }\to c\left(G\right)={\phi }_0^{\wedge }\left[A_0^{\wedge }\right]$ maps the family $\mathcal{D}\left(A_0^{\wedge }\right)$ onto $\mathcal{D}(c(G\left)\right)$. Thus, the annihilator $(A_0^{\wedge },(F\oplus T)/T)$, a typical member of $\mathcal{D}\left(A_0^{\wedge }\right)$, is mapped onto ${\Delta }_0=(G,F)\cap c\left(G\right)$, a typical member of $\mathcal{D}(c(G\left)\right)$. Therefore, $\mathcal{D}(c(G\left)\right)=\{D\cap c(G)\mid D\in \mathcal{D}(G\left)\right\}$ and $\mathbf{\Delta }(c(G\left)\right)=\mathbf{\Delta }\left(G\right)\cap c\left(G\right)$.

(4) We have $\Delta +c\left(G\right)={\psi }^{\wedge }\left[{(A/F)}^{\wedge }\right]+{\phi }_0^{\wedge }\left[A_0^{\wedge }\right]=(G,F)+(G,T)=(G,F\cap T)=G$. By (4) we have $\Delta +\mathbf{\Delta }(c(G\left)\right)=\Delta +(c(G)\cap \mathbf{\Delta }(G\left)\right)=(\Delta +c(G\left)\right)\cap \mathbf{\Delta }\left(G\right)=\mathbf{\Delta }\left(G\right)$.

(5) Follows immediately from (3) and (4).

(6) $c\left(G\right)$ is divisible and $\Delta (c(G\left)\right)$ is pure in $c\left(G\right)$. Hence, $\Delta (c(G\left)\right)$ is divisible.

(7) We have the following commutative diagram with exact row and natural maps:

The map $\xi$ is injective because $\Delta \cap \mathbf{\Delta }(c\left(G\right))={\Delta }_0$. By (5), $\mathbf{\Delta }\left(G\right)=\Delta +\mathbf{\Delta }(c(G\left)\right)$, so $\xi$ is surjective. To show that $\xi$ is continuous, let U be open in $\mathbf{\Delta }\left(G\right)/\mathbf{\Delta }(c(G\left)\right)$. By commutativity of the right square in the diagram, $W:=\{x\in \Delta \mid \xi (\alpha \left(x\right))\in U\}$ is open in $\Delta$, thus ${\xi }^{-1}\left[U\right]=\alpha \left[W\right]$ is open in $\Delta /{\Delta }_0$. Therefore, $\xi$ is continuous. Since $\Delta /{\Delta }_0$ is compact, we conclude that $\xi$ is a topological isomorphism. □

A number of results on free subgroups are worth dualizing.

Theorem 8.

Let $G=A^{\wedge }$ be a compact abelian group of infinite dimension.

(1) 

Suppose that D is a closed subgroup of G such that $G/D$ is a torus. Then there exists $\Delta \in \mathcal{D}\left(G\right)$ such that $D\cap \Delta \cap c\left(G\right)=0$. In particular, for every $\Delta \in \mathcal{D}\left(G\right)$, there is ${\Delta }^{\prime }\in \mathcal{D}\left(G\right)$ such that $\Delta \cap {\Delta }^{\prime }\cap c\left(G\right)=0$.

(2) 

There exists $\Delta \in \mathcal{D}\left(G\right)$ such that ${\Delta }_0=\Delta \cap c\left(G\right)\in \mathcal{D}(c\left(G\right))$ is torsion-free.

Proof. 

(1) Let $F=D^{\perp }$. Then $F{\cong }_{\mathrm{t}}{(G/D)}^{\wedge }$ is a free subgroup of A. So ${\phi }_0\left[F\right]$ is free in $A_0$. By Theorem 2(a), there exists a free subgroup $F_1$ of $A_0$ such that $A_0=F+F_1$. By enlarging $F_1$ if necessary we may assume that $F_1$ is maximal, i.e., full free. There exists a (full) free subgroup $F_2$ of A such that ${\phi }_0\left[F_2\right]=F_1$. Then $A=F+F_2+tor\left(A\right)$ and $0=F^{\perp }\cap F_2^{\perp }\cap tor{\left(A\right)}^{\perp }$. The claim is established by setting ${\Delta }^{\prime }=F_2^{\perp }$.

(2) By Theorem 2(b), there exists a full free subgroup $F_0$ of $A_0$ such that $A_0/F_0$ is divisible. There exists $F\in \mathcal{F}\left(A\right):{\phi }_0\left[F\right]=F_0$ and $\frac{tor\left(A\right)\oplus F}{F}\rightarrowtail \frac{A}{F}\twoheadrightarrow \frac{A_0}{F_0}$ is exact. By duality ${(A_0/F_0)}^{\wedge }\rightarrowtail {(A/F)}^{\wedge }\twoheadrightarrow tor{\left(A\right)}^{\wedge }$. As $A_0/F_0$ is divisible, its dual is torsion-free ([1], corollary 8.5, p. 410), so ${\Delta }_0:={(A_0/F_0)}^{\wedge }\in \mathcal{D}\left(A_0^{\wedge }\right)$ is torsion-free. Modulo embeddings ${\Delta }_0\subseteq \Delta ={(A/F)}^{\wedge }\in \mathcal{D}\left(A\right)$ and ${\Delta }_0=\Delta \cap c\left(G\right)$. □

Corollary 2.

Let $G=A^{\wedge }$ be a compact connected abelian group of infinite dimension, i.e., A is torsion-free of infinite torsion-free rank.

(1) 

Suppose that D is a subgroup of G such that $G/D$ is a torus. Then there exists a subgroup $D^{\prime }$ of G such that $D\cap D^{\prime }=0$ and $G/D^{\prime }$ is a torus. In particular, for every $\Delta \in \mathcal{D}\left(G\right)$, there is ${\Delta }^{\prime }\in \mathcal{D}\left(G\right)$ such that $\Delta \cap {\Delta }^{\prime }=0$.

(2) 

There exists a torsion-free $\Delta \in \mathcal{D}\left(G\right)$.

We can easily settle the question when $\mathbf{\Delta }\left(G\right)$ is as small as possible, i.e., $\mathbf{\Delta }\left(G\right)=tor\left(G\right)$.

Theorem 9.

Let $G=A^{\wedge }$ be a compact abelian group. Then $\mathbf{\Delta }\left(G\right)=tor\left(G\right)$ if and only if $G{\cong }_{\mathrm{t}}{\mathbb{T}}^n\times E$ where $n\in {\mathbb{N}}_0$ and E is bounded.

Proof. 

We only need to consider the consequences of $\mathbf{\Delta }\left(G\right)$ being a torsion group. As $\mathbf{\Delta }\left(G\right)=\sum \mathcal{D}\left(G\right)$, this occurs if and only if every $\Delta \in \mathcal{D}\left(G\right)$ is a torsion group. Since $\Delta$ is compact, it must be bounded torsion. Furthermore, we use that for every $F\in \mathcal{F}\left(A\right)$, the dual ${(A/F)}^{\wedge }$ is topologically isomorphic to some $\Delta \in \mathcal{D}\left(G\right)$, so a bounded torsion group.

(a) Assume first that A is torsion-free. By Corollary 2(2) we have $n:=rk\left(A\right)<\infty$. Now pick an arbitrary $F\in \mathcal{F}\left(A\right)$. Since ${(A/F)}^{\wedge }$ is a bounded torsion group, so is $A/F$, hence, $mA\subseteq F$ for some $m\in \mathbb{N}$, so $A\cong mA$ is free of rank n and $G{\cong }_{\mathrm{t}}{\mathbb{T}}^n$.

(b) In the general situation, by Theorem 7(3), $\Delta (c(G\left)\right)$ must be a torsion group and hence by (b), $A/tor\left(A\right)$ must be free of finite rank. So $A=F\oplus tor\left(A\right)$ for some finite rank free subgroup F of A, thus $G{\cong }_{\mathrm{t}}H\times E$ with $H{\cong }_{\mathrm{t}}{\mathbb{T}}^n$ and $E{\cong }_{\mathrm{t}}tor{\left(A\right)}^{\wedge }{\cong }_{\mathrm{t}}{(A/F)}^{\wedge }$. For the latter group to be torsion, it must be bounded. □

Remark 2.

The dual concept (in the category sense of reversing arrows) of $\mathcal{F}\left(A\right)$ is the family $\mathcal{K}\left(A\right):=\{Ker(\psi )\mid \psi \in Hom(A,F),F\mathrm{free}\}$. It is easy to see that $\mathcal{K}\left(A\right)$ is closed under finite intersections and $\mathfrak{K}\left(A\right)=\bigcap \mathcal{K}\left(A\right)=\bigcap \{Ker(\psi )\mid \psi \in Hom(A,\mathbb{Z}\left)\right\}$ is a fully invariant subgroup of A that has no free direct summands. Mostly we have $\mathfrak{K}\left(A\right)=A$, e.g., if A is divisible or torsion. We call A free-reduced if $Hom(A,\mathbb{Z})=\left\{0\right\}$, equivalently, if A has no free direct summands. Evidently, A is free-reduced if and only if $G=A^{\wedge }$ is torus-free. For a compact group G, let $\mathcal{T}\left(G\right)=\{T\mid T\mathrm{is}\mathrm{a}\mathrm{torus}\mathrm{subgroup}\mathrm{of}G\}$.

For any $A\in \mathrm{AG}$, and a short exact sequence $K\stackrel{ins}{\rightarrowtail }A\stackrel{{\phi }_F}{\twoheadrightarrow }F$ where F is free, it follows that $F^{\wedge }\stackrel{{\phi }_F^{\wedge }}{\rightarrowtail }G:=A^{\wedge }\stackrel{restr}{\twoheadrightarrow }{K}^{\wedge }$ is exact in $\mathrm{LCA}$. Hence, ${\phi }_F^{\wedge }\left[F^{\wedge }\right]=K^{\perp }$ is a torus subgroup of G and we have a map

$$\kappa :\mathcal{K}\left(A\right)\to \mathcal{T}\left(G\right):\kappa \left(K\right)=K^{\perp }.$$

As for $\mathcal{F}\left(A\right)$ and $\mathcal{D}\left(G\right)$ it follows that κ is a bijective map satisfying $\kappa (K_1\cap K_2)=\kappa \left(K_1\right)+\kappa \left(K_2\right)$ and $K_1\subseteq K_2$ if and only if $\kappa \left(K_2\right)\subseteq \kappa \left(K_1\right)$. In particular, $\mathfrak{T}\left(G\right):=\sum \mathcal{T}\left(G\right)=\bigcup \mathcal{T}\left(G\right)$ and $\kappa \left(\mathfrak{K}\left(A\right)\right)={\left(\mathfrak{K}\left(A\right)\right)}^{\perp }=\mathfrak{T}\left(G\right)$. This recaptures most of the results of ([1], p.p 440, 441). The group $A/\mathfrak{K}\left(A\right)$ need not be free and the dual group $\mathfrak{T}\left(G\right)$ need not be a torus.

A theorem of K. Stein ([17], Corollary 8.3, p. 114) says that every countable torsion-free group $A_0$ has a decomposition $A_0=F\oplus \mathfrak{K}\left(A_0\right)$ where F is free. The duals of countable torsion-free groups are exactly the compact connected metric groups ([1], pp. 447–450).

Remark 3.

One can ask further whether a compact group has other connected factors of dimension 1 (so-called solenoids of which $\mathbb{T}$ is an example). For finite dimensional connected compact groups this leads to the “Main Decomposition” that was derived in [22].

5. The Fat Delta of Compact Groups

So far we know from Theorem 6 that for any compact abelian group G,

• $\mathbf{\Delta }\left(G\right)=\sum \mathcal{D}\left(G\right)=\bigcup \mathcal{D}\left(G\right)$,
• $\mathbf{\Delta }\left(G\right)$ is dense in G,
• $tor\left(G\right)\subseteq \mathbf{\Delta }\left(G\right)$ and $G/\mathbf{\Delta }\left(G\right)$ is torsion-free.
• $\Delta (c(G\left)\right)$ is divisible.

In this section, we will establish further properties of Fat Delta. We start with a preliminary observation.

Lemma 7.

Let G and H be compact abelian groups and let $\alpha :G\to H$ be a continuous epimorphism. Then we have:

(1) 

If G is totally disconnected, then so is H.

(2) 

If G is a torus, then so is H.

Proof. 

(1) Since $\alpha$ is surjective, the adjoint map ${\alpha }^{\wedge }:H^{\wedge }\to G^{\wedge }$ is injective ([23], (24.38), p. 392). Assume that G is totally disconnected. Then $G^{\wedge }$ is torsion, thus $H^{\wedge }$ is torsion and therefore H is totally disconnected (see [23], (24.26), p. 385).

(2) Now suppose G is a torus. Then $G^{\wedge }$ is free, so since subgroups of free groups are free, $H^{\wedge }$ is free. Thus, H is a torus. □

In general, Fat Delta does not contain every totally disconnected subgroup. However, it contains all closed totally disconnected subgroups:

Proposition 5.

Let G be a compact abelian group and D a closed totally disconnected subgroup of G. Then $D\subseteq \mathbf{\Delta }\left(G\right)$. Thus $\mathbf{\Delta }\left(G\right)$ is the subgroup of G generated by all closed totally disconnected subgroups of G.

Proof. 

Choose $\Delta \in \mathcal{D}\left(G\right)$. Then $\Delta +D$ is compact ([23], (4.4), p. 17), and the natural map $\alpha :\Delta \times D\to \Delta +D$ is a continuous epimorphism. By Lemma 7(1), $\Delta +D$ is totally disconnected. Now consider the continuous epimorphism $\beta :G/\Delta \to (G/\Delta )/[(\Delta +D)/\Delta ]{\cong }_{\mathrm{t}}G/(\Delta +D)$ (see [23], (5.35), p. 45). Since $G/\Delta$ is a torus, so is $G/(\Delta +D)$ by Lemma 7(2). This means that $\Delta +D\in \mathcal{D}\left(G\right)$, so $D\subseteq \Delta +D\subseteq \Delta$ as claimed. □

The significance of Proposition 5 is that it shows that for a compact group G Fat Delta $\mathbf{\Delta }\left(G\right)$ coincides with the subgroup $td\left(G\right)$ that is defined and motivated by totally different considerations (see Definition 4 and Proposition 9(2)). For the sake of easy reference, we list the results that could be proved easily in the present context but are proved in greater generality in the exhaustive study of $td\left(G\right)$ in Section 7.

Proposition 6.

Let G be a compact abelian group. Then the following are true.

(1) 

$\mathbf{\Delta }\left(G\right)$ is zero-dimensional, in particular totally disconnected (Theorem 19). Consequently, if G is not totally disconnected, then $G\ne \mathbf{\Delta }\left(G\right)$ and hence $\mathbf{\Delta }\left(G\right)$ is not a locally compact subgroup of G.

(2) 

Any countable extension of $\mathbf{\Delta }\left(G\right)$ is zero-dimensional (in particular totally disconnected) as well (Proposition 11).

$\Delta \left(A^{\wedge }\right)=Hom(A,\mathbb{Q}/\mathbb{Z})$

We first establish some background.

Lemma 8.

Let $G,H,K$ be topological abelian groups.

(1) 

Suppose that H is a topological subgroup of K such that for all $f\in cHom(G,K)$ we have $f\left[G\right]\subseteq H$. Let $ins:H\to K$ be the insertion. Then ${ins}_{*}:cHom(G,H)\to cHom(G,K):{ins}_{*}\left(f\right)=ins\circ f$ is a topological isomorphism.

(2) 

Suppose that $H\stackrel{\alpha }{\rightarrowtail }K\stackrel{\beta }{\twoheadrightarrow }L$ is a short exact sequence in $\mathrm{TAG}$, α is proper, and G is some other topological group. Then

$$cHom(G,H)\stackrel{{\alpha }_{*}}{\rightarrowtail }cHom(G,K)\stackrel{{\beta }_{*}}{\to }cHom(G,L),where{\alpha }_{*}\left(f\right)=\alpha \circ f,{\beta }_{*}\left(f\right)=\beta \circ f,$$

is an exact sequence in $\mathrm{TAG}$ and ${\alpha }_{*}$ is proper. The map ${\beta }_{*}$ is not claimed to be surjective.

(3) 

Let $A\stackrel{\alpha }{\rightarrowtail }B\stackrel{\beta }{\twoheadrightarrow }C$ be a short exact sequence of discrete groups and let G be a divisible topological group. Then

$$cHom(C,G)\stackrel{{\beta }^{*}}{\rightarrowtail }cHom(B,G)\stackrel{{\alpha }^{*}}{\twoheadrightarrow }cHom(A,G),where{\beta }^{*}\left(f\right)=f\circ \beta ,{\alpha }^{*}\left(f\right)=f\circ \alpha ,$$

is an exact sequence of topological groups. In addition, ${\beta }^{*}$ is proper.

(4) 

For a discrete torsion group $T={⨁}_{p\in \mathbb{P}}{tor}_p\left(T\right)$, we have $cHom(T,\mathbb{Q}/\mathbb{Z}){\cong }_{\mathrm{t}}{T}^{\wedge }$, the topological isomorphism being ${ins}_{*}$, and $T^{\wedge }{\cong }_{\mathrm{t}}{\prod }_{p\in \mathbb{P}}{\left({tor}_p\left(T\right)\right)}^{\wedge }$ where ${\left({tor}_p\left(T\right)\right)}^{\wedge }{\cong }_{\mathrm{t}}$$Hom({tor}_p\left(T\right),\mathbb{Z}\left(p^{\infty }\right))$.

Proof. 

(1) It is evident that ${ins}_{*}$ is bijective and maps $W(C,H\cap V)$ onto $W(C,V)$ where C is compact in G and V is open in K.

(2) By standard discrete homological algebra

$$Hom(G,H)\stackrel{{\alpha }_{*}}{\rightarrowtail }Hom(G,K)\stackrel{{\beta }_{*}}{\to }Hom(G,L)\to Ext(G,H)$$

is exact in $\mathrm{AG}$. Let $f\in cHom(G,H)$. Then ${\alpha }_{*}\left(f\right)=\alpha \circ f$ is continuous and ${\alpha }_{*}$ is well-defined. Similarly, ${\beta }_{*}:cHom(G,K)\to cHom(G,L)$ is well-defined.

To show that ${\alpha }_{*}$ is continuous, let C be a compact subset of G and let $U_K$ be an open neighborhood of $0\in K$. Then $V:=W(C,U_K)$ is a basic open neighborhood of $0\in cHom(G,K)$. It follows that $U:=W(C,{\alpha }^{-1}\left[U_K\right])$ is an open neighborhood of $0\in cHom(G,H)$ and ${\alpha }_{*}$ maps U into V as is easily checked.

We show next that our sequence is exact at $cHom(G,K)$. As ${\beta }_{*}\circ {\alpha }_{*}={(\beta \circ \alpha )}_{*}=0$ we have $Im\left({\alpha }_{*}\right)\subseteq Ker\left({\beta }_{*}\right)$. To show that $Ker\left({\beta }_{*}\right)\subseteq Im\left({\alpha }_{*}\right)$, let $f\in Ker\left({\beta }_{*}\right)$. By the discrete exactness there exist $g\in Hom(G,H)$ such that $f=\alpha \circ g$. To conclude, we need to show that g is continuous. To do so let U be open in H. By assumption $\alpha$ is proper, hence, there is an open set $V\subseteq K$ such that $\alpha \left[U\right]=\alpha \left[H\right]\cap V$. Then $U\subseteq {\alpha }^{-1}[\alpha \left[H\right]\cap V]={\alpha }^{-1}\left[V\right]$ and actually $U={\alpha }^{-1}\left[V\right]$. In fact, let $x\in H$ such that $\alpha \left(x\right)\in V\cap \alpha \left[H\right]=\alpha \left[U\right]$. So there exists $x^{\prime }\in U$ such that $\alpha \left(x\right)=\alpha \left(x^{\prime }\right)$ and as $\alpha$ is injective, $x=x^{\prime }\in U$. We now get that $g^{-1}\left[U\right]=g^{-1}\left[{\alpha }^{-1}\left[V\right]\right]=f^{-1}\left[V\right]$ is open in G, showing that g is continuous.

It remains to show that ${\alpha }_{*}$ is proper. Let C be compact in G and U open in H. Then $W(C,U)$ is a generic open set in $cHom(G,H)$ and $W(C,V)$, where $\alpha \left[U\right]=\alpha \left[H\right]\cap V$, is open in $cHom(G,K)$. We claim that

$${\alpha }_{*}\left[W(C,U)\right]={\alpha }_{*}[cHom(G,H)]\cap W(C,V).$$

Let $f\in W(C,U)$. Then $f\left[C\right]\subseteq U$ and hence ${\alpha }_{*}\left(f\right)\left[W(C,U)\right]\subseteq {\alpha }_{*}[cHom(G,H)]\cap W(C,V)$ because $(\alpha \circ f)\left[C\right]\subseteq \alpha \left[U\right]\subseteq V$.

Now let $g\in {\alpha }_{*}[cHom(G,H)]\cap W(C,V)$. Then there is $f\in cHom(G,H)$ such that $g=\alpha \circ f$. We show that $f\in W(C,U)$. In fact, $\left(g\right[C]\subseteq V)⟹\left(\right(\alpha \left[f\right[C\left]\right]\subseteq \alpha \left[H\right]\cap V=\alpha \left[U\right]$. As $\alpha$ is injective it follows that $f\left[C\right]\subseteq U$, i.e., $f\in W(C,U)$.

(3) By discrete abelian group theory we have that $Hom(C,G)\stackrel{{\beta }^{*}}{\rightarrowtail }Hom(B,G)\stackrel{{\alpha }^{*}}{\twoheadrightarrow }Hom(A,G)\to Ext(C,G)$ is exact and $Ext(C,G)=\left\{0\right\}$ as G is divisible. We have $cHom=Hom$ as $A,B,C$ are discrete, so the exactness of the claimed sequence is clear. We need to show that ${\beta }^{*}$ and ${\alpha }^{*}$ are continuous when the Hom groups are given the compact-open topology.

To show that ${\beta }^{*}$ is continuous, let K be a compact (=finite) subset of B and let $U_G$ be an open neighborhood of $0\in G$. Then $V:=W(K,U_G)$ is a generic open neighborhood of $0\in cHom(B,G)$. Hence, $U:=W(\beta \left[K\right],U_G)$ is an open neighborhood of $0\in cHom(C,G)$. Let $f\in U$. Then $f\left[\beta \left[K\right]\right]={\beta }^{*}\left(f\right)\left[K\right]\subseteq U_G$, i.e., ${\beta }^{*}\left(f\right)\in V$ showing that ${\beta }^{*}$ is continuous. Similarly, ${\alpha }^{*}$ is continuous.

It remains to show that ${\beta }^{*}$ is proper. The set $V:=W(K,U_G)$, where K is compact (=finite) in C and $U_G$ open in G, is a generic open subset of $cHom(C,G)$. As $\beta$ is surjective, there is a finite subset $K^{\prime }$ of B such that $\beta \left[K^{\prime }\right]=K$. Then $U:=W(K^{\prime },U_G)$ is an open subset of $cHom(B,G)$. We claim that ${\beta }^{*}\left[V\right]=U\cap {\beta }^{*}[cHom(C,G)]$. In fact, $f\in V$ means that $f\left[K\right]\subseteq U_G$ and hence ${\beta }^{*}\left(f\right)\left[K^{\prime }\right]=f\left[\beta \left[K^{\prime }\right]\right]=f\left[K\right]\subseteq U_G$, so ${\beta }^{*}\left[V\right]\subseteq U\cap {\beta }^{*}[cHom(C,G)]$. To show equality, let $g\in U\cap {\beta }^{*}[cHom(C,G)]$. Then there exists $f\in cHom(C,G)$ such that $g=f\circ \beta$ and $U_G\supset g\left[K^{\prime }\right]=(f\circ \beta )\left[K^{\prime }\right]=f\left[\beta \left[K^{\prime }\right]\right]=f\left[K\right]$, so $f\in V$.

(4) By Lemma 8(1) we have $cHom(T,\mathbb{Q}/\mathbb{Z}){\cong }_{\mathrm{t}}cHom(T,\mathbb{T}){\cong }_{\mathrm{t}}{T}^{\wedge }$. By Proposition 2 $T^{\wedge }{\cong }_{\mathrm{t}}{\prod }_{p\in \mathbb{P}}{\left({tor}_p\left(T\right)\right)}^{\wedge }$, and again Lemma 8(1) entails ${\left({tor}_p\left(T\right)\right)}^{\wedge }{\cong }_{\mathrm{t}}$$Hom({tor}_p\left(T\right),\mathbb{Z}\left(p^{\infty }\right))$. □

Lemma 9.

Let $K,X,Y,K^{\prime },X^{\prime },Y^{\prime }$ be topological abelian groups. It is assumed that the diagram

is commutative, all maps are continuous, its rows are exact, ${\xi }_X$ is proper, β is a quotient map, i.e., β is open, and ${\xi }_K$ is an isomorphism. Then α is a quotient map.

Proof. 

Let U be open in X. As $\xi$ is proper, there is an open set V of $X^{\prime }$ such that ${\xi }_X\left[U\right]={\xi }_X\left[X\right]\cap V$. We claim that $\alpha \left[U\right]={\eta }^{-1}\left[\beta \left[V\right]\right]$ that is open in Y.

First let $x\in U$. Then $\eta \left(\alpha \left(x\right)\right)=\beta \left({\xi }_X\left(x\right)\right)\in \beta \left[V\right]$, hence, $\alpha \left(x\right)\in {\eta }^{-1}\beta \left[V\right]$.

Now suppose that $y\in {\eta }^{-1}\left[\beta \left[V\right]\right]\subseteq Y$. Then $\eta \left(y\right)=\beta \left(v\right)$ for some $v\in V$. There exists $x\in X$ such that $\alpha \left(x\right)=y$. Hence, $\beta \left({\xi }_X\left(x\right)\right)=\eta \left(\alpha \left(x\right)\right)=\beta \left(v\right)$, and thus, $v-{\xi }_X\left(x\right)\in Ker\left(\beta \right)$. It follows that there exists $k\in K$ such that ${\xi }_K\left(k\right)=v-{\xi }_X\left(x\right)$ and so ${\xi }_X(k+x)=v\in \xi \left[X\right]\cap V=\xi \left[U\right]$. As $\xi$ is injective it follows that $k+x\in U$ and $\alpha (k+x)=\alpha \left(x\right)=y$. □

We have the proper short exact sequence of topological groups

$$\mathrm{E}:\mathbb{Q}/\mathbb{Z}\stackrel{ins}{\rightarrowtail }\mathbb{T}\stackrel{\gamma }{\twoheadrightarrow }\mathbb{R}/\mathbb{Q}$$

where, as usual, $\mathbb{T}$ is the quotient group of $\mathbb{R}$, $\mathbb{Q}/\mathbb{Z}$ the subgroup of $\mathbb{T}$, and $\mathbb{R}/\mathbb{Q}$ carries the quotient topology which is indiscrete as $\mathbb{Q}$ is dense in $\mathbb{R}$ (Lemma 2(1)).

Let A be a discrete group and F a full free subgroup of A of rank $\mathfrak{m}:=rk\left(A\right)$. We have exact sequences $F\stackrel{ins}{\rightarrowtail }A\stackrel{{\phi }_F}{\twoheadrightarrow }A/F$ where $A/F$ is a torsion group. We obtain a diagram as follows.

(5)

(1)

By standard discrete homological algebra the diagram is commutative and rows and columns are exact.

(2)

All the domains of the Hom groups carry the discrete topology, hence $cHom=Hom$ in all cases.

(3)

All Hom groups in the diagram carry the compact-open topology. It follows from Lemma 8(2) that all the maps ${(·)}_{*}$ are continuous. It follows from Lemma 8(3) that all the maps ${(·)}^{*}$ are continuous.

(4)

By Lemma 8(1) the left most ${ins}_{*}$ is a topological isomorphism.

(5)

By Lemma 8(2) columns 2 and 3 are exact in $\mathrm{TAG}$.

(6)

By Lemma 8(3) the three rows are exact in $\mathrm{TAG}$.

(7)

The situation of Lemma 9 matches the top part of (5) and we conclude that ${ins}^{*}:Hom(A,\mathbb{Q}/\mathbb{Z})\to Hom(F,\mathbb{Q}/\mathbb{Z})$ is a quotient map. It is easy to see that ${ins}^{*}:Hom(A,\mathbb{R}/\mathbb{Q})\to Hom(F,\mathbb{R}/\mathbb{Q})$ is an isomorphism. Since both groups are indiscrete (by Lemma 2(3)), this is a topological isomorphism.

Theorem 10.

Let $G=A^{\wedge }$ where $A\in \mathrm{AG}$ has torsion-free rank $\mathfrak{m}$. Then:

(1) 

$\mathbf{\Delta }\left(G\right)={ins}_{*}[Hom(A,\mathbb{Q}/\mathbb{Z})]\subseteq G$ where $ins:\mathbb{Q}/\mathbb{Z}\to \mathbb{T}$.

(2) 

$G/\mathbf{\Delta }\left(G\right)\cong {\mathbb{R}}^{\mathfrak{m}}$. Algebraically, $c\left(G\right)=\mathbf{\Delta }(c(G\left)\right)\oplus K$ where $K\cong {\mathbb{R}}^{\mathfrak{m}}$.

(3) 

If $G_i=A_i^{\wedge }$ where $A_i\in \mathrm{AG}$$(i\in I)$, then $\Delta \left({\prod }_{i\in I}{G}_i\right){\cong }_{\mathrm{t}}{\prod }_{i\in I}\Delta \left(G_i\right)$.

Proof. 

(1) Row 2 of (5) implies that ${\phi }_F^{*}\left(Hom(A/F,\mathbb{T})\right)\subseteq {ins}_{*}[Hom(A,\mathbb{Q}/\mathbb{Z})]$ where $\Delta ={\phi }_F^{*}\left(Hom(A/F,\mathbb{T})\right)$ is a delta subgroup of G. As F was arbitrary it follows that $\mathbf{\Delta }\left(G\right)\subseteq {ins}_{*}[Hom(A,\mathbb{Q}/\mathbb{Z})]$. It remains to show that $\mathbf{\Delta }\left(G\right)\supset {ins}_{*}[Hom(A,\mathbb{Q}/\mathbb{Z})]$.

Let $f\in Hom(A,\mathbb{Q}/\mathbb{Z})$ and set $K=Ker\left(f\right)$. Then $f\left[A\right]\subseteq \mathbb{Q}/\mathbb{Z}$ is a torsion group, so $A/K$ is a torsion group and any full free subgroup F of K is a full free subgroup of A. Let F be so given. Then $g:A/F\to \mathbb{Q}/\mathbb{Z}:g(a+F)=f\left(a\right)$ is a well-defined homomorphism and $f=g\circ {\phi }_F={\phi }_F^{*}\left(g\right)$, so $f\in \Delta \subseteq \mathbf{\Delta }\left(G\right)$.

(2) We have algebraic isomorphisms $G/\mathbf{\Delta }\left(G\right)\cong Hom(A,\mathbb{R}/\mathbb{Q})\cong Hom(F,\mathbb{R}/\mathbb{Q})\cong {(\mathbb{R}/\mathbb{Q})}^{\mathfrak{m}}\cong {\mathbb{R}}^{\mathfrak{m}}$, the first isomorphism granted by exactness of column 2 of (5), the second isomorphism by (7), and the remaining isomorphism is easy to see. The group $\mathbf{\Delta }(c(G\left)\right)$ is divisible as observed earlier (see Theorem 6(6)), so it is algebraically a direct summand of $c\left(G\right)$. Since $rk\left(A_0\right)=\mathfrak{m}$, applying the above argument to $c\left(G\right)=A_0^{\wedge }$ we deduce that $c\left(G\right)/\mathbf{\Delta }\left(c\left(G\right)\right)\cong {(\mathbb{R}/\mathbb{Q})}^{\mathfrak{m}}$. Therefore, we have $c\left(G\right)=\mathbf{\Delta }(c(G\left)\right)\oplus K$, with $K\cong c\left(G\right)/\mathbf{\Delta }\left(c\left(G\right)\right)\cong {(\mathbb{R}/\mathbb{Q})}^{\mathfrak{m}}\cong {\mathbb{R}}^{\mathfrak{m}}$.

(3) Set $A={⨁}_{i\in I}{A}_i$ and $G={\prod }_{i\in I}{G}_i$. Then we have $G={\prod }_{i\in I}{A}_i^{\wedge }{\cong }_{\mathrm{t}}{A}^{\wedge }$, so $G{\cong }_{\mathrm{t}}{A}^{\wedge }$ and $\mathbf{\Delta }\left(G\right){\cong }_{\mathrm{t}}Hom(A,\mathbb{Q}/\mathbb{Z}){\cong }_{\mathrm{t}}{\prod }_{i\in I}Hom(A_i,\mathbb{Q}/\mathbb{Z}){\cong }_{\mathrm{t}}{\prod }_{i\in I}\mathbf{\Delta }\left(G_i\right)$. □

From now on, we will identify $\mathbf{\Delta }\left(G\right)$ with $Hom(A,\mathbb{Q}/\mathbb{Z})$ if $G=A^{\wedge }$ is compact. The next corollary, establishing that $\mathbf{\Delta }$ is a functorial subgroup and showing that $\mathbf{\Delta }$, as a functor, preserves exactness of short sequences of compact groups, will be reproved in greater generality in Proposition 10.

Corollary 3.

(1) 

Let G and H be compact abelian groups and $g\in cHom(G,H)$. Then $g(\mathbf{\Delta }(G\left)\right)\subseteq \mathbf{\Delta }\left(H\right)$; in particular $\mathbf{\Delta }\left(G\right)$ is fully invariant in G and if $G\le H$, then $\mathbf{\Delta }\left(G\right)\le \mathbf{\Delta }\left(H\right)$.

(2) 

Let $G,H,K$ be compact abelian groups. Suppose that $G\rightarrowtail H\twoheadrightarrow K$ is a short exact sequence in $\mathrm{TAG}$. Then $\mathbf{\Delta }\left(G\right)\rightarrowtail \mathbf{\Delta }\left(H\right)\twoheadrightarrow \mathbf{\Delta }\left(K\right)$ is a short exact sequence in $\mathrm{TAG}$.

Proof. 

(1) Without loss of generality $G=A^{\wedge }$, $H=B^{\wedge }$ and $g=f^{\wedge }=f^{*}$ for some $f\in Hom(B,A)$. Then $\mathbf{\Delta }\left(G\right)=Hom(A,\mathbb{Q}/\mathbb{Z})\stackrel{g}{\to }Hom(B,\mathbb{Q}/\mathbb{Z})=\mathbf{\Delta }\left(H\right)$.

(2) Without loss of generality $G=A^{\wedge },H=B^{\wedge },K=C^{\wedge }$ and $G\rightarrowtail H\twoheadrightarrow K$ is the dual of $C\rightarrowtail B\twoheadrightarrow A$. Then $Hom(A,\mathbb{Q}/\mathbb{Z})\rightarrowtail Hom(B,\mathbb{Q}/\mathbb{Z})\twoheadrightarrow Hom(C,\mathbb{Q}/\mathbb{Z})$ is an exact sequence of topological groups (Lemma 8(3)). □

The next proposition shows how Fat Delta can be used to recognize finite-dimensional compact groups.

Proposition 7.

Let G be a compact abelian group and $\Delta \in \mathcal{D}\left(G\right)$ with $G/\Delta {\cong }_{\mathrm{t}}{\mathbb{T}}^{\kappa }$, where $\kappa =dim\left(G\right)=rk\left(G^{\wedge }\right)$. Then $\mathbf{\Delta }\left(G\right)/\Delta \cong {(\mathbb{Q}/\mathbb{Z})}^{\kappa }$. In particular, $\mathbf{\Delta }\left(G\right)/\Delta =tor(G/\Delta )$ if and only if G is finite-dimensional.

Proof. 

To the proper short exact sequence $\Delta \rightarrowtail G\twoheadrightarrow G/\Delta$ apply Corollary 3(2) to deduce that $\mathbf{\Delta }\left(G\right)/\Delta \cong \mathbf{\Delta }(G/\Delta )$, due to the fact that $\Delta =\mathbf{\Delta }(\Delta )$. Since $G/\Delta {\cong }_{\mathrm{t}}{\mathbb{T}}^{\kappa }$, we have $\mathbf{\Delta }\left(G\right)/\Delta \cong \mathbf{\Delta }\left({\mathbb{T}}^{\kappa }\right){\cong }_{\mathrm{t}}{(\mathbf{\Delta }\left(\mathbb{T}\right))}^{\kappa }={(\mathbb{Q}/\mathbb{Z})}^{\kappa }$ by Theorem 10(3). Since ${(\mathbb{Q}/\mathbb{Z})}^{\kappa }$ is torsion precisely when $\kappa <\infty$, we are done. □

We will use the following well-known result below.

Theorem 11

([24], page 86, Corollary 8.48). Let $G,C$ be Hausdorff abelian groups, assume that C is complete, H is a dense subgroup of G. Then every morphism $f:H\to C$ has a unique extension $\overline{f}:G\to C$.

Theorem 12.

Let G and H be compact abelian groups. Then $G{\cong }_{\mathrm{t}}H$ if and only if $\mathbf{\Delta }\left(G\right){\cong }_{\mathrm{t}}\mathbf{\Delta }\left(H\right)$.

Proof. 

(a) Suppose $\varphi :G\to H$ is an isomorphism of topological groups. By Corollary 3 applied to $\varphi$ and ${\varphi }^{-1}$, we obtain $\varphi (\mathbf{\Delta }(G\left)\right)=\mathbf{\Delta }\left(H\right)$, hence $\mathbf{\Delta }\left(G\right){\cong }_{\mathrm{t}}\mathbf{\Delta }\left(H\right)$.

(b) Let $f:\mathbf{\Delta }\left(G\right)\to \mathbf{\Delta }\left(H\right)$ be an isomorphism of topological groups. The group H is compact, hence complete, and $\mathbf{\Delta }\left(G\right)$ is dense in G. Hence, there is a unique extension morphism $\overline{f}:G\to H$ of f. Similarly, we have the unique continuous extension $\overline{f^{-1}}:H\to G$ of $f^{-1}:\mathbf{\Delta }\left(H\right)\to \mathbf{\Delta }\left(G\right)$. The morphism $\overline{f^{-1}}\circ \overline{f}:G\to G$ extends ${id}_{\mathbf{\Delta }\left(G\right)}:\mathbf{\Delta }\left(G\right)\to \mathbf{\Delta }\left(G\right)$ which is also extended by ${id}_G$, hence, by uniqueness we have $\overline{f^{-1}}\circ \overline{f}={id}_G$. Similarly, $\overline{f}\circ \overline{f^{-1}}={id}_H$. Hence, ${\left(\overline{f}\right)}^{-1}=\overline{f^{-1}}$ is continuous. □

Theorem 12 and Corollary 3 imply that $G\mapsto \mathbf{\Delta }\left(G\right)$ is a category equivalence on the category of compact abelian groups to the category of all $\mathbf{\Delta }\left(G\right)$. This calls for a useful characterization of the class of topological groups that appear as $\mathbf{\Delta }\left(G\right)$ for some compact abelian group G. So far we can say the following. If D is a topological group such that $D{\cong }_{\mathrm{t}}\mathbf{\Delta }\left(G\right)$ for some compact group G, then the following are true.

(1)

D is totally disconnected and zero-dimensional (Proposition 11).

(2)

The completion $\widehat{D}$ of D is compact (i.e., D is precompact), $D=\Delta \left(\widehat{D}\right)$ and $tor\left(D\right)=tor\left(\widehat{D}\right)$.

(3)

D contains a directed family $\mathcal{D}$ of compact totally disconnected subgroups such that $D=\bigcup \mathcal{D}$.

(4)

$D\in \mathrm{LCA}$ if and only if $\widehat{D}$ is totally disconnected, and, if so, $D=\widehat{D}$ is compact.

(5)

D is totally minimal (Theorem 19).

Given a group D with all the required properties, we would have $\mathbf{\Delta }\left(\widehat{D}\right){\cong }_{\mathrm{t}}D$, i.e., the completion functor is the inverse of the functor $\mathbf{\Delta }$.

Theorem 12 and the preceding discussion suggest to study the structure of $\mathbf{\Delta }\left(G\right)$ for a given compact group G. We will attempt this below in the simplest possible case of solenoids. A solenoid is a compact connected group of dimension 1, i.e., the dual of a torsion-free group of rank 1. To do so, we will use a simple result on divisible hulls of discrete groups and Lemma 10 on divisible hulls of certain products of groups.

Lemma 10.

Let P be a set of prime numbers, $X_p$ be discrete groups and $X={\prod }_{p\in P}{X}_p$. For each $p\in P$, let $D_p$ be a divisible hull of $X_p$. Let $D:={\prod }_{p\in P}{D}_p$. Assume that each $D_p/X_p$ is a p-primary group. Let $D\left(X\right)$ be a subgroup of D containing X such that $D\left(X\right)/X=tor(D/X)$. Then

(1) 

$D\left(X\right)$ is a divisible hull of X,

(2) 

$D\left(X\right)={\prod }_{p\in P}^{\mathrm{loc}}(D_p,X_p):=\{\left(d_p\right)\in D\mid d_p\in X_{p}foralmostallp\in P\}$,

(3) 

$D\left(X\right)/X\cong {⨁}_{p\in P}{D}_p/X_p$.

Proof. 

(1) Clearly D is divisible as a product of divisible groups and

$$D/D\left(X\right)\cong (D/X)/(D(X)/X)\cong (D/X)/(tor(D/X\left)\right)$$

is torsion-free, hence $D\left(X\right)$ is pure in D and therefore divisible. It remains to show that X is essential in $D\left(X\right)$. For any prime q, we have $D\left[q\right]={\prod }_{p\in P}{D}_p\left[q\right]\le {\prod }_{p\in P}{X}_p=X$. Indeed, for $q\ne p\in P$ we have $D_p\left[q\right]\le X_p$ because $D_p/X_p$ is p-primary, while $D_q\left[q\right]\subseteq X_q$ because $D_q$ is the divisible hull of $X_q$.

(2) Let $\left(d_p\right)\in D\left(X\right)$. Then $m\left(d_p\right)\in X$ for some $m\ne 0$ which requires that $\forall p\in P:m{d}_p\in X_p$. Our hypotheses imply that $d_p\in X_p$ for all those p that do not divide m. So $D\left(X\right)\subseteq {\prod }_{p\in P}^{\mathrm{loc}}(D_p,X_p)$ and equality is evident.

(3) The map $\xi :D\left(X\right)\to {⨁}_{p\in P}{D}_p/X_p:\xi \left(\left(d_p\right)\right)={\sum }_{p\in P}{d}_p+X_p$ is evidently well-defined, surjective, and $Ker\left(\xi \right)=X$. □

Torsion-free groups A with $rk\left(A\right)=1$, rank-one groups for short, are discussed and classified in ([17], Chapter 12, Section 1). These are exactly the groups isomorphic with additive subgroups of $\mathbb{Q}$ containing $\mathbb{Z}$. Types are equivalence classes $\left[{\left(h_p\right)}_{p\in \mathbb{P}}\right]$ of “height sequences” ${\left(h_p\right)}_{p\in \mathbb{P}}$ where $0\le h_p\le \infty$. Two height sequences are equivalent if they differ only at finitely many places where both sequences have finite entries. For the precise definition of type see Lemma 11(1) or ([17], p. 409, 411).

Two rank-one groups are isomorphic if and only if their types are equal.

Lemma 11 displays a representative rank-one group, its type, and dual solenoid. For a prime p, we define $\frac{1}{p^{\infty }}\mathbb{Z}:=〈\frac{1}{p^k}\mathbb{Z}\mid k\in \mathbb{N}〉$.

Lemma 11.

(1) 

Let $\mathbb{Z}\le A\le \mathbb{Q}$. Then there exist values $h_p$ such that

$$A=〈\frac{1}{p^{h_p}}\mathbb{Z}\mid p\in \mathbb{P},0\le h_p\le \infty 〉,\frac{A}{\mathbb{Z}}\cong {⨁}_{p\in \mathbb{P}}\mathbb{Z}\left(p^{h_p}\right),\mathrm{and}tp\left(A\right)=\left[{\left(h_p\right)}_{p\in \mathbb{P}}\right].$$

For ${\mathbb{P}}_{\infty }:=\{p\mid h_p=\infty \}$, one has $p\in {\mathbb{P}}_{\infty }$ if and only if $pA=A$.

(2) 

Let $\Sigma =A^{\wedge }$ and $\Delta :={(A/\mathbb{Z})}^{\wedge }$. Then (with a harmless identification) $\Delta \in \mathcal{D}(\Sigma )$, and $\Delta {\cong }_{\mathrm{t}}{\prod }_{p\in \mathbb{P}}\widehat{\mathbb{Z}}\left(p^{h_p}\right)$ where $\widehat{\mathbb{Z}}\left(p^{\infty }\right)={\widehat{\mathbb{Z}}}_p$ is the group of p-adic integers and $\widehat{\mathbb{Z}}\left(p^{h_p}\right)=\mathbb{Z}\left(p^{h_p}\right)$ is the cyclic group of order $p^{h_p}$ for $h_p<\infty$. Furthermore, Σ and $\mathbf{\Delta }(\Sigma )$ are divisible, $\mathbf{\Delta }(\Sigma )/\Delta \cong \mathbb{Q}/\mathbb{Z}$, and $tor(\Sigma )\subseteq \mathbf{\Delta }(\Sigma )$.

(3) 

$Soc(\Sigma )={⨁}_{p\notin {\mathbb{P}}_{\infty }}\mathbb{Z}\left(p\right)$ and $tor(\Sigma )={⨁}_{p\notin {\mathbb{P}}_{\infty }}\mathbb{Z}\left(p^{\infty }\right)$.

Proof. 

(1) Given $p\in \mathbb{P}$ either A contains every fraction $1/p^k$ (in which case $h_p=\infty$) or A contains a smallest fraction $1/p^{h_p}$. These fractions generate A and determine the type of A. (The $h_p$ are the “p-heights” of $1\in A$.)

To prove the last assertion, note that $pA=A$ implies $h_p=\infty$. Conversely, if $h_p=\infty$, then $\frac{1}{p^{h_p}}\mathbb{Z}=\langle \frac{p}{p^k}\mathbb{Z}\mid k\in \mathbb{N}\rangle =p\left(\frac{1}{p^{h_p}}\mathbb{Z}\right)$, thus $pA=A$.

(2) $\Sigma$ is divisible by ([1], Corollary 8.5, p. 410). By Theorem 6(6) it follows that $\mathbf{\Delta }(\Sigma )$ is pure in $\Sigma$ and hence is also divisible. By Proposition 7 $\mathbf{\Delta }(\Sigma )/\Delta \cong \mathbb{Q}/\mathbb{Z}$ and by Theorem 6(4) $tor(\Sigma )\subseteq \mathbf{\Delta }(\Sigma )$. The rest is clear.

(3) By Corollary 1, ${rk}_p(\Sigma )={rk}_p(A/pA)\le 1$.

According to (1), ${rk}_p(A/pA)>0$ if and only if $A\ne pA$, i.e., when $h_p<\infty$. Hence, ${rk}_p(\Sigma )>0$ if and only if $h_p<\infty$ (i.e., when $p\notin {\mathbb{P}}_{\infty }$) and in this case ${rk}_p(\Sigma )=1$. This proves that $Soc(\Sigma )={⨁}_{p\notin {\mathbb{P}}_{\infty }}\mathbb{Z}\left(p\right)$. As $tor(\Sigma )$ is divisible, it is the divisible hull of ${⨁}_{p\notin {\mathbb{P}}_{\infty }}\mathbb{Z}\left(p\right)$ and so $tor(\Sigma )={⨁}_{p\notin {\mathbb{P}}_{\infty }}\mathbb{Z}\left(p^{\infty }\right)$. □

We illustrate the situation with some special cases.

Example 1.

(1) 

For a first concrete example, let $A_1={\sum }_{p\in \mathbb{P}}\frac{1}{p}\mathbb{Z}$ and ${\Sigma }_1=A_1^{\wedge }$. Then $tp\left(A_1\right)=\left[(1,1,\dots )\right]$, and $\mathbf{\Delta }\left({\Sigma }_1\right)$ is the divisible hull of $\Delta ={\prod }_{p\in \mathbb{P}}\mathbb{Z}\left(p\right)$ and $\mathbf{\Delta }\left({\Sigma }_1\right)={\prod }_{p\in \mathbb{P}}^{\mathrm{loc}}(\mathbb{Z}\left(p^{\infty }\right),\mathbb{Z}\left(p\right))$.

(2) 

Next let $A_2=\mathbb{Q}$. Then $tp\left(A_2\right)=\left[(\infty ,\infty ,\dots )\right]$, ${\Sigma }_2={\mathbb{Q}}^{\wedge }$ is torsion-free, $\Delta ={\prod }_{p\in \mathbb{P}}{\widehat{\mathbb{Z}}}_p$ and $\mathbf{\Delta }\left({\Sigma }_2\right)$ is the divisible hull of Δ, so $\mathbf{\Delta }\left({\Sigma }_2\right)={\prod }_{p\in \mathbb{P}}^{\mathrm{loc}}({\widehat{\mathbb{Q}}}_p,{\widehat{\mathbb{Z}}}_p)$ where ${\widehat{\mathbb{Q}}}_p=\frac{1}{p^{\infty }}{\widehat{\mathbb{Z}}}_p$ is the additive group of p-adic numbers.

(3) 

For $A_3=\mathbb{Z}$, $tp\left(A_3\right)=\left[(0,0,\dots )\right]$, ${\Sigma }_3={\mathbb{Z}}^{\wedge }=\mathbb{T}$, $\Delta =\left\{0\right\}$, but $Soc\left({\Sigma }_3\right)={⨁}_{p\in \mathbb{P}}\mathbb{Z}\left(p\right)\subseteq \mathbf{\Delta }\left({\Sigma }_3\right)$, $\mathbf{\Delta }\left({\Sigma }_3\right)$ is the divisible hull of $Soc\left({\Sigma }_3\right)$, so $\mathbf{\Delta }\left({\Sigma }_3\right)={⨁}_{p\in \mathbb{P}}\mathbb{Z}\left(p^{\infty }\right)=\mathbb{Q}/\mathbb{Z}=tor\left({\Sigma }_3\right)$.

Note that $\Delta$ is a particular $\delta$–subgroup of $\Sigma$. Sometimes (e.g., (1), (2)), but not always (e.g., (3)), $\mathbf{\Delta }(\Sigma )$ is the divisible hull of $\Delta$. In the general case additional $\delta$–subgroups must be employed.

Proof. 

(1) In this case, $\forall p\in \mathbb{P}:h_p=1$. By Lemma 11(1) $\mathbf{\Delta }\left({\Sigma }_1\right)$ is the divisible hull of $\Delta$, and the rest follows from Lemma 10.

(2) ${\Sigma }_2={\mathbb{Q}}^{\wedge }$ is torsion-free, $Soc\left({\Sigma }_2\right)=\left\{0\right\}\subseteq \Delta$, $A/\mathbb{Z}=\mathbb{Q}/\mathbb{Z}={⨁}_{p\in \mathbb{P}}\mathbb{Z}\left(p^{\infty }\right)$, $\Delta :={(A/\mathbb{Z})}^{\wedge }={\prod }_{p\in \mathbb{P}}{\widehat{\mathbb{Z}}}_p$, and $\mathbf{\Delta }(\Sigma )$ is the divisible hull of $\Delta$.

(3) Clear. □

The next theorem deals with the general case. The relevance of the final assertion will become clear in Section 7.3 (see Definition 9 and Example 4, see also Problem 2).

Theorem 13.

Let $A={\sum }_{p\in \mathbb{P}}\frac{1}{p^{h_p}}\mathbb{Z}$. Define $\Sigma =A^{\wedge }$ and ${\mathbb{P}}_{\infty }$ as above, and let

$${\mathbb{P}}_{\mathrm{fin}}:=\{p\mid 0<h_p<\infty \}\mathrm{and}{\mathbb{P}}_0:=\{p\mid h_p=0\}.$$

Then $\mathbf{\Delta }(\Sigma )$ is the divisible hull of ${\prod }_{p\in {\mathbb{P}}_{\infty }}{\widehat{\mathbb{Z}}}_p\oplus {\prod }_{p\in {\mathbb{P}}_{\mathrm{fin}}}\mathbb{Z}\left(p^{h_p}\right)\oplus {⨁}_{p\in {\mathbb{P}}_0}\mathbb{Z}\left(p\right)$, so

$$\mathbf{\Delta }(\Sigma )=\prod _{p\in {\mathbb{P}}_{\infty }}^{\mathrm{loc}}({\mathbb{Q}}_p,{\widehat{\mathbb{Z}}}_p)\oplus \prod _{p\in {\mathbb{P}}_{\mathrm{fin}}}^{\mathrm{loc}}(\mathbb{Z}\left(p^{\infty }\right),\mathbb{Z}\left(p^{h_p}\right))\oplus \underset{p\in {\mathbb{P}}_0}{⨁}\mathbb{Z}\left(p^{\infty }\right).$$

(6)

Moreover, $Soc(\Sigma )$ is dense in Σ if and only if ${\mathbb{P}}_0$ is infinite.

Proof. 

$\Delta ={\prod }_{p\in {\mathbb{P}}_{\infty }}{\widehat{\mathbb{Z}}}_p\oplus {\prod }_{p\in {\mathbb{P}}_{\mathrm{fin}}}\mathbb{Z}\left(p^{h_p}\right)\subseteq \mathbf{\Delta }(\Sigma )$ and $\mathbf{\Delta }(\Sigma )$ is not the divisible hull of $\Delta$ if ${\mathbb{P}}_0\ne \varnothing$. However, (Lemma 11) $D:=\Delta \oplus {⨁}_{p\in {\mathbb{P}}_0}\mathbb{Z}\left(p\right)\subseteq \mathbf{\Delta }(\Sigma )$ and $Soc(\mathbf{\Delta }(\Sigma \left)\right)\subseteq Soc(\Sigma )\subseteq D$. Hence, $\mathbf{\Delta }(\Sigma )$ is the divisible hull of D. Apply Lemma 10.

Recall that $Soc(\Sigma )={⨁}_{p\in {\mathbb{P}}_0}\mathbb{Z}\left(p\right)\oplus {⨁}_{p\in {\mathbb{P}}_{\mathrm{fin}}}\mathbb{Z}\left(p\right)$, where $\mathbb{Z}\left(p\right)=\Sigma \left[p\right]$ when the latter is non-trivial. Let $\varphi :\Sigma \to \Sigma /\Delta =\mathbb{T}$. We claim that

$$\varphi (\underset{p\in {\mathbb{P}}_0}{⨁}\mathbb{Z}\left(p\right))=\underset{p\in {\mathbb{P}}_0}{⨁}\mathbb{T}\left[p\right].$$

(7)

Indeed, if $t=\varphi \left(x\right)\in (\Sigma /\Delta )\left[p\right]$ for some $x\in \Sigma$ and $p\in {\mathbb{P}}_0$, then $h_p=0$ and $pt=0$ in $\Sigma /\Delta$, so $px\in \Delta$. It follows from the above description of $\Delta$ that $\Delta$ is p-divisible for $p\in {\mathbb{P}}_0$. Hence, $px=pz$ where $z\in \Delta$. Then $px-pz=0$, so $x-z=\Sigma \left[p\right]=\mathbb{Z}\left(p\right)$. Therefore, $t=\varphi \left(x\right)=\varphi (x-z)$. This proves (7).

If ${\mathbb{P}}_0$ is infinite, ${⨁}_{p\in {\mathbb{P}}_0}\mathbb{T}\left[p\right]$ is dense in $\mathbb{T}$, hence (7) implies that the compact subgroup ${\Sigma }_1:=\overline{{⨁}_{p\in {\mathbb{P}}_0}\Sigma \left[p\right]}$ of $\Sigma$ satisfies $\varphi \left({\Sigma }_1\right)=\overline{{⨁}_{p\in {\mathbb{P}}_0}\mathbb{T}\left[p\right]}=\mathbb{T}$. Hence, $1=dim\mathbb{T}\le dim{\Sigma }_1\le dim\Sigma =1$ and consequently, $dim{\Sigma }_1=dim\Sigma =1$, hence $dim\Sigma /{\Sigma }_1=dim\Sigma -dim{\Sigma }_1=0$. Since $\Sigma /{\Sigma }_1$ is connected, this implies ${\Sigma }_1=\Sigma$.

If ${\mathbb{P}}_0$ is finite, then ${\Sigma }_1$ is finite, while ${\Sigma }_2=\overline{{⨁}_{p\in {\mathbb{P}}_{\mathrm{fin}}}\Sigma \left[p\right]}\le \Delta$. Therefore, using again Lemma 11(3),

$$\overline{Soc(\Sigma )}=\overline{\underset{p\in {\mathbb{P}}_0}{⨁}\Sigma \left[p\right]+\underset{p\in {\mathbb{P}}_{\mathrm{fin}}}{⨁}\Sigma \left[p\right]}=\overline{{\Sigma }_1+\underset{p\in {\mathbb{P}}_{\mathrm{fin}}}{⨁}\Sigma \left[p\right]}={\Sigma }_1+{\Sigma }_2\le {\Sigma }_1+\Delta \ne \Sigma ,$$

since ${\Sigma }_1+\Delta$ is a totally disconnected, while $\Sigma$ is connected. □

Remark 4.

By Theorem 12, two compact groups are isomorphic if and only if their Fat Deltas are isomorphic as topological groups. A classification of Fat Deltas amounts to a classification of compact groups. A compact group is just the completion of its Fat Delta. Solenoids indicate the problems ahead.

For any solenoid Σ, we have ${rk}_p(\Sigma )=0$ for $p\in {\mathbb{P}}_{\infty }$, ${rk}_p(\Sigma )=1$ for $p\in {\mathbb{P}}_{fin}\cup {\mathbb{P}}_0$. For the concrete examples $rk(\mathbf{\Delta }\left({\Sigma }_1\right))=2^{{\aleph }_0}$, $rk(\mathbf{\Delta }\left({\Sigma }_2\right))=2^{{\aleph }_0}$, while $rk(\mathbf{\Delta }\left({\Sigma }_3\right))=0$. In general $rk(\mathbf{\Delta }(\Sigma ))=2^{{\aleph }_0}$ except that $rk(\mathbf{\Delta }(\Sigma \left)\right)=0$ for $\Sigma ={\mathbb{Z}}^{\wedge }=\mathbb{T}$. The algebraic invariants of $\mathbf{\Delta }(\Sigma )$ are the same for many non-isomorphic solenoids Σ. So the topological isomorphism class of $\mathbf{\Delta }(\Sigma )$, and hence of Σ, is in no way determined by these invariants. To distinguish between two Fat Deltas that are algebraically isomorphic one needs to know their topology. The description (6) involves the types of Σ. It may help in determining the topology of $\mathbf{\Delta }(\Sigma )$. Conversely, knowing the topology of $\mathbf{\Delta }(\Sigma )$ should make it possible to recapture the type of Σ.

6. Resolutions

The Resolution Theorem, a structure theorem for compact abelian groups, first appeared in [25] and later in an extended form in ([1], Theorem 8.20, p. 420), where it got its name.

Definition 3.

Recall that the “Lie algebra” of G, $\mathfrak{L}\left(G\right)$, defined as $\mathfrak{L}\left(G\right)=cHom(\mathbb{R},G)$, is a real topological vector space via the stipulation $\left(rf\right)\left(x\right):=f\left(rx\right)$ where $f\in \mathfrak{L}\left(G\right)$ and $r,x\in \mathbb{R}$, and carries the topology of uniform convergence on compact sets ([1], Definition 5.7, p. 117, Proposition 7.36, p. 373). For every morphism $\phi :G\to H$ in $\mathrm{TAG}$, one obtains a morphism $\mathfrak{L}\left(\phi \right):\mathfrak{L}\left(G\right)\to \mathfrak{L}\left(H\right)$ in the category ${\mathrm{TAG}}_{\mathbb{R}}$ of real topological vector spaces by letting $\mathfrak{L}\left(\phi \right)\left(f\right):=\phi \circ f$ for $f\in \mathfrak{L}\left(G\right)$. This defines a functor $\mathfrak{L}:\mathrm{TAG}\to {\mathrm{TAG}}_{\mathbb{R}}$ with the following useful properties:

(i)

([1], Proposition 7.38(i), p. 374) $\mathfrak{L}\left(G\right)=\mathfrak{L}\left(c\right(G\left)\right)$ and $\mathfrak{L}$ commutes with products, i.e., $\mathfrak{L}\left({\prod }_i{G}_i\right){\cong }_{\mathrm{t}}{\prod }_i\mathfrak{L}\left(G_i\right)$.

(ii)

([1], Proposition 7.38(ii), p. 374) If $\phi :G\to H$ is a morphism in $\mathrm{TAG}$, then $\mathfrak{L}\left(\phi \right)$ is injective, whenever $Ker\phi$ is totally disconnected;

(iii)

([1], Corollary 8.19, p. 419) if G is a compact group and $\Delta \in \mathcal{D}\left(G\right)$ with $G/\Delta ={\mathbb{T}}^{\mathfrak{m}}$, then, with $\phi :G\to G/\Delta$, $\mathfrak{L}\left(\phi \right):\mathfrak{L}\left(G\right)\to \mathfrak{L}(G/\Delta )={\mathbb{R}}^{\mathfrak{m}}$ is a topological isomorphism. The last equality is in fact a topological isomorphism obtained as composition of two others. The first one is the isomorphism $\mathfrak{L}\left({\mathbb{T}}^{\mathfrak{m}}\right){\cong }_{\mathrm{t}}\mathfrak{L}{\left(\mathbb{T}\right)}^{\mathfrak{m}}$ from (i). The second one is $\mathfrak{L}\left(\mathbb{T}\right){\cong }_{\mathrm{t}}\mathbb{R}$, that can be obtained from the obvious equality $\mathfrak{L}\left(\mathbb{T}\right)={\mathbb{R}}^{\wedge }$, by letting $\rho :\mathbb{R}\to \mathfrak{L}\left(\mathbb{T}\right):\rho \left(r\right)\left(x\right)=rx+\mathbb{Z}$ for $r,x\in \mathbb{R}$.

The exponential mapis the morphism ${exp}_G:\mathfrak{L}\left(G\right)\to G$ defined by $exp\left(\chi \right)=\chi \left(1\right)$ ([1], p. 372). It “commutes" with morphisms $\phi :G\to H$ in $\mathrm{TAG}$, i.e., $\phi \circ {exp}_G={exp}_H\circ \mathfrak{L}\left(\phi \right)$. This means that $exp={\left({exp}_G\right)}_{G\in \mathrm{TAG}}$ is a natural transformation from the functor $\mathfrak{L}$ to the identity functor of $\mathrm{TAG}$. For further properties of the “Lie algebra” $\mathfrak{L}\left(G\right)$ and the “exponential morphism” see ([1] Proposition 7.38, p. 374, Theorem 7.66, p. 395)). In particular, ${exp}_{\mathbb{T}}:\mathfrak{L}\left(\mathbb{T}\right)\to \mathbb{T}$ is defined by ${exp}_{\mathbb{T}}\left(\rho \left(r\right)\right)=r+\mathbb{Z}$ for $r\in \mathbb{R}$ and ρ as in (iii) above.

We can now recall the original Resolution Theorem.

Proposition 8

([25], Proposition 2.2). For a compact abelian group G there is a compact zero-dimensional subgroup Δ of G such that the homomorphism

$$\phi :\Delta \times \mathfrak{L}\left(G\right)\to G:\phi \left(\right(d,\chi \left)\right)=d+exp\left(\chi \right)$$

satisfies the following conditions:

(1) 

φ is continuous, surjective, and open, i.e., is a quotient morphism.

(2) 

$Ker\left(\phi \right)$ is algebraically and topologically isomorphic to $\Gamma :={exp}^{-1}[\Delta ]$, and Γ is a closed totally disconnected subgroup of $\mathfrak{L}\left(G\right)$. In particular, it does not contain any nonzero vector spaces.

(3) 

$\phi \left[\right\{0\}\times \mathfrak{L}(G\left)\right]=exp\left[\mathfrak{L}\right(G\left)\right]$ is dense in $c\left(G\right)$, the identity component of G.

In the above notation, one can prove also that $exp\left[\mathfrak{L}\right(G\left)\right]=a\left(G\right)$, the path connected component of 0, while $c\left(G\right)=\overline{a\left(G\right)}$ ([1], Theorem 8.30, p. 430 and Theorem 8.4, p. 409).

We first revisit the classical Resolution Theorem for compact connected groups of finite dimension with substantial additions as we determine the kernel of the resolution map $\phi$ explicitly up to topological isomorphism (see (4)).

Theorem 14

(Resolution Theorem). Let G be a compact abelian group of finite dimension $n:=dim\left(G\right)$. For $\Delta \in \mathcal{D}\left(G\right)$ define $\phi :\Delta \times \mathfrak{L}\left(G\right)\to G$ by $\phi (d,\chi )=d+exp\left(\chi \right)$ for $(d,\chi )\in \Delta \times \mathfrak{L}\left(G\right)$. Then:

(1) 

φ is surjective, continuous, and open.

(2) 

$\Gamma :=Ker\left(\phi \right)=\{(-exp\left(\chi \right),\chi )\mid \chi \in {exp}^{-1}[\Delta ]\}$. The projection $\Delta \times \mathfrak{L}\left(G\right)\to \mathfrak{L}\left(G\right)$ maps Γ isomorphically onto ${exp}^{-1}[\Delta ]$, so $\Gamma {\cong }_{\mathrm{t}}{exp}^{-1}[\Delta ]$. Furthermore, ${exp}^{-1}[\Delta ]$ is a closed totally disconnected subgroup of $\mathfrak{L}\left(G\right)$.

(3) 

$\mathfrak{L}\left(G\right){\cong }_{\mathrm{t}}{\mathbb{R}}^n$, in particular ${dim}_{\mathbb{R}}\left(\mathfrak{L}\left(G\right)\right)=n$;

(4) 

$\Gamma {\cong }_{\mathrm{t}}{\mathbb{Z}}^n$ where ${\mathbb{Z}}^n$ carries the discrete topology, i.e., the subspace topology in ${\mathbb{R}}^n$.

(5) 

$exp\left[{exp}^{-1}[\Delta ]\right]=\Delta \cap a\left(G\right)$ is dense in Δ.

Proof. 

(1) and (2) are part of ([1], Theorem 8.20, p. 420).

(3) Follows from (iii).

(4) By (2) the projection $\Delta \times \mathfrak{L}\left(G\right)\to \mathfrak{L}\left(G\right)$ induces a continuous epimorphism

$$G{\cong }_{\mathrm{t}}\frac{\Delta \times \mathfrak{L}\left(G\right)}{\Gamma }\twoheadrightarrow \frac{\mathfrak{L}\left(G\right)}{{exp}^{-1}[\Delta ]}$$

hence $\frac{\mathfrak{L}\left(G\right)}{{exp}^{-1}[\Delta ]}$ is compact. By ([1], Theorem A1.12.(i), p. 715) and (3), there is a basis $\left\{e_i\right\}$ of $\mathfrak{L}\left(G\right){\cong }_{\mathrm{t}}{\mathbb{R}}^n$, i.e., $\mathfrak{L}\left(G\right)=\mathbb{R}{e}_1\oplus \cdots \oplus \mathbb{R}{e}_n$, such that ${exp}^{-1}[\Delta ]{\cong }_{\mathrm{t}}\mathbb{R}{e}_1\oplus \cdots \oplus \mathbb{R}{e}_p\oplus \mathbb{Z}{e}_{p+1}\oplus \cdots \oplus \mathbb{Z}{e}_{p+q}$ and $\frac{\mathfrak{L}\left(G\right)}{{exp}^{-1}[\Delta ]}{\cong }_{\mathrm{t}}{\mathbb{T}}^q\oplus {\mathbb{R}}^{n-p-q}$. As ${exp}^{-1}[\Delta ]$ is totally disconnected we have $p=0$, and as $\mathfrak{L}\left(G\right)/{exp}^{-1}[\Delta ]$ is compact, $0=n-p-q=n-q$ and it follows that $q=n$.

(5) It is routine to verify that $exp\left[{exp}^{-1}[\Delta ]\right]=\Delta \cap a\left(G\right)$. Set ${\mathbb{Z}}_{\Delta }:=\Delta \cap a\left(G\right)$. It is easily seen that $\Gamma \subset {\mathbb{Z}}_{\Delta }\times \mathfrak{L}\left(G\right)\subset \overline{{\mathbb{Z}}_{\Delta }}\times \mathfrak{L}\left(G\right)\subset \Delta \times \mathfrak{L}\left(G\right)$. We obtain the exact sequence

$$\frac{\overline{{\mathbb{Z}}_{\Delta }}\times \mathfrak{L}\left(G\right)}{\Gamma }\stackrel{ins}{\rightarrowtail }\frac{\Delta \times \mathfrak{L}\left(G\right)}{\Gamma }\stackrel{f}{\twoheadrightarrow }\frac{\Delta \times \mathfrak{L}\left(G\right)}{\overline{{\mathbb{Z}}_{\Delta }}\times \mathfrak{L}\left(G\right)}{\cong }_{\mathrm{t}}\frac{\Delta }{\overline{{\mathbb{Z}}_{\Delta }}}$$

Here $\frac{\Delta \times \mathfrak{L}\left(G\right)}{\Gamma }{\cong }_{\mathrm{t}}G$ is connected, hence $\Delta /\overline{{\mathbb{Z}}_{\Delta }}$ is connected as well, by the surjectivity of f. On the other hand, $\Delta /\overline{{\mathbb{Z}}_{\Delta }}$ is totally disconnected because $\Delta$, being compact and totally disconnected is profinite ([1], Theorem 1.34, p. 22), and quotients of profinite groups are profinite ([26], Proposition 2.2.1(a), p. 28), and in particular totally disconnected. This is possible only when the quotient $\Delta /\overline{{\mathbb{Z}}_{\Delta }}$ is trivial. Therefore, $\overline{{\mathbb{Z}}_{\Delta }}=\Delta$. □

Remark 5.

(a) For the torus $G={\mathbb{T}}^n$ one has $\mathfrak{L}\left(G\right)={\mathbb{R}}^n$, so the Resolution theorem applied to G is simply the covering homomorphism $\phi :{\mathbb{R}}^n\to {\mathbb{T}}^n$ if one takes $\Delta =0$ (in general Δ must be a finite subgroup of ${\mathbb{T}}^n$).

(b) Using the fact that $exp\left[\mathfrak{L}\right(G\left)\right]=a\left(G\right)$, the covering map φ could be replaced by the surjective, continuous, and open map $\psi :\Delta \times a\left(G\right)\to G:\phi (d,x)=d+x$, for $(d,x)\in \Delta \times a\left(G\right)$ which has the advantage that now both groups Δ and $a\left(G\right)$ are subgroups of G. One has to take into account that the map ${exp}_G:\mathfrak{L}\left(G\right)\to a\left(G\right)$ need not be injective. More precisely, $\mathfrak{K}\left(G\right)=Ker(exp)$ is trivial precisely when G is torus-free. However, even when G is torus-free, this map is only a continuous isomorphism that need not be a homeomorhism.

(c) As an application of Theorem 14 we obtain a nice presentation of the solenoid ${\Sigma }_2={\mathbb{Q}}^{\wedge }$ from Example 1 (2). As shown there, ${\Sigma }_2$ has a delta subgroup $\Delta =\widehat{\mathbb{Z}}={\prod }_{p\in \mathbb{P}}{\widehat{\mathbb{Z}}}_p$ and ${\Sigma }_2/\Delta \cong \mathbb{T}$. So by Definition 3 (iii), $\mathfrak{L}\left({\Sigma }_2\right){\cong }_{\mathrm{t}}\mathbb{R}$. Hence, Theorem 14 gives a resolution $\phi :\Delta \times \mathbb{R}\to {\Sigma }_2$, with $\Gamma =ker\phi {\cong }_{\mathrm{t}}\mathbb{Z}$ and $\Delta \cap a\left({\Sigma }_2\right)=\langle {\chi }_1\rangle \cong \mathbb{Z}$, where ${\chi }_1:\mathbb{Q}\to \mathbb{T}$ is defined by ${\chi }_1\left(x\right)=x+\mathbb{Z}$ for $x\in \mathbb{Q}$.

The same representation can also be obtained directly by standard use of Pontryagin duality. Indeed, let $\mathbf{1}={\left(1_p\right)}_{p\in \mathbb{P}}\in \Delta$ and $u=(\mathbf{1},-1)\in \Delta \times \mathbb{R}$. Then $\langle u\rangle {\cong }_{\mathrm{t}}\mathbb{Z}$ and $K=(\Delta \times \mathbb{R})/\langle u\rangle$ is a compact connected torsion-free group of dimension one, so its dual $K^{\wedge }$ is a discrete divisible torsion-free group of rank one. Therefore, $K^{\wedge }\cong \mathbb{Q}$ and $K{\cong }_{\mathrm{t}}{\mathbb{Q}}^{\wedge }$.

We also obtain a “canonical resolution”, where the arbitrary $\Delta \in \mathcal{D}\left(G\right)$ is replaced by the canonical subgroup $\mathbf{\Delta }\left(G\right)$.

Theorem 15

(Canonical Resolution Theorem). Let G be a compact abelian group and $\mathbf{\Delta }\left(G\right)=\bigcup \mathcal{D}\left(G\right)$. Then

(1) 

the map $\phi :\mathbf{\Delta }\left(G\right)\times \mathfrak{L}\left(G\right)\to G:\phi \left(\right(d,\chi \left)\right)=d+exp\left(\chi \right)=d+\chi \left(1\right)$ is surjective, continuous, and open;

(2) 

$\Gamma :=Ker\left(\phi \right)=\{(exp\left(\chi \right),-\chi )\mid \chi \in {exp}^{-1}[\mathbf{\Delta }\left(G\right)]\}{\cong }_t{exp}^{-1}[\mathbf{\Delta }\left(G\right)]\subset \mathfrak{L}\left(G\right)$ is torsion-free and φ induces an isomorphism $(\mathbf{\Delta }\left(G\right)\times \mathfrak{L}\left(G\right))/\Gamma {\cong }_{\mathrm{t}}G$;

(3) 

If G is connected of finite dimension $dim\left(G\right)=n$, then $\Gamma {\cong }_{\mathrm{t}}{\mathbb{Q}}^n$.

(4) 

$exp\left[{exp}^{-1}[\mathbf{\Delta }\left(G\right)]\right]=a\left(G\right)\cap \mathbf{\Delta }\left(G\right)$ is dense in G.

Proof. 

(1) The map $\phi$ is clearly homomorphic, continuous and surjective. To show that it is open, let W be an open set in $\mathbf{\Delta }\left(G\right)\times \mathfrak{L}\left(G\right)$. We can assume without loss of generality that it is a basic open set, i.e., $W=U\times U^{\prime }$, where U is open in $\mathbf{\Delta }\left(G\right)$ and $U^{\prime }$ is open in $\mathfrak{L}\left(G\right)$. Then $\forall \Delta \in \mathcal{D}\left(G\right):\Delta \cap U$ is an open set of $\Delta$, so $(\Delta \cap U)\times U^{\prime }$ is an open set of $\Delta \times \mathfrak{L}\left(G\right)$. By the ordinary Resolution Theorem $O_{\Delta }:=\phi [(\Delta \cap U)\times U^{\prime }]$ is open in G. Hence, so is

$$\phi [U\times U^{\prime }]=\phi \left[\left(\bigcup _{\Delta \in \mathcal{D}\left(G\right)}(\Delta \cap U)\right)\times U^{\prime }\right]=\phi \left[\left(\bigcup _{\Delta \in \mathcal{D}\left(G\right)}(\Delta \cap U)\times U^{\prime }\right)\right]=\bigcup _{\Delta \in \mathcal{D}\left(G\right)}{O}_{\Delta }.$$

(2) The map $\Gamma \to {exp}^{-1}[\Delta ]:(exp\left(\chi \right),-\chi )\to \chi$ clearly is bijective, homomorphic, continuous and open. Being isomorphic to a subgroup of $\mathfrak{L}\left(G\right)$, the group $\Gamma$ is torsion-free. The last assertion is obvious.

(3) Fix arbitrarily $\Delta \in \mathcal{D}\left(G\right)$ and let

$${\phi }_{\Delta }:\Delta \times \mathfrak{L}\left(G\right)\to G,\mathrm{defined} \mathrm{by}{\phi }_{\Delta }(d,\chi )=d+exp\left(\chi \right),\mathrm{and}{\Gamma }_{\Delta }=Ker\left({\phi }_{\Delta }\right).$$

By (2) $\Gamma$ is torsion-free. We will show that $\Gamma$ is divisible and $\Gamma /{\Gamma }_{\Delta }$ is a torsion group. This says that $\Gamma$ is the usual algebraic divisible hull of ${\Gamma }_{\Delta }{\cong }_{\mathrm{t}}\mathbb{Z}{e}_1\oplus \cdots \oplus \mathbb{Z}{e}_n\subset \mathfrak{L}\left(G\right)$ (see the proof of item (4) of Theorem 14). Hence, ${exp}^{-1}[\mathbf{\Delta }\left(G\right)]{\cong }_{\mathrm{t}}\Gamma$ is the divisible hull of ${exp}^{-1}[\Delta ]$ and is $\mathbb{Q}{e}_1\oplus \cdots \oplus \mathbb{Q}{e}_n\subset \mathfrak{L}\left(G\right)$ with the subspace topology. This shows that $\Gamma {\cong }_{\mathrm{t}}{\mathbb{Q}}^n$.

To show that ${exp}^{-1}[\Delta ]$, and hence $\Gamma$, is divisible, suppose that $x\in \mathfrak{L}\left(G\right)$ and $exp\left(x\right)\in \mathbf{\Delta }\left(G\right)$. As $\mathfrak{L}\left(G\right)$ is divisible, given $m\in \mathbb{N}$, there is $y\in \mathfrak{L}\left(G\right)$ such that $my=x$. Hence, $mexp\left(y\right)=exp\left(x\right)$ and as $\mathbf{\Delta }\left(G\right)$ is divisible (Proposition 7(4)) there is $d\in \mathbf{\Delta }\left(G\right)$ such that $mexp\left(y\right)=md$. It follows that $exp\left(y\right)-d\in tor\left(G\right)\subset \mathbf{\Delta }\left(G\right)$, hence $exp\left(y\right)\in \mathbf{\Delta }\left(G\right)$ and $y\in {exp}^{-1}(\Delta )$ which establishes the claim.

Finally, to show that $\Gamma /{\Gamma }_{\Delta }$ is a torsion group let $\chi \in {exp}^{-1}[\mathbf{\Delta }\left(G\right)]$, i.e., $exp\left(\chi \right)\in \mathbf{\Delta }\left(G\right)$. By Proposition 7, there is $m\in \mathbb{N}$ such that $m\chi \in \Delta$. It follows that $m(exp\left(\chi \right),-\chi )=(exp\left(m\chi \right),-m\chi )\in {\Gamma }_{\Delta }$.

(4) Write $\mathbf{\Delta }\left(G\right)={\bigcup }_{\Delta \in \mathcal{D}\left(G\right)}\Delta$ and use the fact that $a\left(G\right)\cap \Delta$ is dense in $\Delta$ for every $\Delta \in \mathcal{D}\left(G\right)$, by Theorem 14(5). Then

$$\overline{a\left(G\right)\cap \mathbf{\Delta }\left(G\right)}=\overline{a\left(G\right)\cap \bigcup _{\Delta \in \mathcal{D}\left(G\right)}\Delta }=\overline{\bigcup _{\Delta \in \mathcal{D}\left(G\right)}a\left(G\right)\cap \Delta }\supseteq \bigcup _{\Delta \in \mathcal{D}\left(G\right)}\overline{a\left(G\right)\cap \Delta }\supseteq \bigcup _{\Delta \in \mathcal{D}\left(G\right)}\Delta =\Delta \left(G\right).$$

Since $\mathbf{\Delta }\left(G\right)$ is dense in G, this proves that $a\left(G\right)\cap \mathbf{\Delta }\left(G\right)$ is dense in G. □

In the next example, we apply the canonical resolution theorem 15 to two solenoids. The first one is $\mathbb{T}={\mathbb{Z}}^{\wedge }$ and its canonical resolution adds nothing essentially new.

Example 2.

(a) 

For the solenoid, $\mathbb{T}={\mathbb{Z}}^{\wedge }$ there is an isomorphism $\rho :\mathbb{R}\to \mathfrak{L}\left(G\right)$ and $exp\left(\rho \right(r\left)\right)=r+\mathbb{Z}$, where $r\in \mathbb{R}$, by Definition 3(iii). Since $\mathbf{\Delta }\left(T\right)=tor\left(\mathbb{T}\right)=\mathbb{Q}/\mathbb{Z}$, we obtain the canonical resolution $\phi :\mathbb{Q}/\mathbb{Z}\times \mathbb{R}\to \mathbb{T}:\phi \left(\right(a+\mathbb{Z},r\left)\right)=(a+\mathbb{Z})+(r+\mathbb{Z})=a+r+\mathbb{Z}$ with $\Gamma =\left\{\right(r+\mathbb{Z},-r)\mid r\in \mathbb{Q}\}$ and evidently $\Gamma {\cong }_{\mathrm{t}}\mathbb{Q}$.

(b)∧

For the solenoid ${\Sigma }_2={\mathbb{Q}}^{\wedge }$ from Example 1 (2) $\Delta \left({\Sigma }_2\right)$ is the divisible hull of its delta subgroup $\Delta ={\prod }_p{\widehat{\mathbb{Z}}}_p$. Moreover, $\mathfrak{L}\left({\Sigma }_2\right){\cong }_{\mathrm{t}}\mathbb{R}$ (see Remark 5(c)). Theorem 15 gives the canonical resolution $\phi :\Delta \left({\Sigma }_2\right)\times \mathbb{R}\to {\Sigma }_2$ with $\Gamma =ker\phi {\cong }_{\mathrm{t}}\mathbb{Q}$ as in (a) and $a\left({\Sigma }_2\right)\cap \Delta \left({\Sigma }_2\right)\cong \mathbb{Q}$ dense in ${\Sigma }_2$.

Denote by $\tilde{\mathbb{Q}}$ the group $\Delta \left({\Sigma }_2\right)$ equipped with the finer topology obtained by taking Δ as an open topological subgroup of $\tilde{\mathbb{Q}}$. Then $\tilde{\mathbb{Q}}$ is a locally compact ring and $\mathbb{A}:=\tilde{\mathbb{Q}}\times \mathbb{R}$ is the adele ring of $\mathbb{Q}$. Composing φ with the identity $\mathbb{A}\to \Delta \left({\Sigma }_2\right)\times \mathbb{R}$ we obtain a continuous surjective homomorphism $\phi :\mathbb{A}\to {\Sigma }_2$ which is again open by the Open Mapping Theorem (as $\mathbb{A}$ is σ-compact). Hence, ${\Sigma }_2$ is a quotient of $\mathbb{A}$.

7. Fat Delta through the Looking Glass of Quasi-Torsion Elements

Fat Delta existed previously in the literature in a rather different form and in greater generality. In Section 7.1 we recall the definition of quasi-torsion element and the subgroup $td\left(G\right)$ of quasi-torsion elements, showing that $td\left(G\right)=\mathbf{\Delta }\left(G\right)$ for compact groups (Proposition 9).

7.1. Quasi-Torsion Elements

Definition 4 

(([3], p. 127), [4]). Let G be a Hausdorff abelian topological group. Define $td\left(G\right)$ to be the set of all quasi-torsion elements of G, where $x\in G$ is quasi-torsion if $\langle x\rangle$ is either finite or its subspace topology is non-discrete and linear.

This definition was given by [4] for arbitrary, not necessarily abelian, topological groups. Then $td\left(G\right)$ need not be a subgroup of G, as the following example shows.

Example 3.

Take the compact group $G=S{L}_3\left(\mathbb{R}\right)$ of rotations of ${\mathbb{R}}^3$. Then $td\left(G\right)=tor\left(G\right)$ is the set of all torsion elements of G, while the subgroup $\langle td\left(G\right)\rangle$ generated by $td\left(G\right)$ is the whole G since $td\left(G\right)$ is invariant under conjugations and G is a simple group. A geometric proof of the equality $\langle td\left(G\right)\rangle =G$ is based on the well-known fact that every rotation can be presented as a composition of two symmetries (known to have order 2).

Remark 6.

If every convergent sequence is eventually constant in a topological abelian group G, then $td\left(G\right)=tor\left(G\right)$ (the assumption $td\left(G\right)\ne tor\left(G\right)$ leads to a contradiction: if $x\in td\left(G\right)\backslash tor\left(G\right)$, then the group $\langle x\rangle$ is non-discrete and metrizable, so $\langle x\rangle$ has convergent sequences that are not eventually constant).

Infinite compact groups always have convergent sequences that are not eventually constant (since they contain copies of the Cantor set ${\{0,1\}}^{\omega }$). An example of an infinite precompact abelian group where every convergent sequence is eventually constant can be obtained as follows. For a $\mathrm{TAG}$–group $(G,\tau )$ the Bohr topology of $(G,\tau )$ is the initial topology ${\tau }^{+}$ of all $\chi \in {(G,\tau )}^{\wedge }$ (that can be obtained by the diagonal embedding $G\to {\mathbb{T}}^{G^{\wedge }}$). For the sake of brevity we also write $G^{+}$ for $(G,{\tau }^{+})$. In case τ is discrete, $G^{+}$ is usually denoted by $G^{\#}$. It is a well-known fact that in $G^{\#}$ every convergent sequence is eventually constant ([3]), so $td\left(G^{\#}\right)=tor\left(G^{\#}\right)$.

Proposition 9.

Let G be a topological abelian group.

1 

If $x\in G$, then $x\in td\left(G\right)$ if and only if there exists a continuous homomorphism $f:(\mathbb{Z},{\nu }_{\mathbb{Z}})\to G$ with $f\left(1\right)=x$;

2 

$td\left(G\right)$ is a subgroup of G containing every compact totally disconnected subgroup of G;

3 

If G is complete (in particular, locally compact), then $td\left(G\right)$ coincides with the union of all compact, totally disconnected subgroups of G.

Proof. 

(1) Assume that $x\in td\left(G\right)$. If $\langle x\rangle$ is finite, then $\langle x\rangle$ is isomorphic to a quotient group of $(\mathbb{Z},{\nu }_{\mathbb{Z}})$, so the desired homomorphism f is easy to obtain. If $\langle x\rangle$ is infinite and carries a non-discrete linear topology, then the homomorphism $f:(\mathbb{Z},{\nu }_{\mathbb{Z}})\to G$ with $f\left(1\right)=x$ is obviously continuous. On the other hand, if there exists a continuous homomorphism $f:(\mathbb{Z},{\nu }_{\mathbb{Z}})\to G$ with $f\left(1\right)=x$, then the subgroup $\langle x\rangle$ is either finite or has linear precompact topology, so $x\in td\left(G\right)$.

(2) If $x,y\in td\left(G\right)$, then by (1) there exist continuous homomorphisms $f,g:(\mathbb{Z},{\nu }_{\mathbb{Z}})\to G$ with $f\left(1\right)=x$ and $g\left(1\right)=y$. This gives a continuous homomorphism $h=f\oplus g:(\mathbb{Z},{\nu }_{\mathbb{Z}})\times (\mathbb{Z},{\nu }_{\mathbb{Z}})\to G$ defined by $h(n,m)=nx+my$. The restriction $h{\upharpoonright }_{{\Delta }_{\mathbb{Z}}}:{\Delta }_{\mathbb{Z}}\to G$ satisfies $h(1,1)=x+y$ and since ${\Delta }_{\mathbb{Z}}\cong (\mathbb{Z},{\nu }_{\mathbb{Z}})$, witnesses $x+y\in td\left(G\right)$ by (1).

If N is a compact, totally disconnected subgroup of G, then N has a linear topology. Therefore, for every $x\in N$, the subgroup $\langle x\rangle$ is either finite or its subspace topology is linear and non-discrete (as otherwise $\langle x\rangle$ it would be a closed (so compact) discrete subgroup of N, a contradiction). Therefore, $x\in td\left(G\right)$.

(3) Assume now that G complete and $x\in td\left(G\right)$. Then x is quasi-torsion and $\langle x\rangle$ is either finite or its subspace topology is non-discrete and linear. Hence, its closure $\overline{\langle x\rangle }$ is the completion of $\langle x\rangle$, and thus, compact and totally disconnected. □

For a compact group $G=A^{\wedge }$, by Proposition 5 and Proposition 9(2), we have $td\left(G\right)=\mathbf{\Delta }\left(G\right)$, and by Theorem 10$\mathbf{\Delta }\left(G\right)=Hom(A,\mathbb{Q}/\mathbb{Z})$. We summarize:

Theorem 16.

Let $G=A^{\wedge }$ where $A\in \mathrm{AG}$. Then

$$\mathbf{\Delta }\left(G\right)=td\left(G\right)=Hom(A,\mathbb{Q}/\mathbb{Z}).$$

We quote from previous papers reconfirming foregoing results.

Proposition 10. 

(1) 

([3], Theorem 4.1.7(a)) If $f:G\to H$ is a continuous homomorphism of topological abelian groups, then $f[td(G\left)\right]\subseteq td\left(H\right)$, i.e., td is a functorial subgroup; in particular $td\left(G\right)$ is fully invariant in G.

(2) 

([27], Theorem 11) If G and H in (1) are compact and f is surjective, then $f[td(G\left)\right]=td\left(H\right)$.

(3) 

(([4], Proposition 1.3(a)) and ([3], Theorem 4.1.7(b))) If G is a topological abelian group and H is a subgroup of G, then $td\left(H\right)=H\cap td\left(G\right)$;

(4) 

(([4], Proposition 1.4(a)) and ([3], Theorem 4.1.7(e))) Let $\{G_i:i\in I\}$ be a family of topological abelian groups. Then $td\left({\prod }_{i\in I}{G}_i\right)={\prod }_{i\in I}td\left(G_i\right)$.

Remark 7.

Comments on the various items of Proposition 10.

(a) 

Items (1), (3) and (4) follow from Proposition 9 and reinforce Corollary 3(1) by showing that td is a functorial subgroup in thelargercategory $\mathrm{TAG}$.

(b) 

In (2) “compact” cannot be replaced by “locally compact” (take $G=\mathbb{R}$, $H=\mathbb{T}$ and f the canonical quotient map, then $td\left(\mathbb{R}\right)=\left\{0\right\}$, while $td\left(\mathbb{T}\right)=\mathbb{Q}/\mathbb{Z}\ne \left\{0\right\}$).

(c) 

Item (4) reinforces Theorem 10(3) showing that it remains valid in the largercategory $\mathrm{TAG}$.

Now we use item (1) from Proposition 10 to show that the subgroup $td\left(G\right)$ is zero-dimensional when G is precompact, i.e., a subgroup of a compact group. We shall see in [16] that this remains true under the weaker assumption that G is locally precompact, i.e., a subgroup of a locally compact group.

Proposition 11.

Let G be a precompact abelian group. Then every subgroup H of G with $[H:(H\cap td\left(G\right)\left)\right]<\mathfrak{c}$ is zero-dimensional. In particular, $td\left(G\right)$ is zero-dimensional.

Proof. 

The following folklore fact will be needed in the sequel:

Claim 1. 

Every proper subgroup H of$\mathbb{T}$ is zero-dimensional.

Proof. 

H is either finite of dense. If H is finite then it is clearly zero-dimensional. If H is dense, then for any fixed $a\in \mathbb{T}\backslash H$ also $a+H$ is dense and disjoint from H. Hence, $\{{\Gamma }_{b,c}\cap H:b,c\in a+H\}$, where ${\Gamma }_{b,c}$ is an open arc in $\mathbb{T}$ with ends b and c, is a base of the induced topology on H consisting of clopen sets of H. □

First, we show that $\chi [td(G\left)\right]\subseteq \mathbb{Q}/\mathbb{Z}$ for any $\chi \in G^{\wedge }$. Assume that $x\in td\left(G\right)$, to check that $\chi \left(x\right)\in \mathbb{Q}/\mathbb{Z}$ pick an arbitrary $\chi \in G^{\wedge }$. Then $\chi \left(x\right)\in td\left(\mathbb{T}\right)$, by Proposition 10(1). By Example 1(3), $td\left(\mathbb{T}\right)=\mathbb{Q}/\mathbb{Z}$, so $\chi \left(x\right)\in \mathbb{Q}/\mathbb{Z}$.

Since $H/(H\cap td(G\left)\right)\cong (H+td(G\left)\right)/td\left(G\right)$, our hypothesis implies that $\left[\right(H+td\left(G\right)):td(G\left)\right]<\mathfrak{c}$. Hense, for every $\chi \in G^{\wedge }$ the subgroup $\chi [H+td(G\left)\right]$ contains the countable subgroup $\chi [td(G\left)\right]\subseteq \mathbb{Q}/\mathbb{Z}$ as a subgroup of index $<\mathfrak{c}$, so $\left|\chi \right[H\left]\right|\le \left|\chi \right[H+td\left(G\right)\left]\right|<\mathfrak{c}$ too. Consequently $\chi \left[H\right]\ne \mathbb{T}$, so $\chi \left[H\right]$ is zero-dimensional for every $\chi \in G^{\wedge }$. Since zero-dimensionality is preserved under taking direct products, ${\prod }_{\chi \in G^{\wedge }}\chi \left[H\right]$ is zero-dimensional, by Claim 1. Since H is precompact (as a subgroup of G), H isomorphic to a subgroup of ${\prod }_{\chi \in G^{\wedge }}\chi \left[H\right]$ by ([3], Theorem 2.3.2). Since zero-dimensionality is preserved under taking subgroups, we deduce that H is zero-dimensional. □

7.2. The Subgroup $td\left(G\right)$ of Compact Groups and Minimality

The Open Mapping Theorem can be reached in two steps:

Definition 5.

A Hausdorff topological group G is:

(a) 

minimalif every continuous isomorphism $f:G\to H$ onto a Hausdorff topological group H is open.

(b) 

totally minimalif G satisfies the (full) Open Mapping Theorem, i.e., every continuous homomorphism $f:G\to H$ onto a Hausdorff topological group H is open.

Compact groups are well-known to be totally minimal. On the other hand, a Hausdorff topological group G is totally minimal if and only if all Hausdorff quotients of G are minimal.

The first supply of non-compact (totally) minimal groups was obtained by means of the following notions of “strong" density:

Definition 6

([28]). A subgroup H of a topological abelian group G is totally dense if $\overline{N\cap H}=N$ for every closed subgroup N of G.

Clearly, totally dense subgroups are dense (while $\mathbb{Z}\left(p^{\infty }\right)$ is dense in $\mathbb{T}$, but not totally dense). Obviously, the totally dense subgroups have the following weaker property:

Definition 7

([5,11,15]). A subgroup H of a topological abelian group G is topologically essential if $N\cap H\ne \left\{0\right\}$ for every non-trivial closed subgroup N of G.

The term used for this property in [5,11,15] and in the remaining literature on the Open Mapping Theorem is “essential”, but we prefer the more precise term “topologically essential” to avoid possible confusion.

Theorem 17.

Let H be a dense subgroup of a compact abelian group G.

(a) 

([11,15]) H is minimal if and only if H is topologically essential in G.

(b) 

([28]) H is totally minimal if and only if H is totally dense in G.

Banaschewski [5] found the following general criterion: if H is a dense subgroup of a topological abelian group G, then H is minimal if and only if G is minimal and H is topologically essential in G. These criteria match perfectly the following remarkable result of Prodanov and Stoyanov [14] proved at a later stage, but conjectured by Prodanov in 1972 (see [13] for an earlier partial result in the totally minimal case):

Theorem 18

(Prodanov–Stoyanov Theorem). Minimal abelian groups are precompact.

This theorem allows one to use exclusively the form of the criteria given in Theorem 17, so to reduce the study of the (totally) minimal abelian groups to that of the dense topologically essential (resp., totally dense) subgroups of the compact abelian groups. This explains the interest in topologically essential or totally dense subgroups of the compact abelian groups.

Proposition 12

([11]). The minimal topologies on $\mathbb{Z}$ are precisely the p-adic topologies.

It was proved in [9] that the 2–adic topology of $\mathbb{Z}$ is minimal.

Proof. 

Assume that $\tau$ is a minimal topology on $\mathbb{Z}$ and let K be the completion of $(\mathbb{Z},\tau )$. By the Prodanov–Stoyanov Theorem the group K is compact. By Theorem 17(a), $\mathbb{Z}$ is essential in K, hence K is torsion-free. Therefore, the dual of K is a discrete divisible group [1,3,23,29], hence a direct sums of copies of $\mathbb{Q}$ and of $\mathbb{Z}\left(p^{\infty }\right)$, $p\in \mathbb{P}$. Therefore, $K={\left({\mathbb{Q}}^{\wedge }\right)}^{\alpha }\times {\prod }_p{\widehat{\mathbb{Z}}}_p^{{\beta }_p}$. Again by Theorem 17(a), $\mathbb{Z}$ must be essential in this product, hence only one of these cardinals $\alpha ,{\beta }_p$ can be non-zero, and it must be equal to 1. Since ${\mathbb{Q}}^{\wedge }$ has a Delta subgroup isomorphic to ${\prod }_p{\widehat{\mathbb{Z}}}_p$, again Theorem 17(a) implies that $\alpha =0$. In other words, $K\cong {\widehat{\mathbb{Z}}}_p$ for some prime p, therefore, $\tau$ coincides with the p-adic topology on $\mathbb{Z}$. To conclude, the minimality of the p-adic topology follows from Theorem 17(a), since $\mathbb{Z}$ is essential in $K={\widehat{\mathbb{Z}}}_p$, as all non-trivial closed subgroups of K are open. □

A similar argument shows that ${\mathbb{Q}}^n$ admits no minimal topologies for $0<n<\infty$.

The functorial subgroup $td\left(G\right)$ of a compact abelian group G is not only dense in G (Theorem 6(2)), but it is totally dense in G, as the next proposition shows.

Proposition 13.

Let G be a compact abelian group. Then $td\left(G\right)$ is totally dense in G.

Proof. 

Let N be a closed subgroup of G. Then $N\cap td\left(G\right)=td\left(N\right)$ by Proposition 10. Therefore, it suffices to check that $td\left(G\right)$ is dense in G for every compact group G. This follows from Theorem 6, but we prefer to give an independent proof here.

Let $N:=\overline{td\left(G\right)}$. Applying to the closed subgroup N of G the exactness of td in the sense of Proposition 10(2), we deduce that $td(G/N)=\left\{0\right\}$. To see that this implies $G/N=\left\{0\right\}$ and so $N=G$, consider the discrete dual $X={(G/N)}^{\wedge }$ and assume by way of contradiction that $X\ne \left\{0\right\}$. Then there exists a subgroup Y of X such that $X/Y\ne \left\{0\right\}$ is torsion. Then $Y^{\perp }\cong {(X/Y)}^{\wedge }$ is a non-trivial compact totally disconnected subgroup of $G/N$, so $td(G/N)\ne \left\{0\right\}$, a contradiction. □

We obtain the following theorem which, among other things, reconfirms that $\mathbf{\Delta }\left(G\right)$ is dense in G when G is compact.

Theorem 19.

Let G be a compact abelian group. Then $td\left(G\right)$ is a dense totally minimal zero-dimensional subgroup of G.

Proof. 

Proposition 13 ensures the total density (hence, density as well) of $td\left(G\right)$. Total minimality of $td\left(G\right)$ is then an immediate consequence of Theorem 17. To prove that $td\left(G\right)$ is zero-dimensional, apply Proposition 11. □

Since $td\left(G\right)\ne G$ when G is not totally disconnected, this theorem provides a universal example of a non-compact totally minimal (and zero-dimensional) abelian group. This explains why it is not surprising that most of the first known examples of non-compact totally minimal groups known in the seventies were just $\mathbb{Q}/\mathbb{Z}=td\left(\mathbb{T}\right)$ ([15]), ${(\mathbb{Q}/\mathbb{Z})}^n=td\left({\mathbb{T}}^n\right)$ ([9]), ${(\mathbb{Q}/\mathbb{Z})}^{\mathbb{N}}=td\left({\mathbb{T}}^{\mathbb{N}}\right)$ ([10]), and ${(\mathbb{Q}/\mathbb{Z})}^{\alpha }=td\left({\mathbb{T}}^{\alpha }\right)$ ([27,30]).

Corollary 4.

Let G be a compact abelian group and H be a closed subgroup of G. Then $td\left(H\right)\stackrel{ins}{\rightarrowtail }td\left(G\right)\twoheadrightarrow td(G/H)$ is a proper short exact sequence in $\mathrm{TAG}$.

Proof. 

By Proposition 10 $td\left(H\right)=td\left(G\right)\cap H$ and $q[td(G\left)\right]=td(G/H)$ for the quotient homomorphism $q:G\to G/H$. This proves the exactness of the short exact sequence $td\left(H\right)\stackrel{ins}{\rightarrowtail }td\left(G\right)\stackrel{f}{\twoheadrightarrow }td(G/H)$, where $f=q{\upharpoonright }_{td\left(G\right)}$. The openness of f follows from the fact that $td\left(G\right)$ is totally minimal, in view of Theorem 19. □

7.3. Sylow Subgroups of $td\left(G\right)$ for $G\in \mathrm{TAG}$

The characterization in Theorem 9 of the compact abelian groups G with $td\left(G\right)=tor\left(G\right)$ gives a very narrow class (practically rather close to the class of Lie groups). This shows that the restraint $td\left(G\right)=tor\left(G\right)$ is too stringent, or from another point of view, the subgroup $td\left(G\right)$ is too large to be useful in certain circumstances. This is why here we recall a smaller subgroup of $td\left(G\right)$ containing $tor\left(G\right)$ that still keeps the advantages of $td\left(G\right)$, but it is closer to $tor\left(G\right)$. This subgroup is simply the subgroup generated by all topologically p-Sylow subgroups ${td}_p\left(G\right)$ of $td\left(G\right)$ defined as follows:

Definition 8

([3,31]). An element x of a topological abelian group G is topologicallyp-torsion if $p^{n}x\to 0$. Let

$$G_p:=\{x\in G\mid x is topologically p\text{-}torsion\}$$

and let ${td}_p\left(G\right):={(td\left(G\right))}_p$.

Then $G_p$ is a subgroup of G. In case G is a profinite group, $G_p$ is usually called the topologicalp-Sylow subgroup of G. We shall also keep this terminology when G is not necessarily profinite. Clearly, $H_p=G_p\cap H$ for a subgroup H of G.

Obviously, ${tor}_p\left(G\right)\le {td}_p\left(G\right)\le G_p$ for every G.

The notation ${td}_p\left(G\right)$ used in Definition 8 is borrowed from [4,27], where ${td}_p\left(G\right)$ denotes the subgroup of all elements $x\in G$ (called quasi-p-torsion in [4]) such that $\langle x\rangle$ is either a cyclic p-group, or $\langle x\rangle$ is isomorphic to $\mathbb{Z}$ equipped with the p-adic topology.

The equivalence of both definitions follows from: if $\langle x\rangle \cong \mathbb{Z}$ is equipped with a Hausdorff linear topology such that $p^{n}x\to 0$, then this linear topology necessarily coincides with the p-adic topology.

The sum ${\sum }_p{td}_p\left(G\right)$ is direct ([4]). Following [4], we write $wtd\left(G\right)={⨁}_{p\in \mathbb{P}}{td}_p\left(G\right)$ in the sequel. Clearly,

$$tor\left(G\right)\le wtd\left(G\right)\le td\left(G\right),$$

but these subgroups need not coincide in general. It is proved in [4] that, when G is compact, even the smaller subgroup $wtd\left(G\right)$ is still totally dense in G. Since both total density and topological essentiality are transitive properties, a dense subgroup G of a compact abelian group K is totally dense (resp., topologically essential) in K if and only if $td\left(G\right)=G\cap td\left(K\right)$ is totally dense (resp., topologically essential) in $td\left(K\right)$ if and only if $wtd\left(G\right)$ is totally dense (resp., topologically essential) in $wtd\left(K\right)$.

The next theorem from [29] shows that one can characterize the totally disconnected compact abelian groups in the class of all compact abelian groups G by specifying whether the subgroups ${td}_p\left(G\right)$ of G are closed (compact) or not:

Theorem 20

([3,29]). For a compact abelian group G and every prime p the subgroup ${td}_p(c\left(G\right))$ is dense in $c\left(G\right)$. In particular, the following conditions are equivalent:

(1) 

G is totally disconnected;

(2) 

$td\left(G\right)=G$, i.e., $td\left(G\right)$ is compact;

(3) 

${td}_p\left(G\right)$ is compact for every prime p;

(4) 

${td}_p\left(G\right)$ is compact for some prime p;

(5) 

${td}_p\left(G\right)$ is closed in G for some prime p (equivalently, for all primes p);

(6) 

the topology induced from G on $wtd\left(G\right)={⨁}_{p\in \mathbb{P}}{td}_p\left(G\right)$ coincides with the topology induced by the product topology of ${\prod }_{p\in \mathbb{P}}{td}_p\left(G\right)$.

In case these conditions hold, then $G{\cong }_t{\prod }_{p\in \mathbb{P}}{td}_p\left(G\right)$.

In Theorem 9, we determined the compact groups for which $\mathbf{\Delta }\left(G\right)=tor\left(G\right)$. Using the smaller subgroup $wtd\left(G\right)$ instead of $\mathbf{\Delta }\left(G\right)$, we impose the condition $wtd\left(G\right)=tor\left(G\right)$ instead of collapsing the whole chain $tor\left(G\right)\le wtd\left(G\right)\le td\left(G\right)$. This leads to a concept introduced in [32]:

Definition 9

([32]). A compact abelian groups G is an exotic torus, if $wtd\left(G\right)=tor\left(G\right)$.

Clearly, the usual tori are also exotic tori, but the solenoid ${\Sigma }_1$ defined in Example 1(1) is an exotic torus that is not a torus. The next theorem from [32] giving eleven equivalent characterizations of exotic tori (of those (2) was used in [32] as the original definition) provides further examples of exotic tori (see also Example 4 (3), (4)).

Theorem 21

([32]). For a compact abelian group $G=A^{\wedge }$ the following are equivalent:

(1) 

$wtd\left(G\right)$ is torsion;

(2) 

$Soc\left(G\right)$ is topologically essential;

(3) 

G contains copies of the p-adic integers ${\widehat{\mathbb{Z}}}_p$ for no prime p;

(4) 

$n=dim\left(G\right)<\infty$ and for every continuous surjective homomorphism $f:G\to {\mathbb{T}}^n$ we have $Kerf={\prod }_p{B}_p$, where each $B_p$ is a (bounded) compact p-group;

(5) 

$n=dim\left(G\right)<\infty$ and there exists a homomorphism $f:G\to {\mathbb{T}}^n$ as in (3);

(6) 

$wtd\left(G\right)\cong {(\mathbb{Q}/\mathbb{Z})}^n\times {⨁}_{p\in \mathbb{P}}{B}_p$ algebraically, where each $B_p$ is a (bounded) compact p-group;

(7) 

A isstrongly non-divisible, i.e., all non-trivial quotients of A are non-divisible;

(8) 

every proper subgroup of A is contained in some maximal subgroup of A;

(9) 

A admits a surjective homomorphism $A\to \mathbb{Z}\left(p^{\infty }\right)$ for no prime p;

(10) 

$n=rk\left(A\right)<\infty$ and $A/F\cong ⨁T_p$, where each $T_p$ is a bounded p-group, for every $F\in \mathcal{F}\left(A\right)$;

(11) 

$n=rk\left(A\right)<\infty$ and there exists $F\in \mathcal{F}\left(A\right)$ as in (10).

Corollary 5.

If G is a non-trivial connected exotic torus, then $n=dim\left(G\right)<\infty$ and $wtd\left(G\right)=tor\left(G\right)\cong {(\mathbb{Q}/\mathbb{Z})}^n$, i.e., all p-ranks of G coincide and equal $dim\left(G\right)$.

It was deduced from this corollary that the only divisible torsion abelian group that may carry minimal topologies are the groups ${(\mathbb{Q}/\mathbb{Z})}^n$, $n\in \mathbb{N}$ ([32]).

Following [12], call a compact group almost countable if it is the completion of countable minimal abelian group. This class of compact groups was described by Prodanov [12] as follows: a compact abelian group G is almost countable if and only if $n=dim\left(G\right)<\infty$ and there exists a homomorphism $f:G\to {\mathbb{T}}^n$ such that $Kerf={\prod }_p({\widehat{\mathbb{Z}}}_p^{e_p}\times F_p)$, where $F_p$ is a finite p group and $e_p\in \{0,1\}$ for every prime p. These are the compact abelian groups G such that $td\left(G\right)$ has a countable essential subgroup.

The larger class $\mathcal{K}$ of compact abelian groups, that contain copies of the group ${\widehat{\mathbb{Z}}}_p^{\mathbb{N}}$ for no prime p was studied in [6]. It is stable under extension and contains all almost countable compact groups, as well as all exotic tori. Its subclass of compact groups G that contain copies of the group ${\widehat{\mathbb{Z}}}_p^2$ for no prime p coincides with the completions of minimal abelian groups of countable rank, or equivalently, these are the compact abelian groups G such that $td\left(G\right)$ has an essential subgroup of countable rank (see [3] or [6]).

Example 4.

Let $G=A^{\wedge }$ where $\mathbb{Z}\le A\le \mathbb{Q}$, be a solenoid, as in Lemma 11 and Theorem 13. It follows from $\mathbb{Z}\rightarrowtail A\twoheadrightarrow A/\mathbb{Z}\cong {⨁}_{p\in \mathbb{P}}\mathbb{Z}\left(p^{h_p}\right)$ that

$${(A/\mathbb{Z})}^{\wedge }=Hom(A/\mathbb{Z},\mathbb{Q}/\mathbb{Z})\to G=A^{\wedge }\stackrel{\varphi }{\twoheadrightarrow }\mathbb{T}$$

is exact and ${(A/\mathbb{Z})}^{\wedge }\to \mathbf{\Delta }\left(G\right)=Hom(A,\mathbb{Q}/\mathbb{Z})\twoheadrightarrow \mathbb{Q}/\mathbb{Z}$ is exact, with ${(A/\mathbb{Z})}^{\wedge }{\cong }_{\mathrm{t}}{\prod }_{p\in \mathbb{P}}{\Delta }_p$ where ${\Delta }_p{\cong }_{\mathrm{t}}{\mathbb{Z}\left(p^{h_p}\right)}^{\wedge }$, so ${\Delta }_p{\cong }_{\mathrm{t}}{\widehat{\mathbb{Z}}}_p$ when $p\in {\mathbb{P}}_{\infty }$ and ${\Delta }_p$ is a cyclic p-group otherwise.

(1) 

G is an exotic torus if and only if ${\mathbb{P}}_{\infty }=\varnothing$ (i.e., $tp\left(A\right)$ has no entries ∞).

(2) 

It follows from (1) that there are $\mathfrak{c}$ many pairwise non-isomorphic connected one-dimensional exotic tori G; they all have $wtd\left(G\right)\cong \mathbb{Q}/\mathbb{Z}$, according to Corollary 5. Nevertheless, for these exotic tori G the subgroups $wtd\left(G\right)$ remain pairwise non isomorphic (since, similarly to Theorem 12, if $wtd\left(G\right){\cong }_{t}wtd\left(H\right)$, then $G{\cong }_{t}H$ for every pair of compact abelian groups $G,H$).

(3) 

According to Theorem 13, if G is an exotic torus, then $Soc\left(G\right)$ is dense in G if and only if ${\mathbb{P}}_0$ is infinite (see ([32], Proposition 2.5) for a more general result in the case of connected exotic tori of arbitrary dimension). According to Theorem 21, in this case, $Soc\left(G\right)$ is the smallest dense topologically essential subgroups of G.

(4) 

The second assertion in (3) is related to the following more general fact proved in ([33], Theorem 5.1) justifying the interest in dense socles: a connected compact abelian group G contains a smallest dense topologically essential (i.e., smallest dense minimal) subgroup of G if and only if G is an exotic torus with dense $Soc\left(G\right)$.

8. Final Comments and Open Problems

One can deduce from Lemma 11(2) that for a solenoid $\Sigma$ all delta subgroups $\Delta$ of $\Sigma$ have the property that all subgroups of finite index of $\Delta$ are open.

Problem 1.

Classify the compact abelian groups whose delta subgroups have the property that all their subgroups of finite index are open.

If $G=A^{\wedge }$ is a finite-dimensional compact connected abelian group, one can easily extend the argument in the proof of Theorem 13 and prove that $Soc\left(G\right)$ is dense in G if ${\mathbb{P}}_0\left(G\right)$ is infinite, where ${\mathbb{P}}_0\left(G\right)$ is defined in this more general case as follows (a different proof in case G is an exotic torus can be found in ([32], Proposition 2.5)). Let $n=dimG$, then there exists a short exact sequence ${\mathbb{Z}}^n\rightarrowtail A\twoheadrightarrow A/{\mathbb{Z}}^n$, where $A/{\mathbb{Z}}^n$ is torsion (actually, isomorphic to a subgroup of ${(\mathbb{Q}/\mathbb{Z})}^n)$. In this notation, ${\mathbb{P}}_0\left(G\right)=\{p\in \mathbb{P}:{rk}_p(A/{\mathbb{Z}}^n)=0\}$. Obviously, ${\mathbb{P}}_0\left(G\right)={\mathbb{P}}_0$, as defined in Theorem 13, when $n=1$. The following example shows that when $dimG>1$, infinity of ${\mathbb{P}}_0\left(G\right)$ is not a necessary condition for the density of $Soc\left(G\right)$.

Example 5.

Split $\mathbb{P}={\pi }_1\bigsqcup {\pi }_2$ in two disjoint infinite subsets ${\pi }_1,{\pi }_2$ (e.g., take ${\pi }_1$ to be the set of all primes of the form $4k+1$). For $i=1,2$ define the rational group $A_i=\langle 1/p:p\in {\pi }_i\rangle$ and the solenoid ${\Sigma }_i=A_i^{\wedge }$. Then both ${\Sigma }_1$ and ${\Sigma }_2$ have dense socles, by Theorem 13, so $G={\Sigma }_1\times {\Sigma }_2$ has dense socle as well. Nevertheless, ${\mathbb{P}}_0\left(G\right)=\varnothing$.

Problem 2.

Find a criterion for density of $Soc\left(G\right)$ for a finite-dimensional compact connected abelian group G.