Subgroups of direct products closely approximated by direct sums

Let $I$ be an infinite set, ${Gi:i\in I}$ be a family of (topological) groups and $G=\prod{i\in I} Gi$ be its direct product. For $J\subseteq I$, $p{J}: G\to \prod{j\in J} Gj$ denotes the projection. We say that a subgroup $H$ of $G$ is: (i) \emph{uniformly controllable} in $G$ provided that for every finite set $J\subseteq I$ there exists a finite set $K\subseteq I$ such that $p{J}(H)=p{J}(H\cap\bigoplus{i\in K} Gi)$; (ii) \emph{controllable} in $G$ provided that $p{J}(H)=p{J}(H\cap\bigoplus{i\in I} Gi)$ for every finite set $J\subseteq I$; (iii) \emph{weakly controllable} in $G$ if $H\cap \bigoplus{i\in I} Gi$ is dense in $H$, when $G$ is equipped with the Tychonoff product topology. One easily proves that (i)$\to$(ii)$\to$(iii). We thoroughly investigate the question as to when these two arrows can be reversed. We prove that the first arrow can be reversed when $H$ is compact, but the second arrow cannot be reversed even when $H$ is compact. Both arrows can be reversed if all groups $Gi$ are finite. When $Gi=A$ for all $i\in I$, where $A$ is an abelian group, we show that the first arrow can be reversed for {\em all} subgroups $H$ of $G$ if and only if $A$ is finitely generated. Connections with coding theory are highlighted.