ON TOPOLOGIES ON THE GROUP (Zp )N

arXiv:1610.00046v1 [math.GR] 30 Sep 2016

I. K. BABENKO AND S. A. BOGATYI

Abstract. It is proved that, on any Abelian group of infinite cardinality m, there exist
m
precisely 22 nonequivalent bounded Hausdorff group topologies. Under the continuum
hypothesis, the number of nonequivalent compact and locally compact Hausdorff group
topologies on the group (Zp )N is determined.

The systematic study of Abelian topological groups was initiated in Pontryagin’s paper [18] and van Kampen’s paper [9] (see also [1]). In these papers, an exceptionally
important relationship between an Abelian topological group and the topological group
of its characters was revealed. It is not an exaggeration to say that this relationship is one
of the most important tools for studying Abelian topological groups. This relationship
manifests itself most pronouncedly for compact and locally compact groups.
Topological groups close to compact and locally compact ones are, respectively, totally
bounded and locally bounded Abelian topological groups. This type of topologies on
Abelian groups was studied by A. Weil [21], who showed that an Abelian topological
group is totally bounded if and only if it is embedded in a compact Abelian group as a
dense subgroup and that such a group is locally bounded if and only if it is embedded
in a locally compact group as a dense subgroup. Another deep characteristic property
of locally bounded and totally bounded topological, not necessarily Abelian, groups were
found by A.D. Alexandroff [2]. He showed in particular that a topological group G is
locally bounded if and only if G admits a left invariant generalized measure, see [2] for
more details.
Among all bounded group topologies on a given Abelian group there is a maximal
topology; the Weil completion of a group with this topology coincides with the Bohr
compactification of this group and can be continuously mapped onto any compact group
extension.
The next important step in the study of Abelian topological groups was made by
Kakutani [7], who showed that the cardinality of an infinite compact Abelian group G
and the cardinality of the discrete group G∗ of its characters are related by
∗

|G| = 2|G | .
In the 1950s, interest in the study of general properties of Abelian topological groups
motivated the interest in the study of the relationship between the algebraic structure of
a given group and the possible topologies consistent with its group structure. This topic
includes, in particular, the problem of describing Abelian groups admitting a compact
topology, which was posed by Kaplansky in [8]. This problem was completely solved by
Hulanicki in [14, 15].
This work was partially supported by the Russian Foundation for Basic Research (project no. 16-0100357A), and by ANR-Finsler.
1

2

I. K. BABENKO AND S. A. BOGATYI

We mention two results concerning the possible compact topologies on a given Abelian
group. In the very early 1950s, Kulikov [11] showed that the cardinality of the family
of all compact Abelian groups of cardinality 2m , where m is an infinite cardinal, equals
2m . In the light of this result the following example of Fuchs [12] looks quite surprising.
He constructed an Abelian group G of cardinality 2m admitting infinitely many different
compact topologies. Moreover, the cardinality of the set of pairwise non-homeomorphic
compact invariant topologies on G equals 2m .
It is well known that, on any Abelian group G, there are as many nonequivalent Hausdorff group topologies as possible. To be more precise, the cardinality of the set of
|G|
nonequivalent Hausdorff group topologies on G equals 22 . This result was obtained
by Podewski [17], who studied the problem in its most general setting. Namely, given
any set with a finite or countable system of algebraic structures, Podewski found necessary and sufficient conditions on these algebraic structures ensuring the existence of
a nondiscrete Hausdorff topology consistent with all of them [17]. Moreover, Podewski
showed that these conditions ensure the existence of the maximal possible number of
pairwise non-equivalent Hausdorff topologies which agree with all algebraic structures.
For Abelian groups and fields, Podewski’s conditions always hold; details can be found
in [17]. In 1970, Arnautov constructed an example of an infinite commutative ring such
that any Hausdorff ring topology on this ring is discrete [4]. In the 1979s–1980s, examples
of infinite non-Abelian groups admitting only discrete Hausdorff group topologies were
given [13], [16], [20].
Fuchs’ example shows that properties of various topologies that an abstract Abelian
group G carries directly depend on the algebraic properties of the group G.
In our view, the influence of the algebraic structure of an Abelian group on the structure
of the set of Hausdorff group topologies on this group has been studied insufficiently. All
topologies considered in the following are assumed to be Hausdorff.
This paper studies the structure of the set of possible topologies on the well known
Abelian group
(1)

