Filters: Topological congruence relations on groups2000 Mathematics Subject Classification: 22A05 54A20 (22C05 20K45 54H11)

Gábor Lukács I gratefully acknowledge the generous financial support received from the Alexander von Humboldt Foundation, the Killam Trusts, and Dalhousie University that enabled me to do this research.

November 27, 2006

1 INTRODUCTION

Given a set $X$  , a point $x_0\in X$  , and a filter $\mathcal{ℱ}$  on $X$  such that $\cap \mathcal{ℱ}\subseteq \left\{x_0\right\}$  , one can easily construct a Hausdorff topology $\tau$  on $X$  such that $\mathcal{ℱ}\stackrel{\tau }{⟶}{x}_0$  . This is, however, not the case for groups and group topologies, as Example  1.2 below demonstrates.

Following Zelenyuk and Protasov [?] , who were the first to investigate this type of question, we say that a filter $\mathcal{ℱ}$  on a group $G$  is a $T$  -filter if there is a Hausdorff group topology $\tau$  on $G$  such that $\mathcal{ℱ}\stackrel{\tau }{⟶}0$  . In this case, the group $G$  equipped with the finest group topology with this property is denoted by $G\{\mathcal{ℱ}\}$  . This notion can be specialized for sequences, in which case we say that $\left\{a_n\right\}$  is a $T$  -sequence, and write $G\left\{a_n\right\}$  for $G$  equipped with the above mentioned finest group topology.

Example 1.1. For a prime number $p$  , let $A=\mathbb{Z}\left(p^{\infty }\right)$  be the Prüfer group. It can be seen as the subgroup of $\mathbb{Q}/\mathbb{Z}$  generated by the elements of $p$  -power order, or the group formed by all $p^n$  th roots of unity in $\mathbb{C}$  . For $e_n=\frac{1}{p^n}$  , $\left\{e_n\right\}$  is clearly a $T$  -sequence in $A$  , because $e_n⟶0$  in the subgroup topology that $A$  inherits from $\mathbb{Q}/\mathbb{Z}$  .

Example 1.2. Keeping the notations of Example  1.1 , set $b_n=-\frac{1}{p}+\frac{1}{p^n}=-e_1+e_n$  . If $b_n\stackrel{\tau }{⟶}0$  for some group topology $\tau$  , then also $e_{n-1}=p{b}_n\stackrel{\tau }{⟶}0$  , and therefore, $e_1=p{b}_{n+1}-b_n\stackrel{\tau }{⟶}0$  .

Hence, $\tau$  cannot be Hausdorff, and so $\left\{b_n\right\}$  is not a $T$  -sequence in $A$  .

Zelenyuk and Protasov characterized $T$  -filters and $T$  -sequences in abelian groups [?,Thm. 1,Thm. 2] , and studied the topological properties of $A\left\{a_n\right\}$  , where $\left\{a_n\right\}$  is a $T$  -sequence in the abelian group $A$  . Their work is, undoubtedly, of a ground-breaking nature. Nevertheless, it may leave one with a certain feeling of incompleteness, for two reasons: First, the universal property that defines $A\{\mathcal{ℱ}\}$  is mentioned only tangentially; second, in the characterization of $T$  -filters, the condition of commutativity seems to be rather artificial.

Every topological group $G$  admits a “largest” compact Hausdorff group $bG$  and a continuous homomorphism ${\rho }_G:G\to bG$  such that every continuous homomorphism $\phi :G\to K$  into a compact Hausdorff group $K$  factors uniquely through ${\rho }_G$  :

The group $bG$  is called the Bohr-compactification of $G$  . The image ${\rho }_G\left(G\right)$  is dense in $bG$  .

The kernel of ${\rho }_G$  is called the von Neumann radical of $G$  , and denoted by $\mathbf{n}\left(G\right)$  . One says that $G$  is maximally almost periodic if $\mathbf{n}\left(G\right)=1$  , and minimally almost periodic if $\mathbf{n}\left(G\right)=G$  (cf. [?] ). Let $\hat{A}=\mathsf{ℌ}(A,\mathbb{T})$  be the Pontryagin dual of $A$  —in other words, the group of continuous characters of $A$  (i.e., continuous homomorphisms $\chi :A\to \mathbb{T}$  , where $\mathbb{T}=\mathbb{R}/\mathbb{Z}$  ), equipped with the compact-open topology. It follows from the famous Peter-Weyl Theorem ([?,Thm. 33] ) that the Bohr-compactification of an abelian group $A$  can be quite easily computed: $bA=\widehat{\stackrel{d}{\hat{A}}}$  , where ${\hat{A}}_d$  stands for the group $\hat{A}$  with the discrete topology. Thus, $\mathbf{n}\left(A\right)={\cap }_{\chi \in \hat{A}}ker\chi$  for every abelian topological group $A$  .

$T$  -sequences turn out to be a very useful tool for constructing “pathological” examples. For example, Zelenyuk and Protasov used $T$  -sequences to show (independently of Ajtai, Havas andKomlós [?] ) that every infinite abelian group admits a non-maximally almost periodic Hausdorff group topology (cf. [?,Thm. 16] ). There are plenty of examples of minimally (or maximally) almost periodic groups (cf. [?] , [?] ). Nevertheless, it appears that no example is known for a Hausdorff topological group $G$  whose von Neumann radical $\mathbf{n}\left(G\right)$  is non-trivial and finite. This raises the following question:

Problem I. How to characterize Hausdorff topological groups $G$  such that $\mathbf{n}\left(G\right)$  is finite and non-trivial?

If $\mathbf{n}\left(G\right)$  is finite and non-trivial, then $\mathbf{n}(\mathbf{n}(G\left)\right)=1$  , and thus $\mathbf{n}(\mathbf{n}(G\left)\right)\ne \mathbf{n}\left(G\right)$  , which leads to a second problem:

Problem II. How to characterize Hausdorff topological groups $G$  such that $\mathbf{n}(\mathbf{n}(G\left)\right)\ne \mathbf{n}\left(G\right)$  ?

Note that since $\mathbf{n}$  is productive, one may focus on topologically indecomposable groups (i.e., that cannot be expressed as $G_1\times G_2$  for $G_1,G_2\ne \left\{e\right\}$  ).

Our goal in this paper is two-fold, namely, to fill the void left by Zelenyuk and Protasov in the context of $T$  -filters on the one hand, and to present ample non-isomorphic algebraically directly indecomposable abelian Hausdorff topological groups whose von Neumann radical is finite and non-trivial on the other hand. The latter also shows that Problems  I and  II are meaningful.

These aims are carried out according to the following structure: In section  2 , we characterize $T$  -filters in non-abelian groups (Theorem  2.2 ), and show that filters can be interpreted as a topological extension of the notion of kernel (i.e., normal subgroup, congruence relation). In section  3 , several results that provide sufficient conditions for a sequence in an abelian group to be a $T$  -sequence are presented (Theorem  3.2 ). Finally, in section  4 , special sequences of Prüfer groups are investigated (Theorem  4.2 ), and we prove that for $p\ne 2$  , $\mathbb{Z}\left(p^{\infty }\right)$  admits a neither maximally nor minimally almost periodic Hausdorff group topology $\tau$  (Theorem  4.4 ). In particular, $\mathbf{n}(\mathbb{Z}(p^{\infty }),\tau )$  is finite, and $\mathbf{n}(\mathbf{n}(\mathbb{Z}\left(p^{\infty }\right),\tau \left)\right)\mathbb{⊊}\mathbf{n}(\mathbb{Z}(p^{\infty }),\tau )$  .

2 T-FILTERS IN NON-ABELIAN GROUPS

In this section, we develop the non-abelian analogue of one of Zelenyuk and Protasov's results [?,Thm. 1] . Thus, group operations are written multiplicatively.

Let $G$  be a group. For a group topology $\tau$  on $G$  , ${\mathcal{N}}_{\tau }$  denotes the neighborhood filter of $e$  in $\tau$  ; for $X\subseteq G$  , put $\dot{X}=\{F\subseteq G|X\subseteq F\}$  . For $g\in G$  and $F\subseteq G$  , one sets $F^g=\left\{g^{-1}xg\right|x\in F\}$  , and for a filter $\mathcal{ℱ}$  on $G$  we put ${\mathcal{ℱ}}^g=\left\{F^g\right|F\in \mathcal{ℱ}\}$  and ${\mathcal{ℱ}}^{-1}=\left\{F^{-1}\right|F\in \mathcal{ℱ}\}$  . We say that $\mathcal{ℱ}$  is a normal filter on $G$  if ${\mathcal{ℱ}}^g\subseteq \mathcal{ℱ}$  for every $g\in G$  ; $\mathcal{ℱ}$  is symmetric if ${\mathcal{ℱ}}^{-1}=\mathcal{ℱ}$  and $e\in F$  for every $F\in \mathcal{ℱ}$  . The normal closure of $\mathcal{ℱ}$  is defined as ${\mathcal{ℱ}}^{◃}={\cap }_{g\in G}{\mathcal{ℱ}}^g$  . For instance, ${\mathcal{N}}_{\tau }$  is normal for every group topology $\tau$  on $G$  . Our definition of normal closure might remind one more of the normal core. However, as the lemma below reveals, this is not the case.

