The Ext group in the categories of topological abelian
groups and topological vector spaces
Hugo J. Bello

arXiv:1603.02091v1 [math.GR] 7 Mar 2016

Departamento de Fı́sica
y Matemática Aplicada,
University of Navarra, Spain
hbello.1@alumni.unav.es

March 8, 2016

Abstract
This paper is devoted to the study of the group Ext(G, H) of all extensions of
topological abelian groups 0 → H → X → G → 0 and the group ExtTVS (Z, Y ) of
all extensions of topological vector spaces 0 → Y → X → Z → 0. We focus on their
behaviour under taking products, countable coproducts, dense subgroups and open
subgroups. Finally, we apply the obtained properties to formulate in a more general
setting some known results in the category of locally compact abelian groups and
to determine conditions in which being a topological vector space is a three space
property.
Math. Subj. Class. (2010): 54H11, 22B05, 20K35, and 57N17.

1 Introduction
An extension of an abelian group G by an abelian group H is an abelian group X ≥ H
such that X/H ∼
= G. In the terminology of homological algebra, an extension of abelian
groups is a short exact sequence 0 → H → X → G → 0. The set of all extensions of
the previous form turns out to be an abelian group and is one of the objects of study of
homological algebra.
In [16] Moskowitz studied for the first time the homological algebra in the class of
locally compact abelian groups, which we will denote by L. Among other things he found
the injectivities and projectivities of this class. Following his steps, Fulp and Griffith
introduced in [12] the group Ext(G, H) of all extensions 0 → H → X → G → 0 in L.
More recently Sahleh and Alijani found several cases in which the group Ext(G, H) is
trivial under various algebraic and topological conditions imposed on G and H ([19],
[20]).
In the framework of functional analysis Kalton, Peck and Roberts provided in [14]
the first extensive study of the splitting of extensions in the class of complete metrizable
1

topological vector spaces. Several problems involving extensions of different types of
topological vector spaces were also considered by Domański ([8], [9] and [10]). Latterly
Castillo and Simões ([6]) studied the limit properties of the functor Ext in the category
of complete locally bounded topological vector spaces.
Our purpose is to investigate the group Ext(G, H) of all extensions 0 → H → X →
G → 0 in the class of topological abelian groups and the group ExtTVS (Y, Z) of all
extensions 0 → Y → X → Z → 0 in the class of topological vector spaces. In sections 3
and 4 we will study the properties of Ext and ExtTVS when we take products, countable
coproducts, dense subgroups and open subgroups. We will apply these properties to the
class L to show that several theorems proven in [12], [19] and [20] can be formulated in
a more general context.
In the fifth section we will use the techniques of section 3 to discuss the following
problem: Given two topological vector spaces Y and Z and an extension of topological
abelian groups 0 → Y → X → Z → 0, find conditions in which we can define in X
a compatible topological vector space structure in such a way that 0 → Y → X →
Z → 0 becomes an extension of topological vector spaces. This problem was studied by
Cattaneo (see [7]) and by Cabello (see [5]) in several situations in which the completeness
of Z is required. We will show that their results can be proved without making use of
the completeness of Z.

2 Preliminaries
All the topological groups will be Hausdorff. Since we will deal only with abelian groups
we will use additive notation.
Given a topological abelian group G and a point x ∈ G we will use Nx (G) to denote
a system of neighbourhoods of x in G.
We will denote by ω the natural numbers, by R the set of real numbers, by P the
prime numbers, by Qp the p-adic numbers and by Zp the p-adic integers. We will use
Greek letters to denote ordinal numbers which will be used as index sets.
Given a topological abelian group G, we will call its completion ̺G, analogously,
if f : G → H is a continuous homomorphism of topological groups, we will call ̺f :
̺G → ̺H its completion. A topological abelian group is precompact if its completion is
a compact group and it is locally precompact if its completion is locally compact ([17,
9.13]).
A topological abelian group G is called almost metrizable if there exist a compact subset K ⊆ G with a countable system of neighbourhoods (see [1, Section 4.3]). Metrizable
topological groups are almost metrizable. A topological abelian group is Čech-complete
if and only if it is almost metrizable and complete ([1, Theorem 4.3.15]). Every locally
compact abelian group is Čech-complete (see [17, Lemma 13.13]).
Given {Gα L
: α < κ} a family of topological abelian groups the coproduct topology on
the direct
sum
α<κ Gα is the final group topology with respect to the natural inclusions
L
Gγ ֒→ α<κ Gα . If κ = ω the box topology and the coproduct topology coincide.

2

We will work with topological vector spaces over the field R. A topological vector
space (shortly t.v.s.) is called Fréchet if it is metrizable, complete and locally convex.
ı
π
A short exact sequence of topological groups E : 0 → H → X → G → 0 will
be called a extension of topological groups (shortly extension) when both ı and π are
continuous and open onto their images. Two extensions of topological abelian groups
ı

π′

ı′

π

E : 0 → H → X → G → 0 and E ′ : 0 → H → X ′ → G → 0 are said to be equivalent
if there exists a continuous homomorphism T : X → X ′ making the following diagram
commutative
ı /
π /
/0
/H
E:
0
X
G
T

E′ :

0