G = (Zp )N ,

where Zp = Z/pZ for a prime p. Henceforth for two sets X and Y the set X Y is understood
in usual sense of set theory. As customary in topology, we denote the prime field with p
elements by the same symbol Zp .
Note that there are four canonical, in a certain sense, topologies on G. The group G
has the natural compact topology determined by the structure of the direct product (1);
we denote this topology by τc . The second topology is the discrete topology τd on G. The
character group of (G, τc ), which we denote by (G, τc )∗ = ⊕ℵ0 Zp , is countable and discrete.
Thus, we obtain two topological groups, (G, τc )×(G, τc )∗ and (G, τc )×(G, τd ). Since these
two groups are algebraically isomorphic to G, it follows that, in fact, we obtain two more
topologies on G, which are surely different (they have different weights); we denote these
topologies by τ0 and τ1 , respectively. Obviously, these two topologies are locally compact.
The following theorem is one of the main results of this paper.
Theorem 0.1. For the Abelian group G = (Zp )N , the following assertions hold.
2ℵ0

1. The set of all Hausdorff group topologies on G contains a subset of cardinality 22
consisting of pairwise non-homeomorphic totally bounded topologies.

ON TOPOLOGIES ON THE GROUP (Zp )N

3

2. Under the continuum hypothesis, τc , τd , τ0 , and τ1 are the only locally compact Hausdorff group topology on G. Only one of them, τc , is compact.
2ℵ0

As mentioned above, the general result of Podewski [17] affirms that there are 22
pairwise non-homeomorphic group topologies on G. The first assertion of the theorem
shows that the set of all group topologies on G contains a subset of the same cardinality
consisting of totally bounded pairwise non-homeomorphic topologies on G.
Although totally bounded topologies are very close to compact, under the continuum
hypothesis, only four of these numerous topologies are locally compact, and only one of
them is compact. This fact contrasts with Fuchs’ result in [12] cited above.
Theorem 0.1 follows from more general statements proved below. Thus, its first assertion is, in fact, a general property of Abelian groups and follows directly from Theorem 1.3
proved in Section 1.
Compact and locally compact topologies are studied in Section 2 in a more general
situation. However, in Section 2, we essentially use the algebraic structure of G, namely,
the fact that each of its element has order p. The second assertion of the theorem follows
directly from Corollary 2.4 and, according to this corollary, is equivalent to the continuum
hypothesis. Note that the negation of the continuum hypothesis drastically changes the
situation with locally compact topologies; see Proposition 2.3.
Section 1.1 considers the set of all totally bounded topologies on the group G. This
subset, which has the largest possible cardinality in the set of all topologies on G, has a
number of interesting structures. For example, we can single out lattices of topologies.
This, in turn, allows us to construct chains of decreasing totally bounded topologies
on G. Moreover, there exist chains of maximum length, which have maximal or minimal
elements. These structures are studied in Section 1.1.
One of our main tools for studying Abelian topological groups is, as usual, the character
theory founded by Pontryagin in [18]. This theory has been developed most fully for locally
compact Abelian groups, for which Pontryagin’s duality theorem is valid (see [19]). Among
other classes of topological groups whose connection with their character groups remains
strong enough are the already mentioned classes of totally bounded and locally bounded
groups. The relationship between these groups and their character groups was studied by
Comfort and Ross [5].
For other classes of Abelian topological groups, connection with character groups is
not so pronounced; nevertheless, character groups remain an important tool for studying
them.
In conclusion, we mention that our interest in this topic was aroused by a series of
questions asked to us by R. I. Grigorchuk. We thank him for numerous fruitful discussions.
We are also grateful to O. V. Sipacheva for useful conversations.

