国产日韩欧美一区二区三区三州_亚洲少妇熟女av_久久久久亚洲av国产精品_波多野结衣网站一区二区_亚洲欧美色片在线91_国产亚洲精品精品国产优播av_日本一区二区三区波多野结衣 _久久国产av不卡

?

Clifford代數(shù)C(Λ)的E(n)-模代數(shù)結(jié)構(gòu)

2017-11-22 03:15:55
關(guān)鍵詞:數(shù)域子模自同構(gòu)

鄭 燁

(江蘇食品藥品職業(yè)技術(shù)學(xué)院 基礎(chǔ)部,江蘇 淮安 223003)

?

Clifford代數(shù)C(Λ)的E(n)-模代數(shù)結(jié)構(gòu)

鄭 燁

(江蘇食品藥品職業(yè)技術(shù)學(xué)院 基礎(chǔ)部,江蘇 淮安 223003)

對(duì)于域k上任一個(gè)m×m矩陣Λ∈Symm(k)定義了一個(gè)Clifford代數(shù)C(Λ),C(Λ)同構(gòu)于自由代數(shù)Fm(Γ)模去某個(gè)理想I的商代數(shù).證明了I是Fm(Γ)的E(n)-子模,由此推出C(Λ)也是一個(gè)E(n)-模代數(shù),它的E(n)-模作用由E(n)在Fm(Γ)上的作用導(dǎo)出,記這樣的Clifford E(n) -模代數(shù)為C(Λ,Γ),同時(shí)刻畫了C(Λ,Γ)的相關(guān)結(jié)構(gòu).

Clifford代數(shù);E(n);模代數(shù)

1 預(yù)備知識(shí)

Hopf代數(shù)是代數(shù)學(xué)的一個(gè)重要分支,起源于代數(shù)拓?fù)浜痛鷶?shù)群理論,它在現(xiàn)代代數(shù)學(xué)中有著廣泛的應(yīng)用.模代數(shù)是Hopf代數(shù)中很重要的一個(gè)概念.設(shè)k是一個(gè)域,chark≠2,E(n)(n是一個(gè)正整數(shù))是域k上的2n+1-維Hopf代數(shù)[1-2].

xixj+xjxi=αij,1≤i,j≤n

簡記C(V,Q)為C(M),M=(αij)n×n稱為Clifford代數(shù)C(V)的對(duì)稱矩陣.

設(shè)Λ=(λij)m×m∈Symm(k)是數(shù)域k上的m×m對(duì)稱矩陣,則Λ確定一個(gè)Clifford代數(shù)C(Λ),C(Λ)作為代數(shù)由x1,x2,…,xm生成,滿足關(guān)系式:

xixj+xjxi=λij,i,j=1,2,…,m.

定理1[5]設(shè)Γ=(γij)n×m∈Mn×m(k)是域k上的n×m的矩陣,則Fm是一個(gè)左E(n)-模代數(shù),其模作用由Γ確定如下:

g·xj=-xj,hi·xj=γij,1≤i≤n,1≤j≤m.

引理1[6]設(shè)A=(αij)∈Mm(k),F(xiàn)m(Γ)的代數(shù)自同態(tài)φA如上,則φA是E(n)-模同態(tài)當(dāng)且僅當(dāng)ΓA=Γ.

定理2[6]設(shè)A=(αij)∈Mn(k),則φA是Fm(Γ)的E(n)-模代數(shù)自同構(gòu)當(dāng)且僅當(dāng)A是可逆矩陣,且ΓA=Γ.

2 主要結(jié)論及其證明

定理3 設(shè)Λ=(λij)m×m∈Symm(k)是數(shù)域k上的m×m對(duì)稱矩陣,Γ=(γij)m×m∈Mm×m(k)是n×m矩陣,則C(Λ)是一個(gè)左E(n)-模代數(shù),記作C(Λ,Γ)其模作用由下式確定:

g·xj=-xj,hi·xj=γij,1≤i≤n,1≤j≤m.

其中l(wèi)=1,2,…,n,故ker(f)是Fm(Γ)的一個(gè)E(n)-子模,從而C(Λ)是一個(gè)左E(n)-模代數(shù),模作用為:g·xj=-xj,hi·xj=γij,1≤i≤n,1≤j≤m.證畢.

以下我們固定一個(gè)m×m對(duì)稱矩陣Λ=(λij)和一個(gè)m×m矩陣Γ=(γij),則自然同態(tài)f:Fm(Γ)→C(Λ),xjаxj是一個(gè)E(n)-模代數(shù)同態(tài).任取域k上的一個(gè)m×m矩陣A=(αij),則A確定了Fm(Γ)唯一的一個(gè)代數(shù)自同態(tài)φA.此時(shí)C(Λ,Γ)的一個(gè)線性變換

ψA:C(Λ,Γ)→C(Λ,Γ)

稱為由φA誘導(dǎo)的,如以下交換:

↓f ↓f

注意,若這樣的ψA存在,必是由φA唯一確定的.

引理2 設(shè)A=(αij)∈Mm(k),則φA可誘導(dǎo)出C(Λ,Γ)的一個(gè)代數(shù)自同態(tài)ψA的充分必要條件是ATΛA=Λ,此時(shí)

證明 眾所周知φA能誘導(dǎo)出C(Λ,Γ)的一個(gè)代數(shù)自同態(tài)的充分必要條件是φA(ker(f))?ker(f).下面在Fm(Γ)中計(jì)算,對(duì)任意的1≤i,j≤m,有

