Define a group code C over a group (G,*,1) to be a subgroup of thesequence space GZ that is stationary and is not also asubgroup of a sequence space defined on a proper subgroup of G. Inaddition, consider group codes to be finitely-controllable and complete.This implies that there exist minimal sets of finite-length encodersequences that will causally encode the group code like an impulseresponse system over the group G. A non-abelian group code is a groupcode over a non-abelian group. Two group codes, C1 overG1 and C2 over G2, are defined to beconformant if there exists a bijective mapping between the group codes,ψ∞:C1→C2, such that itis the component-wise application of a group bijection ψ:G1→G2 (and with ψ(1)=l)
展开▼