环Fp+uFp上的循环码

2016-10-26 02:31常晓鹏
郑州大学学报(理学版) 2016年3期
关键词:对偶线性学报

孔 波, 常晓鹏

(1.河南教育学院 数学与统计学院 河南 郑州 450046; 2.河南教育学院 信息技术系 河南 郑州 450046)



环Fp+uFp上的循环码

孔波1,常晓鹏2

(1.河南教育学院 数学与统计学院河南 郑州 450046; 2.河南教育学院 信息技术系河南 郑州 450046)

研究了环Fp+uFp上循环码的结构, 这里p为素数,u2=u, 证明了该环上的循环码可由Fp+uFp上的一个多项式生成,并给出了其上循环码的生成多项式.

循环码; 主理想; Gray映射; 自正交码

0 引言

1 基础知识

有限交换环R上如果只有一个元素I生成,则I称为主理想. 如果环R的所有理想都是主理想, 则称R为主理想环. 如果R有唯一的极大理想R称为局部环.如果R的所有理想按包含关系形成一条链,则称R为链环.R上长为n的线性码C是Rn的一个R子模.

令R=Fp+uFp,这里u2=u. 已知Fp+uFp是特征为p的有限交换环, 该环有p2个元素.

引理1环R中有(p-1)2个单位元.

证明环R的任意元素r可以表示为r=a+bu, 由环的特征为p及u2=u, 可得rp=r. 则r(rp-1-1)=0,r∈R. 由此可得, 对任意的r∈R除了满足rp-1=1的都是零因子. 由rp-1=ap-1+u(a+b)p-1-uap-1=1. 可得ap-1=1,(a+b)p-1=1, 只要满足a≠0,a+b≠0即可.所以在R中满足a≠0,a+b≠0的有(p-1)2个元素, 可得环R中有(p-1)2个单位元.

环R是一个半局部环,R有两个极大理想

〈u〉={0,u,2u,…,(p-1)u},〈1-u〉={0,1-u,2-2u,…,p-1-(p-1)u},

每个极大理想有p个元素, 所以R/〈u〉与R/〈1-u〉都同构与Fp,R是一个主理想环,但不是有限链环.

设σ表示Rn上的一个循环移位, 即对任意的(c0,c1,…,cn-1)∈Rn,σ(c0,c1,…,cn-1)=(cn-1,c0,…,cn-2). 设C为R上的长为n的线性码,对任意的 (c0,c1,…,cn-1)∈C, 均有σ(c0,c1,…,cn-1)=(cn-1,c0,…,cn-2)∈C, 称C为环R上长为n的循环码.

2 Gray映射

定理2若C是R上长为n的(n,k,dL)线性码. 则φ(C)是Fp上的(2n,k,dH)线性码, 且dH=dL.

证明设ri=ai+ubi∈R,i=1,2,k∈Fp. 则

φ(r1+r2)=φ(a1+a2+u(b1+b2))=(a1+a2,a1+a2+b1+b2)=(a1,a1+b1)+(a2,a2+b2)=

φ(r1)+φ(r2)φ(kr1)=φ(ka1+kub1)=(ka1,ka1+kb1)=k(a1,a1+b1)=kφ(r1),

定理3设C是R上长为n的线性码. 则

这里gi为Ci的生成多项式,i=1,2.

证明对任意的(s1,s2,…,sn,t1,t2,…,tn)∈φ(C), 令ri=si(1-u)+tiu. 由φ是双射可知r=(r1,r2,…,rn)∈C. 由C1,C2的定义可知(s1,s2,…,sn)∈C1, (t1,t2,…,tn)∈C2, 所以(s1,s2,…,sn,t1,t2,…,tn)∈C1⊗C2, 即φ(C)⊆C1⊗C2.

反之, 若(s1,s2,…,sn,t1,t2,…,tn)∈C1⊗C2, 其中:(s1,s2,…,sn)∈C1; (t1,t2,…,tn)∈C2.存在x=(x1,x2,…,xn),y=(y1,y2,…,yn)∈C满足xi=si+umi,yi=ti+(1-u)ni, 其中:mi,ni∈Fp,i=1,2,…,n. 由C是线性的可知r=(1-u)x+uy∈C, 因此φ(r)=(s1,s2,…,sn,t1,t2,…,tn), 所以C1⊗C2⊆φ(C), 可得φ(C)=C1⊗C2, 由φ是双射,可知

这里gi为Ci的生成多项式,i=1,2.

引理2设C是R上长为n的线性码,C⊥为C的对偶码,则φ(C⊥)=φ(C)⊥,若C是自对偶的,则φ(C)也是自对偶的.

证明先证φ(C⊥)⊆φ(C)⊥, 设x,y∈C,其中:

x=(a1+b1u,a2+b2u,…,an+bnu);y=(c1+d1u,c2+d2u,…,cn+dnu);ai,bi,ci,di∈Fp.

可得

3 环R上的循环码

引理3如果C=(1-u)C1⊕(u)C2为R上的线性码, 则C为R上的循环码当且仅当C1,C2为Fp上的循环码.

证明设(x1,x2,…,xn)∈C1, (y1,y2,…,yn)∈C2, 则

((1-u)x1+uy1,(1-u)x2+uy2,…,(1-u)xn+uyn)∈C.

由C为R上的循环码可得 ((1-u)xn+uyn,(1-u)x1+uy1,…,(1-u)xn-1+uyn-1)∈C,

((1-u)xn+uyn,(1-u)x1+uy1,…,(1-u)xn-1+uyn-1)=

(1-u)(xn,x1,…,xn-1)+u(yn,y1,…,yn-1)∈C,

