On the control of generic abelian group codes

摘要

Group Codes are a generalization of the well known Binary Convolutional Codes. For this reason Group Codes are also called Generalized Convolutional Codes. A classical binary convolutional encoder with rate k < 1 and m memory registers can be described as a Finite State Machine (FSM) in terms of the binary groups Z^k2, Zⁿ2 and Z^m2, and adequate next-state and encoder homomorphisms defined over the direct product Z^k2⊕Z^m2. Then the binary convolutional code is the family of bi-infinite sequences produced by the binary convolutional encoder. Since the direct product of groups U ⊕ S can be generalized as an extension U ⊠ S, then the encoder of a group code is a FSM M = (U, S, Y, ν, ω) where U is the inputs group, S is the states group, Y is the outputs group. The next-state homomorphism ν and the encoder homomorphism ω are defined over U ⊠ S. The elements of the group code produced by the FSM are bi-infinite sequences y = {yk}k∊Z with yk ∊ Y. Then, each y can be interpreted as a trajectory of a Dynamical System, hence a group code is a Dynamical System. Therefore a group code will be controllable when it is controllable as a Dynamical System. In this work we present some necessary conditions for the control of group codes produced by FSMs defined on generic abelian extensions U ⊠ S with Zp = {0, 1, …, p − 1}, the cyclic group of order p.