李建豪,吳化璋
(安徽大學(xué) 數(shù)學(xué)科學(xué)學(xué)院,安徽 合肥 230601)
循環(huán)碼是編碼理論中的重要組成部分,由于其豐富的代數(shù)結(jié)構(gòu),在糾錯(cuò)碼中起著至關(guān)重要的作用。關(guān)于循環(huán)碼和準(zhǔn)循環(huán)碼已經(jīng)有大量文獻(xiàn)資料,但很多研究都是關(guān)于交換環(huán)的。在最近的研究中,主要集中在非交換環(huán)上的循環(huán)碼、準(zhǔn)循環(huán)碼和常循環(huán)碼。斜多項(xiàng)式環(huán)作為非交換環(huán)的一個(gè)重要類別,也得到了很多學(xué)者的關(guān)注。
非交換環(huán)上循環(huán)碼的研究最早是由Boucher等[1]討論的,他們研究了斜多項(xiàng)式環(huán)Fq[x,θ]上的循環(huán)碼,其中Fq是一個(gè)有限域且θ是Fq上的一個(gè)自同構(gòu)。準(zhǔn)循環(huán)碼也是一類重要的線性碼,包括循環(huán)碼。因此很多學(xué)者開始研究斜準(zhǔn)循環(huán)碼。Abualrub等[2]研究了有限域上的斜準(zhǔn)循環(huán)碼,給出了其生成多項(xiàng)式;Bhaintwal[3]對(duì)伽羅瓦環(huán)上斜準(zhǔn)循環(huán)碼進(jìn)行了研究,給出了其自由的一個(gè)充分條件; Boucher等[4]給出了有限域上θ-循環(huán)碼對(duì)偶的一些結(jié)果;Siap等[5]闡明了有限域上任意長(zhǎng)度、任意條件下的斜循環(huán)碼的結(jié)構(gòu),因此Fq上斜循環(huán)碼得到進(jìn)一步推廣;Abualrub等[6]研究了環(huán)F2+vF2上的斜循環(huán)碼,并給出了在該環(huán)上的斜循環(huán)碼的生成多項(xiàng)式,開啟了非鏈環(huán)上斜循環(huán)碼的研究;Mohammad[7]和Gao[8]進(jìn)一步推廣文獻(xiàn)[6]的結(jié)果,分別研究了環(huán)F3+vF3和環(huán)Fp+vFp上的斜循環(huán)碼;Mehmet等[9]研究了環(huán)Fq+vFq上的斜準(zhǔn)循環(huán)碼,給出了1-生成元斜準(zhǔn)循環(huán)碼的生成元集。借鑒上述研究,本文考慮非鏈環(huán)Fq+vFq+v2Fq上的斜準(zhǔn)循環(huán)碼,其中v3=v。顯然v2=1時(shí),F(xiàn)q+vFq上斜準(zhǔn)循環(huán)碼可看作是文獻(xiàn)[7-8]中斜循環(huán)碼的推廣。同時(shí)又探討了此非鏈環(huán)上斜準(zhǔn)循環(huán)碼與有限域Fq上斜準(zhǔn)循環(huán)碼之間的聯(lián)系。
定義環(huán)R上的一個(gè)自同構(gòu)
σs:Fq+vFq+v2Fq→Fq+vFq+v2Fq,
x+vy+v2zxps+vyps+v2zps。
根據(jù)這個(gè)自同構(gòu),先給出斜多項(xiàng)式環(huán)的定義。
易知R[x,σs]是一個(gè)非交換環(huán)。
對(duì)于任意的f(x),g(x)∈R[x,σs],如果存在一個(gè)多項(xiàng)式p(x)∈R[x,σs],使得f(x)=p(x)g(x),則g(x)稱為f(x)的右因式。左因式也可以類似定義。
定義2設(shè)f(x),g(x)∈R[x,σs],若存在d(x)∈R[x,σs]是f(x)和g(x)的一個(gè)右公因式,且f(x)和g(x)的其他右公因式都是d(x)的右因式,則稱d(x)為f(x)和g(x)的最大右公因式,記為d(x)=gcrd(f(x),g(x))。
兩個(gè)多項(xiàng)式的最大左公因式(gcld)也用類似的方法定義。
a+vb+v2c(a,a+b+c,a-b+c)。
如果C是R上長(zhǎng)為n的線性碼,定義:
則C1,C2和C3都是Fq上長(zhǎng)為n的線性碼。由文獻(xiàn)[10]知,R上長(zhǎng)為n的線性碼C可以唯一分解為
C=(1-v2)C1⊕(v2+v)C2⊕(v2-v)C3。
給出環(huán)R上斜準(zhǔn)循環(huán)碼的定義。
定義3設(shè)σs是環(huán)R的自同構(gòu),稱C是R上長(zhǎng)為N=nl斜準(zhǔn)循環(huán)碼,若C滿足以下兩個(gè)條件:
(1)C是RN的R-子模;
(2) 若
則
其中τl是斜準(zhǔn)循環(huán)移位算子。
從定義3可以看出,R上指標(biāo)為l長(zhǎng)為N的斜準(zhǔn)循環(huán)碼在映射τl下是不變的線性碼。如果這里l=1,則它就是環(huán)R上的斜循環(huán)碼; 如果自同構(gòu)σs是單位自同構(gòu),則它又是環(huán)R上通常的準(zhǔn)循環(huán)碼。
p(x)(q1(x),q2(x),…,ql(x))=
(p(x)q1(x),p(x)q2(x),…,p(x)ql(x))。
定義一個(gè)映射
c(c0(x),c1(x),…,cl-1(x))。
證明設(shè)C是R上長(zhǎng)為N=nl的斜準(zhǔn)循環(huán)碼,c=(c0,0,…,c0,l-1,c1,0,…,c1,l-1,…,cn-1,0,…,cn-1,l-1)∈C。因此,有φ(c)=(c0(x),c1(x),…,cl-1(x))∈φ(C)。則
xφ(x)=(xc0(x),xc1(x),…,xcl-1(x))=
φ(C)。
所以有
φ(τl(c))=x(c0(x),c1(x),…,cl-1(x))=
(xc0(x),xc1(x),…,xcl-1(x))∈D。
故τl(c)∈C,C是環(huán)R長(zhǎng)為N=nl的斜準(zhǔn)循環(huán)碼。
C={f(x)u(x)=(f(x)u1(x),f(x)u2(x),…,
f(x)ul(x))|f(x)∈Rn}。
斜循環(huán)碼作為斜準(zhǔn)循環(huán)碼的一種特殊情況,也具有豐富的性質(zhì)。
引理2設(shè)C是由u(x)生成的斜循環(huán)碼,且在R[x,σs]中有xn-1=h(x)u(x)。若p(x)與h(x)互素,則C=〈p(x)u(x)〉。
證明易知,〈p(x)u(x)〉?C。下面證明C?〈p(x)u(x)〉。因?yàn)閜(x)與h(x)互素,所以存在a(x),b(x)∈R[x,σs], 使得a(x)p(x)+b(x)h(x)=1?,F(xiàn)在等式兩邊同時(shí)乘以u(píng)(x),有a(x)p(x)u(x)+b(x)h(x)u(x)=u(x),即a(x)p(x)u(x)=u(x) (modxn-1)??梢缘玫絬(x)∈〈p(x)u(x)〉。故C=〈p(x)u(x)〉。
(c0(x),c1(x),…,cl-1(x))ci(x)。
設(shè)φi(C)=Ci。顯然,映射φi是一個(gè)模同態(tài)。所以Ci是Rn的R[x,σs]-子模,即,Ci是R上長(zhǎng)為n的斜循環(huán)碼。如果Ci=〈ui(x)〉,其中ui(x)是xn-1=hi(x)ui(x)的右因式,且pi(x)與ui(x)互素。由引理2知,C的生成元有如下形式
u(x)=(p1(x)u1(x),p2(x)u2(x),…,pl(x)ul(x))。
設(shè)C是R上由u(x)=(p1(x)u1(x),p2(x)u2(x),…,pl(x)ul(x))生成,長(zhǎng)為N=nl的1-生成元斜準(zhǔn)循環(huán)碼。定義一個(gè)首一多項(xiàng)式為
u(x)=gcld(u(x),xn-1)=gcld{p1(x)u1(x),
p2(x)u2(x),…,pl(x)ul(x),xn-1}。
定理1設(shè)C是R上由u(x)=(p1(x)u1(x),p2(x)u2(x),…,pl(x)ul(x))生成,長(zhǎng)為N=nl的1-生成元斜準(zhǔn)循環(huán)碼,其中ui(x)是xn-1的一個(gè)首一的右因式,且
則C是秩為n-deg(u(x))的自由斜準(zhǔn)循環(huán)碼,且一組基為
S={u(x),xu(x),…,xn-deg(u(x))-1u(x)},
其中u(x)=gcld(u(x),xn-1)。
證明首先證明集合S能生成碼C。因?yàn)閡(x)=gcld(u(x),xn-1),故存在一個(gè)首一多項(xiàng)式v(x),使得xn-1=u(x)v(x)。設(shè)deg(u(x)) =k,則deg(v(x))=n-k。碼C中元素為c(x)=a(x)u(x),其中a(x)∈Rn。由右除法知,存在兩個(gè)多項(xiàng)式q(x),r(x)∈R[x,σs],使得
a(x)=q(x)v(x)+r(x),0≤deg(r(x)) 又因?yàn)閡(x)=gcld(u(x),xn-1),故存在一個(gè)多項(xiàng)式s(x)∈Rn,使得u(x)=u(x)s(x)。又xn-1是R[x,σs]的中心,所以有xn-1=u(x)v(x)=v(x)u(x)。則 v(x)u(x)=v(x)u(x)s(x)=u(x)v(x)s(x)= (xn-1)s(x)≡0 (mod(xn-1))。 進(jìn)一步可以得到 c(x)=a(x)u(x)=(q(x)v(x)+r(x))u(x)= 因?yàn)閐eg(r(x)) 下面證明S是線性無(wú)關(guān)的。設(shè)多項(xiàng)式a(x)= ui(x)=0,xn-1是a(x)pi(x)ui(x)的因式。又因?yàn)閤n-1是a(x)(xn-1)的因式,故 xn-1|gcld(a(x)p1(x)u1(x),…,a(x)pl(x)ul(x), a(x)(xn-1)),即xn-1|a(x)u(x)。因?yàn)閐eg(a(x)u(x))=n-1 設(shè)a=(a0,a1,…,an-1)∈Rnl,b=(b0,b1, …,bn-1)∈Rnl,其中ai=(ai,0,ai,1,…,ai,l-1)∈Rl,bi=(bi,0,bi,1,…,bi,l-1)∈Rl,i=0,1,…,n-1。 定義a和b的歐幾里得內(nèi)積為 則C關(guān)于歐幾里得內(nèi)積的對(duì)偶碼定義為 C⊥={b∈Rnl|a·b=0,?a∈C}, 斜準(zhǔn)循環(huán)碼的對(duì)偶碼也是斜準(zhǔn)循環(huán)碼。 定理2設(shè)C是R上長(zhǎng)為N=nl的線性碼。則C是關(guān)于自同構(gòu)σs的斜準(zhǔn)循環(huán)碼當(dāng)且僅當(dāng)C⊥是關(guān)于自同構(gòu)σs,長(zhǎng)為N=nl的斜準(zhǔn)循環(huán)碼。 其中下標(biāo)i+n-1是對(duì)n取模。所以τl(b)∈C,即C⊥是長(zhǎng)為N=nl斜準(zhǔn)循環(huán)碼。 例1設(shè)R=F4+vF4+v2F4,當(dāng)n=5時(shí),有 x5-1=(x+3)(x4+x3+x2+x+1)。 若C是環(huán)R上由u(x)=(u1(x),u2(x))生成,長(zhǎng)為10的1-生成元斜準(zhǔn)循環(huán)碼,其中u1(x) =u2(x)=x4+x3+x2+x+1。由定理1知,gcld(u(x),x5-1)=x4+x3+x2+x+1且C的一組基為{u(x)},因此|C|=64,Lee重量為10。可以得到碼C在Gray映射φ下的象是F4上參數(shù)為(30,43,10)的線性碼。 本文所用的方法與文獻(xiàn)[11]中的方法類似,不同之處在于本文研究的是斜準(zhǔn)循環(huán)碼。 定理3設(shè)C=(1-v2)C1⊕(v2+v)C2⊕(v2-v)C3是環(huán)R上長(zhǎng)為N=nl的線性碼,則C是R上關(guān)于自同構(gòu)σs的斜準(zhǔn)循環(huán)碼當(dāng)且僅當(dāng)C1,C2,C3分別是Fq上關(guān)于自同構(gòu)σs,長(zhǎng)為N的斜準(zhǔn)循環(huán)碼。 證明先證明必要性。對(duì)于任意的r=(r0,0, …,r0,l-1,r1,0…,r1,l-1,…,rn-1,0,…,rn-1,l-1)∈C,記ri,j=(1-v2)ai,j+(v2+v)bi,j+(v2-v)ci,j,其中ai,j,bi,j,ci,j∈Fq,0≤i≤n-1,0≤j≤l-1。設(shè) a=(a0,0,…,a0,l-1,a1,0,…,a1,l-1,…,an-1,0,…,an-1,l-1), b=(b0,0,…,b0,l-1,b1,0,…,b1,l-1,…,bn-1,0,…,bn-1,l-1), c=(c0,0,…,c0,l-1,c1,0,…,c1,l-1,…,cn-1,0,…,cn-1,l-1), 有a∈C1,b∈C2,c∈C3。假設(shè)C1,C2,C3是Fq上關(guān)于自同構(gòu)σs,長(zhǎng)為nl的斜準(zhǔn)循環(huán)碼,則 τl(a)= 同理, τl(b)= τl(c)= 所以τl(r)= (1-v2)τl(a)+(v2+v)τl(b)+(v2-v)τl(c)∈C。故C是R上關(guān)于自同構(gòu)σs,長(zhǎng)為nl的斜準(zhǔn)循環(huán)碼。 下面證明充分性。因?yàn)镃是環(huán)R上關(guān)于自同構(gòu)σs,長(zhǎng)為nl的斜準(zhǔn)循環(huán)碼,所以τl(r)∈C。又因(1-v2)τl(a)+(v2+v)τl(b)+(v2-v)τl(c) =τl(r),故(1-v2)τl(a)+(v2+v)τl(b)+(v2-v)τl(c)∈C。因此τl(a)∈C1,τl(b)∈C2,τl(c) ∈C3,C1,C2,C3是Fq上關(guān)于自同構(gòu)σs,長(zhǎng)為nl的斜準(zhǔn)循環(huán)碼。 定理4設(shè)C=(1-v2)C1⊕(v2+v)C2⊕(v2-v)C3是環(huán)R上長(zhǎng)為N=nl的斜準(zhǔn)循環(huán)碼,則 C=〈(1-v2)g1(x),(v2+v)g2(x),(v2-v)g3(x)〉, 其中g(shù)1(x)=(g11(x),g12(x),…,g1l(x)),g2(x)= (g21(x),g22(x),…,g2l(x)),g3(x)=(g31(x),g32(x),…,g3l(x))分別是C1,C2,C3的生成多項(xiàng)式。 證明由定理3可得,C1,C2,C3是Fq上長(zhǎng)為N的斜準(zhǔn)循環(huán)碼,從而有C1=〈g1(x)〉,C2= 〈g2(x)〉,C3=〈g3(x)〉,且C=(1-v2)C1⊕(v2+v)C2⊕(v2-v)C3,于是有C={c(x)|c(x)=(1 -v2)f1(x)+(v2+v)f2(x)+(v2-v)f3(x),f1(x)∈C1,f2(x)∈C2,f3(x)∈C3}。因此 C?〈(1-v2)g1(x),(v2+v)g2(x), (v2-v)g3(x)〉。 反之,對(duì)任意的f(x)=(1-v2)k1(x)g1(x)+ (v2+v)k2(x)g2(x)+(v2-v)k3(x)g3(x)∈〈(1-v2)g1(x),(v2+v)g2(x),(v2-v)g3(x)〉,其中k1(x),k2(x),k3(x)∈R[x,σs]/〈xn-1〉。這里顯然有 ki(x)=(1-v2)ai(x)+(v2+v)bi(x)+ (v2-v)ci(x), 其中ai,bi,ci∈Fq[x,σs],i=1,2,3, 因此 (1-v2)ki(x)=(1-v2)ai(x), (v2+v)ki(x)=(v2+v)bi(x), (v2-v)ki(x)=(v2-v)ci(x)。 由于C1,C2,C3是Fq上長(zhǎng)為N的斜準(zhǔn)循環(huán)碼,故ai(x)gi(x)∈Ci,i=1,2,3,從而〈(1-v2)g1(x), (v2+v)g2(x),(v2-v)g3(x)〉?C。 綜上,C= 〈(1-v2)g1(x),(v2+v)g2(x),(v2-v)g3(x)〉。 定理5設(shè)C1,C2,C3是Fq上分別由多項(xiàng)式g1(x)=(g11(x),g12(x),…,g1l(x)),g2(x)=(g21(x),g22(x),…,g2l(x)),g3(x)=(g31(x),g32(x),…,g3l(x))生成的斜準(zhǔn)循環(huán)碼。若C=(1-v2)C1⊕ (v2+v)C2⊕(v2-v)C3是R上長(zhǎng)為N=nl的斜準(zhǔn)循環(huán)碼,則存在g(x)=(g1(x),g2(x),…,gl(x)),其中g(shù)i(x)∈R[x,σs],i=1,2,…,l,使得C=〈g(x)〉,其中g(shù)(x)=(1-v2)g1(x)+(v2+v)g2(x)+(v2-v)g3(x)。 證明由定理4,可假設(shè)C=〈(1-v2)g1(x), (v2+v)g2(x),(v2-v)g3(x)〉,其中g(shù)1(x),g2(x),g3(x)分別是C1,C2,C3的首一多項(xiàng)式。令g(x)=(1-v2)g1(x)+(v2+v)g2(x)+(v2-v)g3(x)。顯然,〈g(x)〉?C。注意到有 因此C?〈g(x)〉。故C=〈g(x)〉。 又因?yàn)間ij(x)是xn-1的首一右因式,i=1,…,n;j=1,…,l。 則存在 r1(x),r2(x),r3(x) ∈Fq[x,σs]/〈xn-1〉, 使得 xn-1=r1(x)g1(x)=r2(x)g2(x)= r3(x)g3(x), 從而 xn-1=[(1-v2)r1(x)+(v2+v)r2(x)+ (v2-v)r3(x)]g(x), 因此g(x)|xn-1。g(x)的唯一性可由g1(x),g2(x),g3(x)的唯一性得到。 本文給出了R=Fq+vFq+v2Fq上斜準(zhǔn)循環(huán)碼的生成元集,且在定理3中確定了其與Fq上斜準(zhǔn)循環(huán)碼的聯(lián)系。同時(shí),證明了R上斜準(zhǔn)循環(huán)碼的對(duì)偶還是斜準(zhǔn)循環(huán)碼。在后續(xù)工作中,還可以考慮研究其他非交換環(huán)上的斜準(zhǔn)循環(huán)碼。3 R上斜準(zhǔn)循環(huán)碼的直和分解
4 結(jié)束語(yǔ)