所以(xn,x1,…,xn-1)∈C1, (yn,y1,…,yn-1)∈C2,C1,C2均为Fp上的循环码.反过来, 若C1,C2均为Fp上的循环码, 设(x1,x2,…,xn)∈C1, (y1,y2,…,yn)∈C2, 则

((1-u)x1+uy1,(1-u)x2+uy2,…,(1-u)xn+uyn)∈C.

由C1,C2均为Fp上的循环码可知(xn,x1,…,xn-1)∈C1, (yn,y1,…,yn-1)∈C2, 可得

((1-u)xn+uyn,(1-u)x1+uy1,…,(1-u)xn-1+uyn-1)=

(1-u)(xn,x1,…,xn-1)+u(yn,y1,…,yn-1)∈(1-u)C1⊕(u)C2=C.

所以C为R上的循环码.

推论2如果C=(1-u)C1⊕(u)C2是R的循环码, 则C⊥也是R上的循环码.

定理4如果C=(1-u)C1⊕(u)C2是R上的循环码自对偶码, 当且仅当C1,C2为Fp上的循环码自对偶码.

定理5如果C=(1-u)C1⊕(u)C2是R上长为n的循环码 , 则存在g(x)∈R[x]且g(x)|xn-1, 使得C=〈g(x)〉.

证明若C=(1-u)C1⊕(u)C2是R上长为n的循环码. 设gi为Ci的生成多项式,i=1,2.则

C=〈(1-u)g1(x),ug2(x)〉.

令C′=〈(1-u)g1(x)+ug2(x)〉,易得C′⊆C.由

(1-u)[(1-u)g1(x)+ug2(x)]=(1-u)g1(x),

u[(1-u)g1(x)+ug2(x)]=(u)g2(x),

xn-1=[(1-u)g1(x)+ug2(x)][(1-u)f1(x)+uf2(x)].

所以xn-1=g(x)[(1-u)f1(x)+uf2(x)], 定理得证.

4 结论

本文根据Gray映射建立Fp+uFp(u2=u) 上的循环码与Fp上准循环码之间的对应关系,证明了环Fp+uFp上的循环码是主理想生成的.

[1]CENGELLENMIS Y. On the cyclic codes overF3+vF3[J]. International journal of algebra, 2010, 4(6): 253-259.

[2]SHI M, YANG S, ZHU S. Good p-ary quasi-cyclic codes from cyclic codes overFp+vFp[J]. Journal of systems science and complexity, 2012, 25(2): 375-384.

[3]丁健, 李红菊, 左学武, 等. 环F2+uF2+u2F2上的常循环码[J]. 电子学报, 2015,43(1):145-150.

[4]余海峰, 朱士信, 张霞. 环F2+uF2+vF2+uvF2上的1+uv-常循环码[J]. 电子与信息学报,2014, 36(6):1419-1422.

[5]周颖,李敏,魏俊潮. Abel环的一些刻画(Ⅱ) [J]. 扬州大学学报(自然科学版), 2015,18(1):1-8.

[6]CENGELLENMIS Y, DOUGHERTY S T. Cyclic codes overAk[C] // Proceedings of ACCT 2012. Pomorie, Bulgaria, 2012.

[7]LIU X S, XU X F. Cyclic and negacyclic codes of length 2psoverFpm+uFpm[J]. Acta mathematica scientia,2014, 34(3): 829-839.

[8]DERTLI A, CENGELLENMIS Y, EREN S. On quantum codes obtained from cyclic codes over A2[J]. International journal of quantum information, 2015, 13(3): 1550031.

[9]常晓鹏, 孔波, 郑喜英. 环Fpm+uFpm+…+uk-1Fpm上常循环码的等价性[J]. 郑州大学学报(理学版), 2014, 46(2): 16-20.

[10]郑喜英, 孔波, 刘洁,等. 环Fpm+uFpm+vFpm+uvFpm上长为2ps的λu-1常循环码[J]. 郑州大学学报(理学版), 2015, 47(2): 27-32.

(责任编辑:方惠敏)

Cyclic Codes over RingFp+uFp

KONG Bo1,CHANG Xiaopeng2

(1.SchoolofMathematicsandStatistics,HenanInstituteofEducation,Zhengzhou450046,China;2.DepartmentofInformationTechnology,HenanInstituteofEducation,Zhengzhou450046,China)

The structure of cyclic codes over ringFp+uFpwas studied, whereu2=u. It was proved that the cyclic codes over the ring were generated by one polynomial over the ringFp+uFp. And the generator polynomial of the cyclic codes was given.

cyclic codes; principal ideal; Gray map; self-orthogonal codes

2016-01-25

河南省基础与前沿基金资助项目(162300410083);河南教育学院应用数学重点学科资助项目.

孔波(1980—),男,河南周口人,讲师,主要从事代数与编码研究,E-mail:kongbo666@163.com.

O157.4

A

1671-6841(2016)03-0028-04

10.13705/j.issn.1671-6841.2016017

引用本文:孔波,常晓鹏.环Fp+uFp上的循环码[J] .郑州大学学报(理学版),2016,48(3):28-31.

猜你喜欢
对偶线性学报
《北京航空航天大学学报》征稿简则
对偶τ-Rickart模
《北京航空航天大学学报》征稿简则
《北京航空航天大学学报》征稿简则
线性回归方程的求解与应用
致敬学报40年
二阶线性微分方程的解法
非齐次线性微分方程的常数变易法
ℝN上带Hardy项的拟线性椭圆方程两个解的存在性
例析对偶式在解三角问题中的妙用