張 曉 寒
(衡水職業(yè)技術(shù)學(xué)院 基礎(chǔ)部,河北 衡水 053000)
Fq是含有q個(gè)元素的有限域,是Fq上的n維線(xiàn)性空間,上的所有線(xiàn)性子空間構(gòu)成的集合,稱(chēng)為Fq上的n階射影空間.在上定義度量,對(duì)于任意. C為射影空間中的碼,,碼C的參數(shù)為(n, M, d),其中M表示碼C中碼字個(gè)數(shù),即,d表示碼C的最小距離,即C中不同碼字距離的最小值,.如果碼C中每個(gè)碼字的維數(shù)都是k(0≤k≤n),碼C稱(chēng)為等維碼,碼C的參數(shù)為表示射影空間中(n, M, d)碼所含碼字的最大個(gè)數(shù),表示射影空間中碼所含碼字的最大個(gè)數(shù),能達(dá)到最大值的等維碼稱(chēng)為最優(yōu)等維碼.Tuvi Etzion和 Alexander Vardy在文獻(xiàn)[1]中給出了的上界和下界,當(dāng)時(shí),.本文利用對(duì)偶空間給出了最優(yōu)等維碼的一種構(gòu)造.
下面的定義和引理是我們構(gòu)造最優(yōu)等維碼的理論基礎(chǔ).
引理1[1]1169設(shè),則對(duì)任意q有,
引理2[1]1171,(k不整除n).
定義1對(duì)于中的向量,,定義它們的內(nèi)積為
定義2設(shè)C是的子空間,對(duì)每個(gè),也是上的線(xiàn)性子空間,稱(chēng)為C的對(duì)偶空間,并且
引理3設(shè)為有限域Fq上的n維向量空間,G, H為它的子空間,則有的充要條件是
證明1) 必要性:由顯然,則,又因?yàn)?,?/p>
由引理1和引理2可以計(jì)算出上界下界之差為qr-2.當(dāng)q=2,r=1時(shí),上界下界之差為0,當(dāng)n=2k+1,q=2時(shí),由引理1和引理2可得出.下面我們利用對(duì)偶空間給出最優(yōu)等維碼的一種構(gòu)造方法.
由引理3知
下面我們給出一個(gè)具體例子.
[1] ETZIONAND T, VARDY A. Error-Correcting Codes in Projective Space[J]. IEEE Transactions On Information Theory,2011,57(2):1165-1174.
[2] 馮克勤.糾錯(cuò)碼的代數(shù)理論[M].北京:清華大學(xué)出版社,2005:14-21.
[3] 林東岱.代數(shù)學(xué)基礎(chǔ)與有限域[M].北京:高等教育出版社,2006:32-35.