Homomorphic encoders of profinite abelian groups II
share
Let {G_i :i∈} be a family of finite Abelian groups. We say that a subgroup G≤∏_i∈G_i is order controllable if for every i∈ℕ there is n_i∈ℕ such that for each c∈ G, there exists c_1∈ G satisfying that c_1|[1,i]=c_|[1,i], supp (c_1)⊆ [1,n_i], and order(c_1) divides order(c_|[1,n_i]). In this paper we investigate the structure of order controllable group codes. It is proved that if G is an order controllable, shift invariant, group code over a finite abelian group H, then G possesses a finite canonical generating set. Furthermore, our construction also yields that G is algebraically conjugate to a full group shift.
READ FULL TEXT