Lemma 2.1. Let $\mathcal{ℱ}$  be a filter on a group $G$  .

• (a) For any group topology $\tau$  on $G$  , $\mathcal{ℱ}\stackrel{\tau }{⟶}e$  if and only if ${\mathcal{ℱ}}^{◃}\stackrel{\tau }{⟶}e$  .
• (b) $\mathcal{ℱ}$  is a $T$  -filter if and only if ${\mathcal{ℱ}}^{◃}$  is so.
• (c) $\mathcal{ℱ}$  is a $T$  -filter if and only if it contains a normal $T$  -filter.
• (d) ${\mathcal{ℱ}}^s={\mathcal{ℱ}}^{-1}\cap \dot{e}\cap \mathcal{ℱ}$  is symmetric, and for any group topology $\tau$  on $G$  , $\mathcal{ℱ}\stackrel{\tau }{⟶}e$  if and only if ${\mathcal{ℱ}}^s\stackrel{\tau }{⟶}e$  .
• (e) If $H$  is a subgroup of $G$  , then $(\dot{H}{)}^{◃}=\dot{X}$  , where $X={\cup }_{g\in G}{H}^g$  ; in particular, the normal closure of $H$  is the smallest subgroup in $(\dot{H}{)}^{◃}$  .

• Proof. Suppose that $\mathcal{ℱ}\stackrel{\tau }{⟶}e$  . Then ${\mathcal{N}}_{\tau }\subseteq \mathcal{ℱ}$  , and so ${\mathcal{N}}_{\tau }={\mathcal{N}}_{\tau }^g\subseteq {\mathcal{ℱ}}^g$  for every $g\in G$  , and hence ${\mathcal{N}}_{\tau }\subseteq {\mathcal{ℱ}}^{◃}$  , which shows that ${\mathcal{ℱ}}^{◃}\stackrel{\tau }{⟶}e$  . The converse is obvious. This shows (a); (b) follows from (a), and (c) follows from (b). Since $H\subseteq X^g=X$  , certainly $\dot{X}\subseteq (\dot{H}{)}^{◃}$  . On the other hand, if $F\in (\dot{H}{)}^{◃}$  , then $H^g\subseteq F$  for every $g\in G$  , and thus $X\subseteq F$  . This shows (e), and since (d) is similar to (a), it completes the proof.

Next, we introduce the non-abelian analogue of the Zelenyuk-Protasov notation. For a countable family $\{F_n{\}}_{n=1}^{\infty }$  of subsets of $G$  , we put

$$\begin{array}{cccc}[F_1,\dots ,F_n]& ={\bigcup }_{\sigma \in S_n}{F}_{\sigma \left(1\right)}\cdot \cdots \cdot F_{\sigma \left(n\right)},& & \end{array}$$

(1)

$$\begin{array}{cccc}\left[\right\{F_n\left\}\right]& ={\bigcup }_{n=1}^{\infty }[F_1,\dots ,F_n]\text{where}{S}_n\text{stands for the symmetric group on}n\text{elements. For a filter}\mathcal{ℱ}\text{on}G\text{, set}{\mathcal{ℬ}}_{\mathcal{ℱ}}& =\left\{\right[\left\{F_n\right\}\left]\right|\{F_n{\}}_{n=1}^{\infty }\subseteq \mathcal{ℱ}\}.& \end{array}$$

(2)

Theorem  2.2 is the non-abelian analogue of [?,Thm. 1] . Note that Lemma  2.1 enables us to confine our attention to normal symmetric filters in what follows.

Theorem 2.2. Let $\mathcal{ℱ}$  be a symmetric normal filter on $G$  . Then:

• (a) ${\mathcal{ℬ}}_{\mathcal{ℱ}}$  is a base at $e$  for a group topology ${\tau }_{\mathcal{ℱ}}$  on $G$  , and $\mathcal{ℱ}\stackrel{{\tau }_{\mathcal{ℱ}}}{⟶}e$  ;
• (b) $\tau \subseteq {\tau }_{\mathcal{ℱ}}$  for every group topology $\tau$  on $G$  such that $\mathcal{ℱ}\stackrel{\tau }{⟶}e$  ; in other words, ${\tau }_{\mathcal{ℱ}}$  is the finest group topology on $G$  with this property;
• (c) A homomorphism $f:G\to L$  into a topological group $L$  is continuous with respect to ${\tau }_{\mathcal{ℱ}}$  if and only if $f(\mathcal{ℱ})⟶e$  in $L$  ;
• (d) the following statements are equivalent:
  • (i) $\mathcal{ℱ}$  is a $T$  -filter;
  • (ii) ${\tau }_{\mathcal{ℱ}}$  is Hausdorff;
  • (iii) $\cap {\mathcal{ℬ}}_{\mathcal{ℱ}}=\left\{e\right\}$  ;
• (e) For every $M◃G$  , ${\tau }_{\mathcal{ℱ}}/M={\tau }_{q(\mathcal{ℱ})}$  , where $q:G\to G/M$  is the canonical projection;
• (f) There is a smallest normal subgroup $N_{\mathcal{ℱ}}◃G$  such that the image $\overline{\mathcal{ℱ}}$  of $\mathcal{ℱ}$  in $G/N_{\mathcal{ℱ}}$  is a $T$  -filter.

In order to prove Theorem  2.2 , a technical lemma is required.

Lemma 2.3. Let $\{V_i{\}}_{i=1}^{\infty }$  be a family of subsets of the group $G$  such that $V_{i+1}^3\subseteq V_i$  . For every $n\in \mathbb{N}$  and every $\sigma \in S_n$  , one has $V_{\sigma \left(1\right)}\cdot \cdots \cdot V_{\sigma \left(n\right)}\subseteq V_1^3$  .

• Proof. We proceed by induction on $n$  . For $n\le 3$  , the statement is trivial. So, suppose that the statement is true for every product of less than $n$  sets. Set $l={\sigma }^{-1}\left(1\right)$  , order the numbers $\sigma \left(1\right),\dots ,\sigma (l-1)$  by size as $j_1<\dots <j_{l-1}$  , where $\tau \in S_{l-1}$  is such that $j_{\tau \left(k\right)}=\sigma \left(k\right)$  . Since $j_i<j_{i+1}$  , one has $V_{j_{i+1}}^3\subseteq V_{j_{i+1}}\subseteq V_{j_i}$  . Thus, $V_{\sigma \left(1\right)}\cdot \cdots \cdot V_{\sigma (l-1)}=V_{j_{\tau \left(1\right)}}\cdot \cdots \cdot V_{j_{\tau (l-1)}}\subseteq V_{j_1}^3$  by the inductive hypothesis ( $l-1<n$  ). The index $j_1$  cannot be $1$  , because $\sigma \left(l\right)=1$  , so $j_1\ge 2$  , and thus $V_{j_1}^3\subseteq V_1$  . Therefore, $V_{\sigma \left(1\right)}\cdot \cdots \cdot V_{\sigma (l-1)}\subseteq V_1$  , and similarly, $V_{\sigma (l+1)}\cdot \cdots \cdot V_{\sigma \left(n\right)}\subseteq V_1$  . Hence, $(V_{\sigma \left(1\right)}\cdot \cdots \cdot V_{\sigma (l-1)})V_{\sigma \left(l\right)}(V_{\sigma (l+1)}\cdot \cdots \cdot V_{\sigma \left(n\right)})\subseteq V_1{V}_1{V}_1=V_1^3$  , as desired.