1. The Structure of the Set of All Topologies

Q
Let
m
be
a
finite
or
infinite
cardinal.
In
what
follows,
we
use
the
notation
Q
P m Zp =
(Zp )α , where the cardinality of the index set is |A| = m; accordingly,
m Zp =

α∈A

⊕ (Zp )α .

α∈A

4

I. K. BABENKO AND S. A. BOGATYI

Given another cardinal k, we set
(2)

Fk,m (p) =

Y

Zp ×

X

Zp .

m

k

In the case where p fixed or is clear from the context, we denote groups of the form (2)
by Fk,m .
Endowing the first factor with the compact product topology and the second with the
discrete topology, we turn Fk,m into an Abelian topological group. In what follows, we
assume that at least one of the cardinals k and m is infinite and the finite cardinals can
take only the value 0. The easy-to-prove properties of this Abelian topological group are
collected in the following proposition.
Proposition 1.1. The topological group Fk,m is locally compact; it has cardinality
max{2k , m} and weight max{k, m}. The group of characters of Fk,m is isomorphic to
the group Fm,k . For different pairs of cardinals (k, m), the topological spaces Fk,m are
nonhomeomorphic.
Below we give general facts about topologies on Abelian groups generated by subgroups
of the character group.
We denote the entire group of characters of an Abelian group A, i.e., the group of
all possible homomorphisms of A to the circle S 1 = {eit }, by A⋆ . If A is endowed with
a group topology, then we denote the group of topological characters, i.e., continuous
homomorphisms, of the Abelian topological group A to the circle by A∗ . Note that A∗ is
always a subgroup of A⋆ ; if the topology of A is discrete, then these two groups coincide.
As usual, a subset X ⊂ A⋆ is said to separate vectors if, for any different v, w ∈ A,
there exists an h ∈ X such that h(v) 6= h(w). Any set X ⊂ A⋆ generates a diagonal map
(3)

∆X : A −→ (S 1 )X .

A set X separates vectors if and only if the diagonal map (3) is a monomorphism. Note
that X separates vectors if and only if so does the subgroup hXi generated by this set.
As is known [19], for any nonzero element v ∈ A, there exists a character φv ∈ A⋆ such
that φv (v) 6= 1. Uniting such characters over all elements v ∈ A, we obtain a set X ⊂ A⋆
separating the elements of A. Let H = hXi be the subgroup generated by this set; as
mentioned above, H separates points as well. If |A| = m, where m is an infinite cardinal,
then, obviously, we have |H| ≤ m. Note also that
diagonal map ∆H implements an
Q the
1
isomorphism of the group A onto its image in
(S )h .
h∈H

Given a subgroup H ⊂ A⋆ , we denote the minimal topology on A with respect to which
all maps in H are continuous by τH . This topology coincides with the minimal topology
with respect to which the diagonal map (3) is continuous (the image is assumed to be
endowed with the product topology). Obviously, τH is Hausdorff if and only if H separates
points. Recall that a topology τ on a group G is said to be totally bounded if, for any
neighborhood U of zero, there exists a finite set {0, g1, . . . , gk } of elements of G such that
the family {U, g1 + U, . . . , gk + U} covers the entire group.
Topologies determined by various subgroups H ⊂ A⋆ were studied by Comfort and
Ross [5]; we collect the results of [5] needed later on in the following theorem.

ON TOPOLOGIES ON THE GROUP (Zp )N

5

