CHARACTERIZING LIE GROUPS BY CONTROLLING THEIR
ZERO-DIMENSIONAL SUBGROUPS

arXiv:1705.03425v1 [math.GN] 9 May 2017

DIKRAN DIKRANJAN AND DMITRI SHAKHMATOV

Abstract. We provide characterizations of Lie groups as compact-like groups in which all closed
zero-dimensional metric (compact) subgroups are discrete. The “compact-like” properties we consider include (local) compactness, (local) ω-boundedness, (local) countable compactness, (local)
precompactness, (local) minimality and sequential completeness. Below is a sample of our characterizations:
(i) A topological group is a Lie group if and only if it is locally compact and has no infinite
compact metric zero-dimensional subgroups.
(ii) An abelian topological group G is a Lie group if and only if G is locally minimal, locally
precompact and all closed metric zero-dimensional subgroups of G are discrete.
(iii) An abelian topological group is a compact Lie group if and only if it is minimal and has no
infinite closed metric zero-dimensional subgroups.
(iv) An infinite topological group is a compact Lie group if and only if it is sequentially complete,
precompact, locally minimal, contains a non-empty open connected subset and all its compact
metric zero-dimensional subgroups are finite.

All topological groups considered in this paper are assumed to be Hausdorff.
As usual, c denotes the cardinality of the continuum.
Recall that a topological space X is:
• ω-bounded if the closure of every countable subset of X is compact,
• countably compact if every countable open cover of X has a finite subcover,
• pseudocompact if every real-valued continuous function defined on X is bounded.
• zero-dimensional if X has a base consisting of sets that are simultaneously open and closed
in X.
A topological group G is locally ω-bounded (locally countably compact, locally pseudocompact) if
it has an open neighbourhood U of its identity element whose closure U is ω-bounded (countably
compact, pseudocompact, respectively). We say that a topological group is (locally) precompact if
its two-sided uniformity completion is (locally) compact. Recall that a topological group G is called
sequentially complete if every Cauchy sequence in G with respect to the two-sided uniformity of G
converges to some element of G [24, 25]. For metrizable groups, sequential completeness coincides
with completeness, while pseudocompactness coincides with compactness.
Recall that a topological group G is called minimal if every continuous isomorphism f : G → H,
where H is Hausdorff topological group, is a topological isomorphism [44]. Clearly, all compact
groups are minimal. Easy examples show that the converse does not hold in general. Nevertheless,
a somewhat weaker implication holds in the case of abelian groups:
Fact 0.1. (Prodanov and Stoyanov; see [17]) A minimal abelian group G is precompact.
A common generalization of locally compact groups and minimal groups was proposed by Morris
and Pestov. A topological group (G, τ ) is locally minimal if there exists a neighborhood V of eG
Key words and phrases. discrete subgroup, minimal group, totally minimal group, pseudocompact group, countably compact group, compact group.
2010 Mathematics Subject Classification. 22E15 (primary), 22C05, 22D05, 22E40, 22E99 (secondary).
The second named author was partially supported by the Grant-in-Aid for Scientific Research (C) No. 22540089
by the Japan Society for the Promotion of Science (JSPS).
1

2

D. DIKRANJAN AND D. SHAKHMATOV

such that whenever σ ⊆ τ is a Hausdorff group topology on G such that V is a σ-neighborhood of
eG , then σ = τ [39]. Besides locally compact groups, the class of locally minimal groups contains
also all additive groups of normed vector topological spaces [4, 39]. We refer the reader to [4, 5, 14]
for some recent progress in this area.
The following diagram summarizes the connections between the compactness-like properties considered in this paper.
minimal
O

/ locally minimal
O

compact

/ locally compact

ω-bounded




/ locally ω-bounded

countably compact




/ locally countably compact

pseudocompact




/ locally pseudocompact




/ locally precompact

precompact

/ complete


/ sequentially complete

Diagram 1.
None of the arrows in this diagram is reversible. For each one of the properties P in the first
column, except “minimal” (i.e., for P ∈ {compact, ω-bounded, countably compact, pseudocompact,
precompact}), P is equivalent to “precompact and locally P”.
1. Exotic tori and exotic Lie groups
A topological group G is called an NSS group (an abbreviation for No Small Subgroups) if a
suitable neighborhood of its identity element contains only the trivial subgroup.
A Lie group is a set endowed with compatible structures of a group and of an analytic manifold
over the field of real numbers. The celebrated Hilbert’s fifth problem was asking whether the
condition “analytic manifold” can be relaxed to “topological manifold”. An essential ingredient
in the positive solution of the problem was the following criterion obtained by Glushkov [33]: A
locally compact group is a Lie group if and only if it is an NSS group.
The following definition is due to Dikranjan and Prodanov [16].
Definition 1.1. Let C be a class of topological groups. For a topological group G, consider the
following properties:
(Etd ) for every closed subgroup H of G, the torsion subgroup t(H) of H is dense in H;
(Et ) every closed non-trivial subgroup of G contains non-trivial torsion elements;
(Emin ) every closed non-trivial subgroup of G contains a minimal (with respect to the set inclusion)
closed non-trivial subgroup of G;
(AC ) G contains no subgroups topologically isomorphic to any member of C .
As was demonstrated in [16] and [23], the following two classes C are of special importance.
Definition 1.2. Define P = {Zp : p ∈ P} and P ∗ = {Z} ∪ P, where P is the set of all prime
numbers, Zp is the topological group of p-adic integers and Z is the group of integers with the
discrete topology.

CHARACTERIZING LIE GROUPS

3

A compact abelian Lie group G has the form G = Tm × F , for some finite abelian group F ,
so t(G) = (Q/Z)m × F is dense in G. Since every compact Lie group is covered by its compact
abelian Lie subgroups, it follows that compact Lie groups satisfy property Etd . The implications
Etd →Et →Emin are obvious. For every prime number p, the group Zp of p-adic integers does not
satisfy Emin , so one has also the implication Emin →AP . Therefore,
(1)

compact Lie → Etd → Et → Emin → AP .

In this chain of implications, the four properties from Definition 1.1 turned out to be equivalent
for all compact groups:
Theorem 1.3. ([23]; earlier proved in [16] in the abelian case) For every compact group, conditions
Etd , Et , Emin and AP are equivalent.
The compact abelian groups having the equivalent properties Etd , Et , Emin and AP were extensively studied in [16] under the name exotic tori . In addition to the obvious connection to the usual
tori (i.e., compact connected abelian Lie groups), exotic tori appear naturally in the study of minimal torsion abelian groups; see the paragraph preceding Fact 0.1 for definition. The completion of
a minimal torsion abelian group must be an exotic torus, and the minimal torsion abelian groups
are precisely the dense essential torsion subgroups of the exotic tori; see [17] for the definition of an
essential subgroup. All exotic tori are finite-dimensional and have other nice properties (for more
details see [16] or [17]). An example of an exotic torus (i.e., a compact abelian group satisfying
equivalent conditions from Theorem 1.3) which is not a Lie group was exhibited in [16], so none of
the conditions from Theorem 1.3 characterize Lie groups, even in the abelian case.
Theorem 1.3 cannot be extended to locally compact groups, or even arbitrary Lie groups, as R
(as well as the discrete group Z) satisfies AP , but satisfies neither Et nor Emin . In order to eliminate
R and the discrete group Z one can impose in addition the condition A{Z} which obviously follows
from Emin . According to a well known property of locally compact groups, a locally compact group
G satisfies A{Z} precisely when G is covered by its compact subgroups. So an appropriate locally
compact version of Theorem 1.3 can be announced as follows:
Theorem 1.4. [23] For each locally compact group, conditions Etd , Et , Emin and AP ∗ are equivalent.
The locally compact groups satisfying the equivalent conditions of Theorem 1.4 were called exotic
Lie groups and studied in detail [23] and [11]. It was shown, in particular, that exotic Lie groups
are finite-dimensional. It is worth noticing that while all compact Lie groups are exotic Lie groups,
a non compact Lie group (e.g., R) need not be an exotic Lie group.
Let us note that Emin has an advantage over Et and AC , since it is entirely formulated in terms
of the lattice L(G) of closed subgroups of G. Indeed, Emin says that the poset L(G) is atomic, i.e.,
every element dominates a minimal element (an atom) of L(G). This lattice theoretic property
was used in [16] to deduce, via Pontryagin duality, that a compact abelian group G satisfies Emin
b satisfies the dual property. Namely, every proper subgroup of the
precisely when the lattice L(G)
b is contained in a maximal subgroup of G,
b or equivalently, G
b has no divisible
discrete group G
quotient groups. The abelian groups with this property were described in [16].
2. Three properties shared by all Lie groups
In Theorem 1.3 we saw that the conditions Etd , Et , Emin and AP are equivalent for compact
groups and define a class of compact groups containing all compact Lie groups. On the other
hand, the conditions Etd , Et , Emin and AP ∗ are equivalent for locally compact groups according to
Theorem 1.4, but in this case the class of locally compact groups determined by these equivalent
conditions does not contain all Lie groups (e.g., it does not contain R). In other words, the

4

D. DIKRANJAN AND D. SHAKHMATOV

conditions considered in [16, 23] characterize classes of (locally) compact groups that properly
contain the class of all compact Lie groups, but do not contain the class of all Lie groups.
In this paper we skip the too restrictive condition AP ∗ and we find an appropriate strengthening
of the condition AP that allows us to characterize Lie groups not only in the class of locally compact
groups but also in some much wider classes of compact-like groups. A hint on how to achieve this
comes from the last of the equivalent properties in Theorem 1.3, namely AP . Indeed, one easily
notices that the countable family of groups excluded by the property AP consists exclusively of
compact zero-dimensional groups. Of course, an obvious way of strengthening the property AP is
to prohibit all non-discrete closed zero-dimensional groups. This leads us exactly to the property
Z in our next definition.
Definition 2.1. For a topological group G, define the following conditions:
(Z ) every closed zero-dimensional subgroup of G is discrete,
(Zm ) every closed zero-dimensional metric subgroup of G is discrete,
(Zcm ) every compact metrizable zero-dimensional subgroup of G is finite.
All three conditions above strengthen AP in an obvious way.
The property Z has been well studied in functional analysis.
Remark 2.2. The additive group of a Banach space B has property Z (equivalently, property
Zm ) if and only if B contains no subspace isomorphic to c0 ; see [1, Theorem 4.1]. In particular,
the additive group of the Hilbert space has property Z (equivalently, property Zm ) [26].
The three properties from Definition 2.1 are ultimately related to Lie groups, as the following
proposition shows:
Proposition 2.3. For every topological group G, the following implications hold:
(2)

Lie → Z → Zm → Zcm .

Proof. Assume that G is a Lie group, and let N be a closed zero-dimensional subgroup of G. Being
a closed subgroup of the Lie group G, N is a Lie group itself. Since a zero-dimensional Lie group
is discrete, N must be discrete. Thus, Z holds. This finishes the proof of the first implication Lie
→ Z . The implications Z → Zm → Zcm are obvious.

Note that the chain of implications in (2) is similar to that in (1).
One may wonder why Definition 2.1 omits the following natural condition:
(Zc ) every compact zero-dimensional subgroup of G is finite.
It turns out that this property is equivalent to Zcm . Indeed, the implication Zc →Zcm is trivial,
and the converse implication easily follows from the following fact.
Fact 2.4. [35] Every infinite compact group has an infinite compact metrizable subgroup.
Since closed subgroups of compact groups are compact, properties Z and Zc are equivalent for
compact groups. Since Zc is equivalent to Zcm , combining this with Proposition 2.3, we conclude
that the three properties Z , Zm and Zcm from Definition 2.1 are equivalent for compact groups.
In the rest of this section we collect examples showing that the implications in (2) are not
reversible.
Example 2.5. The additive group H of an infinite-dimensional Hilbert space is locally minimal,
(sequentlially) complete, satisfies property Z yet is not a Lie group. Indeed, local minimality of H
follows from [39]. By Remark 2.2, H has property Z .
The following proposition outlines two trivial yet useful ways of constructing groups satisfying
properties Zm and Zcm .

CHARACTERIZING LIE GROUPS

5

Proposition 2.6.
(i) A topological group without non-trivial convergent sequences has property Zm .
(ii) A topological group without infinite compact metric subgroups has property Zcm .
Proof. Item (i) follows from the fact that every non-discrete metric space contains a non-trivial
convergent sequence. Item (ii) is clear.

