APP下载

环Fpm[u,v]/〈u3=u,v3=v,uv=vu〉上的常循环码

2021-07-28徐明洁

关键词:财政金融线性河南

孔 波, 徐明洁

(1.河南财政金融学院 统计与数学学院,河南 郑州 450046; 2.河南财政金融学院 计算机与信息技术学院,河南 郑州 450046)

0 引言

1 基础知识

环R上的理想I如果只有一个生成元, 则称之为主理想。 如果环R的所有理想都是主理想, 则称R为主理想环。如果R有唯一的极大理想称R为局部环。 如果R的所有理想按包含关系形成一条链, 则称之为链环。

令R=Fpm[u,v]/〈u3=u,v3=v,uv=vu〉,易知该环是Frobenius环,不是局部环。

R上长为n的线性码C是Rn的一个R子模。

由中国剩余定理可知R=e1R⊕e2R⊕…⊕e9R=e1Fpm⊕e2Fpm⊕…⊕e9Fpm。

设C为R上的长为n的线性码,则C可以唯一地表示为C=e1C1⊕e2C2⊕…⊕e9C9,其中Ci为Fpm上的线形码,i=1,2,…,9。

设σλ表示R上的一个λ-常循环移位, 即∀(c0,c1,…,cn-1)∈Rn, 都有σλ(c0,c1,…,cn-1)=(λcn-1,c0,c1,…,cn-2)。

设C为R上的长为n的线性码, 若∀(c0,c1,…,cn-1)∈C, 均有σλ(c0,c1,…,cn-1)=(λcn-1,c0,c1,…,cn-2)∈C, 则称C为环R上长为n的λ-常循环码。

∀a=(a0,a1,…,an-1)∈Rn,a的Hamming重量定义

wtH(a)=|{i|ai≠0,i=0,1,…,n-1}|,

码C的Hamming距离定义为

dH(C)=min{dH(a,b),a,b∈C,a≠b},

这里dH(a,b)=wtH(a-b)是元素a,b之间的Hamming距离。

2 Gray映射

dL(a,b)=wL(a-b),

则线性码C的李距离定义为

dL(C)=min{dL(a,b),a,b∈C,a≠b}。

由Gray映射定义,易得下面的定理。

(r1,r2,…,r9)+(r′1,r′2,…,r′9)=φ(a)+φ(b),

所以φ线性的。 由φ是双射可知|C|=|φ(C)|,由定理1,可得dH=dL。

定理4设C为R上的长为n的线性码,若C是自正交的, 则φ(C)也是自正交的。

3 环R上的常循环码

引理2如果C=e1C1⊕e2C2⊕…⊕e9C9为R上的线性码, 则C为R上的e1r1+e2r2+…+e9r9-常循环码当且仅当Ci为Fpm上的ri-常循环码,这里为e1r1+e2r2+…+e9r9上的可逆元。

C为R上的e1r1+e2r2+…+e9r9-常循环码当且仅当

当且仅当σri(ai)∈Ci,即Ci为Fpm上的ri-常循环码,i=1,2,…,9。

定理5若C=e1C1⊕e2C2⊕…⊕e9C9为R上长为n的e1r1+e2r2+…+e9r9-常循环码,则存在g(x)∈R[x]且g(x)|xn-(e1r1+e2r2+…+e9r9), 使得C=〈g(x)〉。

证明若C=e1C1⊕e2C2⊕…⊕e9C9为R上长为n的循环码,设Ci的生成多项式为gi,i=1,2,…,9,则

C=〈e1g1(x),e2g2(x),…,e9g9(x)〉。

由ei(e1g1(x)+e2g2(x)+…+e9g9(x))=eigi(x),可得C⊆C′。所以C=C′,且C可以由一个多项式生成。

由gi为Ci的生成多项式gi可知gi(x)|xn-ri。设fi(x)∈Fpm且满足gi(x)fi(x)=xn-ri,则

所以g(x)=e1r1+e2r2+…+e9r9, 定理5得证。

4 结论

本文根据Gray映射建立Fpm[u,v]/〈u3=u,v3=v,uv=vu〉上的常循环码与Fpm上线性码之间的对应关系,证明了环Fpm[u,v]/〈u3=u,v3=v,uv=vu〉上的常循环码是主理想生成的。

猜你喜欢

财政金融线性河南
线性回归方程的求解与应用
辽宁社会科学院财政金融研究所简介
出彩河南
河南:过大年,逛庙会
二阶线性微分方程的解法
非齐次线性微分方程的常数变易法
ℝN上带Hardy项的拟线性椭圆方程两个解的存在性
新型城镇化进程中财政与金融的协同作用
河南:走进就业的春天
放歌河南