環＋＋…＋上的一類常循環碼

李 巖， 朱士信

（合肥工業大學 數學學院，安徽 合肥 230009）

環＋＋…＋上的一類常循環碼

李 巖， 朱士信

（合肥工業大學 數學學院，安徽 合肥 230009）

文章研究了環R＝＋＋…＋上任意長的（1＋uβ）－常循環碼的結構，確定了環R上長為N＝的不同的（1＋uβ）－常循環碼的個數和這樣的碼所含碼字的個數，并得到環R上的（1＋uβ）－常循環對偶碼的結構。

常循環碼；Galois環；對偶碼；離散傅里葉變換；零化子

0 引 言

有限域上的編碼理論已經比較成熟，在文獻［1］中得到某些二元非線性碼可以看作是Z4環上的Gray像，使得近年來環上碼的研究成為編碼理論學家研究的一個熱點。特別地，有限環上常循環碼的研究也成為研究熱點之一。文獻［2］研究了Z4上奇長負循環碼；文獻［3］運用變換的方法將Z4上所有偶長的負循環碼分類；文獻［4］研究了環Z4上的循環碼的生成元；文獻［5］研究了有限鏈環上循環碼和負循環碼的結構；文獻［6］研究了GR（2a，m）上長為2s的負循環碼的結構，并確定了這些負循環碼的漢明距離；文獻［7］研究了F2＋uF2＋u2F2上線性碼及其Gray像；近年來重根循環碼得到廣泛的研究，文獻［8－9］研究了Fp［u］／〈um〉及上一類任意長的常循環碼，文獻［10］研究了Z2a上偶長的對偶和自對偶負循環碼。

本文研究了環R＝Fpm＋uFpm＋…＋uk－1

上任意長的（1＋uβ）－常循環碼，得到R的Galois擴環上的長為ps的（1＋uβ）－常循環碼的結構，并用這些碼來構造R上長為N＝psn的（1＋uβ）－常循環碼，其中（n，p）＝1；確定了R上給定長的不同的（1＋uβ）－常循環碼的個數和這樣的碼所含碼字的個數；得到了環R上的（1＋uβ）－常循環對偶碼的結構。

1 基本概念

設R＝Fpm＋uFpm＋…＋uk－1，其中uk＝0。R是局部環，其極大理想為〈u〉，剩余域為。設q＝pm，N＝psn，其中（n，p）＝1。環R上長為N的碼C是RN的一個R－子模，定義循環置換σ：RN→RN為：（c0，c1，…，cN－1）→ （cN－1，c0，…，cN－2）。對環R中任一可逆元λ，定義λ－常循環置 換σλ：RN→RN為：（c0，c1，…，cN－1）→（λcN－1，c0，…，cN－2）。如果C為R上的碼，滿足σ（C）＝C，則稱碼C為循環碼。如果σλ（C）＝C，則稱碼C為λ－常循環碼。對于任意c＝（c0，c1，…，cN－1）∈C，設c（x）＝c0＋c1x＋…＋cN－1x（N－1）為其在環R［x］／〈xN－λ〉中的多項式表示，則C是環R上的λ－常循環碼等價于C（x）是環R［x］／〈xN－λ〉的理想。

設為f（x）∈R［x］模u化簡后的多項式。若在［x］中不可約，則稱f（x）在R［x］中基本不可約。設R的 Galois擴環為GR（R，r）＝R［x］／〈h（x）〉，其中h（x）是R［x］中次數為r的首一基本不可約多項式。則GR（R，r）是局部環，其極大理想為〈u〉，剩余域為。設I是模n的q－分圓陪集的代表組成的集合，r是q模n的階，ξ是中的n次本原單位根。由Hensel引理知GR（R，r）也包含一個n次本原單位根ξ。設u＝（u0，u1，…，uN－1），v＝（v0，v1，…，vN－1）∈RN。定義u和v的內積為：

如果u·v＝0，則稱u和v正交。設C是R上長為N的線性碼，定義C⊥＝｛u｜u·v＝0，?v∈C｝。如果C?C⊥，則稱C是自正交的。如果C＝C⊥，則稱C是自對偶碼。

定義1 設I是R［x］／〈xN－λ〉的理想，定義A（I）＝｛g（x）｜g（x）f（x）＝0，?f（x）∈I｝為I的零化子，則A（I）也是R［x］／〈xN－λ〉的理想。

定義2 設f（x）＝a0＋a1x＋…＋arxr∈R［x］／〈xN－λ〉，則f＊（x）＝xrf（x－1）＝ar＋ar－1x＋…＋a0xr稱為f（x）的互反多項式。

2 主要結果

2.1 （1＋uβ）－常循環碼

