K（Z（2），σ）上的高斯擴張的性質(zhì)

謝光明，梁 婕

（廣西師范大學 數(shù)學與統(tǒng)計學院，廣西 桂林 541006）

設V是除環(huán)K上的全賦值環(huán)，σ∶Z（2）→Aut（K）是一個群同態(tài). 則Z（2）在K上的斜群環(huán)K［Z（2），σ］有左商除環(huán)，記為K（Z（2），σ）. 筆者主要研究K（Z（2），σ）上的高斯擴張的性質(zhì). 2007 年，Brungs 等研究了張量積的分次擴張和高斯擴張的問題，并證明了分次擴張和高斯擴張中有一一對應的關(guān)系［1］. 2008—2009 年，謝光明等對斜羅朗多項式環(huán)上的分次擴張進行了完全分類，并對每一類的結(jié)構(gòu)進行了刻畫［2-3］.之后他們對相應的分次擴張和高斯擴張進行了研究［4-7］. 2009 年，謝光明等研究了K［Z（2），σ］上最簡單的分次擴張——平凡分次擴張［8］. 2015 年，謝光明等對K［x1，x2；x1-1，x2-2］上的分次擴張進行了刻畫，實際上是K［Z（2），σ］在交換情況下的結(jié)構(gòu)［9］. 筆者討論在非交換的情況下，K（Z（2），σ）上的高斯擴張及對應分次擴張的性質(zhì).

1 預備知識

定義1設K是一個除環(huán)，若對?k∈K，k≠0，有k∈V或k-1∈V，則稱V是K的一個全賦值環(huán)［2］.

定義2設是K［Z（2），σ］上的子加群，若對?i，j，i′，j′∈Z，都有Α（i，j）X（i，j）·，則稱Α是K［Z（2），σ］上的分次子環(huán)［2］.

定義3設是K［Z（2），σ］上的分次子環(huán)，若對?i，j∈Z，aX（i，j）∈K［Z（2），σ］，aX（i，j）≠0，有aX（i，j）∈Α或（aX（i，j））-1∈Α，則稱Α是K［Z（2），σ］上的分次全賦值環(huán)［2］.

定義4設是K［Z（2），σ］上的分次全賦值環(huán)，若?。?，0）=V，則稱Α是V在K［Z（2），σ］上的分次擴張［2］.

定義5設是V在K［Z（2），σ］上的分次擴張，則稱Α的分次極大左理想的交Jg（?。┦铅〉姆执蜫acobson 根［10］.

定義6設R是V在K（Z（2），σ）中的一個賦值環(huán)，且R∩K=V.若R滿足條件：對任意的，當時，必有，則稱R是V在K（Z（2），σ）上的一個高斯擴張［1］.

引理1設是V在K［Z（2），σ］上的分次擴張，?。?，0）=V那么Jg（?。┦强删植炕模沂荲在K（Z（2），σ）上的高斯擴張［1］.

引理2設R是V在K（Z（2），σ）上的高斯擴張. 那么Α=R∩K［Z（2），σ］是V在K［Z（2），σ］上的一個分次擴張，且Jg（?。?J（R）∩K［Z（2），σ］，R=［1］.

引理3V在K［Z（2），σ］上的所有分次擴張組成的集合與V在K（Z（2），σ）上的所有高斯擴張組成的集合之間存在一個雙射φ，并且具體映射方式為：其中Α是V在K［Z（2），σ］上的一個分次擴張，R是V在K（Z（2），σ）上的一個高斯擴張［1］.

定義7設R是整環(huán)，若對任意的a，b∈R，b≠0，存在c，d∈R，d≠0，使得da=cb，則稱R滿足左Ore 條件，或稱R是一個左Ore 集［11］.

引理4設R是一個整環(huán)，且R是一個左Ore 集. 則對?δ1，…，δn∈R，且δ1≠0，…，δn≠0，存在η1，…，ηn∈R，且η1≠0，…，ηn≠0，使得η1δ1=…=ηnδn［11］.

2 主要結(jié)論