• Proof of Theorem  2.2 . (a) Let $\left[\right\{F_n\left\}\right],\left[\right\{T_n\left\}\right]\in {\mathcal{ℬ}}_{\mathcal{ℱ}}$  and $g\in G$  .
  1. Since $\mathcal{ℱ}$  is a filter, $F_n\cap T_n\in \mathcal{ℱ}$  for every $n\in \mathbb{N}$  . Thus, $\left[\right\{F_n\cap T_n\left\}\right]\in {\mathcal{ℬ}}_{\mathcal{ℱ}}$  , and evidently, $\left[\right\{F_n\cap T_n\left\}\right]\subseteq \left[\right\{F_n\left\}\right]\cap \left[\right\{T_n\left\}\right]$  .

  2. Since $\mathcal{ℱ}$  is normal, $F_n^g\in \mathcal{ℱ}$  for every $n\in \mathbb{N}$  . Hence, $g^{-1}\left[\right\{F_n\left\}\right]g=\left[\right\{F_n^g\left\}\right]\in {\mathcal{ℬ}}_{\mathcal{ℱ}}$  .

  3. Since $\mathcal{ℱ}$  is symmetric, $F_n^{-1}\in \mathcal{ℱ}$  for every $n\in \mathbb{N}$  , and so $\left[\right\{F_n\}{]}^{-1}=[\left\{F_n^{-1}\right\}]\in {\mathcal{ℬ}}_{\mathcal{ℱ}}$  .

  4. Obviously, $\left[\right\{F_{2n-1}\left\}\right],\left[\right\{F_{2n}\left\}\right]\in {\mathcal{ℬ}}_{\mathcal{ℱ}}$  , and $\left[\right\{F_{2n-1}\left\}\right]\cdot \left[\right\{F_{2n}\left\}\right]\subseteq \left[\right\{F_n\left\}\right]$  .

  Therefore, ${\mathcal{ℬ}}_{\mathcal{ℱ}}$  is a base at $e$  for a group topology; $\mathcal{ℱ}\stackrel{{\tau }_{\mathcal{ℱ}}}{⟶}e$  follows from ${\mathcal{ℬ}}_{\mathcal{ℱ}}\subseteq \mathcal{ℱ}$  .

  (b) Let $U\in {\mathcal{N}}_{\tau }$  . Since $\tau$  is a group topology, there exists $V_1\in {\mathcal{N}}_{\tau }$  such that $V_1^3\subseteq U$  .

  Inductively, one can find $V_n\in {\mathcal{N}}_{\tau }$  such that $V_{n+1}^3\subseteq V_n$  for every $n\in \mathbb{N}$  . Since $\mathcal{ℱ}\stackrel{\tau }{⟶}e$  , there exists $F_n\in \mathcal{ℱ}$  such that $F_n\subseteq V_n$  for every $n\in \mathbb{N}$  . By Lemma  2.3 ,

  $$\begin{array}{cc}{F}_{\sigma \left(1\right)}\cdot \cdots \cdot F_{\sigma \left(n\right)}\subseteq V_{\sigma \left(1\right)}\cdot \cdots \cdot V_{\sigma \left(n\right)}\subseteq V_1^3\subseteq U& \end{array}$$

  (3)

  for every $\sigma \in S_n$  and every $n\in \mathbb{N}$  , and therefore $\left[\right\{F_n\left\}\right]\subseteq U$  . Hence, $\tau \subseteq {\tau }_{\mathcal{ℱ}}$  .

  (c) Put ${\tau }_f=\left\{f^{-1}\right(O\left)\right|O\text{open in}L\}$  , the initial group topology that the homomorphism $f$  induces on $G$  . If $f(\mathcal{ℱ})⟶e$  in $L$  , then $\mathcal{ℱ}\stackrel{{\tau }_f}{⟶}e$  . Therefore, by virtue of (a), ${\tau }_f\subseteq {\tau }_{\mathcal{ℱ}}$  , and hence $f$  is continuous. The converse is trivial.

  (d) (i) $\iff$  (ii): If $\mathcal{ℱ}$  is a $T$  -filter, then there is a group topology $\tau$  on $G$  such that $\mathcal{ℱ}\stackrel{\tau }{⟶}e$  . By (b), $\tau \subseteq {\tau }_{\mathcal{ℱ}}$  , and thus ${\tau }_{\mathcal{ℱ}}$  is Hausdorff. Conversely, if ${\tau }_{\mathcal{ℱ}}$  is Hausdorff, then $\mathcal{ℱ}$  is a $T$  -filter by (a). The equivalence (ii) $\iff$  (iii) is obvious, because ${\mathcal{ℬ}}_{\mathcal{ℱ}}$  is the base at $e$  for the group topology ${\tau }_{\mathcal{ℱ}}$  .

  (e) On the one hand, by (b), ${\tau }_{\mathcal{ℱ}}/M\subseteq {\tau }_{q(\mathcal{ℱ})}$  because $q(\mathcal{ℱ})\stackrel{{\tau }_{\mathcal{ℱ}}/M}{⟶}e$  . On the other hand, by (c), the projection $(G,{\tau }_{\mathcal{ℱ}})\to (G/M,{\tau }_{q(\mathcal{ℱ})})$  is continuous, and therefore ${\tau }_{q(\mathcal{ℱ})}\subseteq {\tau }_{\mathcal{ℱ}}/M$  . (f) Put $N_{\mathcal{ℱ}}$  to be the closure of $\left\{e\right\}$  in ${\tau }_{\mathcal{ℱ}}$  ; equivalently, $N_{\mathcal{ℱ}}=\cap {\mathcal{ℬ}}_{\mathcal{ℱ}}$  ; being the closure of a normal subgroup, $N_{\mathcal{ℱ}}◃G$  . Suppose that $M◃G$  is such that the image $q(\mathcal{ℱ})$  of $\mathcal{ℱ}$  under the projection $q:G\to G/M$  is a $T$  -filter. Then ${\tau }_{q(\mathcal{ℱ})}$  is Hausdorff, and by (c), $q$  is continuous with respect to ${\tau }_{\mathcal{ℱ}}$  .

  Therefore, $q\left(N_{\mathcal{ℱ}}\right)=q\left({\overline{\left\{e\right\}}}^{{\tau }_{\mathcal{ℱ}}}\right)\subseteq {\overline{q\left(\right\{e\left\}\right)}}^{{\tau }_{q(\mathcal{ℱ})}}={\overline{\left\{e\right\}}}^{{\tau }_{q(\mathcal{ℱ})}}=\left\{e\right\}$  , and hence $N_{\mathcal{ℱ}}\subseteq M$  . On the other hand, $(G/N_{\mathcal{ℱ}},{\tau }_{\mathcal{ℱ}}/N_{\mathcal{ℱ}})$  is the maximal Hausdorff quotient of $(G,{\tau }_{\mathcal{ℱ}})$  , and by (e), ${\tau }_{\mathcal{ℱ}}/N_{\mathcal{ℱ}}={\tau }_{\overline{\mathcal{ℱ}}}$  .

  This shows that $\overline{\mathcal{ℱ}}$  is a $T$  -filter (by (d)).

Zelenyuk and Protasov defined the group $A\{\mathcal{ℱ}\}=(A,{\tau }_{\mathcal{ℱ}})$  only when $A$  is an abelian group and $\mathcal{ℱ}$  is a $T$  -filter on it. In our view, this definition ignores the essence hidden underneath. For a filter $\mathcal{ℱ}$  on $G$  , we set $G\{\mathcal{ℱ}\}$  to be the group $(G/N_{\mathcal{\mathscr{H}}},{\tau }_{\mathcal{\mathscr{H}}}/N_{\mathcal{\mathscr{H}}})$  , where $\mathcal{\mathscr{H}}={\mathcal{ℱ}}^{◃s}$  .

A homomorphism $h:G\to L$  of abstract groups factors through the quotient $G/N$  if and only if $N\subseteq kerh$  . Furthermore, by the First Isomorphisms Theorem, $G/kerh\sim =imh$  . While the first statement remains true in the category of topological groups, this is not the case for the second one. Because of the additional structure that topology constitutes, there are many continuous bijective homomorphisms that are not isomorphisms (i.e., their inverses are not continuous). In the next theorem, we propose an alternative to the well-known notion of kernel for the category of Hausdorff topological groups.

Theorem 2.4. Let $f:G\to (L,{\tau }^{\prime })$  be a homomorphism of $G$  into a Hausdorff group $(L,{\tau }^{\prime })$  .

Put $Kerf=\left\{f^{-1}\right(U\left)\right|U\in {\mathcal{N}}_{{\tau }^{\prime }}\}$  .

• (a) Given a filter $\mathcal{ℱ}$  on $G$  , the following statements are equivalent:
  • (i) there is a (unique) continuous homomorphism $\overline{f}:G\{\mathcal{ℱ}\}\to (L,{\tau }^{\prime })$  such that $f=\overline{f}p$  , where $p:G\to G/N_{\mathcal{ℱ}}$  is the canonical projection;
  • (ii) $f(\mathcal{ℱ})\stackrel{{\tau }^{\prime }}{⟶}e$  ;
  • (iii) $Kerf\subseteq \mathcal{ℱ}$  ;
• (b) In the category of Hausdorff topological groups, $G\{Kerf\}\sim =imf$  holds.

We refer to part (a) of Theorem  2.4 as the universal property of $G\{\mathcal{ℱ}\}$  . Observe that if $(L,{\tau }^{\prime })$  is discrete, then $Kerf=\dot{N}$  , where $N=kerf$  .