下面研究R上長為N＝psn的（1＋uβ）－常循環碼，其中（n，p）＝1，β為R中單位（即β＝β0＋uβ1＋…＋uk－1βk－1，其中β0為Fpm中非零元，βi∈Fpm，1≤i≤k－1）。記RN＝R［x］／〈xN－（1＋uβ）〉。定義μ：RN→Fpm［x］／〈xN－1〉為：?f（x）∈RN，μ（f（x））＝f（x）（modu），則μ是 環 同 態。 記R（v，r）＝GR（R，r）［v］／〈－（1＋uβ）〉。類似于文獻［8］中引理3.1的證明可得下面引理。

引理1 在R（v，r）中，v－1是冪零的，且冪零指數為psk。

定理1 環R（v，r）是有限鏈環，其極大理想為〈v－1〉，剩余域為。R（v，r）的理想為〈（v－1）i〉，其中0≤i≤psk。

由引理1知u＝（v－1）ps β－1，因 此 存 在g（v）∈R（v，r），使得f（v）＝a00＋（v－1）g（v）。

如果a00＝0，則由（v－1）冪零可得f（v）＝（v－1）g（v）是冪零的。

如果a00≠0，a00是Fqr的單位，則f（v）＝a00＋（v－1）g（v）。設h（v）＝（v－1）g（v），t＝psk，則1＝1＋ht（v）＝（1＋h（v））（1－h（v）＋h2（v）－…＋ht－1（v）），因此f（v）可逆。故f（v）不是可逆的當且僅當a00＝0。此時有f（v）∈〈v－1〉，因此R（v，r）是局部環，其極大理想為〈v－1〉。則R（v，r）是有限鏈環，其極大理想為〈v－1〉，剩余域為，且R（v，r）的 理 想 為 〈（v－1）i〉，其中0≤i≤psk。

推論1 設C是GR（R，r）上長為ps的（1＋uβ）－常循環碼，則C＝〈（v－1）i〉?R（v，r），其中0≤i≤psk，且C中碼字個數為：

證明 因為GR（R，r）上長為ps的（1＋uβ）－常循環碼恰好是R（v，r）的理想，故第1部分成立。又因為R（v，r）是有限鏈環，其剩余域為Fqr，故第2部分成立。

由于R（v，1）＝R［v］／〈－（1＋uβ）〉，則對?a∈R（v，1），有a＝a0＋a1x＋…＋，其中ai∈R。設?c∈Rn（v，1），則c＝＋），其中∈R，0≤i≤ps－1，0≤j≤n－1。定義映射φ：R（v，1）n→RN為：φ（c）＝（，…易知φ是環同構映射。

下面一些定理的證明過程類似于文獻［8］中相應定理的證明，在這里省略不證。

定理2 碼C是R（v，1）上長為n的x－常循環碼充要條件為φ（C）是R長為N的（1＋uβ）－常循環碼。即I是R（v，1）［z］／〈zn－x〉的理想?φ（I）是R［x］／〈xN－（1＋uβ）〉的理想。

對?b∈GR（R，r），則b＝ξ0＋uξ1＋…＋uk－1ξk－1，其中ξi∈Fqr。

定義GR（R，r）上的Frobenius環自同構σf為σf（b）＝＋＋…＋uk－1，且可擴展為R（v，ri）上的Frobenius環自同構。對任意c∈RN，則有＾ci∈R（v，ri）和＾cqi＝σf（＾ci），其中下標為模n后的值。

設~c＝ ｛（＾c0，＾c1，…，＾cn－1）∈R（v，r）n｜＾ci∈R（v，ri），＾cqi＝σf（＾ci）｝，則在向量分量加法與分量積運算下~c是環。并且（v，ri）。

定理3 設N＝psn，其中（n，p）＝1，則γ：RN→R（v，ri）：γ（c（x））＝（＾ci）i∈I，是環同構。特別地，如果C是R上長為N的（1＋uβ）－常循環碼，則CCi，其中Ci是R（v，ri）中的理想｛c（vn′ξi）｜c（x）∈C｝。

推論2 環R上長為N的不同的（1＋uβ）－常循環碼的個數為（psk＋1）t，其中t為模n的q－分圓陪集的個數。

引理3 設n′是滿足nn′≡1（modps＋e）的正整數，其中e是使pe≥m成立的最小正整數；設fh是ξh在R［x］中的極小多項式，cq（h，n）是包含h的模n的q－分圓陪集；則有：

（1）如果i?cq（h，n），則fh（vn′ξi）是R（v，ri）的單位。

（2）fh（vn′ξh）∈〈v－1〉，且fh（vn′ξh）?〈（v－1）2〉。

證明 由定理3知CCi，其中Ci是R（v，ri）中的理 想 ｛c（vn′ξi）｜c（x）∈C｝。當 0≤ki≤psk時，對于滿足Ci＝〈（v－1）ki〉的i，定義fi（x）為ξi的極小多項式。則其中fi（x）是［x］中兩兩互素的首一不可約多項式。由fi（x）的選取知，因此對于c（x）∈C，存在g（x）∈RN，使

