分圆域中的线性分组码.pdfVIP

数学年刊 25A：3(2004)，293—298 分圆域中的线性分组码料 高 莹斗 提 要 为实现面向多维信号有限域上的编码，本文从素元出发，利用索元生成的理想为素理想，研究对任 意正整数n，分圆域Q(e2”i／“)的代数整数环模素理想所得的剩余域．当错误取值于有限域乘群的一个 循环子群时，这种方法得到的有限域上面向妒∽)维信号的线性分组码可以纠单个错，从而为码调制提 供了一种代数渐进方法，推广了文[3—5】中的结果． 关键词代数整数环，分圆域，线性分组码，多维信号空间 1T71 MR(2000)主题分类94815，1 中圉法分类0157．4 文献标识码A 文章编号1000—8314(2004)03—0293—06 口 在数字通信系统中信息的传输(或存储)所遇到的最主要的问题是在传输过程中出现 差错的问题，也就是传输可靠性问题．信道编码的基本思想就是根据相关性来检测(发 现)和纠正传输过程中产生的差错，故而为系统设计者提供了一个降低系统差错率的途 径． 1974年，Massey根据仙农信息理论最早证明了将编码与调制作为一个整体考虑时 的最佳设计，就可大大改善系统的性能． 过去的三十年里，许多学者对码调制展开了研究，其中主要围绕多维信号调制和多 维网格码(又称为网格调制，TCM)．但对于面向多维信号有限域上的线性分组码的研究 却刚刚开始，见Huber【1-2]，董学东等[3-5]． 形式给有限域提供了一种二维表示．其中他还引进了Mannheim距离并构造了单纠错码 (OMEC)．董学东等人则考虑了分圆域的代数整数环是主理想的情形，利用不可约元提供 了有限域的一种同构方式．当凡属于某特定集合(见[5])，设分圆域Q(e2州／n)，此时信号 空间为妒(n)维，且当错误值取自有限域乘群的一个循环子群时，所构造的线性分组码可 以纠单个错． 本文2002年5月28日收到． +中国科学院数学与系统科学研究院，北京10080；武汉大学数学系，武汉430072 E-maih ryinggao@yahoo．corn．crl ”国家基础科学发展计划(973计划)资助的项目． 数学年刊 25卷A辑 本文继续讨论面向多维信号有限域上的线性分组码，与文【35]不同的是，将考虑任 意分圆域的代数整数环情形．利用代数数论和伽罗瓦理论，简化并推广了文[3-5]中的结 果． 本文结构如下．首先回顾数论中的一些必要的背景知识，然后考虑当z‰】为代数整 数环时，给出了判定一个元素是否可约的充分条件(利用后面的知识其实是一个充要条 件)，从而推广了文[35]中的相应结果；其次考虑任意分圆域的代数整数环，利用素元的 性质证明了所构造的剩余域同构于有限域，从而实现了有限域上的线性分组码． §2．预备知识及基本结论 本节首先回顾代数数论中的关键性理论，然后在分圆域的代数整数环是主理想环的 情形，用一个一般性方法给出判定一个元素是否可约的充分(必要)条件． 一个代数数域是指复数域c的子域且为有理数域Q有限次扩域．设靠=e27ri／n， n∈z十，为n次本原单位根，域Q(e2”／“)称为n次分圆域，它是Q上的妒(n)次伽 罗瓦扩张．其中妒为欧拉函数(即妒(n)是模n的既约剩余类个数)．而且Q(矗)对Q 的伽罗瓦群GalqQ(厶)同构于整数环z。的单位乘群．Q(矗)的代数整数环为z[矗]= {oo+口l矗+…+o妒㈤一1簖puIai∈Z，0S 义，(厶)的伽罗瓦范为 NQO(‘n’(，(矗))=II 盯(，(厶))． aEGalQQ(∈。) 数的定义，易见N(，(厶)g(厶))=N(，(靠))N(，(矗))，其中，(靠)，9(厶)∈Q(厶)． 下面两个引理是关键性的． 引理2．1(见[6])设F=Q(岛)为分圆域，则 (