• Proof. (a) (i) $\Rightarrow$  (ii): If $\overline{f}$  is continuous, then $f:(G,{\tau }_{{\mathcal{ℱ}}^{◃s}})\to (L,{\tau }^{\prime })$  , being the composite of continuous maps, is continuous. Thus, by Theorem  2.2 (c), $f\left({\mathcal{ℱ}}^{◃s}\right)\stackrel{{\tau }^{\prime }}{⟶}e$  , and therefore (ii) follows, because $f\left({\mathcal{ℱ}}^{◃s}\right)\subseteq f(\mathcal{ℱ})$  .
  (ii) $\Rightarrow$  (iii): (ii) means that for every $U\in {\mathcal{N}}_{{\tau }^{\prime }}$  , there is $F\in \mathcal{ℱ}$  such that $f\left(F\right)\subseteq U$  . In other words, $F\subseteq f^{-1}\left(U\right)$  , which proves (iii).

  (iii) $\Rightarrow$  (i): Since $Kerf$  is symmetric and normal, (iii) implies $Kerf\subseteq {\mathcal{ℱ}}^{◃s}$  . Thus, by Theorem  2.2 (c), $f:(G,{\tau }_{{\mathcal{ℱ}}^{◃s}})\to (L,{\tau }^{\prime })$  is continuous. Certainly, $G/kerf\sim =imf$  as abstract groups, and so ${\tau }^{\prime }$  induces a Hausdorff group topology on the quotient $G/kerf$  . Thus, the image of ${\mathcal{ℱ}}^{◃s}$  in $G/kerf$  is a $T$  -filter. Therefore, by Theorem  2.2 (f), $N_{{\mathcal{ℱ}}^{◃s}}\subseteq kerf$  , and hence $f$  factors through $\overline{f}:G\{\mathcal{ℱ}\}\to (L,{\tau }^{\prime })$  .

  (b) Without loss of generality, we may assume that $f$  is surjective. By (a) applied to $\mathcal{ℱ}=Kerf$  , $\tilde{f}:G\{Kerf\}\to (L,{\tau }^{\prime })$  is continuous. Since ${\tau }^{\prime }$  is Hausdorff and $Kerf$  is a base at $e$  for the initial group topology on $G$  induced by $f$  , $N_{Kerf}=\cap Kerf=kerf$  , and thus $\tilde{f}$  is a bijection. For every $\left[\right\{U_n\left\}\right]\in {\mathcal{ℬ}}_{Kerf}$  , $U_1\subseteq \left[\right\{U_n\left\}\right]$  holds, therefore $\tilde{f}$  is open. Hence, $\tilde{f}$  is a homeomorphism.

We conclude this section with problems arising in the context of non-abelian groups whose solution for abelian groups is known, at least in some special cases.

Problem III. Is it possible to characterize $T$  -sequences in a non-abelian group in a more simple way than Theorem  2.2 ?

For a sequence $\left\{a_n\right\}$  in an abelian group $A$  , Zelenyuk and Protasov gave an elegant criterion for being a $T$  -sequence (see Theorem  3.1 below).

Problem IV. Suppose $G_1\subseteq G_2$  , $G_2$  is a Hausdorff topological group, and $\mathcal{ℱ}⟶b$  in $G_2$  , where $b$  is such that $G_1\cap \langle b\rangle =\left\{e\right\}$  . Under which additional conditions can one conclude that $\mathcal{ℱ}$  is a $T$  -filter?

No additional conditions are required if the groups are abelian and $\mathcal{ℱ}$  is generated by a sequence (cf. [?,Thm. 3] ). Furthermore, for an abelian group $A$  and a $T$  -sequence $\left\{a_n\right\}$  in $A$  , the group $A\left\{a_n\right\}$  is complete (cf. [?,Thm. 8] ), which motivates the following problem:

Problem V. How to characterize filters $\mathcal{ℱ}$  in a group $G$  such that $G\{\mathcal{ℱ}\}$  is (Raĭkov-)complete?

3 T-SEQUENCES IN ABELIAN GROUPS

In this section, $A$  is an abelian group and $\underline{a}=\left\{a_k\right\}\subseteq A$  is a sequence in $A$  . In what follows, we provide several sufficient conditions for $\left\{a_k\right\}$  to be a $T$  -sequence in $A$  . For $l,m\in \mathbb{N}$  , one puts

$$\begin{array}{c}A(l,m{)}_{\underline{a}}=\{m_1{a}_{k_1}+\cdots +m_h{a}_{k_h}|m\le k_1<\cdots <k_h,m_i\in \mathbb{Z}\backslash \{0\},\sum |m_i|\le l\}.\end{array}$$

(4)

The Zelenyuk-Protasov criterion for $T$  -sequences states:

Theorem 3.1. ([?,Theorem 2] ) A sequence $\left\{a_k\right\}$  in an abelian group $A$  is a $T$  -sequence if and only if for every $l\in \mathbb{N}$  and $g\ne 0$  , there exists $m\in \mathbb{N}$  such that $g\notin A(l,m{)}_{\underline{a}}$  .

Put $A\left[n\right]=\{a\in A:na=0\}$  for every $n\in \mathbb{N}$  . One says that $A$  is almost torsion-free if $A\left[n\right]$  is finite for every $n\in \mathbb{N}$  (cf. [?] ).

Theorem 3.2. Let $A$  be an abelian group, and let $\left\{a_n\right\}\subseteq A$  be a sequence such that $t_k:=o\left(a_k\right)$  is finite for every $k\in \mathbb{N}$  . Consider the following statements:

• (i)

  $$\begin{array}{c}{lim}_{k\to \infty }\frac{t_k}{gcd(t_k,lcm(t_1,\cdots ,t_{k-1}\left)\right)}=\infty .\end{array}$$

  (5)

• (ii) For every $l\in \mathbb{N}$  ,

  $$\begin{array}{c}{lim}_{m\to \infty }inf\left\{{max}_{1\le i\le l}\frac{t_{k_i}}{gcd(t_{k_i},lcm(t_{k_1},\dots ,t_{k_{i-1}},t_{k_{i+1}},\dots ,t_{k_l}\left)\right)}|\underline{k}\in {\mathbb{N}}_{m<}^l\right\}=\infty ,\end{array}$$

  (6)

  where ${\mathbb{N}}_{m<}^l=\{\underline{k}=(k_1,\dots ,k_l)\in {\mathbb{N}}^l|m\le k_1<\cdots <k_l\}$  .
• (iii) For every $l\in \mathbb{N}$  ,

  $$\begin{array}{c}{lim}_{m\to \infty }inf\left\{{max}_{1\le i\le l}o\right(a_{k_i}+A_{{\underline{k}}^i}\left)\right|\underline{k}\in {\mathbb{N}}_{m<}^l\}=\infty ,\end{array}$$

  (7)

  where $A_{{\underline{k}}^i}=\langle a_{k_1},\dots ,a_{k_{i-1}},a_{k_{i+1}},\dots ,a_{k_h}\rangle$  .
• (iv) For every $l,n\in \mathbb{N}$  , there exists $m_0\in \mathbb{N}$  such that $A\left[n\right]\cap A(l,m{)}_{\underline{a}}=\{0\}$  for every $m\ge m_0$  .
• (v) $\left\{a_n\right\}$  is a $T$  -sequence.

One has (i) $\Rightarrow$  (ii) $\Rightarrow$  (iii) $\Rightarrow$  (iv) $\Rightarrow$  (v), and if $A$  is almost torsion-free, then (v) $\Rightarrow$  (iv).

• Proof. (i) $\Rightarrow$  (ii) is obvious.
  (ii) $\Rightarrow$  (iii): Clearly, the order of $a_{k_i}$  in $(\langle a_{k_i}\rangle +A_{{\underline{k}}^i})/A_{{\underline{k}}^i}$  is equal to its order modulo $\langle a_{k_i}\rangle \cap A_{{\underline{k}}^i}$  , and $|\langle a_{k_i}\rangle \cap A_{{\underline{k}}^i}|$  divides both $t_{k_i}$  and $exp\left(A_{{\underline{k}}^i}\right)$  . The exponent $exp\left(A_{{\underline{k}}^i}\right)$  , in turn, divides $d=lcm(t_{k_1},\dots ,t_{k_{i-1}},t_{k_{i+1}},\dots ,t_{k_l})$  , because $A_{{\underline{k}}^i}$  is generated by elements of orders $t_{k_1},\dots ,t_{k_{i-1}},t_{k_{i+1}},\dots ,t_{k_l}$  . Therefore, $|\langle a_{k_i}\rangle \cap A_{{\underline{k}}^i}|$  divides their greatest common divisor of $t_k$  and $d$  . Hence,

  $$\begin{array}{c}\frac{t_{k_i}}{gcd(t_{k_i},lcm(t_{k_1},\dots ,t_{k_{i-1}},t_{k_{i+1}},\dots ,t_{k_l}\left)\right)}|\frac{|\langle a_{k_i}\rangle |}{|\langle a_{k_i}\rangle \cap A_{{\underline{k}}^i}|}=o(a_{k_i}+A_{{\underline{k}}^i}).\end{array}$$

  (8)

  (iii) $\Rightarrow$  (iv): Given $l,n\in \mathbb{N}$  , let $m_0\in \mathbb{N}$  be such that $nl<{max}_{1\le i\le h}o(a_{k_i}+A_{{\underline{k}}^i})$  for every $1\le h\le l$  and every $\underline{k}\in {\mathbb{N}}_{m_0<}^h$  . (By ( 7 ), such $m_0$  exists.) Let $g=m_1{a}_{k_1}+\cdots +m_h{a}_{k_h}\in A(l,m{)}_{\underline{a}}$  be a non-zero element, where $m_0\le m\le k_1<\cdots <k_h$  , $m_i\in \mathbb{Z}\backslash \left\{0\right\}$  , and $\sum \left|m_i\right|\le l$  . It follows from the last two conditions that $h\le l$  . So, there exists $1\le i\le h$  such that $nl<o(a_{k_i}+A_{{\underline{k}}^i})$  , and thus $n<o(m_i{a}_{k_i}+A_{{\underline{k}}^i})$  . To complete the proof, note that $g\in m_i{a}_{k_i}+A_{{\underline{k}}^i}$  , and therefore $o(m_i{a}_{k_i}+A_{{\underline{k}}^i})\left|o\right(g)$  . Hence, $n<o\left(g\right)$  , and so $g\notin A\left[n\right]$  , as desired.

  (iv) $\Rightarrow$  (v): Let $g\in A$  be a non-zero element. If the order of $g$  is infinite, then $g\notin A(l,1{)}_{\underline{a}}$  for every $l\in \mathbb{N}$  , and so suppose that $n:=o\left(g\right)$  is finite. By (iii), for every $l\in \mathbb{N}$  there exists $m_0\left(l\right)$  such that $A\left[n\right]\cap A(l,m_0(l){)}_{\underline{a}}=\{0\}$  . In particular, $g\notin A(l,m_0(l){)}_{\underline{a}}$  for every $l$  .

  (v) $\Rightarrow$  (iv): Given $l,n\in \mathbb{N}$  , and suppose that $A\left[n\right]=\{0,g_1,\dots ,g_j\}$  is finite. For each $g_i$  , pick $m_i\left(l\right)\in \mathbb{N}$  such that $g_i\notin A(l,m_i(l){)}_{\underline{a}}$  , and put $m_0\left(l\right)=max{m}_i\left(l\right)$  . Clearly, one has $A\left[n\right]\cap A(l,m{)}_{\underline{a}}=\{0\}$  for every $m\ge m_0\left(l\right)$  , as desired.