/H

i′



/ X′

π′

/G

/0

(i. e. T ◦ ı = ı′ , π ′ ◦ T = π). It is known that if such a T exists, it must actually be
a topological isomorphism (the proof of this fact is the same as [9, Lemma A]).
ı
π
An extension of topological abelian groups E : 0 → H → X → G → 0 splits if and
ı0
π
only if it is equivalent to the trivial extension E0 : 0 → H → H × G →0 G → 0 where ı0 ,
π0 are the canonical maps and H × G is endowed with the product topology. Note that
the extension of topological groups E splits if and only if ı(H) splits as a subgroup of
X.
ı
π
If X, Y and Z are topological vector spaces, a sequence E : 0 → Y → X → Z → 0 is
called an extension of topological vector spaces if it is an extension of topological abelian
groups and the maps ı and π are also linear. An extension of topological vector spaces
splits if and only if it splits as an extension of topological abelian groups.
The following known characterization is essential when dealing with extensions of
topological groups and topological vector spaces.
ı

π

Proposition 1. Let E : 0 → H → X → G → 0 be an extension of topological groups
(resp. t.v.s.). The following are equivalent:
(i) E splits.
(ii) There exists a a right inverse for π, i.e. a continuous homomorphism (linear
mapping) S : G → X with π ◦ S = idG .
(iii) There exists a left inverse for ı, i.e. a continuous homomorphism (linear mapping)
P : X → H with P ◦ ı = idH .
In the following lemmas we introduce the push-out and pull-back extensions in the
categories of topological abelian groups and topological vector spaces. We will not prove
these results because the argument is essentially the same as the one used in abstract
abelian groups, with the obvious replacements. For more details see [15, Lemmas 1.2,
1.4 and Theorem 2.1 of chapter III].
ı

π

Lemma 2. Let E : 0 → H → X → G → 0 be an extension of topological abelian
groups (resp. t.v.s.), let Y be a topological abelian group (t.v.s.), and let t : Y → G be a
3

continuous homomorphism (linear mapping). The diagram
E:

0

/H

ı

π

/X

/G
O

/0

(1)

t

Y
can be completed to a diagram of the form
E:

0

/H

ı

/H

I

/X
O

π

s

Et :

0

/G
O

/0

t

/ PB

r

/Y

/0

where P B, r and s form the pull-back of π and t in the category of topological abelian
groups (t.v.s.). The bottom sequence Et is an extension of topological abelian groups
I′

(t.v.s.) which will be called the pull-back extension. Furthermore if E : 0 → H →
r′

X ′ → G → 0 is another extension of topological abelian groups (t.v.s.) that completes
the diagram (1) in the same way, then E and Et must be equivalent.
From now on we will use the notation Et to denote the pull-back extension of an
extension E with respect to a continuous homomorphism t.
ı

π

Lemma 3. Let E : 0 → H → X → G → 0 be an extension of topological abelian groups
(resp. t.v.s), let Y be a topological abelian group (resp. t.v.s.), and let t : H → Y be a
continuous homomorphism (linear mapping). The diagram
E:

0

/H

ı

/X

π

ı

/X

r



/G

/0

(2)

t



Y
can be completed to a diagram of the form
E:

0

/H

0



/Y

/G

/0

/G

/0

s

t

tE :

π

/ PO

p

where P O, r and s form the push-out of ı and t in the category of topological abelian
groups (t.v.s.). The bottom sequence tE is an extension of topological abelian groups
r′

p′

(t.v.s.) which will be called the push-out extension. Furthermore if E : 0 → H → Y →
G → 0 is another extension of topological abelian groups (t.v.s.) that completes the
diagram (2) in the same way, then E and tE must be equivalent.
From now on we will use the notation tE to denote the push-out extension of an
extension E with respect to a continuous homomorphism t.
4

Given two topological groups G and H, the set of equivalence classes of extensions
of topological groups of the form 0 → H → X → G → 0 will be denoted by Ext(G, H).
We will write Ext(G, H) = 0 when every extension 0 → H → X → G → 0 splits.
ı1
π
ı2
π
Let E1 : 0 → H →
X1 →1 G → 0 and E2 : 0 → H →
X2 →2 G → 0 be two extensions
of topological abelian groups. Consider the canonical mappings ∇H : H × H → H
[(h, h′ ) 7→ h + h′ ] and ∆G : G → G × G [g 7→ (g, g)] and the extension of topological
ı ×ı
π ×π
abelian groups E1 × E2 : 0 → H × H 1→ 2 X1 × X2 1→ 2 G × G → 0. We will define the
sum E1 + E2 as the extension ∇H ((E1 × E2 )∆G ). This operation is called the Baer sum.
The set Ext(G, H) with the operation induced by Baer sum in the equivalence classes
of extensions of topological abelian groups is an abelian group (the proof is essentially
the same as [15, Theorem 2.1 of Chapter III]).
Given two topological vector spaces Y, Z we will call ExtTVS (Z, Y ) to the set of
ı
π
equivalence classes of extensions of topological vector spaces of the form 0 → Y → X →
Z → 0. Taking the operation induced by the Baer sum defined in the same way, we can
endow ExtTVS (Z, Y ) with an structure of abelian group.
We will say that a complete metrizable topological vector space Z is a K-space if
ExtTVS (Z, R) = 0 (see [14, Chapter 5]).
The following lemma will be very useful. The proof is the same as the one in [15,
Theorem 2.1 of Chapter III].
Lemma 4. Let G, H, Y1 and Y2 be topological abelian groups. Suppose that t1 : Y1 →
G and t2 : H → Y2 are continuous homomorphisms. Then the following maps are
homomorphisms of abelian groups
Ext(G, H) −→ Ext(Y1 , H)
[E]
7−→
[Et1 ]