Theorem 1.2. [5] 1. For any subgroup H ⊂ A⋆ , the topology τH is totally bounded,
and for each totally bounded topology τ on A, there exists a subgroup H ⊂ A⋆ such that
τ = τH .
2. The identity map id : (A, τH2 ) −→ (A, τH1 ) is continuous if and only if H1 ⊂ H2 .
Now, we prove a general statement on the number of totally bounded topologies on an
Abelian group.
Theorem 1.3. Let A be an Abelian group of cardinality |A| = m, where m is an infinite
m
cardinal. Then, on A, there are precisely 22 totally bounded Hausdorff group topologies.
m
Among them there are 22 pairwise nonhomeomorphic topologies.
Proof. Let A⋆ be the group of all characters of A; by Kakutani’s theorem, we have |A⋆ | =
2m . Fix a subgroup H ✁ A⋆ separating the points of characters. As mentioned above,
this subgroup can always be chosen so that |H| ≤ m. Let B = A⋆ /H; then |B| = 2m .
Given a subgroup C ✁ B, we set C̄ = p−1 (C), where p : A −→ B is the natural
projection. Since H ✁ C̄, it follows that the topology τC̄ on A is Hausdorff. Thus, to
each subgroup of B we have assigned a totally bounded Hausdorff group topology on A.
These topologies are different for different subgroups. Indeed, according to Theorem 1.2,
the identity map is not a homeomorphism with respect to topologies corresponding to
different subgroups. In turn, Lemma 1.4 implies that the cardinality of the set of such
m
topologies is 22 .
Finally, let us count nonequivalent topologies among those obtained above. By nonequivalent topologies we mean topologies that cannot be mapped to each other by a homeomorphism, not necessarily consistent with the group structure.
Since |A| = m, it follows that the set of all self-maps of A has cardinality mm = 2m
(as a set). It follows that any topology on A is equivalent to at most 2m other topologies
m
on this set. Thus, we obtain a partition of 22 different totally bounded group topologies
into classes of equivalent topologies, each of which has cardinality at most 2m . Therefore,
m
the number of classes is precisely 22 , and topologies from different classes are pairwise
nonequivalent. This completes the proof of the theorem.

Lemma 1.4. Let m be an infinite cardinal, and let B be an Abelian group of cardinality
m
2m . Then the cardinality of the set of pairwise different subgroups in B equals 22 .
Proof. The upper bound for the cardinality of the set of subgroups in B is obvious and
coincides with the cardinality of the set of all subsets in B. Let us prove the lower bound.
Let T = Tors(B) be the torsion subgroup of B; then B ′ = B/T is torsion-free. The
cardinality of at least one of the groups T and B ′ equals 2m , and the presence of the
required number of pairwise different subgroups in T or in B ′ implies the presence of the
same number of subgroups in B. Thus, it suffices to prove the lemma for periodic groups
and torsion-free groups separately. Consider two cases.
1. Suppose that the group B is periodic. Since B decomposes into the direct sum of its
primary components [10], it follows that at least one primary component has cardinality
2m , and it suffices to prove the required assertion for the case of a primary p-group, where
p is a prime.
Suppose that B is a p-group. Consider the subgroup B(p) consisting of all elements
of order p. Obviously, |B(p)| = 2m , so that it suffices to prove the required assertion
for the group B(p). In this case, B(p) is a Zp -vector space, and it has a Hamel basis of

6

I. K. BABENKO AND S. A. BOGATYI

cardinality 2m . Different subsets of this basis generate different subgroups of B(p) and,
therefore, of B. This completes the proof in the case of periodic groups.
2. Finally, suppose that B is torsion-free. Since |B| = 2m , it follows that the (Prüfer)
rank of B equals 2m . Thus, there is a free Z-module of rank 2m in B. As above, different
subsets in a family of generators of such a module generate different subgroups in the
module and, therefore, in B.