Remark 3.3. In Theorem  3.2 , (iv) does not imply (iii). Indeed, although (iii) fails for the sequence $\left\{e_n\right\}$  from Example  1.1 , it is a $T$  -sequence in $\mathbb{Z}\left(p^{\infty }\right)$  .

Corollary 3.4. Let $A$  be an abelian group, and let $\left\{a_n\right\}\subseteq A$  be a sequence such that $t_k:=o\left(a_k\right)$  is finite for every $k\in \mathbb{N}$  .

• (a) If the $t_k$  are pairwise coprime, then $\left\{a_k\right\}$  is a $T$  -sequence.
• (b) If $t_k|t_{k+1}$  and ${lim}_{k\to \infty }\frac{t_{k+1}}{t_k}=\infty$  , then $\left\{a_k\right\}$  is a $T$  -sequence.

• Proof. If the $t_k$  are pairwise coprime, then the expression in ( 5 ) is equal to $t_k$  and $t_k\to \infty$  . If $t_k|t_{k+1}$  , then the expression in ( 5 ) is precisely $\frac{t_{k+1}}{t_k}$  . In both cases, the statement follows from Theorem  3.2 (i).

4 SPECIAL SEQUENCES IN THE PR¨FER GROUPS

In this section, we present method for constructing a Hausdorff abelian topological groups $A$  such that $\mathbf{n}\left(A\right)$  is finite and non-trivial. An implicit yet rather thick hint for the construction of a group with these properties appears in [?] , in the proof of Corollary 4.9 and the paragraph following it. It was Dikranjan who pointed out to the author that considering a suitable $T$  -sequence in a Prüfer group (and the maximal Hausdorff group topology thus obtained) would lead to the desired example. Prüfer groups are distinguished by the property of having only finite proper subgroups, which implies that these subgroups are closed in any Hausdorff group topology. This property makes Prüfer groups particularly suitable candidates for the aforesaid construction, because if $\mathbf{n}(\mathbb{Z}(p^{\infty }\left)\right\{d_n\left\}\right)$  is a non-trivial proper subgroup, then it must be finite. Therefore, in this section, we study certain sequences in the Prüfer groups $\mathbb{Z}\left(p^{\infty }\right)$  , and construct a $T$  -sequence $\left\{d_n\right\}$  such that $\mathbb{Z}\left(p^{\infty }\right)\left\{d_n\right\}$  is neither maximally nor minimally almost periodic. A second important property that Prüfer groups, being $p$  -groups, have is that for every $a,b\in \mathbb{Z}\left(p^{\infty }\right)$  ,

$$\begin{array}{c}o\left(a\right)\ne o\left(b\right)⟹o(a+b)=max\left\{o\right(a),o(b\left)\right\}.\end{array}$$

(9)

Recall that if $A$  is a subgroup of an abelian Hausdorff topological group $S$  , and $\left\{a_k\right\}\subseteq A$  is so that $a_k⟶b$  in $S$  , where $\langle b\rangle \cap A=\left\{0\right\}$  , then $\left\{a_k\right\}$  is a $T$  -sequence in $A$  (cf. [?,Thm. 3] ). The setting of this result is so that the sequence $a_n$  converges to an external element (namely, $b\notin A$  ) in some group topology. In contrast, in this section, we investigate sequences in $\mathbb{Z}\left(p^{\infty }\right)$  that converge to a non-zero (internal) element of $\mathbb{Z}\left(p^{\infty }\right)$  in the “usual” topology, that is, the one inherited from $\mathbb{Q}/\mathbb{Z}$  .

We start off with an immediate consequence of Corollary  3.4 .

Lemma 4.1. Let $\left\{a_k\right\}$  be a sequence in $\mathbb{Z}\left(p^{\infty }\right)$  , and suppose that $o\left(a_k\right)=p^{n_k}$  . If $n_{k+1}-n_k⟶\infty$  , then $\left\{a_k\right\}$  is a $T$  -sequence.

• Proof. One has $\frac{o\left(a_{k+1}\right)}{o\left(a_k\right)}=\frac{p^{n_{k+1}}}{p^{n_k}}=p^{n_{k+1}-n_k}$  . Therefore, the statement follows from Corollary  3.4 (b).

Example  1.1 shows that the converse of Lemma  4.1 does not hold in general. Nevertheless, for some special sequences, the condition of $n_{k+1}-n_k⟶\infty$  turns out to be necessary for being a $T$  -sequence, as Theorem  4.2 below reveals.

We proceed by introducing some terminology. A topological group $G$  is precompact if for every neighborhood $U$  of the identity in $G$  there is a finite subset $F\subseteq G$  such that $G=FU$  .

Following [?] , we say that a filter $\mathcal{ℱ}$  (a sequence $\left\{a_n\right\}$  ) on a group $G$  is a $TB$  -filter ( $TB$  -sequence) if there is a precompact Hausdorff group topology $\tau$  on $G$  such that $\mathcal{ℱ}\stackrel{\tau }{⟶}0$  ( $a_n\stackrel{\tau }{⟶}0$  ).

An abelian group is precompact if and only if it carries the initial topology induced by its group of continuous characters. Thus, if $\left\{a_k\right\}$  is a sequence in an abelian group $A$  , then by the universal property of $A\left\{a_k\right\}$  , a character $\chi :A\to \mathbb{T}$  is continuous on $A\left\{a_k\right\}$  if and only if $\chi \left(a_k\right)⟶0$  . Therefore, for $H=\{\chi \in {hom}_{\mathbb{Z}}(A,\mathbb{T}\left)\right|\chi \left(a_k\right)⟶0\}$  , the closure of $\left\{0\right\}$  in the initial topology induced by $H$  is $\mathbf{n}\left(A\right\{a_k\left\}\right)={\cap }_{\chi \in H}ker\chi$  . Hence, $\left\{a_k\right\}$  is a $TB$  -sequence if and only if $H$  separates the points of $A$  . (Observe that $H={\widehat{A\left\{a_k\right\}}}_d$  .)

Theorem 4.2. Let $x\in \mathbb{Z}\left(p^{\infty }\right)$  be a non-zero element, $\left\{n_k\right\}\subseteq \mathbb{N}$  an increasing sequence of positive integers, and set

$$\begin{array}{c}{a}_k=-x+e_{n_k}=-x+\frac{1}{p^{n_k}}\in \mathbb{Z}\left(p^{\infty }\right).\end{array}$$

(10)

• (a) $\left\{a_k\right\}$  is a $T$  -sequence if and only if $n_{k+1}-n_k⟶\infty$  .
• (b) $\left\{a_k\right\}$  is a $T$  -sequence if and only if it is a $TB$  -sequence. In this case, $\mathbb{Z}\left(p^{\infty }\right)\left\{a_k\right\}$  is maximally almost periodic, and it has $\mathfrak{c}$  many faithful characters (in particular, $\left|\widehat{\mathbb{Z}\left(p^{\infty }\right)\left\{a_k\right\}}\right|=\mathfrak{c}$  ).

Since every $TB$  -filter is a $T$  -filter, but the converse is not true in general, (b) of the Theorem  4.2 is a non-trivial result. Its proof, however, requires a technical lemma. Note that the group of all characters of $\mathbb{Z}\left(p^{\infty }\right)$  is isomorphic to the group ${\mathbb{Z}}_p$  of the $p$  -adic integers. In other words, ${\mathbb{Z}}_p={hom}_{\mathbb{Z}}(\mathbb{Z}(p^{\infty }),\mathbb{T})$  .

Lemma 4.3. Suppose that $n_{k+1}-n_k⟶\infty$  . For $\chi ={\sum }_{n=0}^{\infty }{\alpha }_n{p}^n\in {\mathbb{Z}}_p$  ( $0\le {\alpha }_n\le p-1$  ) and $\gamma \in (0,1)$  , $\chi \left(e_{n_k}\right)⟶\gamma$  if and only if