Ext(G, H) −→ Ext(G, Y2 )
[E]
7−→
[t2 E]

The analogous statement for topological vector spaces and continuous linear mappings is
also true.

3 Properties of the Ext group with respect to open subgroups and
dense subgroups
ı

π

Lemma 5. ([3, Proposition 3.10]) Let E : 0 → H → X → G → 0 be an extension of
topological abelian groups. Suppose that the completion of H is a Čech-complete group.
̺ı
̺π
Then the sequence ̺E : 0 → ̺H → ̺X → ̺G → 0 is an extension of topological abelian
groups.
Theorem 6. Let G, H be topological Abelian groups. If H is Čech-complete then Ext(G, H) ∼
=
Ext(̺G, H).
Proof. Consider the canonical inclusion I : G → ̺G. According to Lemma 4 the map
φ : Ext(̺G, H) −→ Ext(G, H)
[E]
7−→
[EI]
5

is a homomorphism of abelian groups. Let us see that φ is an isomorphism.
To prove that φ is injective, pick an extension of topological abelian groups E : 0 →
ı
π
H → X → ̺G → 0 and suppose that EI splits. An easy verification shows that the
π|π−1 (G)

ı

sequence E ′ : 0 → H → π −1 (G) → G → 0 is an extension of topological abelian
groups. Furthermore the following diagram is commutative
E:

0

/H

ı

/X
O

/H

ı

?

π

/ ̺G
O

/0

I

E′ :

0

/ π −1 (G)
π

?
/G

/0

|π −1 (G)

According to Lemma 2, E ′ must be equivalent to EI. Then E ′ splits and applying
Proposition 1 we find a continuous homomorphism P : π −1 (G) → H such that P ◦ ı =
IdH . Since G is dense in ̺G, it is clear that π −1 (G) is dense in X. Call R : X → H the
canonical extension of P to X. R is a continuous homomorphism satisfying R ◦ ı = IdH ,
hence by Proposition 1, E splits.
To check that φ is onto, choose an extension of topological abelian groups E : 0 →
I

p

̺I

̺p

H → Y → G → 0. By Lemma 5 the sequence ̺E : 0 → H → ̺Y → ̺G → 0 is an
extension of topological abelian groups. The following diagram is commutative
̺E :

0

/H

̺I

/ ̺Y
O

̺p

/ ̺G
O

/0

I

E:

0

/H

I

?

/Y

p

?
/G

/0

In virtue of Lemma 2, E must be equivalent to (̺E)I hence φ([̺E]) = [E]
Theorem 7. Let G be a topological abelian group and let H be a Čech-complete topological abelian group. Suppose that D is a dense subgroup of G. Then Ext(G, H) ∼
=
Ext(D, H).
Proof. If D is dense in then G ̺D = ̺G. By Theorem 6
Ext(D, H) ∼
= Ext(̺D, H) = Ext(̺G, H) ∼
= Ext(G, H).

In theorems 3.5 and 3.6 of [12] the authors study situations in which Ext(G, X) = 0
for a fixed G ∈ L and X varying in a subclass of L. The following corollary is an
application of Theorem 6 on these results.
Corollary 8. Let G be a locally precompact abelian group.
L
(i) Ext(G, X) = 0 for all totally disconnected X ∈ L if and only if ̺G = ( α<κ Z)×Rn
for some n ∈ ω and an arbitrary ordinal number κ.
6