Corollary 2.7. If G is a non-discrete zero-dimensional group without non-trivial convergent sequences, then G satisfies Zm but does not satisfy Z .
Proof. Indeed, G satisfies Zm by Proposition 2.6(i). Since G is non-discrete and zero-dimensional,
it does not satisfy Z .

For an abelian group G, we denote by G# the group G equipped with its Bohr topology, i.e.,
the strongest precompact group topology on G. The completion bG of G# is a compact abelian
group called the Bohr compactification of G. (The terms Bohr topology and Bohr compactification
have been chosen as a reward to Harald Bohr for his work [3] on almost periodic functions closely
related to the Bohr compactification.) It is known that G# is zero-dimensional [41] and sequentially
complete [24, 25].
Corollary 2.8. For every infinite abelian group G, the group G# satisfies Zm but does not satisfy
Z.
Proof. It is well known that G# has no non-trivial convergent sequences [29]; see also [32]. Clearly,
G# is precompact. Since it is also infinite, it cannot be discrete. Now the conclusion follows from
Corollary 2.7, as G# is zero-dimensional.

Corollary 2.9. For every infinite abelian group G there exists a zero-dimensional sequentially
complete precompact group topology τ on G such that (G, τ ) satisfies Zm but does not satisfy Z .
Proof. It suffices to take τ to be the Bohr topology on G, so that G# = (G, τ ).



In connection with the last three corollaries, it may be worth noticing that a counter-example to
the implication Zm →Z cannot be metrizable.
Corollary 2.10. Every topological group G with |G| < c satisfies Zcm .
Proof. Recall that infinite compact (metric) groups have size ≥ c. From this and the assumption of
our corollary, we conclude that that all compact metric subgroups of G are finite. Now G satisfies
Zcm by Proposition 2.6(ii).

Corollary 2.11. Let G be a non-discrete metric group such that |G| < c. Then G satisfies Zcm
but does not have property Zm .
Proof. By last corollary, G has property Zcm . It easily follows from |G| < c that G is zerodimensional. Since G is metric and non-discrete, it fails property Zm .

Remark 2.12. (i) If continuous homomorphisms from a topological group G to R separate points of
G, then G contains no non-trivial compact subgroups; in particular, G satisfies Zcm by Proposition
2.6(ii). Indeed, assume that K is a non-trivial compact subgroup of G. By our assumption, there
exists a continuous homomorphism f : G → R such that f (K) is non-trivial. Since f (K) is compact,
this contradicts the fact that R has no non-trivial compact subgroups.
(ii) It follows from (i) that the additive group G of every topological vector space over R has no
non-trivial compact subgroups; in particular, G satisfies Zcm .
Example 2.13. (i) The complete metric group RN satisfies Zcm but does not satisfy Zm . Indeed,
since ZN is an infinite non-discrete closed zero-dimensional subgroup of RN , the group RN fails
property Zm . The rest follows from Remark 2.12(ii).

6

D. DIKRANJAN AND D. SHAKHMATOV

(ii) The additive group G of the Banach space c0 is a locally minimal (sequentially) complete
metric abelian group satisfying Zcm but failing Zm . Indeed, G satisfies Zcm by Remark 2.12(ii).
On the other hand, G does not satisfy Zm by Remark 2.2.
It is worth noticing that the group RN from item (i) of this example is not locally minimal; see
[14, Example 7.44]. We now exhibit a minimal group distinguishing between properties Zcm and
Zm .
Example 2.14. Let G be any countably infinite minimal metric abelian group, for example, Q/Z;
see [27, 44]. Then G is a (precompact) minimal abelian group satisfying Zcm but failing Zm . Indeed,
G is precompact by Fact 0.1. Since G is infinite, it is non-discrete. The rest follows from Corollary
2.11.
Our next proposition shows that the previous two examples cannot be somehow “combined
together” to obtain a (locally) precompact (sequentially) complete group distinguishing between
properties Zcm and Zm .
Proposition 2.15. Conditions Zm and Zcm are equivalent for locally precompact, sequentially
complete groups. In particular, these two conditions coincide for locally countably compact groups.
Proof. Let G be a locally precompact, sequentially complete group. The implication Zm →Zcm is
established in Proposition 2.3. To prove the reverse implication suppose that G does not satisfy
Zm . Then G has a non-discrete closed zero-dimensional metric subgroup N . Since N is a closed
subgroup of G, it is locally precompact and sequentially complete. Since N is also metrizable,
N is complete. Being also locally precompact, N is locally compact. Being a non-discrete locally
compact zero-dimensional group, N contains an infinite open compact subgroup C, by van Dantzig’s
theorem [8]. This shows that G does not satisfy Zcm .

Example 2.13 shows that local precompactness in Proposition 2.15 is essential, while Example
2.14 shows that sequential completeness is essential as well.
Examples in this section clearly show that none of the implications in (2) can be reversed,
even under some “mild” compactness-like conditions. Additional examples in this direction having
much stronger compactness-like properties can be also found in Section 8. In this paper we study
in detail the question of how one can strengthen these compactness-like conditions in order to make
the implications in (2) reversible.
3. Main results
Recall that a topological group G is called almost connected if G has a non-empty open connected subset [19]. Clearly, a topological group G is almost connected precisely when its connected
component c(G) is open. Obviously, each connected group is almost connected. All Lie groups are
locally connected and locally connected groups are almost connected, so almost connectedness is a
necessary condition for being a Lie group.
Lie groups are also locally compact. Combining these facts with (a part of) Diagram 1, we obtain
a simplified diagram containing the most essential properties that appear in our main results.
Lie


locally compact


locally ω-bounded


locally precompact

/ locally connected
/ locally minimal
/ sequentially complete

/ almost connected

CHARACTERIZING LIE GROUPS

7

Diagram 2.
The Lie property is the “maximal element” of this diagram in a sense that it implies all other
properties listed in it. The “minimal elements” of Diagram 2 (that is, the weakest properties
that have no arrows starting at them) are almost connected, locally minimal, sequentially complete
and locally precompact. The first property is clearly a weak connectedness-like property, while
the other three are mild compactness-like properties. One might hope that these four general
properties combined together and amended by conditions from Definition 2.1 restricting closed zerodimensional subgroups of a given topological group would result in some sort of a characterization of
Lie groups. In other words, one could hope that the Lie property could be “assembled” from these
properties taken as “building blocks”. For example, it is quite tempting to suggest that Lie groups
are precisely the almost connected, locally minimal, locally precompact, sequentially complete
groups having one of the three properties from Definition 2.1. Unfortunately, this conjecture turns
out to be false in a strong way, as the following couple of examples demonstrates.
Example 3.1. (i) There exists a countably compact (thus, precompact and sequentially complete),
connected, locally connected (so also almost connected) abelian group which has property Z but
is not Lie.
(ii) There exists a minimal, locally countably compact (so locally precompact and sequentially
complete), locally connected (thus, almost connected) nilpotent group of class 2 which has property
Z but is not Lie.
These two examples are built using quite sophisticated set-theoretic and group-theoretic machinery, with the help of the Continuum Hypothesis; the interested reader is referred to Examples
8.2 and 8.8, respectively. In Section 8 one can also find additional examples (without additional
set-theoretic assumptions beyond ZFC) with somewhat weaker compactness properties.
Inspired by these examples outlining the limits of what can be proved, we shall attempt to slightly
strengthen the four building block conditions so that to obtain characterizations of (compact) Lie
groups, sometimes restricting ourselves to the class of abelian groups.
For example, by replacing “locally precompact and sequentially complete” with the stronger
property of local ω-boundedness, one can obtain a characterization of Lie groups even without the
assumption of local minimality or almost connectedness. Indeed, our first resut shows that the
three properties from Definition 2.1 are equivalent for locally ω-bounded groups.
Theorem 3.2. For a locally ω-bounded group G the following conditions are equivalent:
(i) G is a Lie group;
(ii) G satisfies Z ;
(iii) G satisfies Zm ;
(iv) G satisfies Zcm .
The proof of this theorem is postponed until Section 6.
Example 3.1(i) shows that the implication (ii)→(i) in this theorem need not hold if one replaces
“locally ω-bounded” by “countably compact”, even in the abelian case. We refer the reader to
Example 8.3(ii) for an example of a countably compact abelian group satisfying Zm without property Z ; therefore, the implication (iii)→(ii) need not hold if one replaces “locally ω-bounded” by
“countably compact”, even in the abelian case. Nevertheless, items (iii) and (iv) remain equivalent
even under this weaker assumption; see Proposition 2.15.
Since Lie groups are locally compact and locally compact groups are locally ω-bounded, we
get the following characterization of Lie groups in terms of their closed zero-dimensional compact
metric subgroups.
Corollary 3.3. A topological group is a Lie group if and only if it is locally ω-bounded and has no
infinite compact metric zero-dimensional subgroups.

8

D. DIKRANJAN AND D. SHAKHMATOV

Example 3.1(i) shows that one cannot replace “locally ω-bounded” by “countably compact” in
this corollary, even in the abelian case.
Even the locally compact version of Corollary 3.3 seems to be new.
Corollary 3.4. A topological group is a Lie group if and only if it is locally compact and has no
infinite compact metric zero-dimensional subgroups.
Our second theorem shows that, in the class of abelian groups, the conjunction of local minimality
and local precompactness suffices for characterizing Lie groups in the spirit of Theorem 3.2. Adding
sequential completeness to the mix produces even more similarity with Theorem 3.2.
Theorem 3.5. For a locally minimal, locally precompact abelian group G the following conditions
are equivalent:
(i) G is a Lie group;
(ii) G satisfies Z ;
(iii) G satisfies Zm .
Moreover, if G is additionally assumed to be sequentially complete, then the following condition can
be added to this list:
(iv) G satisfies Zcm .
The proof of this theorem is postponed until Section 7.
It follows from Corollary 2.9 that local minimality of G cannot be omitted in Theorem 3.5.
Example 2.14 shows that one cannot drop the additional assumption of sequential completeness in
the final part of Theorem 3.5. As was mentioned in the beginning of this section, commutativity
of the group cannot be dropped in Theorem 3.5.
Since Lie groups are locally compact (so, locally minimal) and satisfy property Zm , Theorem
3.5 gives the following characterization of abelian Lie groups.
Corollary 3.6. An abelian topological group group G is a Lie group if and only if G is locally
minimal, locally precompact and all closed metric zero-dimensional subgroups of G are discrete.
Example 2.5 shows that local precompactness of G cannot be omitted from the assumptions of
both Theorem 3.5 and Corollary 3.6.
Corollary 3.7. For a minimal abelian group G the following conditions are equivalent:
(i) G is a compact Lie group;
(ii) G satisfies Z ;
(iii) G satisfies Zm .
Proof. Since minimal abelian groups are precompact by Fact 0.1, the conclusion of our corollary
follows from Theorem 3.5 and the fact that precompact Lie groups are compact.

Example 2.14 shows that one cannot add Zcm to the list of equivalent conditions in Corollary
3.7.
Since compact groups are minimal and precompact discrete groups are finite, Corollary 3.7 yields
a concise characterization of compact abelian Lie groups:
Corollary 3.8. An abelian topological group is a compact Lie group if and only if it is minimal
and has no infinite closed metric zero-dimensional subgroups.
Example 2.5 shows that minimality cannot be replaced with local minimality in Corollaries 3.7
and 3.8.
Since the Lie groups are locally connected, it is natural to restrict the study of Lie groups within
the class of locally connected groups. Actually one can work even under the weaker condition of
almost connectedness. For almost connected groups, our third theorem extends Theorem 3.5 far
beyond the abelian case.

CHARACTERIZING LIE GROUPS

9

Theorem 3.9. For an almost connected, locally minimal, precompact sequentially complete group
G, the following conditions are equivalent:
(i)
(ii)
(iii)
(iv)

G
G
G
G

is a compact Lie group;
satisfies Z ;
satisfies Zm ;
satisfies Zcm .

The proof of this theorem is postponed until Section 7.
Example 8.2 below shows that local minimality cannot be omitted in Corollary 3.6 and Theorem
3.9. On the other hand, Example 8.9 shows that a locally countably compact (so locally precompact
and sequentially complete) locally connected minimal nilpotent group which satisfies Z need not
be a Lie group. This shows that “precompact” cannot be replaced by “locally precompact” in
Theorem 3.9.
Corollary 3.10. A topological group is a compact Lie group if and only if it is almost connected,
sequentially complete, precompact, locally minimal and all its compact metric zero-dimensional
subgroups are finite.
Example 2.5 shows that precompactness of G is necessary in Theorem 3.9 and cannot be dropped
from its Corollary 3.10.
The particular version of our results deserves special attention.
Corollary 3.11. Let G be a countably compact minimal group satisfying Zcm . If G is either abelian
or almost connected, then G is a compact Lie group.
Proof. Indeed, G is precompact and sequentially complete. Now the conclusion follows from Theorem 3.5 (in the abelian case) and Theorem 3.9 (in the almost connected case).

