Mac Williams Extension Theorem for Codes in Projective Modules over a Finite Frobenius Ring

Abstract:

Let C be a right submodule of a free finite right module F over a finite Frobenius ring R. In order to facilitate the decoding of C, one can replace F by the minimal projective submodule P of F, containing C. Once R is Frobenius, P coincides with the injective envelope E(C) of C in F and can be constructed as the maximal essential extension of C in F. The work describes the injective envelope E(C) of an arbitrary module C over a residue ring Zm modulo a natural number m. Any choice of a basis of F is associated with an inner product on F and allows to describe the relations of C in F by its left orthogonal group (⊥C, +) < (F, +). Bearing in mind that the relations (⊥P, +) of P = E(C) in F are contained in (⊥C, +), one realizes the relations of C in P by the quotient group (⊥C, +)/(⊥P, +). The decoding of C in P = E(C) makes use of a generating set of (⊥C, +)/(⊥P, +), which is obviously smaller than a generating set of (⊥C, +), needed for a decoding of C in F.The present note discusses also Mac Williams Extension Theorem for codes C in finite right projective modules P over a finite Frobenius ring R. It establishes that any Hamming isometry of C in P lifts to a monomial transformation g of a free cover F of P. Moreover, if the kernel of the epimorphism F onto P is invariant under g then the Hamming isometry of C in P extends to a Hamming isometry of P with itself.

• Periodical: Advances in Science and Technology (Volume 144)
• Pages: 47-53
• DOI: https://doi.org/10.4028/p-qfX9Pf
• Online since: March 2024
• Authors: Azniv Kirkor Kasparian*
• Keywords: Finite Frobenius Ring, Free, Injective Hull, Injective Modules, Mac Williams Extension Theorem for Hamming Isometries, Projective

References

[1] Wood J., Duality for modules over finite rings and applications to coding theory, American Journal of Mathematics, 121 (1999), 555-575.

DOI: 10.1353/ajm.1999.0024

[2] Barra A., Gluesing-Luerssen H., MacWilliams Extension Theorems and the Local-Global Property for Codes over Frobenius Rings, Journal of Pure and Applied Algebra, 219 (2015), 703-728.

DOI: 10.1016/j.jpaa.2014.04.026

[3] Dinh H., Lopez-Permouth S., On the equivalence of codes over rings and modules, Finite Fields and their Applications, 10 (2004), 615-625.

DOI: 10.1016/j.ffa.2004.01.001

[4] Greferath M., Nechaev A., and Wisbauer R., Finite quasi-Frobenius modules and linear codes, Journal of Algebra and its Applications 3 (2004), 247-272.

DOI: 10.1142/s0219498804000873

[5] Wood J., Code equivalence characterizes finite Frobenius rings, Procedings of the American Mathematical Society 136 (2008), 699-706.

DOI: 10.1090/s0002-9939-07-09164-2

[6] Wood J., Foundations of linear codes defined over finite modules: the extension theorem and the MacWilliams identities, Codes over rings (Ankara, 2008) (P. Sole, ed.), World Scientific, Singapore, (2009)

DOI: 10.1142/9789812837691_0004

[7] Wood J. Applications of finite Frobenius rings to the foundations of algebraic coding theory, In the Proceedings of the 4-th Symposium on Ring Theory and Representation Theory (Okayama University, Japan, September 25-27, (2011), O. Iyama, ed., Nagoya, Japan, 2012, pp.223-245.

[8] Schneider F., Zumbrägel J., Mac Williams Extension Theorem for infinite rings, Proceedings of the American Mathematical Society 147 (2019), 947-961.

DOI: 10.1090/proc/14343

[9] Gnilke O., Greferath M., Honold T., Wood J., Zumbrägel J., The Extension Theorem for biinvariant weights over Frobenius rings and Frobenius bimodules, Contemporary Mathematics, 727 (2019), 117-129.

DOI: 10.1090/conm/727/14629

[10] Dyshko S., Wood J., Mac Williams Extension Property for arbitrary weights on linear codes over module alphabet, Designs, Codes and Cryptography 90 (2022), 2683-2701.

DOI: 10.1007/s10623-021-00945-w

[11] Guil Asensio P., Srivastava A., Mac Williams extending conditions and quasi-Frobenius rings, arXiv:2205.01830v1[math. RA] 4 May 2022.

[12] Xu Y., Kan H., Han G., Isometries and Mac Williams Extension Property for weighted poset metric, arXiv:2202.01551v2[cs.IT] 20 Jul 2022.

[13] Gorla E., Salizzoni F., Mac Williams Extension Theorem for rank-metric codes, Journal of Symbolic Computation 122 (2024), 102263.

DOI: 10.1016/j.jsc.2023.102263