(ii) Ext(G, X) = 0 for all connected X ∈ L if and only if ̺G = Rn × G′ where n ∈ Z+
and G′ contains a compact open subgroup having a co-torsion dual.
Proof. (i) Suppose that a locally precompact abelian group G has the property that
Ext(G, X) = 0 for all totally disconnected X ∈ L. Since ever group in L is Čechcomplete, by Theorem 6 Ext(̺G,
X) = 0 for all totally disconnected X ∈ L.
LX) = Ext(G,
n
By [12, Theorem 3.5],L̺G = ( α Z) × R for some n ∈ ω and α an ordinal number.
Conversely if ̺G = ( α Z) × Rn by [12, Theorem 3.5], Ext(̺G, X) = 0 for all totally
disconnected X ∈ L. Using Theorem 6 we see that Ext(G, X) = Ext(̺G, X) = 0 for all
totally disconnected X ∈ L.
(ii) Apply the same argument to [12, Theorem 3.6].
In the following examples, we compute several Ext groups:
Example 9. Consider Qd the rational numbers with the discrete topology and D any
∼
dense subgroup of T. Denote by Σa the a-adic solenoid that satisfies Q∧
d = Σa (see
ω
∼
[13, 25.4]). According to [11, Exercise 51.7], Ext(Qd , Z) = Q . By [12, Theorem 2.12],
∼
∼
Ext(Qd , Z) ∼
= Ext(Z∧ , Q∧
d ) = Ext(T, Σa ). Finally, in virtue of Theorem 7, Ext(D, Σa ) =
ω
Q .
Example 10. Let G be a product of locally precompact abelian torsion groups. Consider
0 → Z → R → T → 0 the canonical extension of T by Z. It is easy to see that [12,
Theorem 2.14] is also valid for topological abelian groups outside the class L, hence we
can consider the classical Hom-Ext exact sequence of abelian groups in this context
0 → CHom(G, Z) → CHom(G, R) → CHom(G, T)
→ Ext(G, Z) → Ext(G, R)
CHom(G, R) = 0 because G is a torsion group. According to [3, Corollary 3.15], since
G is a product of locally precompact abelian groups, Ext(G, R) = 0. Then Ext(G, Z) ∼
=
CHom(G, T). If we only ask G to be a topological abelian torsion group, the same
argument shows that Ext(G, Z) contains CHom(G, T) as a subgroup.
Theorem 11. Let Y, Z be topological vector spaces. If Y is complete and metrizable
then ExtTVS (Z, Y ) ∼
= ExtTVS (̺Z, Y ).
Proof. Since Y is complete and metrizable, it is Čech-complete and we are in the conditions of Lemma 5. Notice that if we use Lemma 5 to complete an extension of topological
vector spaces we obtain an extension of topological vector spaces. Having this in mind
we can repeat the proof of Theorem 6 in this context.
The following result generalizes [9, Proposition 4.2]:
Theorem 12. Let Z be a topological vector space and let Y be a complete metrizable
topological vector space. If D is a dense subspace of Z then ExtTVS (Z, Y ) ∼
= ExtTVS (D, Y )
7

Proof. Proceed as in Theorem 7 using Theorem 11 instead of Theorem 6.
Lemma 13. Let A be an open subgroup of a topological group G and suppose that an
ı
π
extension of topological abelian groups E : 0 → H → X → A → 0 splits algebraically.
Then there exists a group topology τ on H × G and an embedding f : X → (H × G, τ )
making commutative the diagram
E:

0

ıτ

/ (H × G, τ )πτ
O

/H

/G
O

/0

?
/A

/0

f

E

0

ı

/H

/X

π

where ıτ and πτ are the canonical mappings and E is an extension of topological abelian
groups.
Proof. Since E splits algebraically there exists a group topology τ ′ on H × A such
ıτ ′
that E is equivalent to the extension of topological abelian groups E : 0 → H →
πτ ′
(H × A, τ ′ ) →
A → 0 where ıτ ′ and πτ ′ are respectively the canonical inclusion and the
canonical projection. Call T the topological isomorphism making the following diagram
commutative
E:

0

/H

ıτ ′

/ (H × A, τ ′ )
O

πτ ′

/A

/0

/A

/0

(3)

T

E:

0

ı

/H

/X

π

Now, consider on H × G the group topology τ obtained by declaring (H × A, τ ′ )
an open subgroup. An easy verification shows that if we call ıτ : H → (H × G, τ ) the
canonical inclusion and πτ : (H × G, τ ) → G the canonical projection, the sequence
ıτ
π
E : 0 → H →
(H × G, τ ) →τ G → 0 is an extension of topological abelian groups.
Combining the commutative diagram
E:

0

/H

E

0

/H

ıτ

/ (H × G, τ )πτ
O

/G
O

/0

ıτ ′

?
/ (H × A, τ ′ )

?
/A

/0

πτ ′

with (3) and defining f as the composition of T and the inclusion (H × A, τ ′ ) ֒→ (H ×
G, τ ), we complete the proof.
Theorem 14. Let G, H be topological abelian groups. Suppose that H is divisible and
that A is an open subgroup of G. Then Ext(G, H) ∼
= Ext(A, H).

8

Proof. We will use the same strategy as in Theorem 6. Consider the canonical inclusion
I : A → G . According to Lemma 4 the map
φ : Ext(G, H) −→ Ext(A, H)
[E]
7−→
[EI]
is a homomorphism of abelian groups. Let us see that φ is an isomorphism.
To prove that φ is injective, pick an extension of topological abelian groups E : 0 →
ı
π
H → X → G → 0 and suppose that EI splits. Since ı(H) ≤ π −1 (G), the sequence
π|π−1 (A)

ı

E ′ : 0 → H → π −1 (A) → G → 0 is exact. The mapping π|π−1 (A) is open hence E ′
is a topological extension. Furthermore the following diagram is commutative:
E:

0

/H

ı

/X
O

ı

?

π

/G
O

/0

I

E′ :

0

/H

/ π −1 (A)
π

?
/A

|π −1 (A)

/0

According to Lemma 2, E ′ must be equivalent to EI. Then E ′ splits and applying
Proposition 1 we find a continuous homomorphism P : π −1 (A) → H such that P ◦ ı =
IdH . Since H is divisible we can extend the homomorphism P to a homomorphism R :
X → H. Since π −1 (A) is open in X and R|π−1 (A) = P , R is a continuous homomorphism.
As ı(H) ≤ π −1 (A), R satisfies that R ◦ ı = P ◦ ı = IdH and by Proposition 1, E splits.
To check that φ is onto, choose an extension of topological abelian groups E : 0 →
p
I
H → Y → A → 0. From Lemma 13 we know that there exists a group topology τ on
H × G and a commutative diagram
E:

0

/H

ıτ/

πτ

(H × G, τ )
O

/G
O

/0

I

E

0

/H

I

/Y

p

?
/A

/0

where ıτ and πτ are the canonical mappings and E is an extension of topological abelian
 
groups.
In
virtue
of
Lemma
2,
E
must
be
equivalent
to
(E)I,
concluding
that
φ(
E )=


(E)I = [E].
Remark 15. In [3, Proposition 3.11] the authors prove that for every Čech-complete
topological abelian group H, if Ext(̺G, H) = 0 then Ext(G, H) = 0. Theorem 6 is a
generalization of this fact. In [2, Corollary 14] it is proven that if A is an open subgroup
of a topological abelian group G and Ext(A, T) = 0 then Ext(G, T) = 0. Theorem 14
generalizes this result.

9

4 Properties of the Ext group with respect to products and coproducts
Theorem 16. (i) Let G be a topological abelian group
Q and let {H
Qα : α < κ} be a
family of topological abelian groups. Then Ext(G, α<κ Hα ) ∼
= α<κ Ext(G, Hα ).
(ii) Let Z be a topological vector space
Q and let {Y
Q α : α < κ} be a family of topological
vector spaces. Then ExtTVS (Z, α<κ Yα ) ∼
= α<κ ExtTVS (Z, Yα ).
Q
Proof. (i). Consider for every β < κ the canonical projection pβ : α<κ Hα → Hβ .
Q
ı
π
Given an extension of topological abelian groups E : 0 → α<κ Hα → X → G → 0,
rβ

Pβ

take the push-out extension pβ E : 0 → Hβ → P Oβ → G → 0 with respect to pβ and
consider the commutative diagram (4) as in Lemma 3.
E:

0
/

Q

α<κ

Hα

ı

/X

rβ



pβ

pβ E :

0

π

/G

/0

/G

/0

(4)

sβ



/ Hβ

/ P Oβ

Pβ

In virtue of Lemma 4 the map
Q
Q
φ : Ext(G, α<κ Hα ) −→
α<κ Ext(G, Hα )
[E]
7−→
([pα E])α<κ
is a homomorphism of abelian groups.
Let us check that φ is injective. Take an extension of topological groups E : 0 →
Q
rβ
pβ
ı
π
α<κ Hα → X → G → 0, and suppose that pβ E : 0 → Hβ → P Oβ → G → 0 splits for
every β < κ. By Proposition 1 for every α < κ there exists a continuous homomorphism
tα : P Oα → Hα with tα ◦ rα = IdHα . Define the continuous homomorphism
Q
T : X −→
α<κ Hα
x 7−→ (tα (sα (x)))α<κ
By the commutativity of (4), T ◦ ı = IdQ Hα , thus E splits.
ıα
πα
To see that φ is onto pick a family of extensions {Eα : 0 → Hα →
Xα →
G→0:
Q
I
P
α < κ}. Consider the extension E : 0 → α<κ Hα → B → G → 0, where
n
o
 Y
B = (xα )α<κ , g ∈
Xα × G : πα (xα ) = g ∀α < κ ,
α<κ

I((hα )α<κ ) = ((ıα (hα ))α<κ , 0) and P((xα )α<κ , g) = g. It is easy to check that E is an
extension of topological abelian groups. Define for each β < κ the continuous homomorphism
Pβ :
B
 −→ Xβ
(xα )α<κ , g 7−→ xβ

10

The following diagram is commutative for every β < κ.
E:

0
/

Q

α<κ Hα

I

/B

ıβ



pβ

Eβ :

0



/ Hβ

P

/G

/0

/G

/0

Pβ

/ Xβ

πβ

Consequently, by Lemma 3, Eβ must be equivalent to the push-out sequence pβ E. Hence
ϕ([E]) = ([Eα ])α<κ , which concludes the proof.
(ii). All the steps in the previous part remain valid in the category of topological
vector spaces so we can proceed in the same way.
Remark 17. In [3, Proposition 3.12] it is proved that given a family of topological
abelian groupsQ{Hα : α < κ} and a topological group G, Ext(G, Hα ) = 0 for every α < κ
if and only if α<κ Ext(G, Hα ) = 0. This result is a particular case of Theorem 16.
Q
α
Corollary 18. Let G be a locally precompact abelian group. Then Ext(G, p∈P Qp p ) is
a divisible, torsion-free group for every collection of ordinal numbers αp , p ∈ P.
Proof. According to Theorem 16
Q
Q
Q
α
αp
Ext(G, p∈P Qp p ) ∼
= p∈P Ext(G, Qp ) ∼
= p∈P Ext(G, Qp )αp .
∼ Ext(̺G, Qp ) for every p ∈ P
Since Qp is Čech-complete, by Theorem 6 Ext(G, Qp ) =
and
Q
Q
α
Ext(G, p∈P Qp p ) ∼
= p∈P Ext(̺G, Qp )αp .
Q
α
Ext(̺G, Qp ) is divisible and torsion-free by [20, Corollary 1.5], then Ext(G, p∈P Qp p )
is also divisible and torsion-free.
Corollary 19. Let be G a locally precompact abelian group. Ext(G, X) = 0 for all
X product of divisible σ-compact groups in L if and only if ̺G = Rn × G′ where n
is a non-negative Q
integer and G′ contains a compact open subgroup K such that K ∼
=
Q
γβ
r
α
β<β0 Zpβ where α0 , β0 ∈ ω, {γβ : β < β0 } is a family of arbitrary
α<α0 Z/pα Z ×
ordinal numbers and pα , pβ are prime numbers for all α, β.
Proof. Suppose that a locally precompact abelian group G has the property that Ext(G, X) =
0 for all X product of divisible σ-compact groups in L. In particular Ext(G, X) = 0 for
all X divisible σ-compact in L. Since every group in L is Čech-complete, by Theorem
6, Ext(̺G, X) = Ext(G, X) = 0, for all divisible σ-compact X ∈ L. According to [19,
Theorem 2.7], ̺G has the desired structure.
Conversely if ̺G has the properties described in the statement, in virtue of [19,
Theorem 2.7], Ext(̺G, X) = 0 for all X divisible σ-compact group L. By Theorem
6, Ext(G, X) = 0 for every X divisible σ-compact in L. Finally, from Theorem 16 we
conclude that the same is true for every X product of divisible σ-compact groups in L.

11

Corollary 20. Let G be a torsion group in L and let H be product of divisible torsion-free
groups in L. Then Ext(G, H) = 0.
Q
Proof. Suppose that H = α<κ Hα with Hα divisible, torsion-free and Hα ∈ L for every
α < κ. Since G is locally compact abelian and torsion we know by [13, 24.21] that G
contains an open compact subgroup K. It is clear that K will be a torsion group too.
Applying Theorem 16 and Theorem 14
Q
Q
Q
Ext(G, H) ∼
= Ext(G, α<κ Hα ) ∼
= α<κ Ext(G, Hα ) ∼
= α<κ Ext(K, Hα ).
Finally by [20, Theorem 1.6] Ext(K, Hα ) = 0 for every α < κ.
ı

π

α
α
Lemma 21. Let {Eα : 0 → Hα →
Xα →
Gα → 0 : α < ω} be L
a countableLfamily of
extensions
of
topological
abelian
groups.
Consider
the
coproducts
α<κ Hα , L α<ω Xα ,
L
L
L
L
α<ω ıα :
α<ω Hα →
α<ω Xα and
α<ω πα :
Lα<ω Gα andLthe natural mappings
X
→
G
.
The
sequence
α<ω α
α<ω α

L

α<ω

Eα : 0 −→

L

α<ω

Hα

L

α<ω ıα

−→

L

α<ω

Xα

L

α<ω

πα

−→

L

α<ω

Gα −→ 0

is an extension of topological abelian groups.
Proof. Straightforward.
L
Theorem 22. Let H be a topological abelian group
and
let
α<ω
L
Q Gα a countable co∼
product of topological abelian groups. Then Ext( α<ω Gα , H) = α<ω Ext(Gα , H).
L
Proof. Consider the canonical inclusion Iα : Gα → α<ω Gα and define
L
Q
φ : Ext( α<ω Gα , H) −→
α<ω Ext(G
 α , H)
[E]
7−→
[EIα ] α<ω
According to Lemma 2, φ is a homomorphism of abelian groups. Let us see that φ is an
isomorphism.
ı
π L
To see that φ is injective take E : 0 → H → X → α<ω Gα → 0 an extension of
topological abelian groups and suppose that EIβ splits for every β < ω. Pick β < ω.
π|π−1 (G

β)

ı

→
Gβ → 0. Since ı(H) ⊂ π −1 (Gβ ),
Take the sequence Eβ : 0 → H → π −1 (Gβ )
Eβ is an exact sequence. Since π|π−1 (Gβ ) is open (see [4, Proposition 2, Chapter 5.1])
it follows that Eβ is an extension of topological abelian groups. For every β < ω the
following diagram is commutative
E:

0

/H

ı

/X
O

π

?

π|π−1 (G

/

L

α<ω
O

Gα

/0

Iβ

Eβ :

0

/H

ı

/ π −1 (Gβ )

12

β)

?
/ Gβ

/0

Applying Lemma 2 we deduce that Eβ is equivalent to the pull-back extension EIβ . Then
Eβ splits. By Proposition 1 for every α < ω there exist a continuous homomorphism
Rα : Gα → π −1 (Gα ) with π ◦ Rα = IdGα . Consider the homomorphism
L
R:
X
α<ω Gα −→ P
(gα )α<ω 7−→
α<ω Rα (gα )
Using the universal property of the coproduct topology we deduce that R is continuous.
Since

X
 X


Rα (gα ) =
π Rα (gα ) = (gα )α<ω
π R (gα )α<ω = π
α<ω

α<ω

IdL

we obtain that π ◦ R =
and E splits.
α<ω Gα
Let us check that φ is onto. Pick a family of extensions of topological abelian groups
ıα
πα
{Eα : 0 → H →
Xα →
Gα → 0 : α < ω}. From Lemma 21 we deduce that the sequence
L

α<ω

Eα : 0 −→

L

α<ω

L

α<ω ıα

−→

H

L

α<ω

Xα

L

α<ω

πα

−→

L

α<ω

Gα −→ 0

is an extension of topological abelian groups. Define the continuous homomorphism
L
P :
α<ω H −→ P H
(hα )α<ω 7−→
α<ω hα
L
and take the push-out extension P α<ω Eα as in Lemma 3. For every β < ω the
following diagram is commutative
Eβ :

L

α<ω Eα :

/ H
_

0

0
/

L 

α<ω H

ıβ

L

ıα

/ Xβ
_

/

L


α<ω Xα

πβ

L

/ Gβ
_

πα

L
/

/0

(5)



α<ω

Gα

/0

Gα

/0

P

P

L

α<ω Eα :

0


/ PO



/H

/

L

α<ω

From Lemma 2 and the commutativity
L of (5) follows that Eβ is equivalent to (P
for every β < ω and therefore φ([P α<ω Eα ]) = ([Eβ ])β<ω

L

α<ω

Eα )Iβ

Remark 23. It would be interesting to find out if Theorem 22 is true for uncountable
coproducts of topological abelian groups. Unfortunately, to prove Lemma 21 it is necessary to use that for every countable familyL
of topological abelian groups {Gα : α < ω},
the coproduct topology on the direct sum α<ω Gα coincides with the box topology.
It is worth mentioning that Fulp and Griffith proved inL[12, Theorem 2.13] that
if {GL
α : α < κ} is a family
Q of groups in L such that ( α<κ Gα , τbox ) ∈ L then
∼
Ext(( α<κ Gα , τbox ), H) = α<κ Ext(Gα , H) where H ∈ L and τbox is the box topology.

13

5 Relations between Ext and ExtTVS
ı

π

Theorem 24. Let E : 0 → Y → X → Z → 0 be an extension of topological abelian
groups. Suppose that Y is a Fréchet topological vector space and Z is a metrizable
topological vector space. Then X admits a compatible topological vector space structure
in such a way that E becomes an extension of (metrizable) topological vector spaces.
Proof. Metrizability is a three space properties (see [13, 5.38(e)]) hence X is metrizable.
Since Y is metrizable and complete, it is Čech-complete and we can apply Lemma 5
̺ı
̺π
to deduce that the completion ̺E : 0 → Y → ̺X → ̺Z → 0 is an extension of topological abelian groups. According to [7, Proposition 2] there exist a compatible topological
vector space structure in ̺X and we can regard ̺E as an extension of topological vector spaces. Consider the canonical inclusion I : Z → ̺Z. The following diagram is
commutative
̺ı
/Y
/0
/ ̺X ̺π / ̺Z
̺E :
0
O
O
I

E:

/Y

0

ı

?

/X

π

?
/Z

/0

Since ̺E is an extension of topological vector spaces and I is a continuous linear mapping, in virtue of Lemma 2, E is equivalent to the pull-back extension of topological
vector spaces (̺E)I : 0 → Y → P B → Z → 0. Let T : X → P B be the topological
isomorphism that witnesses the equivalence of E and (̺E)I. Take in X the topological
vector space structure induced by T . This completes the proof.
ı

π

Theorem 25. Let E : 0 → Y → X → Z → 0 be an extension of topological abelian
groups. Suppose that Y is a complete locally bounded topological vector space and Z
is a locally bounded topological vector space. Then X admits a topological vector space
structure in such a way that E becomes an extension of (locally bounded) topological
vector spaces.
Proof. X is locally bounded because local boundedness is a three space property (see
[18, Theorem 3.2]). Y is metrizable because every locally bounded Hausdorff topological
vector space is metrizable. Hence Y is in particular almost metrizable and we can apply
̺ı
̺π
Lemma 5 to deduce that the completion ̺E : 0 → ̺Y → ̺X → ̺Z → 0 is an extension
of topological abelian groups. Since Z is locally bounded, its completion ̺Z is also locally
bounded and we are in the conditions of [5, Theorem 4]. So ̺E can be regarded as an
extension of topological vector spaces. From here proceed as in the proof of Theorem
24.
Remark 26. Notice that in theorems 24 and 25, when we construct the topological
vector space structure on X, the inclusion X ֒→ ̺X turns out to be a linear map.
Consequently, the multiplication by scalars on X, say ∗X : R × X → X, can be regarded
as the restriction of the multiplication by scalars on ̺X, say ∗̺X : R × ̺X → ̺X.
Completing the topological vector space (X, ∗X ) we obtain another topological vector
space (̺X, ̺(∗X )). Thus the multiplication by scalars ̺(∗X ) : R × ̺X → ̺X coincides
14

with ∗X in R × X. Finally, since the continuous homomorphism ̺(∗X ) coincides with
the continuous homomorphism ∗̺X in the dense subgroup R × X, we conclude that both
operations are the same.
Corollary 27. Let Y and Z be topological vector spaces.
(i) If Y is Fréchet and Z is metrizable then Ext(Z, Y ) ∼
= ExtTVS (Z, Y ).
(ii) If Y is complete locally bounded and Z is locally bounded then Ext(Z, Y ) ∼
= ExtTVS (Z, Y )
Corollary 28. Let X be an abelian topological group and let π : X → Z be an open
continuous homomorphism of X onto a topological vector space Z.
(i) If ker π is a Fréchet space and Z is metrizable then X is a (metrizable) topological
vector space.
(ii) If ker π is a complete locally bounded topological vector space and Z is locally
bounded then X is a (locally bounded) topological vector space.
Corollary 29. A metrizable topological vector space Z satisfies Ext(Z, R) = 0 if and
only if ̺Z is a K-space.

Acknowledgements
The author gratefully acknowledges the many helpful suggestions of Marı́a Jesús
Chasco, Xabier Domı́nguez and Mikhail Tkachenko during the preparation of the paper.
The author thanks the referee as well for the careful report. Finally, the author wishes to
thank the Asociación de Amigos de la Universidad de Navarra and the Spanish Ministerio
de Economı́a y Competitividad (grant MTM 2013-42486-P) for their financial support.

References
[1] A. V. Arhangel’skii and M. G. Tkachenko, Topological Groups and Related Structures,
Atlantis Series in Mathematics, vol. I, Atlantis Press and World Scientific, Paris–
Amsterdam 2008.
[2] H. J. Bello, M. J. Chasco and X. Domı́nguez, Extending topological abelian groups
by the unit circle, Abstr. Appl. Anal. 2013, Art. ID 590159, 9 pp. MR3121509.
[3] H. J. Bello, M. J. Chasco, X. Domı́nguez and M. Tkachenko, Splittings and crosssections in topological groups (to appear in the Journal of Mathematical Analysis
and Applications).
[4] N. Bourbaki, Elements of mathematics. General topology. Part 1, Hermann, Paris,
1966. MR0205210 (34 #5044a).

15

[5] F. Cabello Sánchez, Quasi-additive mappings, J. Math. Anal. Appl. 290 (2004),
no. 1, 263–270. MR2032239 (2004k:46005).
[6] J. M. F. Castillo and M. A. Simões, Limits and the Ext functor, Extracta Math. 23
(2008), no. 2, 119–130. MR2492785 (2010a:46008).
[7] U. Cattaneo, Abelian extensions of topological vector groups, J. Funct. Anal. 35
(1980), no. 2, 143–152. MR0561982 (81h:46001).
[8] P. Domański, Local convexity of twisted sums, Rend. Circ. Mat. Palermo (2) 1984,
Suppl. No. 5, 13–31. MR0781936 (86g:46110).
[9] PP. Domański, On the splitting of twisted sums, and the three-space problem for
local convexity, Studia Math. 82 (1985), no. 2, 155–189. MR0823973 (87m:46002).
[10] P. Domański, Twisted sums of Banach and nuclear spaces, Proc. Amer. Math. Soc.
97 (1986), no. 2, 237–243. MR0835872 (87j:46012).
[11] L. Fuchs, Infinite abelian groups. Vol. I, Pure and Applied Mathematics, Vol. 36,
Academic Press, New York, 1970. MR0255673 (41 #333)
[12] R. O. Fulp and P. A. Griffith, Extensions of locally compact abelian groups. I, II,
Trans. Amer. Math. Soc. 154 (1971), 341-356; ibid. 154 (1971), 357–363. MR0272870
(42 #7751).
[13] E. Hewitt and K. A. Ross, Abstract harmonic analysis. Vol. I, second edition,
Grundlehren der Mathematischen Wissenschaften, 115, Springer, Berlin, 1979.
MR0551496 (81k:43001).
[14] N. J. Kalton, N. T. Peck and J. W. Roberts, An F -space sampler, London Mathematical Society Lecture Note Series, 89, Cambridge Univ. Press, Cambridge, 1984.
MR0808777 (87c:46002).
[15] S. Mac Lane, Homology, reprint of the 1975 edition, Classics in Mathematics,
Springer, Berlin, 1995. MR1344215 (96d:18001).
[16] M. Moskowitz, Homological algebra in locally compact abelian groups, Trans. Amer.
Math. Soc. 127 (1967), 361–404. MR0215016 (35 #5861).
[17] W. Roelcke and S. Dierolf, Uniform structures on topological groups and their quotients, McGraw-Hill, New York, 1981. MR0644485 (83j:22001).
[18] W. Roelcke and S. Dierolf, On the three-space-problem for topological vector spaces,
Collect. Math. 32 (1981), no. 1, 13–35. MR0643398 (84f:46006).
[19] H. Sahleh and A. A. Alijani, Splitting of extensions in the category of locally compact abelian groups, Int. J. Group Theory 3 (2014), no. 3, 39–45. MR3165858.

16

[20] H. Sahleh and A. A. Alijani, Extensions in the category of Divisible, Locally Compact Abelian Groups (preprint) http://arxiv.org/abs/1401.7083
[21] S. Warner, Topological fields, North-Holland Mathematics Studies, 157, NorthHolland, Amsterdam, 1989. MR1002951 (90i:12012).

17