設V是除環(huán)K上的全賦值環(huán)，σ∶Z（2）→Aut（K）是一個群同態(tài)，K［Z（2），σ］是Z（2）在K上的斜群環(huán). 令X=X（1，0），τ=σ（1，0）∈Aut（K），Y=X（0，1），θ=σ（0，1）∈Aut（K）. 斜羅朗多項式環(huán)上的分次擴張及其商除環(huán)上的高斯擴張已經(jīng)在文獻［2-7］中進行了詳盡的研究，但K［Z（2），σ］上的分次擴張及K（Z（2），σ）上的高斯擴張還有許多問題沒有解決. 筆者將建立起它們與斜羅朗多項式環(huán)上的分次擴張及其商除環(huán)上的高斯擴張聯(lián)系，可通過這種聯(lián)系研究K［Z（2），σ］上的分次擴張及K（Z（2），σ）上的高斯擴張.

引理5設R是V在K（Z（2），σ）上的高斯擴張，令D=K（X，τ）. 則對?γ∈D，γ≠0，有（γR）∩D=γ（R∩D）.

證對?γ∈D，γ≠0，（γR）∩D?γ（R∩D）.另一方面，對?α∈（γR）∩D，存在β∈R，使得α=γβ. 則β=γ-1α∈D，α=γβ∈γ（R∩D）.故對?γ∈D，γ≠0，有：（γR）∩D=γ（R∩D）.

定理1設R是V在K（Z（2），σ）上的高斯擴張. 令：X=X（1，0），τ=σ（1，0）∈Aut（K），Y=X（0，1），，且令R∩DY j=SjY j.則：

（1）S0是V在D上的高斯擴張；

（2）B=⊕j∈ZSjY j是S0在D［Y，Y-1；θ］上的分次擴張.

證（1）j=0 時，R∩D=S0，S0∩K=D∩K=V. 對?γ∈D，有γ∈R或γ-1∈R，從而γ∈S0或γ-1∈S0. 因此S0是D的全賦值環(huán). 對?0≠γ′∈K［X，X-1；τ］?D，設則存在t，使得，由R是V在K（Z（2），σ）上的高斯擴張，有由引理5 可知：

因此S0是V在D上的高斯擴張.

從而存在m，使得，由R是V在K（Z（2），σ）上的高斯擴張，有因為，且：，即，所以B是D［Y，Y-1；θ］的一個分次子環(huán)，從而B=⊕j∈ZSjY j.

對?βY j∈DY j，有βY j∈R或（βY j）-1∈R，從而βY j∈B或（βY j）-1∈B. 因此B是D［Y，Y-1；θ］的一個分次完全子環(huán). 故B=⊕j∈ZSjY j是S0在D［Y，Y-1；θ］上的分次擴張.

類似于定理1，可得定理2.

定理2設R是V在K（Z（2），σ）上的高斯擴張. 令：X=X（1，0），τ=σ（1，0）∈Aut（K），Y=X（0，1），θ=σ（0，1）∈Aut（K），E=K（Y，θ），，且令R∩EX i=Ti X i.則：

（1）T0是V在E上的高斯擴張；

（2）C=⊕i∈ZTi X i是T0在E［X，X-1；τ］上的分次擴張.

同時，定理1 和定理2 的逆命題也成立，可得定理3 和定理4.

定理3設S0是V在D=K（X，τ）上的高斯擴張，是S0在D［Y，Y-1；θ］上的分次擴張.令Sj∩KX i=Α（i，j）X i.則是V在K［Z（2），σ］上的分次擴張，且

證設是S0在D［Y，Y-1；θ］上的分次擴張. 則對任意的j∈Z，都有，且對?j1，j2∈Z，都有令則?。?，0）=S0∩K=V，且對?（i1，j1），（i2，j2）∈Z（2），都有：

則對?（i1，j1），（i2，j2）∈Z（2），有

對?i，j∈Z，0≠a∈K，假設a??。╥，j）.則aX i??。╥，j）X i=Sj∩KXi，aX i?Sj. 因為對?j∈Z，都有Sj∪，所以，

定理4設T0是V在E=K（Y，θ）上的高斯擴張，上的分次擴張.令則是V在K［Z（2），σ］上的分次擴張，且

3 結(jié)束語

筆者主要研究K（Z（2），σ）上的高斯擴張的性質(zhì). 在此基礎(chǔ)上，還可進一步研究K［Z（2），σ］上的分次擴張的分類，K（Z（2），σ）上的高斯擴張限制在K［X（1，0），X（-1，0）；σ（1，0）］商環(huán)上的高斯擴張的結(jié)構(gòu)，以及它限制在K［X（0，1），X（0，-1）；σ（0，1）］商環(huán)上的高斯擴張的結(jié)構(gòu).