Abelian Codes in Principal Ideal Group Algebras

We study abelian codes in principal ideal group algebras (PIGAs). We first give an algebraic characterization of abelian codes in any group algebra and provide some general results. For abelian codes in a PIGA, which can be viewed as cyclic codes over a semisimple group algebra, it is shown that every abelian code in a PIGA admits generator and check elements. These are analogous to the generator and parity-check polynomials of cyclic codes. A characterization and an enumeration of Euclidean self-dual and Euclidean self-orthogonal abelian codes in a PIGA are given, which generalize recent analogous results for self-dual cyclic codes. In addition, the structures of reversible and complementary dual abelian codes in a PIGA are established, again extending results on reversible and complementary dual cyclic codes. Finally, asymptotic properties of abelian codes in a PIGA are studied. An upper bound for the minimum distance of abelian codes in a non-semisimple PIGA is given in terms of the minimum distance of abelian codes in semisimple group algebras. Abelian codes in a non-semisimple PIGA are then shown to be asymptotically bad, similar to the case of repeated-root cyclic codes.

[1]  Steve Benson,et al.  Students Ask the Darnedest Things: A Result in Elementary Group Theory , 1997 .

[2]  Mohammad Umar Siddiqi,et al.  Transform domain characterization of Abelian codes , 1992, IEEE Trans. Inf. Theory.

[3]  Marcus Greferath,et al.  Finite-Ring Combinatorics and MacWilliams' Equivalence Theorem , 2000, J. Comb. Theory A.

[4]  Cunsheng Ding,et al.  Split group codes , 2000, IEEE Trans. Inf. Theory.

[5]  Xiang Yang,et al.  The condition for a cyclic code to have a complementary dual , 1994, Discret. Math..

[6]  Chaoping Xing,et al.  On Self-Dual Cyclic Codes Over Finite Fields , 2011, IEEE Transactions on Information Theory.

[7]  Ali Ghrayeb,et al.  Construction of cyclic codes over GF(4) for DNA computing , 2006, J. Frankl. Inst..

[8]  James L. Fisher,et al.  Principal ideal group rings , 1976 .

[9]  James L. Massey,et al.  On Repeated-root Cyclic Codes , 1991, IEEE Trans. Inf. Theory.

[10]  S. Berman Semisimple cyclic and Abelian codes. II , 1967 .

[11]  Daniel J. Costello,et al.  Polynomial weights and code constructions , 1973, IEEE Trans. Inf. Theory.

[12]  C. Milies,et al.  An introduction to group rings , 2002 .

[13]  Roberta Evans Sabin,et al.  On Determining All Codes in Semi-Single Group Rings , 1993, AAECC.

[14]  San Ling,et al.  Quasi-abelian codes , 2015, Des. Codes Cryptogr..

[15]  D. Passman,et al.  The algebraic structure of group rings , 1977 .

[16]  S. Berman On the theory of group codes , 1967 .

[17]  Hervé Chabanne,et al.  Permutation decoding of Abelian codes , 1992, IEEE Trans. Inf. Theory.

[18]  Chaoping Xing,et al.  Polyadic codes revisited , 2004, IEEE Transactions on Information Theory.

[19]  James L. Massey Reversible Codes , 1964, Inf. Control..

[20]  F. J. Mac Williams Binary codes which are ideals in the group algebra of an abelian group , 1970 .

[21]  Wolfgang Willems,et al.  A note on self-dual group codes , 2002, IEEE Trans. Inf. Theory.

[22]  Tsit Yuen Lam,et al.  Exercises In Classical Ring Theory , 1994 .

[23]  Patrick Solé,et al.  On the algebraic structure of quasi-cyclic codes I: Finite fields , 2001, IEEE Trans. Inf. Theory.