1.1. The Structure of the Family of Totally Bounded Topologies. In what follows,
we essentially use the structure of the groups Fk,m (p) and, in particular, the fact that these
group can be treated as Zp -vector spaces. The characters of such groups are simply the
elements of the dual space. In what follows, we use this dual understanding of characters
without mention.
Consider the case where the group A is a Zp -vector space of dimension equal to an infinite cardinal m. In this case, Theorem 1.3 is substantially simpler and has a transparent
combinatorial interpretation. The subgroup H ✁ A⋆ of characters separating points is a
subspace of the same dimension m. Next, we choose a Hamel basis B in H and extend it
to a Hamel basis B⋆ in the entire space A⋆ . Let M = B⋆ \ B; obviously, we have |M| = 2m .
Each set N ⊂ M now determines a subgroup in A being the linear span of the system
of vectors {N ∪ B}. The set of pairwise different subgroups thus defined has cardinality
m
22 and can be used in Theorem 1.3 for the special case where A is a Zp -vector space.
The Hausdorff group topologies on A thus obtained have an additional structure: on this
set of topologies, there arise lattices.
The construction described above shows that, for the set M = B⋆ \ B of cardinality 2m ,
the lattice (2M ; ⊂, ∪, ∩) of subsets is embedded in the lattice of totally bounded linearly
invariant topologies on the space A. Therefore, the structures on the lattice (2M ; ⊂, ∪, ∩)
can be transferred to topologies. Thus, any linearly ordered set M generates a chain of
length 2m of one-to-one continuous maps. In the family of topologies under consideration,
there is the minimal topology τmin = τHB and the maximal topology τmax = τA⋆ .
Thus, on a vector space A of dimension m, there are chains of length 2m of one-to-one
continuous maps, and there are no longer chains. Such chains carry various combinatorial
structures, which correspond to different types of ordering of the vectors in the Hamel
basis.
m
m
Moreover, the existence of 22 independent subsets in M implies the existence of 22
totally bounded linearly invariant Hausdorff topologies on A such that the identity map
is not continuous with respect to any pair of these topologies.
Proposition 1.5. Let A be a vector space of infinite dimension m. Then any separating
subspace H ⊂ V ⋆ contains a separating subspace of dimension at most m.
Proof. Indeed, given any pair of different vectors in the space A, it suffices to take a linear
functional on H separating them. The dimension of the linear span of such functionals
does not exceed m2 = m.

Proposition 1.6. Let τ be a totally bounded linearly invariant Hausdorff topology on a
vector space A of infinite dimension m. Then there is a set M of cardinality 2m such
that, on the set of totally bounded linearly invariant Hausdorff topologies on A, there is
a lattice isomorphic to (2M ; ⊂, ∪, ∩). Moreover, the initial topology τ is either minimal

ON TOPOLOGIES ON THE GROUP (Zp )N

7

or maximal in this lattice. In particular, any totally bounded linearly invariant Hausdorff
topology on A can be included in a linear chain of length 2m of different topologies.
Proof. Consider the space H of linear functionals generating the given topology. If the
dimension of H is less than 2m , then we take the Hamel basis B in H, extend it to a
Hamel basis B⋆ in A⋆ , and set M = B⋆ \ B̃. In this case, (2M ; ⊂, ∪, ∩) is the required
lattice, and the given topology is minimal in this lattice.
Suppose that the dimension of H equals 2m . According to Proposition 1.5, H contains
a separating subspace Q ⊂ H of dimension m. We take a Hamel basis B in Q and extend
it to a Hamel basis B̃ in H. As above, we set M = B̃ \ B. The desired lattice is again
(2M ; ⊂, ∪, ∩), and the topology determined by H is maximal in it.

Q
Proposition 1.7. Let k be an infinite cardinal, and let A = Fk,0 = k Zp . Then the
subspace H0 ⊂ A⋆ generated by the coordinate projections of A is a minimal separating
space.
Proof. Obviously, the subspace H0 itself is separating. Suppose that there exists a separating subspace H ⊂ H0 . Consider the one-to-one continuous map generated by the
embeddings (A, τH0 ) −→ (A, τH ). The topology of τH0 coincides with the Tychonoff product topology on A and, therefore, is compact. Since a continuous one-to-one map of a
compact space to any Hausdorff space is a homeomorphism, the separating subspace H
cannot be proper.