2.2 （1＋uβ）－常循環對偶碼

設β′＝1＋u（－β＋uβ2＋…＋（－1）k－1×uk－2βk－1），則β′為R中 可 逆 元 且 （1＋uβ）（1＋uβ′）＝1。因此（1＋uβ）－1＝（1＋uβ′）。設R′N＝R［x］／〈xN－ （1＋uβ′）〉，定 義 映 射η：RN→R′N為：f（x）→f＊（x），易知其為環同構。因此只要將前面的fi（x）替換成（x）即可得到R′N中相應的結論。

定理5 設C是RN的理想，則C＊＝｛f＊（x）｜?f（x）∈C｝是R′N的理想。

證明 設λ＝1＋uβ，則λ－1＝1＋uβ′。

〉的理想。

定理6 設a（x）＝a0＋a1x＋…＋aN－1xN－1，b（x）＝b0＋b1x＋…＋bN－1xN－1∈RN，a＝（a0，a1，…，aN－1），b′＝（bN－1，bN－2，…，b0），則在RN中，a（x）b（x）＝0?a·（b′）＝0，其中1≤j≤N。

證明 考慮a（x）b（x）中xh的系數，則

故a（x）b（x）＝0?a·（b′）＝0，其中1≤j≤N。

定理7 設C是R上長為N的λ－常循環碼，則C⊥＝A（C）＊是R′N的理想。

證明 由定理5和定理6知此定理成立。

定理9 設CCi是R上長為N的（1＋uβ）－常循環碼，Di′＝C⊥i，其中i′為包含n－i的分圓陪集的代表元，Ci為R（v，ri）的理想，則C⊥＝Di?R′N。

3 結束語

本文主要得到了環Fpm＋uFpm＋…＋uk－1Fpm上任意長的（1＋uβ）－常循環碼的結構，確定了此環上給定長的不同的（1＋uβ）－常循環碼的個數及這樣的碼所含碼字的個數，研究了環R上的（1＋uβ）－常循環對偶碼的結構。

［1］Hammons A R，Kumar P V，Calderbank A R，et al.TheZ4－linearity of Kerdock，Preparata，Goethals，and related codes

［J］.IEEE Trans Inform Theory，1994，40（2）：301－319.［2］Wolfmann J.Negacyclic and cyclic codes overZ4［J］.IEEE Trans Inform Theory，1999，45（7）：2527－2532.

［3］Blackford T.Negacyclic codes overZ4of even length［J］.IEEE Trans Inform Theory，2003，49（6）：1417－1424.

［4］Abualrub T，Oehmke R.On the generators ofZ4cyclic codes of length 2e［J］.IEEE Trans Inform Theory，2003，49（9）：2126－2133.

［5］Dinh H Q，Lpez－Permouth S R.Cyclic and negacyclic codes over finite chain rings［J］.IEEE Trans Inform Theory，2004，50（8）：1728－1744.

［6］Dinh H Q.Negacyclic codes of length 2sover Galois rings［J］. IEEE Trans. Inform. Theory， 2005， 51（12）：4252－4262.

［7］黃成寶，朱士信.環F2＋uF2＋u2F2上線性碼及其Gray象的生成矩陣［J］.合肥工業大學學報：自然科學版，2009，32（9）：1436－1438，1441.

［8］Kai Xiaoshan，Zhu Shixin，Li Ping.（1＋λu）－constacyclic codes overFp［u］／〈um〉［J］.Journal of the Franklin Institute，2010，347：751－762.

［9］Zhu Shixin，Kai Xiaoshan.A class of constacyclic codes overZpm［J］.Finite Field and Their Applications，2010，16：243－254.

［10］Zhu Shixin，Kai Xiaoshan.Dual and self－dual negacyclic codes of even length overZ2a［J］.Discrete Mathematics，2009，309：2382－2391.

A class of constacyclic codes over ring＋＋…＋

LI Yan， ZHU Shi－xin
（School of Mathematics，Hefei University of Technology，Hefei 230009，China）

In this paper，（1＋uβ）－constacyclic codes over the ringR＝Fpm＋uFpm＋…＋uk－1Fpmof an arbitrary length is studied.The number of distinct （1＋uβ）－constacyclic codes over the ringRof lengthN＝psnis determined，so is the number of codewords in each such code.The structure of（1＋uβ）－constacyclic dual codes over the ringRis also derived.

constacyclic code；Galois ring；dual code；discrete Fourier transform；annihilator

TN911.22

A

1003－5060（2012）03－0408－04

10.3969／j.issn.1003－5060.2012.03.027

2011－06－07

國家自然科學基金資助項目（60973125）；高等學校博士學科點專項科研基金資助項目（20080359003）作者簡介：李 巖（1985－），男，安徽蒙城人，合肥工業大學碩士生；

朱士信（1962－），男，安徽樅陽人，博士，合肥工業大學教授，博士生導師.

（責任編輯 馬國鋒）