$$\begin{array}{c}{r}_k:=\frac{{\sum }_{l=n_k}^{n_{k+1}-1}{\alpha }_l{p}^{l-n_k}}{p^{n_{k+1}-n_k}}⟶\gamma .\end{array}$$

(11)

• Proof. One has

  $$\begin{array}{cc}\chi \left(e_{n_{k+1}}\right)& =\frac{{\sum }_{l=0}^{n_{k+1}-1}{\alpha }_l{p}^l}{p^{n_{k+1}}}=\frac{{\sum }_{l=0}^{n_k-1}{\alpha }_l{p}^l}{p^{n_{k+1}}}+\frac{{\sum }_{l=n_k}^{n_{k+1}-1}{\alpha }_l{p}^l}{p^{n_{k+1}}}=\frac{\chi \left(e_{n_k}\right)}{p^{n_{k+1}-n_k}}+r_k,\end{array}$$

  (12)

  and thus ${lim}_{k\to \infty }\chi \left(e_{n_k}\right)={lim}_{k\to \infty }{r}_k$  in $\mathbb{T}$  (by the equality of limits we mean that one exists if and only if the other does, and in that case they are equal), because $n_{k+1}-n_k⟶\infty$  . Since $\gamma \ne 0$  , small enough neighborhoods of $\gamma$  in $\mathbb{T}$  and $(0,1)$  are the same, and therefore ${lim}_{k\to \infty }\chi \left(e_{n_k}\right)={lim}_{k\to \infty }{r}_k$  in $(0,1)$  .

• Proof of Theorem  4.2 . (a) Since $\left\{n_k\right\}$  is increasing, one has $n_k⟶\infty$  . Thus, $p^{n_k}>o\left(x\right)$  for $k$  large enough, and so $o\left(a_k\right)=p^{n_k}$  except for maybe a finite number of $k$  (by ( 9 )). Hence, $a_k$  is a $T$  -sequence by Lemma  4.1 .
  Conversely, let $p^{n_0}=o\left(x\right)$  , and assume that $n_{k+1}-n_k⟶̸\infty$  . Then $o\left(p^{n_0-1}x\right)=p$  ,

  $$\begin{array}{c}{p}^{n_0-1}{a}_k=-p^{n_0-1}x+e_{n_k-n_0+1},\end{array}$$

  (13)

  and the differences $(n_{k+1}-n_0+1)-(n_k-n_0+1)=n_{k+1}-n_k⟶̸\infty$  . Thus, it suffices to show that $p^{n_0-1}{a}_k$  is not a $T$  -sequence. Therefore, without loss of generality, we may assume that $o\left(x\right)=p$  from the outset. Since $n_{k+1}-n_k⟶̸\infty$  , there exists a number $d$  and a subsequence $k_r$  of $k$  such that $n_{k_r+1}-n_{k_r}\le d$  for every $r$  . If $a_k⟶0$  in a group topology $\tau$  on $\mathbb{Z}\left(p^{\infty }\right)$  , then in particular, $p{a}_{n_{k_r+1}}=e_{n_{k_r+1}-1}⟶0$  , and so for every $1\le i\le d$  , $e_{n_{k_r+1}-i}⟶0$  . Thus, the sequence $b_n$  defined as $$e_{n_{k_1+1}-d},e_{n_{k_1+1}-d+1},\dots ,e_{n_{k_1+1}-1},e_{n_{k_2+1}-d},e_{n_{k_2+1}-d+1},\dots ,e_{n_{k_2+1}-1},\dots$$  also converges to $0$  in $\tau$  . One has $n_{k_r+1}-d\le n_{k_r}\le n_{k_r+1}-1$  , and therefore $e_{n_{k_r}}$  is a subsequence of $b_n$  , and hence $e_{n_{k_r}}⟶0$  in $\tau$  . Since $a_{k_r}=-x+e_{n_{k_r}}$  , this shows that $\tau$  is not Hausdorff. (b) If $\left\{a_k\right\}$  is a $TB$  -sequence, then clearly it is a $T$  -sequence. Conversely, suppose that $\left\{a_k\right\}$  is a $T$  -sequence. In order to show that $\left\{a_n\right\}$  is a $TB$  -sequence, we find a faithful continuous character of $\mathbb{Z}\left(p^{\infty }\right)\left\{a_k\right\}$  , in other words, $\chi \in {\mathbb{Z}}_p$  such that $\chi \left(a_k\right)⟶0$  and $ker\chi =\left\{0\right\}$  . Let $p^{n_0}=o\left(x\right)$  . For $\chi ={\sum }_{n=0}^{\infty }{\alpha }_n{p}^n\in {\mathbb{Z}}_p$  , a character of $\mathbb{Z}\left(p^{\infty }\right)$  , if

  $$\begin{array}{c}{\alpha }_0=1,{\alpha }_1=\cdots ={\alpha }_{n_0-1}=0,\end{array}$$

  (14)

  then $\chi$  acts on the subgroup $\langle x\rangle$  as the identity, where $\mathbb{Z}\left(p^{\infty }\right)$  is viewed as a subgroup of $\mathbb{T}$  . Thus, $\chi \left(e_1\right)=e_1\ne 0$  and $\chi \left(x\right)=x\ne 0$  , and in particular, $\chi$  is faithful. By Lemma  4.3 , $\chi \left(a_k\right)⟶0$  (i.e., $\chi$  is continuous on $\mathbb{Z}\left(p^{\infty }\right)\left\{a_k\right\}$  ) if and only if

  $$\begin{array}{c}{r}_k=\frac{{\sum }_{l=n_k}^{n_{k+1}-1}{\alpha }_l{p}^{l-n_k}}{p^{n_{k+1}-n_k}}⟶x.\end{array}$$

  (15)

  Conditions ( 14 ) and ( 15 ) are satisfied (simultaneously) by continuum many elements in ${\mathbb{Z}}_p$  , which completes the proof.

We proceed by presenting the construction of a non-minimally almost periodic non-maximally almost periodic Hausdorff group topology on the group $\mathbb{Z}\left(p^{\infty }\right)$  for $p\ne 2$  . Our technique makes substantial use of the assumption that $p\ne 2$  ; nevertheless, we conjecture that a similar construction is available for $p=2$  .

Theorem 4.4. Let $p$  be a prime number such that $p\ne 2$  , $x\in \mathbb{Z}\left(p^{\infty }\right)$  be a non-zero element with $p^{n_0}=o\left(x\right)$  , and put

$$\begin{array}{c}{b}_n=-x+e_{n^3-n^2}+\cdots +e_{n^3-2n}+e_{n^3-n}+e_{n^3}=-x+\frac{1}{p^{n^3-n^2}}+\cdots +\frac{1}{p^{n^3-2n}}+\frac{1}{p^{n^3-n}}+\frac{1}{p^{n^3}}.\end{array}$$

(16)

Consider the sequence $d_n$  defined as $b_1,e_1,b_2,e_2,b_3,e_3,\dots$  . Then:

• (a) $\left\{d_n\right\}$  is a $T$  -sequence in $\mathbb{Z}\left(p^{\infty }\right)$  ;
• (b) the underlying group of $\widehat{\mathbb{Z}\left(p^{\infty }\right)\left\{d_n\right\}}$  is $p^{n_0}\mathbb{Z}\subseteq {\mathbb{Z}}_p={hom}_{\mathbb{Z}}(\mathbb{Z}(p^{\infty }),\mathbb{T})$  ;
• (c) $\mathbf{n}(\mathbb{Z}(p^{\infty }\left)\right\{d_n\left\}\right)=\langle x\rangle$  .

In particular, $\mathbb{Z}\left(p^{\infty }\right)\left\{d_n\right\}$  is neither maximally almost periodic nor minimally almost periodic,and $\mathbf{n}(\mathbb{Z}(p^{\infty }\left)\right\{d_n\left\}\right)$  is finite.

Corollary 4.5. Let $p$  be a prime number such that $p\ne 2$  , and put

$$\begin{array}{c}{b}_n=-e_1+e_{n^3-n^2}+\cdots +e_{n^3-2n}+e_{n^3-n}+e_{n^3}=-\frac{1}{p}+\frac{1}{p^{n^3-n^2}}+\cdots +\frac{1}{p^{n^3-2n}}+\frac{1}{p^{n^3-n}}+\frac{1}{p^{n^3}}.\end{array}$$

(17)

Consider the sequence $d_n$  defined as $b_1,e_1,b_2,e_2,b_3,e_3,\dots$  . Then:

• (a) $\left\{d_n\right\}$  is a $T$  -sequence in $\mathbb{Z}\left(p^{\infty }\right)$  ;
• (b) the underlying group of $\widehat{\mathbb{Z}\left(p^{\infty }\right)\left\{d_n\right\}}$  is $p\mathbb{Z}\subseteq {\mathbb{Z}}_p={hom}_{\mathbb{Z}}(\mathbb{Z}(p^{\infty }),\mathbb{T})$  ;
• (c) $\mathbf{n}(\mathbb{Z}(p^{\infty }\left)\right\{d_n\left\}\right)=\langle \frac{1}{p}\rangle$  .