The following result shows that there are no other minimal separating subspaces.
Theorem 1.8. For a Zp -vector space A, a subspace H ⊂ A⋆ is a minimal separating
space if and only if the natural map e : A −→ H ⋆ is an isomorphism.
Proof. Obviously, the natural map e is a monomorphism if and only if H ⊂ A⋆ is a
separating subspace.
Suppose that e is an isomorphism and H1 ⊂ H is a proper subspace. Since the map
p : H ⋆ −→ H1⋆ of the dual spaces has nontrivial kernel, it follows that so does the natural
map e1 = p ◦ e in H1⋆ . Therefore, H1 does not separate points, i.e., H is minimal.
Now, let us suppose that H is a minimal separating space and show that e is an
isomorphism. Take a nonzero element φ ∈ H ⋆ and let ker φ = H1 ⊂ H. By minimality, H1
is not separating; hence there exists a nonzero vector v ∈ A such that e(v)(x) = x(v) = 0
for all x ∈ H1 . Since H separates points, it follows that there exists a y ∈ H for which
y(v) 6= 0. Without loss of generality, we can assume that y(v) = 1.
The subspace H1 has codimension 1, because this is the kernel of a linear functional.
Therefore, H1 and y generate H; in particular, φ(y) 6= 0. Finally, for any vector z ∈ H,
we have z = x + ty, where x ∈ H1 . This implies
φ(z) = tφ(y) = tφ(y)y(v) = ty(φ(y)v) = (x + ty)(φ(y)v) = e(φ(y)v)(z).
Thus, φ = e(φ(y)v), so that e is an epimorphism and, by the remark at the beginning of
the proof, an isomorphism.

Corollary 1.9. Let A be a Zp -vector space for which H ⊂ A⋆ is a minimal
separating
Q
subspace of infinite
dimension
k.
Then
there
exists
an
isomorphism
i
:
Z
−→
A such
p
k
Q
⋆
⋆
that
i
(H)
⊂
(
Z
)
coincides
with
the
subspace
generated
by
the
basis
projections
of
k p
Q
k Zp .

8

I. K. BABENKO AND S. A. BOGATYI

Proof.PIndeed, it suffices to choose
Q a Hamel basis in H; this determines an isomorphism
⋆
H ≃ k Zp , whence A ≃ H ≃ k Zp .