φA(xixj+xjxi-λij)=

φA(xixj)+φA(xjxi)-φA(λij)=

φA(xi)φA(xj)+φA(xj)φA(xi)-λij=

因此

φAker(f)?ker(f)?φA(xixj+xjxi-λij)∈

ker(f),?1≤i,j≤m

進(jìn)一步地,若φA誘導(dǎo)的ψA存在,則對(duì)任意的1≤i≤m,有

ψA(xi)=ψA(f(xi))=(ψAf)(xi)=

設(shè)A=(αij)∈Mm(k),且φA可誘導(dǎo)出C(Λ,Γ)的一個(gè)代數(shù)自同態(tài)ψA,由引理2和引理1可得出ψA是E(n)-模同態(tài)的充分必要條件是ΓA=Γ.進(jìn)一步可以得到φA可誘導(dǎo)出C(Λ,Γ)的一個(gè)E(n)-模代數(shù)自同態(tài)ψA的充分必要條件是ATΛA=Λ且ΓA=Γ.

引理3 設(shè)A=(αij)∈Mm(k),且φA可誘導(dǎo)出C(Λ,Γ)的一個(gè)代數(shù)自同態(tài)ψA,則ψA是代數(shù)自同構(gòu)的的充分必要條件是A為可逆矩陣.

證明 由引理2和假設(shè)條件知ATΛA=Λ.

設(shè)A是可逆矩陣,則由定理2的證明知φA可逆且φA-1=φA-1.因?yàn)锳TΛA=Λ,所以(A-1)TΛA-1=Λ,再由引理3知φA-1可誘導(dǎo)出C(Λ,Γ)的一個(gè)代數(shù)自同態(tài)ψA-1,進(jìn)一步地還有ψAψA-1=ψA-1ψA=id,故ψA是C(Λ,Γ)的代數(shù)自同構(gòu).

反之,假設(shè)ψA是C(Λ,Γ)的代數(shù)自同構(gòu).令

V=span{x1,x2,…,xm}

[1]BEATTIEM,DSCLESCUS,GRüNENFELDERL.ConstructingpointedHopfalgebrasbyOreextension[J].J.Algebra, 2000, 225:743-770.

[2]CARNOVALEG,CUADRAJ.CocycletwistingofE(n)-modulealgebrasandapplicationstotheBrauergroup[J].K-Theory, 2004, 33:251-276.

[3]ZHANGY,CHENHX,HONGHB.StructuretheoremsofE(n)-azumayaalgebras[J].Front.Math.China, 2010, 5:757-776 .

[4]PERTTIL.CliffordAlgebrasandSpinors[M].Cambridge:CambridgeUniversityPress, 2001.

[5]鄭燁.自由代數(shù)Fm的E(n)-模代數(shù)的證明[J].山東理工大學(xué)學(xué)報(bào)(自然科學(xué)版),2014,28(6):59-61.

[6]鄭燁.自由代數(shù)Fm的E(n)-模代數(shù)結(jié)構(gòu)的研究[J].山東師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2015(3):63-64.

(編輯:郝秀清)

Research ofE(n)- module algebra structure of the Clifford algebraC(Λ)

ZHENG Ye

(Department of Basic Course,Jiangsu Food and Pharmaceutica Science College,Huai′an 223003,China)

For a m×m and matrix Λ∈Symm(k) of field k, we defines a Clifford algebraC(Λ),whichisisomorphictoafreealgebraicFm(Γ)modeltheidealIquotient.Firstly,weprovedthatIisFm(Γ)E (n) -submodule,thenconcludedthatC(Λ)isanE (n) -modelalgebra,whoseE (n) -modelactionisderivedfromtheFm(Γ)-model,here,wedenoteCliffordE (n) -modelalgebrabyC(Λ,Γ).AtthesametimewedescribedtherelatedstructureofC(Λ,Γ).

Cliffordalgebra;E (n);modelalgebra

2016-03-17

鄭燁,女,zhengyee@126.com

1672-6197(2017)01-0076-03

O153.3

A

猜你喜歡
數(shù)域子模自同構(gòu)
Abel數(shù)域的導(dǎo)子計(jì)算公式
認(rèn)知體驗(yàn)后建構(gòu) 拓展數(shù)域新天地
一類無限?ernikov p-群的自同構(gòu)群
τ-C11模的直和分解*
幾乎經(jīng)典素子模
關(guān)于有限Abel p-群的自同構(gòu)群
剩余有限Minimax可解群的4階正則自同構(gòu)
淺談實(shí)數(shù)集的完備性
一個(gè)有趣的數(shù)學(xué)教學(xué)案例
有限秩的可解群的正則自同構(gòu)
安阳县| 奉化市| 襄樊市| 阳春市| 凤山县| 保康县| 蒙城县| 新闻| 胶州市| 丹棱县| 镇沅| 建德市| 佛冈县| 若尔盖县| 乳源| 闵行区| 永安市| 肥东县| 舞阳县| 丹江口市| 方城县| 将乐县| 武邑县| 宾川县| 潜江市| 交口县| 海南省| 阿尔山市| 石景山区| 永平县| 怀来县| 钦州市| 和静县| 信丰县| 黔东| 福清市| 蕉岭县| 南郑县| 开远市| 吐鲁番市| 平陆县|