Remark 3.12. Since locally ω-bounded groups are locally precompact and sequentially complete,
the equivalence of items (iii) and (iv) in Theorem 3.2 follows from Proposition 2.15. Similarly,
this proposition implies also the additional statement in Theorem 3.5, as well as the equivalence of
items (iii) and (iv) in Theorem 3.9.
One can consider the weaker versions of the three conditions Z , Zm and Zcm from Definition
2.1 obtained by replacing the word “subgroup” with the word “normal subgroup”. The following
example shows that (with the trivial exception of the purely “abelian” results) most of our results
spectacularly fail for these weaker versions of the three properties.
Example 3.13. Let L = SO3 (R) be a compact connected simple Lie group. Then G = LN is a
compact connected metric group without non-trivial closed zero-dimensional normal subgroups, yet
G is not a Lie group. Indeed, by a well-known theorem of Hofmann [37], a closed zero-dimensional
normal subgroup of a connected compact group must be central, and the conclusion follows from
the fact that G has the trivial center.
It is worth mentioning here the TAP property from [42] defined by requiring that no sequence
in a topological group is multiplier convergent; see [21]. This property is weaker than NSS [42],
and therefore, is possessed by every Lie group. Since TAP groups satisfy Zcm, the results in this
section can be applied to obtain characterizations of (compact) Lie groups in terms of multiplier
convergence of sequences; see [22].
We conclude this section with the diagram summarizing the main results exposed above (i.e.,
those from the present article, contained in the implications on the first rows of the diagram, and
those from [16, 23], contained in the implications in the lower part of the diagram).

10

D. DIKRANJAN AND D. SHAKHMATOV
(1)

Lie

t

(2)

+3 Z

+3 Zm

(3)

(4)

(5)



+3 Et

Etd j

+3 Emin

+3 Zcm
❇❇❇❇❇
❇❇❇❇
❇❇❇❇
❇❇❇❇
❇❇❇❇
(6)
❇❇❇❇
❇❇❇❇
❇ $

+3 AP ∗
+3 AP
f
(8)

(7)

Diagram 3.
The double arrows denote implications that always hold. The single arrows denote implications
valid only in special classes of topological groups.
The implication (1) holds for the three classes of groups described in the assumptions of Theorems
3.2, 3.5 and 3.9, and the implications (2), (3) and (4) become equivalences for the same classes of
groups. However, these two implications are not equivalences in general, as Examples 2.13, 2.14,
8.2 and 8.3 show.
According to Theorem 1.4, the implication (7) holds for locally compact groups (i.e., for locally
compact groups Etd , Et , Emin and AP ∗ are equivalent). The implications (5), (6) and (8) hold for
compact groups, as in this case A{Z} is vacuous, so Etd , Et , Emin , AP and AP ∗ are equivalent in
this case.
4. Non-closed subgroups of abelian Lie groups do not have property Zm
The results in this section are used only in Section 7, so the reader may skip it at first reading.
The next theorem is of independent interest extending way beyond the scope of our paper.
Theorem 4.1. Let k ≥ 2 be an integer. For every i = 1, . . . , k let Ki be either R or T. Let G be a
Q
dense subgroup of K = ki=1 Ki such that G ∩ Hi is not dense in Hi for every i = 1, . . . , k, where
Hi = {(x1 , . . . , xk ) ∈ K : xi = 0}. Then G is zero-dimensional.
Proof. Let i = 1, . . . , k. If Ki = R, then we denote by di the usual metric on Ki . In case Ki = T,
we define di (x, y) as the length of the shortest arc connecting x, y ∈ Ki . Clearly, di is a translationinvariant metric on Ki . For x ∈ Ki and ε > 0, let Ui (x, ε) = {y ∈ Ki : di (x, y) < ε} denote the
ε-neighbourhood of x. For x, y ∈ Ki with di (x, t) < π, we use (x, y) and [x, y] to denote the shortest
open arc and the shortest closed arc in Ki connecting x and y.
Using our assumption, we can fix a real number δ > 0 and a point xi = (x1i , . . . , xki ) ∈ Hi for
every i = 1, . . . , k such that


k
i−1
Y
Y
Uj (xji , δ) = ∅ for all i = 1, . . . , k.
(3)
G∩
Uj (xji , δ) × {0} ×
j=i+1

j=1

Since G is a topological group, in order to show that G is zero-dimensional, it suffices to prove
that G has a a local base at its identity element (0, . . . , 0) consisting of clopen subsets of G. Fix
ε > 0 such that ε < min{δ/4, π/2}.
Fix i = 1, . . . , k. Since ε < π/2, there are exactly two elements ai , bi ∈ Ki such that di (0, ai ) =
di (0, bi ) = ε. Then
(4)

Vi =

i−1
Y

j=1

Uj (−xji , ε)

× (0, ai ) ×

k
Y

j=i+1

Uj (−xji , ε)

CHARACTERIZING LIE GROUPS

11

and
(5)

Wi =

i−1
Y

Uj (−xji , ε) × (0, bi ) ×

k
Y

Uj (−xji , ε)

j=i+1

j=1

are non-empty open subsets of K. Since G is dense in K, we can choose
(6)

gi = (gi1 , . . . , gik ) ∈ G ∩ Vi

and

hi = (h1i , . . . , hki ) ∈ G ∩ Wi .

Define yi = xi + gi and zi = yi + hi . Let
yi = (yi1 , . . . , yik ) and zi = (zi1 , . . . , zik ).

(7)

Note that gii ∈ (0, ai ) by (4) and (6). Similarly, hii ∈ (0, bi ) by (5) and (6). Since xii = 0, it follows
from yi = xi + gi , zi = yi + hi and (7) that yii = gii ∈ (0, ai ) and zii = hii ∈ (0, bi ). Therefore,
0 ∈ (yii , zii ) ⊆ (0, ai ) ∪ (0, bi ) = Ui (0, ε)

(8)

by our choice of ai and bi . It follows that
O=

k
Y
(yii , zii )
i=1

is an open subset of K with

(0, . . . , 0) ∈ O ⊆

(9)

k
Y

Uj (0, ε).

j=1

Clearly, the boundary Bd(O) of O in K has the form


