Connected locally compact abelian groups

127 Views Asked by At

Is the category $\text{LCA}_c$ of connected locally compact Hausdorff abelian groups an abelian category? My feeling says no, however I can't immediately find a counterexample.

Alternatively, I'd also be happy to know whether an injective continuous map in $\text{LCA}_c$ is automatically closed.

2

There are 2 best solutions below

1
On BEST ANSWER

Given an irrational number $r\in\mathbb R$, the image of the continuous injective function $\mathbb R\to\mathbb R^2/\mathbb Z^2$ given by $t\mapsto(t,rt)$ is dense but not surjective.

A reference for how to modify homological algebra so that it applies to locally compact Hausdorff abelian groups is Norbert Hoffmann and Markus Spitzweck's paper "Homological algebra with locally compact abelian groups". A reference for the more general topic of exact structures on additive categories is Theo Buehler's article Exact Categories.

0
On

Let me elaborate a little on Vladimir Sotirov's example for readers who may not see how it immediately answers the question. Suppose you have a continuous injective homomorphism $f:A\to B$ of locally compact abelian groups whose image is dense but not all of $B$, as in his answer. Then the kernel of $f$ is $0$, since $f$ is injective. The cokernel of $f$ is also $0$: if $g:B\to C$ is a morphism such that $gf=0$, then $g$ vanishes on the image of $f$ and hence on all of $B$ since the image of $f$ is dense and $C$ is Hausdorff. So $f$ has trivial kernel and cokernel. In an abelian category, this would imply $f$ is an isomorphism, but it is not an isomorphism since it is not surjective. Thus our category cannot be abelian.