Topologically independent sets in precompact groups

Abstract

It is a simple fact that a subgroup generated by a subset $A$ of an abelian group is the direct sum of the cyclic groups $\langle a\rangle$, $a\in A$ if and only if the set $A$ is independent. In [5] the concept of an $independent$ set in an abelian group was generalized to a $topologically$ $independent$ $set$ in a topological abelian group (these two notions coincide in discrete abelian groups). It was proved that a topological subgroup generated by a subset $A$ of an abelian topological group is the Tychonoff direct sum of the cyclic topological groups $\langle a\rangle$, $a\in A$ if and only if the set $A$ is topologically independent and absolutely Cauchy summable. Further, it was shown, that the assumption of absolute Cauchy summability of $A$ can not be removed in general in this result. In our paper we show that it can be removed in precompact groups. In other words, we prove that if $A$ is a subset of a {\em precompact} abelian group, then the topological subgroup generated by $A$ is the Tychonoff direct sum of the topological cyclic subgroups $\langle a\rangle$, $a\in A$ if and only if $A$ is topologically independent. We show that precompactness can not be replaced by local compactness in this result.