We define the logarithm of a cardinal m by
Ln(m) = {n : m = 2n }.
Obviously, k ∈ Ln(2k ) for any cardinal k. Moreover, the set Ln(ℵ0 ) is empty by Cantor’s
theorem. Finally, the generalized continuum hypothesis (2ℵα = ℵα+1 ) implies Ln(2k ) =
{k}.
Corollary 1.10. If the dimension m of a vector space A satisfies the condition Ln(m) =
∅, then A⋆ contains no minimal separating subspace.
2. Locally Compact Topologies
Q In this section, we analyze the set of locally compact topologies arising on the group
n Zp , where n is an infinite cardinal.
Let G be an infinite compact Abelian group; then, according to Kakutani’s theorem
[7], we have |G| = 2m , where m = |G∗ |. Since the character group G∗ is discrete, it
follows that if
Qany element of G has order p, then the group G is isomorphic to one of the
groups G ≃ n Zp , where n ∈ Ln(|G|),
Q with the natural product topology. For different
n ∈ Ln(|G|), the topological groups
n Zp are nonhomeomorphic, because, according to
Q
Proposition 1.1, the weight of n Zp equals n. Finally, note that under the generalized
continuum
hypothesis there exists only one compact topology on each direct product
Q
n Zp . Thus, the following assertion is valid.
Proposition 2.1. If n is an infinite cardinal, then
Q the cardinality of the set of compact
Hausdorff group topologies on the group G ≃ n Zp equals |Ln(|G|)|. Moreover, each
n′ ∈ Ln(|G|) corresponds to precisely one compact topology, and its weight equals n′ .
P
Theorem 2.2. Let τ be a locally compact Hausdorff topology on the group G ≃ m Zp .
Then the group (G, τ ) is topologically isomorphic to Fk,n , where the cardinals k and n
satisfy the condition max{2k , n} = m.
Proof. All elements of the group G and, therefore, all elements of its character group G∗
have order p. It follows that the group (G, τ ) is totally disconnected.
According to van Dantzig’s theorem [6], there exists a compact open subgroup H ⊂ G.
Let p : G −→ N = G/H be the natural projection, and let i : H −→P
G be an embedding.
Since H is open, it follows that N is discrete and, therefore,
N ≃ n Zp , where n is a
Q
cardinal. According to Proposition 2.1, we have H ≃ k Zp for an appropriate cardinal
k (naturally, the direct product is endowed with the compact product topology).
Next, choosing a Hamel basis in the Zp -vector space N, we take a splitting q : N −→ G
of the projection p. The homomorphism q is automatically continuous, and its image is
discrete in G.
Finally, consider the homomorphism i×q : H×N −→ G defined by i×q(h, n) = i(h) +
q(n). Obviously, i × q is an algebraic isomorphism. Since H is open, it follows that this
is a local homeomorphism between H×N and G, which, in turn, implies that i×q is an
isomorphism of topological groups.
Thus, we conclude that (G, τ ) is isomorphic to Fk,n as a topological group. The equality
max{2k , n} = m is now obvious.


ON TOPOLOGIES ON THE GROUP (Zp )N

9

The P
following proposition shows what happens to locally compact topologies on the
group n Zp , where n = ℵ1 or 2ℵ0 , under the negation of the continuum hypothesis.
Proposition 2.3.PIf ℵ1 < 2ℵ0 , then there is only one (discrete) locally compact topology on the group ℵ1 Zp . Under the same assumption, there
P exist at least five pairwise
nonhomeomorphic locally compact topologies on the group 2ℵ0 Zp .
P
Proof. According to Theorem 2.2, the group ℵ1 Zp with a locally compact topology is
isomorphic to a group Fk,n . Taking into account the inequality ℵ1 < 2ℵ0 , we see that the
only possible choice of the cardinals is k = 0 and n = ℵ1 , i.e., the topology is discrete.
ℵ0
The groups F
Pk,n are locally compact and, under the assumption ℵ1 < 2 , algebraically
isomorphic to 2ℵ0 Zp for the following pairs (k, n) of cardinals:
(2ℵ0 , 0), (2ℵ0 , ℵ0 ), (2ℵ0 , ℵ1 ), (2ℵ0 , ℵ2 ), (0, 2ℵ0 ).
Here the first topology is compact and the last one is discrete. All of these topologies are
pairwise nonhomeomorphic by virtue of Proposition 1.1.