k
k
i−1
[
Y
Y
 [y j , z j ] × {yii , zii } ×
(10)
Bd(O) =
[yij , zij ] .
i i
i=1

j=i+1

j=1

Claim 1. If c = (c1 , . . . , ck ) ∈ Bd(O), then there exists i = 1, . . . , k such that ci ∈ {yii , zii } and
cj ∈ Uj (yij , δ) ∩ Uj (zij , δ) for j = 1, . . . , k with j 6= i.
Proof. Use (10) to fix i = 1, . . . , k with
(11)

(c1 , . . . , ck ) ∈

i−1
Y

[yij , zij ] × {yii , zii } ×

k
Y

[yij , zij ].

j=i+1

j=1

In particular, ci ∈ {yii , zii }. Let j = 1, . . . , k and j 6= i. Since gij , hji ∈ Uj (−xji , ε) by (4), (5) and
(6), from yi = xi + gi , zi = yi + hi and (7) we conclude that yij , zij ∈ Uj (0, ε), which yields also
cj ∈ [yij , zij ] ⊆ Uj (0, ε) by (11). Since ε < δ/4, it follows that Uj (0, ε) ⊆ Uj (yij , δ) ∩ Uj (zij , δ).
Therefore, cj ∈ Uj (yij , δ) ∩ Uj (zij , δ).

Claim 2. Bd(O) ∩ G = ∅.
Proof. Let c = (c1 , . . . , ck ) ∈ Bd(O). We are going to show that c 6∈ G. Let i be as in the conclusion
of Claim 1. We consider two cases.
Case 1 . ci = yii . In this case ci − gii = yii − gii = xii . Let j = 1, . . . , k and j 6= i. Note that
cj ∈ Uj (yij , δ) by Claim 1. Since the metric dj is translation invariant,
cj − gij ∈ Uj (yij , δ) − gij = Uj (yij − gij , δ) = Uj (xji , δ).
This shows that
c − gi ∈

i−1
Y

j=1

Uj (xji , δ)

×

{xii } ×

k
Y

j=i+1

Uj (xji , δ).

12

D. DIKRANJAN AND D. SHAKHMATOV

Now (3) gives c − gi 6∈ G. Since gi ∈ G and G is a subgroup of K, it follows that c 6∈ G.
Case 2 . ci = zii . In this case ci − hii = zii − hii = xii . Let j = 1, . . . , k and j 6= i. Note that
j
c ∈ Uj (zij , δ) by Claim 1. Since the metric dj is translation invariant,
cj − hji ∈ Uj (zij , δ) − hji = Uj (zij − hji , δ) = Uj (xji , δ).
This shows that
c − hi ∈

i−1
Y

j=1

Uj (xji , δ) × {xii } ×

k
Y

Uj (xji , δ).

j=i+1

Now (3) gives c − hi 6∈ G. Since hi ∈ G and G is a subgroup of K, it follows that c 6∈ G.



Since G is dense in K, from Claim 2 one easily concludes that O ∩ G is a clopen subset of G.
For each small enough ε > 0 we have found an open subset O of K satisfying (9) such that O ∩ G
is a clopen subset of G. This proves that G has a clopen base at (0, . . . , 0).

Corollary 4.2. Let G be a dense subgroup of K = Rm × Tn , where m, n ∈ N. If G satisfies Zm ,
then G = K.
Proof. We prove our corollary by induction on k = m + n. For k = 1 the assertion follows from
the obvious fact that all proper dense subgroups of R or T are zero-dimensional, so do not satisfy
Zm . Suppose that k ∈ N, k ≥ 2 and our corollary has already been proved k − 1. For i = 1, . . . , k,
Q
define Ki = R for i ≤ m and Ki = T for m < i < k, so that K = ki=1 Ki . Since G is
dense in K, it is non-discrete. Since G is satisfies Zm , it cannot be zero-dimensional. Applying
Theorem 4.1, we conclude that there exists i = 1, . . . , k such that Gi = Hi ∩ G must be dense in
Hi = {(x1 , . . . , xk ) ∈ K : xi = 0}. Since Gi is a closed subgroup of the group G having property
Zm , Gi also has the same property. Since Gi is dense in Hi , we can apply our inductive assumption
to the pair of Gi and Hi to conclude that Gi = Hi . Now, the splitting K = Hi × Ki produces
the splitting G = Hi × (G ∩ Ki ), as Hi × {0} ⊆ G. The density of G in K yields that G ∩ Ki is
dense in Ki . Since G ∩ Ki is a closed subgroup of G, it must satisfy Zm . Therefore, G ∩ Ki = Ki
by the basis of our induction, and so {0} × Ki ⊆ G. Since Hi × {0} ⊆ G holds as well, we get
K = Hi × Ki ⊆ G.

Corollary 4.3. Let G be a subgroup of an abelian Lie group K. If G satisfies Zm , then G is closed
in K; in particular G is a Lie group itself.
Proof. Since closed subgroups of Lie groups are Lie, we may assume, without loss of generality,
that G is dense in K. It is known that K ∼
= Rm × Tn × D for some m, n ∈ N and some discrete
m
abelian group D [37]. Now c(K) = R × Tn × {0} is a clopen subgroup of K, so G∗ = G ∩ c(K)
is a dense subgroup of c(K) ∼
= Rm × Tn satisfying Zm , being a closed subgroup of G. Therefore,
G∗ = c(K) by Corollary 4.2; that is, Rm × Tn × {0} ⊆ G. Since G is dense in K and D is discrete,
one easily concludes that {0} × {0} × D ⊆ G. This gives K = Rm × Tn × D ⊆ G.

Remark 4.4. The Lie group R contains the group Q of rational numbers as its dense proper (thus,
non-closed) subgroup. Since Q is countable, it has property Zcm by Corollary 2.10. This example
shows that both Corollaries 4.2 and 4.3 fail if one replaces the assumption “G has property Zm ”
in them with the weaker assumption “G has property Zcm”.
5. The structure of almost connected compact groups with Lie center
In this section we obtain a structure theorem for almost connected compact groups having Lie
center; see Theorem 5.5. In order to achieve this, we use the dynamical properties of the action of
the group on the semisimple derived group of its connected component.
We shall need the following folklore fact concerning the dichotomy related to normal subgroups
of a direct product containing a simple non-abelian direct summand. For the sake of completeness,
we include its proof.

CHARACTERIZING LIE GROUPS

13

Lemma 5.1. Let G = H × S be the direct product of a group H and a simple non-abelian group
S, and let pS : G → S be the projection on the second coordinate. If N is a normal subgroup of G
and pS (N ) 6= {eS }, then {eH } × S ⊆ N . In particular, either N ⊆ H × {eS } or {eH } × S ⊆ N .
Proof. Since pS (N ) 6= {eS }, we can pick an element n = (h, s) ∈ N with s 6= eS . Since Z(S)
is trivial, there exists b ∈ S such that [b, s] = bsb−1 s−1 6= eS . Let x = (eH , b) ∈ G. Then
[x, n] = xnx−1 n−1 = (eH , [b, s]) ∈ {eH } × S. As N is a normal subgroup of G, one has [x, n] ∈ N .
Therefore, eS 6= [b, s] = pS ([x, n]) ∈ pS (N ). This proves that pS (N ) is a non-trivial normal subgroup
of S. Since S is simple, we conclude that pS (N ) = S. The above argument shows that if s ∈ pS (N ),
then (eH , [b, s]) ∈ ({eH } × S) ∩ N . As pS (N ) = S, this proves that {eH } × S ′ ⊆ ({eH } × S) ∩ N .
Since S is simple, S ′ = S, hence {eH } × S ⊆ N .

Lemma
5.2. Assume that {Li : i ∈ I} is a family of simple non-abelian topological groups, R =
Q
L
is
its direct product equipped with the Tychonoff product topology, M is a topological group
i∈I i
and N is a simple closed normal subgroup of the product M × R. Then either N ⊆ M or N = Lk
for some k ∈ I.
Proof. Suppose that N is not a subgroup of M . Then there exists k ∈ I suchQthat pk (N ) 6= {eLk },
where pk : M × R → Lk is the projection. Applying Lemma 5.1 to H = M × i∈I\{k} and S = Lk ,
we conclude that Lk ⊆ N . (Here we identify Lk with the subgroup of M × R in a natural way.)
Since Lk is a closed normal subgroup of M × R (and thus, also of N ), from the simplicity of N one
gets Lk = N .

Given an action G × X → X, (g, x) 7→ gx for g ∈ G and x ∈ X, of a group G on a set X, we say
that a subset Y of X is G-invariant if gy ∈ Y whenever g ∈ G and y ∈ Y .
Lemma 5.3. Suppose that
Q I is an infinite set, {Li : i ∈ I} is a family of simple non-abelian
topological groups, R = i∈I Li is their Cartesian product equipped with the Tychonoff product
topology, and G × R → R is an action of a group G on R by continuous automorphisms
such that
S
{g(Li ) : g ∈ G} is finite for every i ∈ I. Q
Then there exists a partition I = {Ij : j ∈ J} of I into
non-empty finite sets Ij such that Nj = i∈Ij Li is G-invariant for every j ∈ J.

Proof. Let g ∈ G and j ∈ I be arbitrary. Since g is a continuous automorphism of R, g(Lj ) is a
closed normal subgroup of R. Since g(Lj ) ∼
= Lj is simple, Lemma 5.2 applied to M = {0} and
N = g(Lj ) allows us to find a unique index φ(g, j) ∈ I such that g(Lj ) = Lφ(g,j) . This argument
shows that the action of G on R induces an action φ : G × I → I of G on the index set I. By our
assumption on the action G×R → R, the orbit Ij = {φ(g, j) : g ∈ G} of each j ∈ I is finite.
Choose
S
J ⊆ I such that {Ij : j ∈ J} is a faithful enumeration ofQ
all orbits of I. Then I = {Ij : j ∈ J}
is the desired decomposition, as j ∈ Ij 6= ∅ and Nj = i∈Ij Li is clearly G-invariant for every
j ∈ I.


We shall need in the sequel the following theorem collecting useful facts about the structure
of compact connected groups. Items (a)–(c) are well known; see [37, Theorem 9.24]. Item (b) is
known as theorem of Varopoulos [48]. To the best of our knowledge, item (d) is new, and it is this
item that will be essentially used in the proof of Theorem 5.5 and Lemma 6.3 below.
Theorem 5.4. Let K be a compact connected group.
(a) K ′ is a connected compact group, K = K ′ · Z(K) and Z(K ′ ) = Z(K) ∩ K ′ is zerodimensional.Q
(b) K/Z(K) = i∈I Li is a product of non-trivial simple compact connected Lie groups Li .
e i be the covering group of Li and Zi = Z(L
e i ). Then each Zi is finite and
(c) For i ∈ I, let L
Q
Q
∼
e i /Zi = Li . Define L =
e
L
i∈I Li and Z = Z(L) =
i∈I Zi . Then there exists a closed
′
′
∼
∼
subgroup N of Z such that L/N = K and Z/N = Z(K ).

14

D. DIKRANJAN AND D. SHAKHMATOV

(d) If Z(K) is a Lie group, then the following are equivalent:
(d1 ) K is not a Lie group;
(d2 ) I is infinite;
(d3 ) I is infinite and there exist a finite I0 ⊆ I, a closed
characteristic Lie subgroup M of
Q
K ′ and a (closed) characteristic subgroup R ∼
= i∈I\I0 Li of K ′ such that K ′ ∼
= M × R;
in particular, all normal subgroups of M and R are also normal subgroups of K.
Proof. We provide only the proof of item (d). We assume from now on that
QZ(K) is a Lie group.
The equivalence (d1 ) ↔ (d2 ) follows from (b) and the obvious fact that i∈I Li is a Lie group
precisely when I is finite. The implication (d3 ) → (d2 ) is obvious, so we are left with the proof of
the remaining implication (d2 ) → (d3 ). Hence, we assume from now on that the set I is infinite.
As a closed subgroup of the compact Lie group Z(K), Z(K ′ ) is a compact Lie group as well.
Since Z(K ′ ) is zero-dimensional by (a), it is finite. Since Z/N ∼
= Z(K ′ ) by (c), the subgroup N of
bi
the compact abelian group Z has finite index in Z. Taking the duals and using the fact that Z
⊥
b
is finite (as each Zi is finite by (c)), we deduce that the annihilator N = {χ ∈ Z : χ(N ) ⊆ {0}}
L
b
of N is a finite subgroup of Zb ∼
=
i∈I Zi . Hence there exists a finite subset I0 of I such that
L
⊥
bi . Taking the duals once again, we conclude that N contains the subgroup
N ⊆ i∈I0 Z

⊥
M
Y
Zbi 
Zi = 
(12)
N1 :=
i∈I0

i∈I\I0


Q
Q
Q
× N1 and N1 ⊆ N , there exists a subgroup
of Z. Since N ⊆ Z = i∈I0 Zi × i∈I\I0 Zi =
Z
i
i∈I
0
Q
N0 of i∈I0 Zi such that N = N0 × N1 .
Q
LetQJ = {i ∈ I0 : Zi ⊆ N } and I1 = I0 \ J. Since J is finite, N0 = A × i∈J Zi for some subgroup
A of i∈I1 Zi . Now
!
Y
Y
Y
Zi .
Zi = A ×
N = A×
Zi × N1 = A ×
i∈I1 ∪J

i∈J

i∈I\I1

by (12). By our construction, A does not contain any subgroup Zi for i ∈ I0 \ J = I1 . This
argument allows us to assume, without loss of generality, that N0 contains no Zi for i ∈ I0 . This
additional assumption means that
N0 ∩ Zi 6= Zi for all i ∈ I0 .

(13)
Define

f=
M

(14)

Y

i∈I0

ei
L

e=
and R

Y

i∈I\I0

ei,
L

Q e
f e
f
e
so that L = i∈I L
i = M × R. Since N0 is a subgroup of M , N1 is a subgroup of R and N = N0 ×N1 ,
f/N0 × R/N
e 1 . Let q : L/N → K ′ be the isomorphism provided by (c).
it follows that L/N = M
′
f/N0 × R/N
e 1 ) = q(M
f/N0 ) × q(R/N
e 1 ) = M × R, where
Then K = q(L/N ) = q(M
Since N1 =

Q

i∈I\I0

f/N0 )
M = q(M

Zi , we get


e 1=
R∼
= R/N

Y

i∈I\I0

 

ei / 
L

e 1 ).
and R = q(R/N

Y

i∈I\I0



Zi  =

Y

i∈I\I0

e i /Zi =
L

Y

i∈I\I0

Li .

CHARACTERIZING LIE GROUPS

15

e i are Lie groups, from (14) we deduce that M
f is a Lie group. Since N0
Since I0 is finite and all L
f
f
f
is a finite subgroup of the compact group M , the quotient M /N0 and M are locally homeomorphic.
f/N0 is a Lie group. From M ∼
f/N0 , we deduce that M is a Lie group as well.
Therefore, M
=M
Q
f) =
f
f
Observe that Z(M
i∈I0 Zi contains N0 . Moreover, Z(M /N0 ) = Z(M )/N0 , so
Y
f/N0 )/Z(M
f/N0 ) ∼
f/N0 )/(Z(M
f)/N0 ) ∼
f/Z(M
f) ∼
Li .
(M
= (M
=M
=
i∈I0

f
From this and the fact that q ↾M
f/N0 : M /N0 → M is an isomorphism, we get
Y
f/Z(M
f) ∼
Li .
(15)
M/Z(M ) ∼
=M
=
Q

i∈I0

Let ψ : M/Z(M ) → i∈I0 Li be the isomorphism witnessing
(15). Let ξ : M → M/Z(M ) be the
Q
canonical homomorphism, and let ϕ = ψ ◦ ξ : M → i∈I0 Li . Clearly, ker ϕ = ker ξ = Z(M ), so ϕ
has finite kernel. From this it easily follows that
(16)
S∼
= ϕ(S) for every infinite simple closed subgroup S of M.
Claim 3. M contains no non-abelian simple connected closed normal subgroups.
e i under the composition of the
Proof. For every i ∈ I0 denote by Mi the image of the subgroup L
f→ M
f/N0 and the isomorphism q ↾ f : M
f/N0 → M . Then Mi is a normal
canonical map M
M /N0
connected Lie subgroup of M and ϕ(Mi ) = Li .
Let S be a non-abelian simple connected closed normal subgroup of M . Clearly, S is infinite.
Since ϕ is aQcontinuous homomorphism and M is compact, ϕ(S) is a non-trivial closed normal
subgroup of i∈I0 Li . Since S is infinite, ϕ(S) ∼
= S by (16). Since S is simple, so is ϕ(S). Applying
Lemma 5.2 to M = {0}, I = I0 and N = ϕ(S), we conclude that ϕ(S) = Lk for some k ∈ I0 . Since
also ϕ(Mk ) = Lk , we deduce that
Z(M )S = ϕ−1 (ϕ(S)) = ϕ−1 (Lk ) = Z(M )Mk .
Since Z(M ) is finite, both S and Mk are finite-index subgroups of the group H = Z(M )S =
Z(M )Mk . Since both S and Mk are connected, S = c(H) = Mk . Since S is simple, it is center-free.
Q
To get a contradiction, it suffices to show that Mk has a non-trivial center. Since N0 ⊆ i∈I0 Zi =
Q
e
e
e
i∈I0 Z(Li ), we have N0 ∩ Lk = N0 ∩Zk . Combining this with (13), we get N0 ∩ Lk 6= Zk . Therefore,
ek ).
Z(Mk ) contains a subgroup isomorphic to the non-trivial subgroup Zk /(N0 ∩ L

Claim 4. Both M and R are characteristic subgroups of K ′ .

Proof. To prove that M is characteristic in K ′ , suppose the contrary. Then there exists a continuous
automorphism a of K ′ such that M \ a(M ) 6= ∅. Then there exists k ∈ I \ I0 such that pk (a(M )) 6=
′
{eLk }. Clearly,
Q a(M ) is a closed normal subgroup of K = M × R. Applying Lemma 5.1 to
H = M × i∈I\(I0 ∪{k}) Li , S = Lk and N = a(M ), we get Lk ⊆ a(M ), which in turn implies
a−1 (Lk ) ⊆ M . Since a−1 is a continuous automorphism of K ′ and Lk is a closed normal subgroup
of K ′ , a−1 (Lk ) is a closed normal subgroup of K ′ . Furthermore, a−1 (Lk ) ∼
= Lk , so a−1 (Lk ) is a
non-abelian simple connected group. This contradicts Claim 3. This shows that a(M ) ⊆ M for
every continuous automorphism a of K ′ ; that is, M is characteristic in K ′ .
Next, let us prove that R is a characteristic subgroup of K ′ . Let a be an arbitrary continuous
automorphism of K ′ . Fix i ∈ I \I0 arbitrarily. The same argument as above shows that a(Li ) cannot
be contained entirely in M . By Lemma
5.2, a(Li ) = Lk for some k ∈ I \I0 . In particular, a(Li ) ⊆ R.
L
Since i was chosen arbitrarily, a( i∈I\I0 Li ) ⊆ R. Since R carries the Tychonoff product topology,
L
L
i∈I\I0 Li ) ⊆ R = R,
i∈I\I0 Li is dense in R. Since a is continuous, it follows that a(R) = a(
′
where the bar denotes the closure in K .


16

D. DIKRANJAN AND D. SHAKHMATOV

Since both M and R are characteristic subgroups of K ′ , all normal subgroups of M and R are
normal subgroups of K ′ . Since K = K ′ · Z(K) by (a), this yields that all normal subgroups of M
and R are also normal subgroups of K.

The next theorem describes the structure of almost connected compact groups with Lie center.
Theorem 5.5. Let K be an almost connected compact group such that Z(K) is a Lie group yet K
itself is not a Lie group. Then c(K)′ is topologically isomorphic to an infinite product of non-trivial
closed normal Lie subgroups of K.
Proof. For the sake of brevity, we let K0 = c(K). Since K is almost connected, K0 is an open
subgroup if K. Since K is compact, K0 has finite index in K. In particular, K0 is a Lie group if
and only if K is. Since K is not a Lie group by our assumption, we conclude that K0 is also not a
Lie group. Being a closed subgroup of the Lie group Z(K), Z(K0 ) is a Lie group.
Applying the implication (d1 )→(d3 ) of Theorem 5.4(d) to K0 , we find an infinite set I, a family
{Li : i ∈ I} of non-trivial closed normal Lie subgroupsQof K0 , a closed characteristic Lie subgroup
M of K0′ and a (closed) characteristic subgroup R ∼
= M × R. (To
= i∈I Li of K0′ such that K0′ ∼
simplify notations, we renamed the set I \ I0 in Theorem 5.4(d) to I.) While all Li are normal
subgroups of K0′ , they need not in general be normal in the bigger group K. In the remaining part
of the proof we shall find a remedy to this problem by making use of Lemma 5.3. To this end, we
need to define an appropriate group action of some group G on R via continuous automorphisms
satisfying the hypotheses of that lemma.
Since the subgroup K0 of K is normal, the group K acts on K0 via conjugation. Denote by G
the group of (continuous) automorphisms of K0 obtained in this way. Since K0′ is a fully invariant
subgroup of K, it is also G-invariant. This determines an action of G on K0′ by restriction. (Note
that while the action of K on K0 is via internal automorphisms, the action of G on K0′ is via
automorphisms that need not be internal.) Since M and R are characteristic subgroups of K0′ ,
they are both G-invariant. In particular, G acts also on R by restriction.
In order to apply Lemma 5.3, we need to check that {g(Li ) : g ∈ G} is finite for every i ∈ I.
any Li ). Since K0 has finite index in
Let N be an arbitrary normal subgroup of K0′ (for example,
S
K, there exists a finite set E ⊆ K such that K = {xK0 : x ∈ E}. Since K0 = K0′ · Z(K0 ) by
Theorem 5.4(i),
we get {g(N ) : g ∈ G} ⊆ {x−1 N x : x ∈ E}. In particular, |{g(N ) : g ∈ G}| ≤ |E|.
S
Let I = {Ij : j ∈ J} be the partition as Q
in the conclusion of Lemma 5.3. Fix j ∈ J. Since all
Li are Lie groups, their finite product Nj = i∈Ij Li is a Lie group. Since Nj is G-invariant, it is
a normal subgroup of K by our choice of G. Since M is characteristic in K0′ , it is G-invariant, and
so M is also a normal subgroup of K. Finally, note that


Y
Y Y
Y

Li  = M ×
c(K)′ = K0′ =∼
Li ∼
Nj
=M ×R ∼
=M×
=M×
i∈I

j∈J

i∈Ij

is the desired decomposition.

j∈J



6. Proof of Theorem 3.2
Our first lemma in this section is a particular case of a much stronger result from [16]. However,
since this weaker version has a proof that is much simpler than the proof from [16], and since the
manuscript [16] is not easily accessible, we provide here this simpler direct proof for the reader’s
convenience.
b
Lemma 6.1. If G is a compact abelian group satisfying Zcm , then G ∼
= F × Tn , where F ∼
= t(G)
is a finite group and n = dim G is a non-negative integer number; in particular, G is a Lie group.

b of G. Let M be a maximal independent subset
Proof. Let X denote the discrete Pontryagin dual G
of X, so that the subgroup F generated by M is free and X/F is torsion. Let N = F ⊥ be the

CHARACTERIZING LIE GROUPS

17

[ . Since X/F is torsion,
annihilator of F in G. Then N is a closed subgroup of G with N ∼
= X/F
[ is zero-dimensional. By our hypothesis, N must be finite. Therefore, F is a
the group N ∼
= X/F
finite-index subgroup of X, i.e., X/F is finite. Let h : X → X/F be the canonical projection. Since
the torsion subgroup t(X) of X trivially intersects F , h ↾t(X) is injective. Since the group X/F is
finite, we conclude that t(X) is finite as well. By the well-known Baer theorem, X = t(X) ⊕ Y ,
where Y is a torsion-free subgroup of X. Let m = |h(Y )| ≤ |X/F | < ∞ and let f : G → G be the
homomorphism defined by f (x) = mx for every x ∈ G. Then f (Y ) ≤ F since h(Y ) ∼
= Y /Y ∩ F
has exponent m (so mY ⊆ F ). Moreover, f ↾Y is injective since Y is torsion-free. Therefore,
L
Y ∼
= f (Y ) = mY is free as (isomorphic to) a subgroup of the free group F . Hence Y ∼
= κ Z, so
b ∼
Yb ∼
= Tκ . Therefore, G ∼
=X
= t(X) × Tκ . Suppose that κ ≥ ω. Since T[2]κ is a zero-dimensional
κ
κ
subgroup of T and T[2] contains an infinite compact metric (zero-dimensional) subgroup, it
follows that G fails property Zcm, in contradiction with our assumption. This contradiction shows
that κ < ∞. Clearly, κ = dim G.

m
n
∼ R × T × D for
Corollary 6.2. If G is a locally compact abelian group satisfying Zcm, then G =
some m, n ∈ N and some discrete abelian group D; in particular, G is a Lie group.
Proof. It follows from the structure theory of locally compact abelian groups that G = Rn × G0 ,
where G0 has an open compact subgroup K. From the assumption of our corollary and Lemma 6.1
it follows that K ∼
= Tn × F for some n ∈ N and some finite abelian group F . Thus Tn is an open
subgroup of G0 . Since Tn is divisible, one can write G0 = Tn × D, for an appropriate subgroup
D of G0 . By the openness of T n in the open subgroup K of G0 , we deduce that D is a discrete
subgroup of G0 . Therefore, G ∼

= Rm × Tn × D for some m.
In order to extend Corollary 6.2 to arbitrary (not necessarily abelian) compact groups, we apply
Theorem 5.4(d).
Lemma 6.3. A compact group G satisfying Zcm is a Lie group.
Proof. We first consider the special case of our lemma.
Claim 5. The conclusion of our lemma holds when G is connected.
Proof. Indeed, the center Z(G) of G is a compact abelian group satisfying Zcm, so Z(G) is a Lie
group by Lemma 6.1. Assume that G itself is not a Lie group. Applying Theorem 5.4(d), we
conclude that G contains a subgroup R topologically isomorphic to an infinite product of compact
connected Lie groups Lj . Since each group Lj has a non-trivial torsion element xj , the subgroup
R (hence, also G) contains a subgroup P topologically isomorphic to an infinite product of finite
non-trivial groups. Since P is zero-dimensional, this contradicts our assumption that G satisfies
Zcm .

Since c(G) is closed in G, it is compact. Being a subgroup of G, the group c(G) also satisfies
Zcm . Claim 5 implies that c(G) is a Lie group. According to Lee’s theorem [37, Theorem 9.41],
G has zero-dimensional compact subgroup N such that G = c(G) · N . Since G satisfies Zcm, N is
finite, and so c(G) is a clopen subgroup of G. Since c(G) is locally Euclidean, so is G. Thus, G is
a Lie group as well.

Proposition 6.4. A locally compact group satisfying Zcm is a Lie group.
Proof. By a theorem of Davis [9] (see also [6]), G is homeomorphic to a product K × Rn × D, where
K is a compact subgroup of G, n ∈ N and D is a discrete space. Being a subgroup of G, the group
K satisfies Zcm . So K must be a Lie group by Lemma 6.3. Since K is a locally Euclidean space,
the whole group G ≈ K × Rn × D is a locally Euclidean space, i.e., G is a Lie group.

Lemma 6.5. Let G be a topological group such that the closure of every countable subgroup of G
is a compact Lie group. Then G is a compact Lie group.

18

D. DIKRANJAN AND D. SHAKHMATOV

Proof. Let K be the family of all separable compact subgroups of G. The following claim is
immediate corollary of the assumption of our lemma.
Claim 6. Each K ∈ K is a compact Lie group. In particular, for every K ∈ K the subgroup
c(K) is open of finite index, so c(K) ∈ K and dim K = dim c(K) < ∞.
Proof. The first assertion is just the definition of K . The second assertion follows from the fact
that the subgroup c(K), as well as the quotient K/c(K), are compact Lie groups. So K/c(K) is
finite and c(K) is a clopen subgroup of K and dim K = dim c(K) < ∞. Since K is separable, so is
c(K). Therefore, c(K) ∈ K .

Claim 7. If L is a countable subfamily of K , then there exists K ∈ K such that L ⊆ K for every
L ∈ L.
Proof. For every L ∈ L chooseSa countable dense subset DL of L. Since L is countable, the
subgroup D of G generated by {DL : L ∈ L } is countable, so K = D is a separable compact
group, so K ∈ K . If L ∈ L , then DL ⊆ D, which yields L = DL ⊆ D = K.

Claim 8. There exists n ∈ N such that dim K ≤ n for every K ∈ K .

Proof. Assume the contrary. Then for every n ∈ N there exists Ln ∈ K such that dim Ln ≥ n.
Apply Claim 7 to the family L = {Ln : n ∈ N} to get K ∈ K such that Ln ⊆ K for every n ∈ N.
Clearly, dim K ≥ dim Ln ≥ n for every n ∈ N. On the other hand, dim K must be finite by Claim
6, a contradiction.

Claim 9. Every zero-dimensional compact subgroup N of G is finite, i.e., G satisfies Z .
Proof. Let N be a zero-dimensional compact subgroup of G and let D be a countable subgroup of
N . Then K = D ⊆ N , so K is zero-dimensional. Since K ∈ K, K is a compact Lie group by Claim
6. It follows that K is finite. Since D ⊆ K, we conclude that D must be finite as well. This proves
that N is finite.

Use Claims 6 and 8 to choose a connected H ∈ K such that
(17)

dim H = max{dim K : K ∈ C }.

Claim 10. H has finite index in G.
Proof. Assume that H has infinite index in G and choose a countably infinite subset X of G such
that
(18)

X \ (F · H) 6= ∅ for every finite subset F of G.

Let D be the closed subgroup of G generated by X. Then D ∈ K . Since H ∈ K , applying Claim
7 we can choose K ∈ K such that H ⊆ K and X ⊆ D ⊆ K. Since H is a connected subgroup of
K, we have H ⊆ c(K). By Claim 6, c(K) is a clopen subgroup of K and c(K) ∈ K . From (17)
we conclude that dim c(K) ≤ dim H. Since H ⊆ c(K), the converse inequality dim H ≤ dim c(K)
holds as well. Both H and c(K) are compact connected Lie groups by Claim 6. Since, H ⊆ c(K)
and dim H = dim c(K), we conclude that H = c(K). Thus, H has finite index in K. That is,
X ⊆ K = F · H for some finite set F ⊆ K, in contradiction with (18).

Since H is a compact Lie group by Claim 6, and H has finite index in G by Claim 10, it follows
that G is a compact Lie group as well.

Corollary 6.6. An ω-bounded group satisfying Zcm is a Lie group.
Proof. It suffices to check that the assumption of Lemma 6.5 is satisfied. Indeed, let H be a
countable subgroup of G. Since G is ω-bounded, the closure H of H in G is compact. By Lemma
6.3 applied to H, we conclude that H is a compact Lie group.


CHARACTERIZING LIE GROUPS

19

Example 8.3(ii) shows that “ω-bounded” cannot be weakened to “countably compact” in this
corollary.
Lemma 6.7. A locally ω-bounded group satisfying Zcm is a Lie group.
Proof. Let G be a locally ω-bounded group satisfying Zcm . Fix an open neighbourhood U of the
identity element 1 of G such that U is ω-bounded. Let H be the subgroup of G generated by U .
Then H is a clopen subgroup of G, and G is covered by disjoint translates of H, so it suffices to
show that H is a Lie group. Since H is closed in G, it satisfies Zcm.
Take a closed Gδ -subgroup N of H contained in U . (Such a subgroup can be obtained by a
standard closing off argument.) Since H is topologically generated by its ω-bounded subset U , it is
ℵ0 -bounded in the sense of Guran [34]; that is, for every open neighbourhood V of H there exists a
countable set X ⊆ H such that H = XV ; see [2]. As a closed subspace of the ω-bounded space U ,
N is ω-bounded. By Corollary 6.6, N is a Lie group, so it is metrizable. Since N is a Gδ -set in H
and {1} is a Gδ -set in N , we conclude that {1} is a Gδ -subset of H. Since H is ℵ0 -bounded group
such that {1} is a Gδ -subset of H, applying the main result in [2] we conclude that H has a weaker
separable metric topology. Therefore, the subspace U of H also has a weaker metric topology.
Now we use a well-known folklore fact that every continuous one-to-one map from a pseudocompact Tychonoff space onto a metric space is a homeomorphism. Since U is ω-bounded (and thus,
pseudocompact), this allows us to conclude that U is metrizable. Being also pseudocompact, U is
compact. Therefore, H is locally compact. Since H satisfies Zcm , it is a Lie group by Proposition
6.4.

Proof of Theorem 3.2: The implications (i)→(ii)→(iii)→(iv) are established in Proposition
2.3, and the implication (iv)→(i) follows from Lemma 6.7.

7. Proofs of Theorems 3.5 and 3.9
Recall that a subgroup G of topological group K is called locally essential in K if there exists
a neighborhood U of the identity of K such that G non-trivially intersects every non-trivial closed
normal subgroup of K contained in U [5].
We shall need the following local minimality criterion generalizing the classical minimality criterion [17, 40, 44].
Fact 7.1. [5] A dense subgroup G of a topological group K is locally minimal if and only if K is
locally minimal and G is locally essential in K.
Lemma 7.2. A locally minimal, locally precompact abelian group satisfying Zm is a Lie group.
Proof. Let G be a locally minimal, locally precompact abelian group satisfying Zm . Since G is
locally minimal, it is locally essential in its completion K by Fact 7.1. Therefore, we can fix a
neighborhood U of 0 in K such that G non-trivially intersects every closed non-trivial subgroup of
K contained in U .
Since G is locally precompact, K is locally compact. By Corollary 4.3, it suffices to prove that K
is a Lie group. Suppose that K is not a Lie group. Since Theorem 3.2 has already been proved in
Section 6, we can use its Corollary 3.4 to find an infinite zero-dimensional compact metric subgroup
M of K. Since M is a zero-dimensional compact metric group, it has a countable base at 0 formed
by clopen subgroups of M . Thus, we can choose a sequence {Hn : n ∈ N} of clopen subgroups of
M contained in U ∩ M which form a base at 0 in M .
Let n ∈ N. Since M is non-discrete, Hn is non-trivial. Since Hn is closed in M , it is compact.
In particular, Hn is closed in K. Since Hn ⊆ U , there exists gn ∈ G ∩ Hn with gn 6= 0.
Clearly, {gn : n ∈ N} is an infinite sequence in N = G ∩ M converging to 0; in particular, N
is an infinite subgroup of G. Since M is metric and zero-dimensional, so is N . Since M is closed

20

D. DIKRANJAN AND D. SHAKHMATOV

in K, N = G ∩ M is closed in G. We found an infinite closed zero-dimensional subgroup N of G.
This contradicts our assumption that G satisfies Zm .

Proof of Theorem 3.5: The implications (i)→(ii)→(iii) follow from Proposition 2.3, while the implication (iii)→(i) follows from Lemma 7.2. The final part of our theorem follows from Proposition
2.15.

The following lemma is part of folklore. Its proof is included for completeness only.
Lemma 7.3. Let Td be a subgroup of a compact abelian group A for some d ∈ N. Then there is a
closed subgroup B of A such that A = Td × B.
b of A. By a well-known fact ([17,
Proof. Let N be the annihilator of Td in the Pontryagin dual A
cd = A/N
cd = Zd , the discrete group A/N
b . Since T
b
Proposition 3.4.14 (a)]) we have T
is a free
b (see [30, Theorem 14.4] for this elementary
abelian group. Therefore, N is a direct summand of A
b = Zd × N . Taking the duals in the last equality shows, that B = N
b is as
fact). In other words, A
needed.

Q
Lemma 7.4. Suppose that a topological group K contains an infinite product R = i∈I Li of
compact Lie groups Li . If G is a subgroup of K satisfying Zm , then G ∩ Li = {eLi } for all but
finitely many i ∈ I.
Proof. Suppose that G ∩ Li 6= {eLi } for infinitely many i ∈ I. By trimming the set I, we may
assume without loss of generality that G ∩ Li 6= {eLi } for every i ∈ I.
Let i ∈ I be arbitrary. By our assumption, we can choose gi ∈ Gi with gi 6= eLi . Let Hi be
the closure in K of the cyclic subgroup hgi i of K generated by gi . Since gi ∈ G ∩ Li ⊆ Li and Li
is a closed subgroup of K, it follows that Hi ⊆ Li . Since Hi is the closure of a cyclic group, Hi
is abelian. Being a closed subgroup of the Lie group Li , Hi is a Lie group. Since Hi is a closed
subgroup of K, Gi = G ∩ Hi is a closed subgroup of G. Since G satisfies Zcm , so does its closed
subgroup Gi . Applying Corollary 4.3, we deduce that Gi is closed in Hi . Since Hi is closed in K,
so is Gi . From this and Gi ⊆ Li , we conclude that Gi is closed in Li . Since the latter group is a
compact Lie group, so is Gi . We proved that Gi = G ∩ Li is a compact Lie group. Since gi ∈ Gi
and gi 6= eLi , Gi is a non-trivial compact Lie group. In particular, Gi contains a non-trivial torsion
element xi . Let C
Q
Qi be the finite cyclic subgroup of Gi generated by xi .
Clearly, P = i∈I Ci is a compact metric zero-dimensional subgroup of i∈I Li = R, as this
product carries the Tychonoff product topology. Since R is a subgroupL
of K, it follows that N = P ∩
G is a closed metric zero-dimensional subgroup of G. Note that C = i∈I Ci ⊆ P ∩ G = N . Since
C is dense in a non-discrete group P , C is non-discrete. From this and C ⊆ N , we conclude that
N is non-discrete as well. We have found a non-discrete closed metric zero-dimensional subgroup
N of G, in contradiction with our assumption that G satisfies Zm .

Corollary 7.5. If the completion K of a locally minimal group G contains a subgroup topologically
isomorphic to an infinite product of non-trivial compact Lie normal subgroups of K, then G does
not satisfy Zm .
Proof. Assume the contrary, and let {Lj : j ∈ J} be an infinite
Q family of non-trivial compact Lie
groups such that each Lj is a normal subgroup of K and j∈J Lj ∼
= R for some subgroup R of
K. Since G is locally minimal, it is locally essential in K by Fact 7.1. Since G is locally essential
in K, there exists a neighborhood W of the identity 1 in K such that G ∩ N 6= {1} for every
non-trivial
closed normal subgroup N of K with N ⊆ W . There exists a finite set S ⊆ J such
Q
Q that
use the natural identification of the product i∈I Li
i∈I Li ⊆ W ∩ R, where I = J \ S. (Here we Q
with the subgroup of the whole product R = i∈J Li .)
For every i ∈ I, Li is non-trivial closed normal subgroup of K contained in W , so G ∩ Li 6= {eLi }
by the choice of W . Since the set I is infinite, G does not have property Zm by Lemma 7.4. This
contradicts our assumption.


CHARACTERIZING LIE GROUPS

21

Theorem 7.6. If G is an almost connected, locally minimal, precompact group satisfying Zm , then
the completion K of G is a compact Lie group.
Proof. The proof of this theorem is split into three claims.
Claim 11. Z(G) is a compact Lie group.
Proof. Note that Z(G) is locally minimal, as a closed central subgroup of a locally minimal group
[4]. Furthermore, Z(G) satisfies Zm , because this property is preserved by taking closed subgroups.
Now Theorem 3.5 implies that Z(G) is a Lie group. Since G is precompact, so is Z(G). Since Lie
groups are complete, Z(G) is compact.

Since G is precompact, its completion K is compact. Since G is locally minimal, G is locally
essential in K by Fact 7.1.
Claim 12. Z(K) is a Lie group.
Proof. Since G is dense in K, the equality Z(G) = G ∩ Z(K) holds; in particular, Z(G) ⊆ Z(K).
Since Z(G) is an abelian compact Lie group by Claim 11, we can write Z(G) = Td × F0 , where
d ∈ N and F0 is a finite abelian group. Then the compact abelian group Z(K) contains a subgroup
topologically isomorphic to Td .
Applying Lemma 7.3 to A = Z(K), we can find a closed subgroup B of Z(K) such that Z(K) =
d
T × B. Since Td × {0} is a (finite-index) subgroup of Z(G), one can write Z(G) = Td × F , where
F = B ∩ Z(G) ∼
= Z(G)/Td = F0 is finite.
Since G is locally essential in K, there exist a neighborhood U1 of 0 in Td and a neighborhood
U2 of 0 in B such that G has non-trivial intersection with every closed non-trivial subgroup of
Z(K) contained in U = U1 × U2 . Since F is finite, we may assume, without loss of generality, that
U2 ∩ F = {0}.
We are going to show that B is NSS. Indeed, let V be a neighborhood of 0 in B whose closure
in B is contained in U2 . Suppose that H is a non-trivial subgroup contained in V . Then the
closure N of H in B is a non-trivial closed subgroup of B contained in U2 . Therefore, {0} × N is a
non-trivial closed subgroup of Td × B = Z(K) contained in U . By our choice of U , the intersection
({0} × N ) ∩ G must be non-trivial. On the other hand,
({0} × N ) ∩ G = ({0} × N ) ∩ (Td × F ) = {0} × (N ∩ F ) ⊆ {0} × (U2 ∩ F ) = {0} × {0}.
This contradiction shows that V contains no non-trivial subgroups of B. Thus, B is NSS.
Being a compact NSS group, B is a Lie group. Then Z(K) = Td × B is a Lie group as well.



Claim 13. K is a Lie group.
Proof. Since K contains a dense almost connected subgroup G, K is also almost connected. By
Claim 12, Z(K) is a Lie group. If K is a not a Lie group, then Theorem 5.5 allows us to conclude
that c(K)′ is topologically isomorphic to an infinite product of non-trivial closed (thus, compact)
normal Lie subgroups of K. Now Corollary 7.5 implies that G does not satisfy property Zm . This
contradiction shows that K is a Lie group.

The proof of Theorem 7.6 is complete.



Proof of Theorem 3.9: The implications (i)→(ii)→(iii) follow from Proposition 2.3. According
to Proposition 2.15, the conditions Zm and Zcm are equivalent for precompact, sequentially complete groups. Therefore, (iii)↔(iv). To prove the implication (iii)→(i), assume that G is an almost
connected, locally minimal, precompact sequentially complete group satisfying Zm . By Theorem
7.6, the completion K of G is a compact Lie group. Since G is sequentially complete, it is sequentially closed in K. Since K is metric, G is closed in K. Since G is also dense in K, we conclude
that G = K. Therefore, G is a compact Lie group.
✷

22

D. DIKRANJAN AND D. SHAKHMATOV

8. Compact-like examples distinguishing Lie, Z , Zm and Zcm
In this section we exhibit a series of compact-like examples showing that the arrows in (2) are
not reversible.
To construct our first example, we shall need the notion of an HFD set. Recall that a subset G
of Tω1 is called an HFD set (an abbreviation for hereditarily finally dense) provided that for every
countably infinite subset X of G one can find an ordinal α < ω1 such that qα (X) is dense in Tω\α ,
where qα : Tω1 → Tω1 \α be the natural projection defined by qα (h) = h ↾ω1 \α for h ∈ Tω1 .
It is well known that every HFD subset of Tω1 is hereditarily separable, countably compact,
connected, locally connected and does not contain any non-trivial convergent sequences. Our next
proposition adds one more item to the list of the known properties of HFD subsets of Tω1 .
Proposition 8.1. An HFD subgroup G of Tω1 contains no infinite closed zero-dimensional subgroups; in particular, G satisfies Z .
Proof. Suppose that N is an infinite closed zero-dimensional subgroup of G. Since N is a closed
subgroup of the countably compact group G, it is countably compact as well. Since G is zerodimensional, it is strongly zero-dimensional; that is, dim N = 0. (This follows from [41]).
Let K be the closure of N in Tω1 . Since N is countably compact, dim K = dim N = 0 by
Tkachenko’s theorem [46]. In particular, K is zero-dimensional.
Fix a countably infinite subset X of N . Since G is an HFD subset of Tω1 \α , there exists an
ordinal α < ω1 such that qα (X) is dense in Tω1 \α . Since K is a compact group containing X, it
follows that qα (K) is a compact group containing qα (X). Since qα (K) is closed in Tω1 \α and qα (X)
is dense in Tω1 \α , it follows that qα (K) = Tω1 \α .
Since K is a zero-dimensional compact group, its image qα (K) under continuous homomorphism
qα is zero-dimensional. On the other hand, qα (K) = Tω1 \α is connected. This contradiction
shows that G contains no infinite closed zero-dimensional subgroup N . Therefore, all closed zerodimensional subgroups of G are finite. Since finite groups are discrete, G satisfies Z .

Example 8.2. Under the Continuum Hypothesis, there exists a non-trivial countably compact, connected, locally connected (hereditarily separable) free abelian group G without non-trivial convergent
sequences such that {0} is the only closed zero-dimensional subgroup of G; in particular, G satisfies
Z but is not Lie. Indeed, Tkachenko [45] gave an example, under the Continuum Hypothesis, of
an HFD subgroup G of Tω1 algebraically isomorphic to the free abelian group of size c. Being an
HFD subset of Tω1 , G is hereditarily separable, countably compact, connected, locally connected
and does not contain non-trivial convergent sequences. By Proposition 8.1, G has no infinite closed
zero-dimensional subgroups. Since G is torsion-free, it does not have non-trivial finite subgroups
either. Therefore, {0} is the only closed zero-dimensional subgroup of G, and so G trivially satisfies
Z . Since G contains no non-trivial convergent sequences, G is non-metrizable, and so cannot be a
Lie group.
In Corollary 2.9 we exhibit a precompact group satisfying Zm but failing Z . In item (i) of our
next example we outline a pseudocompact group with the same properties. Item (ii) of the same
example shows that, under additional set-theoretic axioms, one can even strengthen pseudocompactness to countable compactness in a counter-example to the implication Zm →Z .
Example 8.3. (i) Let G be the dense pseudocompact subgroup of Z(2)c without non-trivial convergent sequences constructed in [43]. Clearly, G is zero-dimensional and non-discrete. It follows
from Corollary 2.7 that G is a pseudocompact abelian group which satisfies Zm but does not satisfy
Z.
(ii) Under Martin’s Axiom, there exists a countably compact abelian group which satisfies Zm
but does not satisfy Z . Indeed, let G be an infinite Boolean countably compact group without
non-trivial convergent sequences built by van Douwen under the assumption of MA [28]. Since G

CHARACTERIZING LIE GROUPS

23

is a countably compact group of finite exponent, G is zero-dimensional; see [12]. The rest follows
from Corollary 2.7.
This example shows that “ω-bounded” cannot be weakened to “countably compact” in Theorem
3.2 and Corollary 3.3, even in the “global” version.
Example 8.4. There exists a pseudocompact abelian group satisfying Zcm which does not satisfy
Zm . Indeed, let G be a pseudocompact abelian group of cardinality c such that G contains an
infinite cyclic metrizable subgroup N and all countable subgroups of G are closed; such a group is
constructed in [47, Theorem 2.8]. Since N is countable, it is a closed zero-dimensional subgroup
of G. Since N is metrizable, G does not satisfy Zm . It follows from [47, Corollary 2.7] that all
compact subgroups of G are finite. Thus, G satisfies Zcm by Proposition 2.6(ii).
Proposition 2.15 shows that pseudocompactness of Example 8.4 cannot be strengthened to its
countable compactness.
All examples constructed so far are abelian. We shall now produce a series of examples which
are minimal groups G close to being abelian (actually, they are nilpotent of class two, i.e., G/Z(G)
is abelian). In order to do so, we shall pass abelian examples constructed so far through the
“minimization machine” developed in[14, Lemma 5.16]. The following lemma is extracted from
this reference.
Lemma 8.5. Let X be an infinite precompact abelian group and let m 6= 1 be its exponent. Let
e ∧ of X acts on K × X via
K = T[m] = {x ∈ T : mx = 0}. The discrete Pontryagin dual D = X
automorphisms (t, x) 7→ (t + χ(x), x) for (t, x) ∈ K ⊕ X and χ ∈ D, and the resulting semi-direct
product
LX = (K × X) ⋋ D
has the following properties:
(i) LX is a minimal group;
(ii) K × X is an open subgroup of LX , so LX is locally precompact;
(iii) X is a closed subgroup of LX ;
(iv) Z(LX ) = K and LX /Z(LX ) ∼
= X × D, so LX is nilpotent of class two;
(v) if X is connected, then m = 0 (hence, K = T[0] = T) and c(LX ) = K × X.
The next two lemmas are inspired by and extending [14, Lemma 5.16]. The first lemma lists
some of the properties which pass from X to LX and vice versa.
Lemma 8.6. Let X and LX be as in Lemma 8.5. Then the following holds:
(i) LX is a Lie group precisely when X is a Lie group;
(ii) LX satisfies satisfies Z if and only if X satisfies Z ;
(iii) LX satisfies satisfies Zm if and only if X satisfies Zm ;
(iv) LX has property Zcm if and only if X has the same property;
(v) LX is (sequentially) complete precisely when X is (sequentially) complete;
(vi) LX has no non-trivial convergent sequences if and only if X has no non-trivial convergent
sequences and m > 0;
(vii) LX is locally connected if and only if X is locally connected.
Proof. (i) Suppose that X is a Lie group. Since K is also a Lie group, K × X is a Lie group. Since
K × X is an open subgroup of LX by Lemma 8.5(ii), it follows that LX is a Lie group. Conversely,
suppose that LX is Lie group. Since X is a closed subgroup of LX by Lemma 8.5(iii), it follows
that X is a Lie group.
(ii)–(iv) We shall prove these three items simultaneously. Since K × X is an open subgroup of
LX by Lemma 8.5(ii), it is clear that LX satisfies Z (Zm or Zcm, respectively) if and only if K × X
satisfies Z (respectively, Zm or Zcm ). Assume that X satisfies Z (Zm or Zcm , respectively) and

24

D. DIKRANJAN AND D. SHAKHMATOV

let N be a closed zero-dimensional (metrizable or compact metrizable, respectively) subgroup of
K × X. Since K is compact, the projection p : K × X → X is closed. So N1 = p(N ) is a closed
subgroup of X. Moreover, as N is zero-dimensional, ker p = N ∩ (K × {0}) is a finite subgroup of
K × {0}. Since N is zero-dimensional, this implies that N1 ∼
= N/ ker p is a closed zero-dimensional
(metrizable, resp., compact metrizable) subgroup of X. Therefore, N1 is finite. This proves that
N is finite. Hence, LX satisfies Z (respectively, Zm or Zcm ).
Conversely, if LX satisfies Z (respectively, Zm or Zcm), then the closed subgroup X of LX has
the same property.
(v) The proof of (v) is similar to that of (i).
(vi) The proof of (vi) is similar to the proof of (ii)–(iv), after taking into account the fact that
K = T[0] = T has non-trivial convergent sequences.
(vii) Suppose that X is locally connected. If m = 0, then K = T[0] = T is locally connected.
If m > 0, then K = T[m] is finite and so locally connected. Since both X and K are locally
connected, so is K × X. Since K × X is an open subgroup of LX by Lemma 8.5(ii), it follows
that LX is locally connected. Suppose now that LX is locally connected. Then its open subgroup
K × X is locally connected. Then X is locally connected as well.

The second lemma lists some of the properties which pass from X to LX in a local version.
Lemma 8.7. Let X, K and LX be as in Lemma 8.5, and let P be a property of topological groups
stable under taking direct summands (=products) with K. If X has property P, then LX is locally
P. In particular,
(i) if X is (countably) compact, then LX is locally (countably) compact;
(ii) if X is ω-bounded, then LX is locally ω-bounded;
(iii) if X is pseudocompact, then LX is locally pseudocompact.
Proof. Assume that X has property P. Our assumption on P allows us to conclude that X × K
has property P as well. Since X × K is an open subgroup of LX by Lemma 8.5(ii), LX is locally P.
Finally, it suffices to note that all properties (compactness, ω-boundedness, countable compactness
and pseudocompactness) listed in items (i)–(iii) satisfy our assumptions on P.

Example 8.8. Under the Continuum Hypothesis, there exists a minimal, locally countably compact
(so locally precompact and sequentially complete), locally connected nilpotent group of class 2 (having
no non-trivial convergent sequences) which satisfies Z but is not Lie. Indeed, let G be the group
constructed in Example 8.2. Then LG is the desired group. The group LG is minimal and nilpotent
of class 2 by items (i) and (iv) of Lemma 8.5, respectively. Since G is countably compact, LG
is locally countably compact by Lemma 8.7(i). The rest of the properties of LG follow from the
corresponding properties of G via items (i), (ii), (vi) and (vii) of Lemma 8.6.
This example is to be compared to Theorem 3.9.
Our next group of examples shows that one cannot omit “abelian” in Theorem 3.5 and its
corollaries, or replace it by the slightly weaker property “nilpotent”. More precisely, we give an
example of a minimal locally precompact (consistently, also locally countably compact) nilpotent
sequentially complete group satisfying Zm that does not satisfy Z .
Example 8.9. (i) Let G be any infinite precompact sequentially complete group satisfying Zm
but failing property Z ; such a group can be constructed by applying Corollary 2.9. Then LG is
a minimal, locally precompact, sequentially complete, nilpotent group of class 2 that satisfies Zm
but does not satisfy Z . Indeed, it follows from items (i), (ii) and (iv) of Lemma 8.5 that LG is a
minimal, locally precompact, nilpotent group of class 2.
(ii) Let G be the topological group from Example 8.3(i). Then LG is a minimal, locally pseudocompact, nilpotent group of class 2 that satisfies Zm but does not satisfy Z . Indeed, since G is

CHARACTERIZING LIE GROUPS

25

pseudocompact, LG is locally pseudocompact by Lemma 8.7(iii). The rest of the properties of LG
are derived as in item (i).
(iii) Under the assumption of MA, there exists a minimal, locally countably compact, nilpotent
group of class 2 that satisfies Zm but does not satisfy Z . Indeed, one can take as G a Boolean
countably compact group without non-trivial convergent sequences mentioned in Example 8.3(ii).
Then LG becomes locally countably compact by Lemma 8.7(i), in addition to the rest of the
properties from item (i).
In our next example we relax the strong condition Z to the weaker condition Zm , and local
countable compactness will be relaxed to local pseudocompactness, in order to obtain an example
in ZFC. This example should be compared with Corollary 3.10.
Example 8.10. There exists a minimal, locally pseudocompact, locally connected, sequentially
complete, nilpotent group of class 2 which satisfies Zm but is not Lie. Indeed, according to [31,
c
Corollary 5.6], every abelian group of size ≤ 22 admitting a pseudocompact group topology, admits
also a pseudocompact group topology without non-trivial convergent sequences. It follows that the
torus group T admits a pseudocompact group topology τ without non-trivial convergent sequences.
Clearly, τ is sequentially complete. Since every divisible pseudocompact group is connected [49],
the topology τ must be connected. Now we apply the “minimalization machine” to (T, τ ) taken as
G. The output LG is the desired group.
It is unclear if the group in the previous example satisfies property Z .
Example 8.11. There exists a minimal, locally pseudocompact, nilpotent group of class 2 satisfying
Zcm which does not satisfy Zm . Indeed, it suffices to take the group G as in Example 8.4 and pass
it through the “minimalization machine”.
9. Open questions
Theorem 3.9 leaves open the following question:
Question 9.1. Is a connected, locally minimal, locally precompact, sequentially complete group
satisfying Zcm a Lie group?
We do not know whether one can extend Corollary 4.3 to the non-abelian case.
Question 9.2. Let K be a Lie group and let G be a subgroup K satisfying Zm .
(i) Must G be closed in K?
(ii) Is (i) true when K is compact?
(iii) Is (i) true when G is connected (and K is compact)?
Item (iii) of this question should be compared with Theorem 7.6.
Let us discuss the implications Z → Lie and Zm → Lie for sequentially complete locally minimal
(abelian) groups. Recall that locally minimal abelian groups need not be locally precompact [4].
Since locally minimal locally precompact sequentially complete abelian groups satisfying Zcm , are
compact Lie groups by Theorem 3.5, it makes sense to discuss the question without the hypothesis
of local precompactness. On the other hand, it easily follows from Fact 7.1, that every subgroup
of a Lie group is locally minimal. This is why we leave local minimality in the hypothesis of our
next question.
Question 9.3. Is every locally minimal sequentially complete abelian group without infinite closed
zero-dimensional (metric) subgroups a Lie group?
The completion of a locally minimal (metrizable) group is again locally minimal (metrizable).
Since the conclusion of our main theorems (Lie group) makes completeness and metrizability of the
group a necessary property, it is natural to ask also the following question:

26

D. DIKRANJAN AND D. SHAKHMATOV

Question 9.4. When is a locally minimal, complete metric group satisfying Z a Lie group?
Recall that a topological group G is said to be totally minimal if all Hausdorff quotients of
G are minimal. Totally minimal groups are precisely the topological groups satisfying the open
mapping theorem. Clearly, all compact groups are totally minimal and all totally minimal groups
are minimal.
The next group of questions concerns the invertibility of the implication Lie → Z .
Question 9.5.
(i) Does there exist a pseudocompact abelian group G which satisfies Z but
is not metrizable (and thus, is not a Lie group)? What is the answer if one additionally
assumes that G is sequentially complete?
(ii) Does there exist a ZFC example of a countably compact abelian group which satisfies Z
but is not metrizable (and thus, is not a Lie group)?
(iii) Must a pseudocompact (totally) minimal (abelian) group satisfying Z be a Lie group?
(iv) Must a countably compact (totally) minimal group satisfying Z be a Lie group?
The next group of questions concerns the invertibility of the implication Z → Zm .
Question 9.6.
(i) Does there exist a ZFC example of a countably compact (abelian) group
which satisfies Zm but does not satisfy Z ?
(ii) Does there exist a pseudocompact (totally) minimal group which satisfies Zm but does not
satisfy Z ?
(iii) Must a countably compact (totally) minimal group satisfying Zm also satisfy Z ?
In connection with item (ii) we recall that minimal abelian groups which satisfy Zm are Lie (so
satisfy Z ). So a group positively answering this item of Question 9.6 is necessarily non-abelian.
The answer to Questions 9.5(iv) and 9.6(iii) in the “minimal” option is positive when the group
in question is either abelian or almost connected; see Corollary 3.11.
The following question was raised in [20, Problem 23]: Does every countably compact minimal
group contain a non-trivial convergent sequence? A counter-example to this question would be a
countably compact minimal group that satisfies Zm but is not a Lie group.
Question 9.7. Is there a pseudocompact (totally) minimal (abelian) group which satisfies Zcm
but fails Zm ?
According the Proposition 2.15, the conditions Zm and Zcm are equivalent for locally precompact
and sequentially complete groups. Hence the groups witnessing a positive answer to the last question
cannot be sequentially complete.
References
[1] F. Ancel, T. Dobrowolski and J. Grabowski, Closed subgroups in Banach spaces, Studia Math. 109 (1994),
277–290.
[2] A. V. Arhangel’skii, Cardinal invariants of topological groups. Embeddings and condensations, Dokl. Akad. Nauk
SSSR 247 (1979) 779–782; English transl. in: Soviet Math. Dokl. 20 (1979) 783–787.
[3] H. Bohr, Collected Mathematical Works, Dansk Matemetitisk Forsening, (E. Føelner and B. Jessen, Eds.) (1952).
[4] L. Außenhofer, M. J. Chasco, D. Dikranjan and X. Dominguez, Locally minimal topological groups 1, J. Math.
Anal. Appl. 370 (2010) 431–452.
[5] L. Außenhofer, M. J. Chasco, D. Dikranjan and X. Dominguez, Locally minimal topological groups 2, J. Math.
Anal. Appl. 380 (2011) 552–570.
[6] J. Cleary and S. Morris, Topologies on locally compact groups, Bull Australian Math. Soc. 38 (1988) 105–111.
[7] W. W. Comfort, K. H. Hofmann and D. Remus, A survey on topological groups and semigroups, Recent Progress
in General Topology (M. Husek and J. van Mill, Eds.), North Holland, Amsterdam, (1992) 58–144.
[8] D. van Dantzig, Studien over topologische Algebra, Dissertation, Amsterdam (1931).
[9] H. F. Davis, A note on Haar Measure, Proc. Amer. Math. Soc. 6 (1955) 318–321.
[10] D. Dikranjan, On a class of finite-dimensional compact abelian groups, Colloq. Math. Soc. Janos Bolyai 43
(Topology and Appl., Eger (Hungary)) (1983) 215-231.

CHARACTERIZING LIE GROUPS

27

[11] D. Dikranjan, Density and total density of the torsion part of a compact group, Rend. Accad. Naz. dei XL,
Memorie di Mat. 108, Vol. XIV, fasc. 13 (1990) 235–252.
[12] D. Dikranjan, Zero-dimensionality of some pseudocompact groups, Proc. Amer. Math. Soc. 120 (1994) 1299–1308.
[13] D. Dikranjan, Countably compact groups satisfying the open mapping theorem, Topol. Appl. 98 (1999) 81–129.
[14] D. Dikranjan and M. Megrelishvili, Minimality conditions in topological groups, in Recent Progress in General
Topology III, Springer Verlag, Berlin, (2013).
[15] D. Dikranjan and I. Prodanov, Totally minimal topological groups, Annuaire Univ. Sofia, Fac. Math. Méc. 69
(1974/75) 5–11.
[16] D. Dikranjan and I. Prodanov, A class of compact abelian groups, Annuaire Univ. Sofia, Fac. Math. Méc. 70
(1975/76) 191–206.
[17] D. Dikranjan, I. Prodanov and L. Stoyanov, Topological Groups: Characters, Dualities and Minimal Group
Topologies, Pure and Applied Mathematics, vol. 130, Marcel Dekker Inc., New York-Basel (1989).
[18] D. Dikranjan and D. Shakhmatov, Compact-like totally dense subgroups of compact groups, Proc. Amer. Math.
Soc. 114 (1992) 1119–1129.
[19] D. Dikranjan and D. Shakhmatov, Algebraic structure of pseudocompact groups, Memoirs Amer. Math. Soc.
133/633 (1998), 1–83.
[20] D. Dikranjan and D. Shakhmatov, Selected topics from the structure theory of topological groups, Open Problems
in Topology 2 (E. Perl Ed.) Elsevier (2007) 389–406.
[21] D. Dikranjan, D. Shakhmatov and J. Spěvák, Productivity of sequences with respect to a given weight function,
Topol. Appl. 158 (2011) 298–324.
[22] D. Dikranjan, D. Shakhmatov and Spěvák, NSS and TAP properties in topological groups closed to being
compact, preprint arXiv:0909.2381 [math.GN].
[23] D. Dikranjan and L. Stoyanov, Compact groups with totally dense torsion part, Baku International Topological
Conference (Baku, 1987), “Elm”, Baku, (1989) 231–238.
[24] D. Dikranjan and M. Tkachenko, Sequential completeness of quotient groups, Bulletin of Australian Math. Soc.
61 (2000) 129–151.
[25] D. Dikranjan and M. Tkachenko, Sequentially complete groups: dimension and minimality, Jour. Pure Appl.
Algebra, 157 (2001) 215–239.
[26] T. Dobrowolski and J. Grabowski, Subgroups of Hilbert spaces, Math. Z. 211 (1992) 657–669.
[27] D. Doı̈tchinov, Produits de groupes topologiques minimaux, Bull. Sci. Math. 97 (1972) 59–64.
[28] E. van Douwen, The product of two countably compact topological groups, Trans. Amer. Math. Soc. 262 (1980)
417–427.
[29] P. Flor, Zur Bohr-Konvergenz von Folgen, Math. Scand. 23 (1968) 169–170.
[30] L. Fuchs, Infinite Abelian Groups, Vol. I and II, Academic Press, (1970) and (1973).
[31] J. Galindo and S. Macario, Pseudocompact group topologies with no infinite compact subsets, J. Pure Appl.
Algebra 215 (2011) 655–663.
[32] I. Glicksberg, Uniform boundedness for groups, Canad. J. Math. 14 (1962) 269–276.
[33] V.M. Glushkov, Structure of locally bicompact groups and Hilbert’s fifth problem, Uspekhi Mat. Nauk 12, no.
2 (1957) 3–41. (In Russian).
[34] I. Guran, Topological groups similar to Lindelöf groups, Dokl. Akad. Nauk SSSR 256 (1981) 1305–1307 (in
Russian); English transl. in: Soviet Math. Dokl. 23 (1981) 173–175.
[35] S. Hérnandez, K.-H. Hofmann and S. Morris, The weights of closed subgroups of a locally compact group,
J. Group Theory 15 (2012), 613–630.
[36] E. Hewitt and K. A. Ross, Abstract Harmonic Analysis I, Die Grüundlehren der Mathematischen Wissenschaften
115, Springer-Verlag (1963).
[37] K.-H. Hofmann and S. A. Morris, The structure of compact groups. A primer for the student — a handbook for
the expert, Second revised and augmented edition (de Gruyter Studies in Mathematics, 25), Walter de Gruyter
& Co., Berlin (2006).
[38] D. Lee, Supplements for the identity component in locally compact groups, Math. Z. 104 (1968) 28–49.
[39] S. Morris and V. Pestov, On Lie groups in varieties of topological groups, Colloq. Math. 78 (1998) 39–47.
[40] I. Prodanov, Precompact minimal group topologies and p-adic numbers, Annuaire Univ. Sofia Fac. Math. Méc.
66 (1971/72) 249–266.
[41] D. Shakhmatov, On zero-dimensionality of subgroups of locally compact groups, Comment. Math. Univ. Carolin.
32 (1991) 581–582.
[42] D. Shakhmatov and J. Spěvák, Group-valued continuous functions with the topology of pointwise convergence,
Topol. Appl. 157 (2010), 1518–1540.
[43] S. M. Sirota, The product of topological groups and extremal disconnectedness, Math. USSR Sbornik 8 (1969)
169–180.
[44] R. M. Stephenson Jr., Minimal topological groups, Math. Ann. 192 (1971) 193–195.

28

D. DIKRANJAN AND D. SHAKHMATOV

[45] M. Tkachenko, Countably compact and pseudocompact topologies on free abelian groups, Izv. Vyssh. Uchebn.
Zaved. Mat. (1990) no. 5, 68–75 (in Russian); English transl. in: Soviet Math. (Iz. VUZ) 34 (1990) 79–86.
[46] M. Tkachenko, On dimension of locally pseudocompact groups and their quotients, Comment. Math. Univ.
Carolin. 31 (1990) 159–166.
[47] M. Tkachenko, Topological groups in which all countable subgroups are closed, Topol. Appl. 159 (2012) 1806–
1814.
[48] N. T. Varopoulos, A theorem on the continuity of homomorphisms of locally compact groups, Proc. Cambridge
Phil. Soc. 60 (1964) 449–463.
[49] H. Wilcox, Dense subgroups of compact groups, Proc. Amer. Math. Soc. 28 (1971) 578–580.
(D. Dikranjan) Dipartimento di Matematica e Informatica, Università di Udine, Via delle Scienze
206, 33100 Udine, Italy
E-mail address: dikran.dikranjan@uniud.it
(D. Shakhmatov) Division of Mathematics, Physics and Earth Sciences, Graduate School of Science
and Engineering, Ehime University, Matsuyama 790-8577, Japan
E-mail address: dmitri.shakhmatov@ehime-u.ac.jp

