四元环上的GH-码.pdfVIP

引言 1948年，C．E．Shannon的”通信的数学理论”一文标志了编码理论的开端， 首次阐明了在有扰信息中实现可靠通信的方法，提出著名的有扰信息编码定理， 奠定了纠错码的基石；同时证明了好码的存在性．自此以后，根据Shannon的思 想，很多人给出了一系列设计好码和有效译码的方法，例如Hamming码，BCH 码，Goppa码等．从而纠错码受到越来越多的通信和数学工作者的重视．线性码 是重要的一类纠错码，不仅因为利用线性代数工具，使纠错编码。纠错译码和决 定最小距离都比较方便，而且大多数纠错性能较好的纠错码都是线性码． 设G是域F上的一个坼，k，d】一线性码，那么关于Euclidean内积的对偶码 C上为htl—k，dJ】一码．特别地，若C=Ci，则称C为自偶码．文f卜10】表明 自偶码在实际应用和理论上都具有重要的地位。因此这类码引起广大学者的关 注．尤其，在自偶码中，如果每个码字的重量都是某个常数的倍数，这种自偶码 引起很多人的研究111～13J．1993年，文[14】中阐明了环z4上的线性码在格雷映 射(Graymap)的作用下的象是二元域上的非线性码，而一些重要的二元非线性 码(如Kerdock码等)正是z4上的线性码在Gray映射下的象；同时环上的线性码 还可以应用到模格中n5—18】t这正是人们研究环上的线性码的重要原因．特别是 四元环上相关的码的研究得到迅速的发展，取得很多优异的研究成果【10-15， 17，19-29． 循环码是—类重要的线性码。它具有严谨的代数结构，其性能易于分析；并 且其编译码电路。特别是编码电路简单易于实现．因此特别引人注意． Abelian 码是循环码的推广一设G为Abelian群，F为有限域。FG为相应的群代数，则 FG上的非零理想称为Abelian码．当G是循环群时．Abelian码就是循环码． 为基本Abelian2一群，F为特征为2的有限域，FG为相应的群代数，日为群 G的—个指数为2的子群，若FG中的一个元素∞=∑口∈GxgX9满足∑咋H％= ∑。胡而=1，则称FG上由元素$生成的主理想($)为H-码。同时证明了群代数 FG中的H-码总是自偶码，且它是双偶自偶码的充分必要条件是H一码的生成元 的重量是4的倍数． 群代替初等Abelian 2一群，引入广义H～码[25]：设G为偶数阶Abelian群，F为 特征为2的有限域，FG为相应的群代数，日为群G的一个指数为2的子群， 若FG中存在一个形如==Xo+∑。曲zgXg的幂零元，则称FG中由元素。生 成的主理想《z)为广义B码(记为GH～码)．同时他指出一个GH_码的投射核类 给出GH一码是双偶自偶码的判别条件引入G肿集，并给出了GH-码是双偶自 偶码的判别条件．同时指出，在非=元域上该形式的GH-码不是型II码． 本文用四元环代替有限域。引入群环RG中的广义骷码，并进一步探讨四 元环OF(4)，F2+uF2，F2+rE2，z4上GH一码是型II码的判别条件． 本文由四部分组成．第一部分首先给出四元环上线性码的相关概念，符号和 结论，并定义GH一码，给出四元环上GH一码是自偶码与型II码的充分必要条 相应的GH一集对的概念，给出GH一码是型II码(Lee重量定义n的充分必要 条件．在第四部分最后证明了在z4上不存在是自偶码的GH一码． 2 §1四元环上的线性码和GH一码 本节给出四元环上的线性码的相关的基本概念和符号，一些相关定理和已知 结论．引入四元环上的相应群环中广义H-码(GH-码)的定义，给出其为自偶 码或型II码的判别条件．文中出现的符号和应用的相关结论来自Macwnlians和 环，n为正整数． §1-1基本概念和符号 最近几年，作为有限域的自然推广，关于四元环上码的研究引起广大学者的 兴趣，发表了许多文章．有限域GF(4)上的线性码在18，12，15，28，29，30】等文中得 以研究；1993年，文[14]中阐明了环z4上的线性码在格雷映射(Graymap)的 作用下的象是二元域上的非线性码，而一些重要的二元非线性码(如Kerdock码 等)正是甄上的线性码在Gray映射下的象；同时环上的线性码还可以应用到模 格中『15-18]．这正是人们研究环上的线性码的重要原因．特别是四元环上相关的 码的研究得到迅速的发展，取得很多优异的研究成果[10--15，17，19-