Theorem 2.2 and Proposition 2.3 have the following immediate corollary.
Corollary 2.4. The following conditions are equivalent:
ℵ0
(1) the continuum
P hypothesis holds: ℵ1 = 2 ;
(2) the group Pℵ1 Zp admits a compact group topology;
(3) the group Q ℵ1 Zp admits a nondiscrete locally compact group topology;
(4) the group Qℵ0 Zp admits at most four locally compact group topologies;
(5) the group ℵ0 Zp admits precisely four locally compact group topologies.
In conclusion, we mention that the four locally compact topological groups in condition
(5) are precisely as follows:
Fℵ0 ,0 (this is a compact topology of weight ℵ0 );
Fℵ0 ,ℵ0 (a noncompact nondiscrete topology of weight ℵ0 );
Fℵ0 ,2ℵ0 (a noncompact nondiscrete topology of weight 2ℵ0 );
F0,2ℵ0 (the discrete topology of weight 2ℵ0 ).
This list completes the proof of the second assertion of Theorem 0.1 stated in the
introduction.
References
[1] J. W. Alexander, On the characters of discrete Abelian groups, Ann. of Math., 1934, Vol. 35, No. 2,
389–395.
[2] A.D. Alexandroff, On groups with an invariant measure. C. R. (Doklady) Acad. Sci. URSS (N.S.),
1942, Vol. 34, No. 1, 59.
[3] H. Anzai and Sh. Kakutani, Bohr compactifications of a locally compact Abelian group, Proc. Imp.
Acad. Tokyo, 1943, Vol. 19, No. 8, 476–480.
[4] V. I. Arnautov, Non-discrete topologizability of infinite commutative rings, Dokl. Academy of Sciences SSSR, 1970, Vol. 111, No. 8, 476–480.
[5] W. W. Comfort and K. A. Ross, Topologies induced by groups of characters, Fundamenta Math.,
1964, Vol. 55, 283–291.
[6] D. van Dantzig, Zur topologischen Algebra I, Math. Ann., 1933, Vol. 107, No. 1, 587–626.
[7] Sh. Kakutani, On cardinal numbers related with a compact Abelian group, Proc. Imp. Acad. Tokyo,
1943, Vol. 19, 366–372.

10

I. K. BABENKO AND S. A. BOGATYI

[8] I. Kaplansky, Infinite Abelian Groups (Univ. of Michigan Press, Ann Arbor, 1954).
[9] E. R. van Kampen, Locally bicompact Abelian groups and their character groups, Annals of Math.,
1935, Vol. 36, No. 2, 448–463.
[10] M. I. Kargapolov and Yu. I. Merzlyakov, Foundations of Group Theory (Nauka, Moscow, 1972) [in
Russian].
[11] L. Ya. Kulikov, Generalized primary groups. I–II, Tr. Mosk. Mat. O-va, 1952, Vol. 1, 247–326; 1953,
Vol. 2, 85–167.
[12] L. Fuchs, On character groups of discrete Abelian groups, Acta Math. Hungarica, 1959, Vol. 10,
Nos. 1–2, 133–140.
[13] G. Hesse, Zur Topologisierbarkeit von Gruppen, Dissertation (Univ. of Hannover, Hannover, 1979)
[in German].
[14] A. Hulanicki, Algebraic characterization of Abelian divisible groups which admit compact topologies, Fundamenta Math., 1957, Vol. 44, 192–197.
[15] A. Hulanicki, Algebraic structure of compact Abelian groups, Bull. Acad. Polon. Sci., 1958, Vol. 6,
71–73.
[16] A. Yu. Ol’shanskii, A remark on a countable nontopologizable group, Vestnik Mosk. Univ. Mat.
Mekh., 1980, No. 3, 103.
[17] K.-P. Podewski, Topologisierung algebraischer Strukturen, Rev. Roumaine Math. Pures Appl., 1977,
Vol. 22, No. 9, 1283–1290.
[18] L. Pontrjagin, Theory of topological commutative groups, Ann. of Math., 1934, Vol. 35, 361–388.
[19] L.S. Pontryagin, Continuous Groups (Nauka, Moscow, 1973) [in Russian].
[20] S. Shelah, On a problem of Kurosh, Jonsson groups, and applications, in Word Problems II, Ed.
by S. I. Adian, W. W. Boone, and G. Higman (North-Holland, Amsterdam, 1980), pp. 373–394.
[21] A. Weil, Sur les espaces à structure uniforme et sur la topologie générale, (Hermann, Paris, 1937)
[in French].
Université de Montpellier CNRS UMR 5149, Institut Montpelliérain Alexander Grothendieck, Place Eugène Bataillon, Bât. 9, CC051, 34095 Montpellier CEDEX 5, France;, Mechanics and Mathematics Faculty, M. V. Lomonosov Moscow State University, Moscow
119992, Russia
E-mail address: ivan.babenko@umontpellier.fr; bogatyi@inbox.ru

