1: \begin{abstract}

2: Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup  $G\leq \prod\limits_{i\in \N}G_i$ is

3: \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists

4: $c_1\in G$ satisfying that $c_{1|[1,i]}=c_{|[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$

5: divides order$(c_{|[1,n_i]})$. In this paper we investigate the structure of order controllable subgroups. It is

6: proved that every order controllable, profinite, abelian group contains a subset

7: $\{g_n : n\in\N\}$ that topologically generates the group and whose elements $g_n$ all have finite support.

8: As a consequence, sufficient conditions are obtained that allow us to encode, by means of a topological group isomorphism,

9: order controllable profinite abelian groups. Some applications of these results to group codes will appear subsequently \cite{FH:2021}.

10: %Looking at the specific case of group codes, we obtain that if $G$ is an order controllable, shift invariant, group code over a finite abelian group $H$,

11: %then $G$ possesses a canonical generating set. Furthermore, our construction also yields that $G$ is algebraically conjugate to a full group shift.

12: %Some connections to coding theory are also highlighted.

13: \end{abstract}