In particular, $\mathbb{Z}\left(p^{\infty }\right)\left\{d_n\right\}$  is neither maximally almost periodic nor minimally almost periodic, and $\mathbf{n}(\mathbb{Z}(p^{\infty }\left)\right\{d_n\left\}\right)$  is finite.

In order to prove Theorem  4.4 , several auxiliary results of a technical nature are required.

Until the end of this section, we assume that $p\ne 2$  . Each element $y\in \mathbb{Z}\left(p^{\infty }\right)$  admits many representations of the form $y=\sum {\sigma }_n{e}_n$  , where ${\sigma }_n\in \mathbb{Z}$  (only finitely many of the ${\sigma }_n$  are non-zero), and so we say that it is the canonical form of $y$  if $\left|{\sigma }_n\right|\le \frac{p-1}{2}$  for every $n\in \mathbb{N}$  ; in this case, we put $\Lambda \left(y\right)=\{n\in \mathbb{N}|{\sigma }_n\ne 0\}$  and $\lambda \left(y\right)=|\Lambda (y\left)\right|$  .

Lemma 4.6. Let $y=\sum {\sigma }_n{e}_n\in \mathbb{Z}\left(p^{\infty }\right)$  . Then:

• (a) $y$  admits a canonical form $y=\sum {\sigma }_n^{\prime }{e}_n$  , and $\sum \left|{\sigma }_n^{\prime }\right|\le \sum \left|{\sigma }_n\right|$  ;
• (b) the canonical form is unique, and so $\Lambda$  is well-defined.
  Furthermore,
• (c) $\lambda \left(z\right)\le l$  for every $z\in \mathbb{Z}\left(p^{\infty }\right)(l,1{)}_{\underline{e}}$  and $l\in \mathbb{N}$  .

• Proof. (a) Let $N$  be the largest index such that ${\sigma }_N\ne 0$  . We proceed by induction on $N$  . If $N=1$  , then $y={\sigma }_1{c}_1$  . Thus, if ${\sigma }_1={\sigma }_1^{\prime }+mp$  is a division with residue in $\mathbb{Z}$  , and ${\sigma }_1^{\prime }$  is chosen to have the smallest possible absolute value, then $\left|{\sigma }_1^{\prime }\right|\le \frac{p-1}{2}$  , and

  $$\begin{array}{c}y=({\sigma }_1^{\prime }+pm)e_1={\sigma }_1^{\prime }{e}_1+mp{e}_1={\sigma }_1^{\prime }{e}_1.\end{array}$$

  (18)

  In particular, $\left|{\sigma }_1^{\prime }\right|\le \left|{\sigma }_1\right|$  . Suppose now that the statement holds for all elements with representation with maximal non-zero index less than $N$  . If ${\sigma }_N={\sigma }_N^{\prime }+kp$  is a division with residue in $\mathbb{Z}$  , and ${\sigma }_N^{\prime }$  is chosen to have the smallest possible absolute value, then $\left|{\sigma }_N^{\prime }\right|\le \frac{p-1}{2}$  , and

  $$\begin{array}{cc}y-{\sum }_{n=1}^{N-2}{\sigma }_n{e}_n-({\sigma }_{N-1}+k)e_{N-1}=-k{e}_{N-1}+{\sigma }_N{e}_N=-k{e}_{N-1}+({\sigma }_N^{\prime }+kp)e_N={\sigma }_N^{\prime }{e}_N.& \end{array}$$

  (19)

  The element $z={\sum }_{n=1}^{N-2}{\sigma }_n{e}_n+({\sigma }_{N-1}+k)e_{N-1}$  satisfies the inductive hypothesis, so $z={\sum }_{n=1}^{N-1}{\sigma }_n^{\prime }{e}_n$  , where $\left|{\sigma }_n^{\prime }\right|\le \frac{p-1}{2}$  and ${\sum }_{n=1}^{N-1}\left|{\sigma }_n^{\prime }\right|\le {\sum }_{n=1}^{N-1}\left|{\sigma }_n\right|+\left|k\right|$  . Therefore, $y=\sum {\sigma }_n^{\prime }{c}_n$  , $\left|{\sigma }_n^{\prime }\right|\le \frac{p-1}{2}$  , and $\sum \left|{\sigma }_n^{\prime }\right|\le \sum \left|{\sigma }_n\right|$  , because $\left|{\sigma }_N^{\prime }\right|+\left|k\right|\le \left|{\sigma }_N\right|$  .
  (b) Suppose that $\sum {\sigma }_n{e}_n=\sum {\upsilon }_n{e}_n$  are two distinct canonical representations of the same element. Then $\sum ({\sigma }_n-{\upsilon }_n)e_n=0$  , and $|{\sigma }_n-{\upsilon }_n|\le p-1$  . Let $N$  be the largest index such that ${\sigma }_N\ne {\upsilon }_N$  . (Since all coefficients are zero, except for a finite number of indices, such $N$  exists.) This means that $0<|{\sigma }_N-{\upsilon }_N|\le p-1$  , and $o\left(\right({\sigma }_N-{\upsilon }_N\left)e_N\right)=p^N$  . Therefore, by ( 9 ), one has $o(\sum ({\sigma }_n-{\upsilon }_n\left)e_n\right)=p^N$  , because $o\left({\sum }_{n<N}\right({\sigma }_n-{\upsilon }_n\left)e_n\right)\le p^{N-1}$  . This is a contradiction, and therefore ${\sigma }_n={\upsilon }_n$  for every $n\in \mathbb{N}$  .

  (c) Let $z={\mu }_1{e}_{n_1}+\cdots +{\mu }_h{e}_{n_h}$  , where $\sum \left|{\mu }_i\right|\le l$  and $n_1<n_2<\cdots <n_h$  . By (a), $z$  admits a canonical form $z=\sum {\mu }_n^{\prime }{e}_n$  , and $\sum \left|{\mu }_n^{\prime }\right|\le \sum \left|{\mu }_i\right|\le l$  . Therefore, ${\mu }_n^{\prime }\ne 0$  only for at most $l$  many indices.

Lemma 4.7. Let $m\in \mathbb{Z}\backslash \left\{0\right\}$  , and put $l=\lceil {log}_p\left|m\right|\rceil$  . If $n>l$  , then $\Lambda \left(m{e}_n\right)\subseteq \{n-l,\dots ,n-1,n\}$  and $1\le \lambda \left(m{e}_n\right)$  .

• Proof. It follows from $n>l$  that $p^n>\left|m\right|$  , and so $m{e}_n\ne 0$  . Thus, $1\le \lambda \left(m{e}_n\right)$  . To show the first statement, expand $m={\mu }_0+{\mu }_{1}p+\cdots +{\mu }_l{p}^l$  , where ${\mu }_i\in \mathbb{Z}$  and $\left|{\mu }_i\right|\le \frac{p-1}{2}$  . Then

  $$\begin{array}{c}m{e}_n={\mu }_0{e}_n+{\mu }_1{e}_{n-1}+\cdots +{\mu }_l{e}_{n-l}\end{array}$$

  (20)

  is in canonical form, and therefore $\Lambda \left(m{e}_n\right)\subseteq \{n-l,\dots ,n-1,n\}$  , as desired.

Lemma 4.8. Let $y,z\in \mathbb{Z}\left(p^{\infty }\right)$  such that $\lambda \left(y\right)>\lambda \left(z\right)$  , and suppose that $\Lambda \left(y\right)=\{k_1,\dots ,k_g\}$  where $k_1<\dots <k_g$  and $g=\lambda \left(y\right)$  . Then $o(y+z)\ge p^{k_{g-\lambda \left(z\right)}}$  .

• Proof. Let $y=\sum {\nu }_n{e}_n$  and $z=\sum {\mu }_n{e}_n$  in canonical form. Then $y+z=\sum ({\nu }_n+{\mu }_n)e_n$  , and $|{\nu }_n+{\mu }_n|\le p-1$  . Clearly, $o(y+z)=p^N$  for $N$  the largest index such that ${\nu }_N+{\mu }_N\ne 0$  . By the definition of $N$  , ${\mu }_n=-{\nu }_n$  for every $n>N$  . In particular, ${\mu }_{k_i}\ne 0$  for every $i$  such that $k_i>N$  .
  Thus, there are at most $\lambda \left(z\right)$  many $i$  such that $k_i>N$  , and therefore $N\ge k_{g-\lambda \left(z\right)}$  .

Remark 4.9. If $y_1,y_2\in \mathbb{Z}\left(p^{\infty }\right)$  and $\Lambda \left(y_1\right)\cap \Lambda \left(y_2\right)=\varnothing$  , then $\Lambda (y_1+y_2)=\Lambda \left(y_1\right)\cup \Lambda \left(y_2\right)$  and $\lambda (y_1+y_2)=\lambda \left(y_1\right)+\lambda \left(y_2\right)$  .

Proposition 4.10. Let $y={\nu }_1{e}_{n_1}+\cdots {\nu }_f{e}_{n_f}$  , where $n_1<\cdots <n_f$  and ${\nu }_i\ne 0$  . Put $l_i=\lceil {log}_p\left|{\nu }_i\right|\rceil$  , and suppose that $n_i<n_{i+1}-l_{i+1}$  for each $1\le i\le f$  . Then:

• (a) $f\le \lambda \left(y\right)$  ;
• (b) if $z\in \mathbb{Z}\left(p^{\infty }\right)$  is such that $\lambda \left(z\right)<\lambda \left(y\right)$  , then $o(y+z)\ge p^{n_{f-\lambda \left(z\right)}-l_{f-\lambda \left(z\right)}}$  .

• Proof. (a) By Lemma  4.7 , $\Lambda \left({\nu }_i{e}_{n_i}\right)\subseteq \{n_i-l_i,\dots ,n_i\}$  , and since $n_{i-1}<n_i-l_i$  , the sets $\Lambda \left({\nu }_i{e}_{n_i}\right)$  are pairwise disjoint. Therefore, by Remark  4.9 , $\lambda \left(y\right)=\lambda \left({\nu }_1{e}_{n_1}\right)+\cdots +\lambda \left({\nu }_f{e}_{n_f}\right)\ge f$  , and

  $$\begin{array}{c}\Lambda \left(y\right)\subseteq {\bigcup }_{i=1}^f\{n_i-l_i,\dots ,n_i\}=\{n_1-l_1,\dots ,n_1,\dots ,n_i-l_i,\dots ,n_i,\dots ,n_f-l_f,\dots ,n_f\}.\end{array}$$

  (21)

  (b) By Lemma  4.8 , $o(y+z)\ge p^{k_{\lambda \left(y\right)-\lambda \left(z\right)}}$  , where $\Lambda \left(y\right)=\{k_1,\dots ,k_g\}$  (increasingly ordered).
  Since $\Lambda \left({\nu }_i{e}_{n_i}\right)$  is non-empty for each $i$  , it follows from ( 21 ) that $k_{\lambda \left(y\right)-\lambda \left(z\right)}\ge n_{f-\lambda \left(z\right)}-l_{f-\lambda \left(z\right)}$  .

Corollary 4.11. Let $l\in \mathbb{N}$  , $z\in \mathbb{Z}\left(p^{\infty }\right)(l,1{)}_{\underline{e}}$  , and $y=e_{n_1}+\cdots +e_{n_f}$  such that $n_1<\cdots <n_f$  , $l<f$  , and $n_i<n_{i+1}-l$  . Then $o(\mu y+z)\ge p^{n_{f-l}-l}\ge p^{n_1-l}$  for every $\mu \in \mathbb{Z}$  such that $0<\left|\mu \right|\le l$  .

• Proof. Since $\left|\mu \right|\le l$  , $\mu y=\mu e_{n_1}+\cdots +\mu e_{n_f}$  satisfies the conditions of Proposition  4.10 (because ${log}_p\left|\mu \right|\le l$  ), and thus, $l<f\le \lambda \left(\nu y\right)$  . On the other hand, by Lemma  4.6 (c), $\lambda \left(z\right)\le l$  , and therefore $o(\nu y+z)\ge p^{n_{f-\lambda \left(z\right)}-l}\ge p^{n_{f-l}-l}$  pursuant to Proposition  4.10 (b).

• Proof of Theorem  4.4 . To shorten notations, put $A=\mathbb{Z}\left(p^{\infty }\right)$  .
  (a) In order to prove that $\left\{d_n\right\}$  is a $T$  -sequence, we show that (iv) of Theorem  3.2 holds. For $n$  large enough, $o\left(b_n\right)=p^{n^3}$  , and so by Lemma  4.1 , $\left\{b_n\right\}$  is a $T$  -sequence; $\left\{e_n\right\}$  is evidently a $T$  -sequence (cf. Example  1.1 ). Thus, by Theorem  3.2 , there exists $m_0$  such that

  $$\begin{array}{c}A\left[n\right]\cap A(l,m{)}_{\underline{b}}=A[n]\cap A(l,m{)}_{\underline{e}}=\left\{0\right\}\end{array}$$

  (22)

  for every $m\ge m_0$  (because $A$  is almost torsion-free). Without loss of generality, we may assume that $m_0>l+n+n_0$  . Observe that

  $$\begin{array}{c}A(l,2m{)}_{\underline{d}}\subseteq A(l,m{)}_{\underline{b}}\cup A(l,m{)}_{\underline{e}}\cup (A(l,m{)}_{\underline{b}}\backslash \{0\}+A(l,m{)}_{\underline{e}}\backslash \left\{0\right\}),\end{array}$$

  (23)

  and therefore it suffices to show that $A(l,m{)}_{\underline{b}}\backslash \{0\}+A(l,m{)}_{\underline{e}}\backslash \left\{0\right\}$  contains no element of $A\left[n\right]$  for every $m\ge m_0$  . Let $z\in A(l,m{)}_{\underline{e}}\backslash \{0\}$  and $w=m_1{b}_{n_1}+\cdots +m_h{b}_{n_h}\in A(l,m{)}_{\underline{b}}\backslash \{0\}$  where $m\le n_1<\cdots <n_h$  and $0<\sum \left|m_i\right|\le l$  . Put $y=e_{n_h^3-n_h^2}+\cdots +e_{n_h^3-n_h}+e_{n_h^3}$  . The number of summands in $y$  is $n_h+1$  , and the differences between the indices of the terms is $n_h$  . By the construction, $n_h\ge m\ge m_0>l$  . Thus, the conditions of Corollary  4.11 are satisfied, and since $\left|m_h\right|\le l$  , we get $o(m_{h}y+z)\ge p^{n_h^3-n_h^2-l}>p^{(n_h-1{)}^3}$  . Therefore, $o(-m_{h}x)\ne o(m_{h}y+z)$  (because $o(-m_{h}x)\le p^{n_0}\le p^{m_0-1}\le p^{(n_h-1{)}^3}$  ), and  9 

  $$\begin{array}{c}o(m_h{b}_{n_h}+z)=o(-m_{h}x+m_{h}y+z)\stackrel{\left(\right)}{=}max\left\{o\right(-m_{h}x),o(m_{h}y+z\left)\right\}>p^{(n_h-1{)}^3}.\end{array}$$

  (24)

  One has

   24  9 

  $$\begin{array}{cc}o(w-m_h{b}_{n_h})& \le o\left(b_{n_{h-1}}\right)=p^{n_{h-1}^3}\le p^{(n_h-1{)}^3}\stackrel{\left(\right)}{<}o(m_h{b}_{n_h}+z),\end{array}$$

  (25)

  $$\begin{array}{cc}\text{and hence}o(w+z)& =o\left(\right(w-m_h{b}_{n_h})+(z+m_h{b}_{n_h}\left)\right)\end{array}$$

  (26)

  $$\begin{array}{cc}& \stackrel{\left(\right)}{=}max\left\{o\right(w-m_h{b}_{n_h}),o(z+m_h{b}_{n_h}\left)\right\}>p^{(n_h-1{)}^3}>p^{(m_0-1{)}^3}>n.\end{array}$$

  (27)

  (b) As noted earlier, a character $\chi \in {hom}_{\mathbb{Z}}(\mathbb{Z}(p^{\infty }),\mathbb{T})$  is continuous on $\mathbb{Z}\left(p^{\infty }\right)\left\{d_n\right\}$  if and only if $\chi \left(d_n\right)⟶0$  (by the universal property)—in other words, $\chi \left(b_n\right)⟶0$  and $\chi \left(e_n\right)⟶0$  . The latter is equivalent to $\chi$  having the form of $m{\chi }_1$  , where ${\chi }_1$  is the natural embedding of $\mathbb{Z}\left(p^{\infty }\right)$  into $\mathbb{T}$  and $m\in \mathbb{Z}$  (cf. [?,Example 6] , [?,3.3] ). Since

  $$\begin{array}{c}0\le \frac{1}{p^{n^3-n^2}}+\cdots +\frac{1}{p^{n^3-2n}}+\frac{1}{p^{n^3-n}}+\frac{1}{p^{n^3}}\le \frac{n+1}{p^{n^3-n^2}}⟶0,\end{array}$$

  (28)

  one has ${\chi }_1\left(b_n\right)⟶-x$  , and consequently $\chi \left(b_n\right)=m{\chi }_1\left(b_n\right)⟶0$  if and only if $-mx=0$  (i.e., $x\in ker\chi$  ).

  This means that $\chi =m{\chi }_1$  if and only if $o\left(x\right)=p^{n_0}|m$  , as desired.

  (c) We have already seen that $x\in ker\chi$  for every continuous character of $\mathbb{Z}\left(p^{\infty }\right)\left\{d_k\right\}$  . On the other hand, $\mathbf{n}(\mathbb{Z}(p^{\infty }\left)\right\{d_k\left\}\right)\subseteq ker{p}^{n_0}{\chi }_1=\langle x\rangle$  .

ACKNOWLEDGMENTS I am deeply indebted to Professor Dikran Dikranjan, who introduced me to this topic and spent so much time corresponding with me about it. Without his attention and encouragement, I would have struggled to carry out this research.

I wish to thank Professor Horst Herrlich, Professor Salvador Hernández and Dr. Gavin Seal for the valuable discussions and helpful suggestions that were of great assistance in writing this paper.

Department of Mathematics and Statistics Dalhousie University Halifax, B3H 3J5, Nova Scotia Canada e-mail: lukacs@mathstat.yorku.ca