999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

主理想整環上的模的性質

2010-11-26 02:30:04王俊燕
湖北大學學報(自然科學版) 2010年1期
關鍵詞:矛盾

王俊燕

(湖北大學 數學與計算機科學學院,湖北 武漢 430062)

1 預備知識

為了討論的方便,以下總設R為一個主理想整環,M為一R-模,p為R中的素元,S=R(〗0},S-1R為R的商域.

定義1 若對任意的m∈M和任意的非零因子a∈R,總有m′∈M,使得m=am′,則稱m為可除元.若M中的任意元均為可除元,則稱M為可除模.

設M為R-模,N為M的子模,若方程rx=z,r∈R,z∈N在M中有解,則在N中也有解,則稱N為M的純子模.顯然,若對任意的r∈R,都有rM∩N=rN,則N為M的純子模.

設B為M的子模,若B為純子模且為循環模的直和,M/B為可除模,則稱B為M的基子模.

設m∈M,若m=phm′,m′∈M且m?ph+1M,則稱h為m的p高.

引理1 若M為一扭模,則M為它的p-分量的直和.

引理2 若D為M的可除子模,則M=D⊕E,其中E為M的子模.

引理2的證明設l:D→M為一包含映射.由可除模的內射性可得存在一模同態β:M→D,使得lβ=1即dβ=d,對?d∈D.若m∈M,則mβ∈D,mβ=mβ2,故m-mβ∈kerβ=E,故M=D+E.若d∈D∩E,則d=dβ=0.故M=D⊕E.

引理3 若M可以用不同的方式表示為擬循環模、循環p-模、無限循環模的直和,則在不同的分解中同構的類型的直和項具有相同的勢.

引理3的證明首先在任何一種分解中無扭的直和項具有相同的勢,而對扭模,由引理1可不妨設M為一p-模,在任何一種分解中直和項為M(pn+1)的勢等于pnM∩M(p)/pn+1M∩M(p)僅與M有關,而對擬循環p-模的直和項生成M的極大可除子群D的p-分量,形成一勢為dim(D(p))的集合,因此結論成立.

2 主要定理

定理1 模M為可除模當且僅當M同構于若干個S-1R與擬循環模的直和.

定理1的證明(充分性)S-1R和擬循環模均為可除模,而可除模的直和仍為可除的,因此M為可除模.

(必要性)設T為M的扭子模,斷言T為可除的.事實上由M為可除模可得對x∈T,任意的r∈R,存在y∈M,使得x=ry.但是M/T為無扭的,故y∈T.因此T為可除的.由引理1可得T為它的p-分量的直和,每個p-分量都是可除的,由引理2可得T為M的直和項,因此只需證明兩種情形M為無扭的與M為一p-模.

φ:M×S-1R→M,

則M為一S-1R-模,而S-1R為一域,從而M為S-1R上的向量空間,故M同構于若干個S-1R的直和.

設M為一p-模,p=M(p),其中p為一素元.理想(p)為一極大理想,故R/(p)為一域.定義

φ∶P×R/(p)→P,

(x,r+(p))→rx,

則p為一R/(p)-模,從而P為R(p)上的向量空間,設維數為c.令M*為c個擬循環p-模的直和,P*=M*(p),則P*為R/(p)上的c維向量空間.故存在一單同態α:P*→M使得P*同構于P,由可除模M的內射性質可得存在β:M*→M,使得βP*=α.若kerβ≠0,則α不為一單同態.若Imβ≠M,則可除模Imβ為M的直和項,這就與單同態α使得P*同構于P相矛盾.因此β為一同構映射.

綜上可得M同構于若干個S-1R與擬循環模的直和.

定理2 可除模M的純子模H為M的直和項.

定理2的證明首先可除R-模M為一S-1R模,H為M的純子模,故H也為S-1R模.令集合J={Aα:Aα為S-1R-模的子模且Aα∩H=0},由佐恩引理可得J中存在極大元A,即A為S-1R-模且A∩H=0.以下證明M=H+A.

定理3 M為p-模,M為可除的當且僅當M沒有非平凡的純循環子模.

定理3的證明(必要性)M為p-可除模,由定理1可得M?CrGn,Gn為p-擬循環模,設H為M的純子模,由定理2可得H為M的直和項,但H不可能為循環子模.故M沒有非平凡的純循環子模.

(充分性)若M(p)中的任意一元均有無限p高,假設M不為可除模,則存在不被p整除的元m,不妨取最小的正整數t使得ptm=0而ptm=ppt-1m=0則pt-1m∈M(p)有無限p高,故pt-1m=ptm1,m1∈M,pt-1(m-pm1)=0,令m2=m-pm1,則pt-1m2=0.重復上述過程可得m2=pm3因此m=m2+pm1=p(m3+m1),這就與m不被p整除矛盾.因此M為可除模.故若M不為可除模,M(p)中必存在一元素具有有限p高.

在進行位置分析時,用a、b、c、d來表示4個構件的長度,根據矢量方向和方位的選擇(由箭頭指明)如圖3所示,得到了下面的矢量環方程:

綜上可得M不為可除模,則M有非平凡的純循環子模.

定理4 M滿足極小條件當且僅當M為有限多個擬循環模與有限循環p-模的直和.

定理4的證明(必要性)M滿足極小條件,若M為一無扭模,即對任意的m∈M,不存在r∈R,使得rm=0,則Rm>R2m>R4m>…為一無限鏈,無極小元,與M滿足極小條件相矛盾.因此M為一扭模,由引理1可得M為它的p-分量的直和,可設M為一p-模.

若M中有可除元,由引理2可得M=E⊕H,其中E為可除模,H中無可除元.由定理1可設M為一既約模,無可除元,只需證明M為有限循環模.假設M為無限模,由M滿足極小條件可得存在M的極小無限子模H,若H=pH,則H為可除模,而M為既約模,故H=0.因此H>pH,由H的極小性可得pH為有限的,由模的同構定理可得H/H(p)?pH.故H/H(p)為有限模,H(p)為一無限模,H的極小性使得H(p)為有限模,矛盾.因此M為有限模,也必為有限生成的,可以分解為有限多個循環p模的直和.

(充分性)擬循環模的每個真子模均為有限的,因此擬循環模滿足極小條件.不妨設M=D⊕E,D為有限個擬循環模的直和,E為有限循環p-模的直和,則M/D?E,滿足極小條件.因此M滿足極小條件.

定理5 M為一扭模,則M有基子模且M的所有基子模均同構.

定理5的證明若Dp為M的p-分量的基子模,則D=DrpDp為M的基子模,因此不妨設M為一p-模.若M為可除模,則0為M的基子模,可設M不為可除模.

若非空集合X中的元線性無關且由X生成的模為純子模,則稱X為純無關集.由定理3可得純無關集存在.按包含關系可得一純無關子集鏈,這條鏈上的元的并為純無關的.由佐恩引理可得存在一極大純無關子集X,令B為由X生成的純子模.

若M/B不為可除模,則由定理3可得M/B有非平凡的純循環子模R(m+B).若pdm∈B,則pdm∈pdM∩B=pdB.因此pdm=pdb,b∈B,故pd(m-b)=0.由(m-b)+B=m+B,可設m′=m-b,則pdm′=0.同時pd(m′+B)=0M/B.令Y=X∪{m′},若Y為線性相關的,則存在r∈R,使得0≠rm′∈B,即r(m′+B)=0M/B,由上面的討論可得rm′=0,矛盾.因此Y線性無關.B為M的純子模,R(m′+B)/B為M/B的純循環子模,令K=R(m′+B),設k∈aM∩K,a∈R,則k=am,m∈M,而k+B=am+B=a(m+B),由K/B為M/B的純子模可得k+B=a(k′+B),k′∈K,則h=k-ak′=am-ak′=a(m-k′).由B為M的純子模可得h=ah′,h∈B.因此k=ah′+ak′=a(h′+k′)∈aK,故K為M的純子模.因此由Y生成的子模為M的純子模且Y線性無關,因此Y為純無關子集,這就與X的極大性相矛盾.因此M/B為一可除模.故B為M的基子模.

由M/B為一可除模可得對任意的n≥0,M=pnM+B,同時由B為M的純子模可得pnM∩B=pnB且M/pnM?B/pnB.若k≤n,則B的直和項中M(pk)的循環模的個數=B/pnB中對應的個數=M/pnM直和分解的循環模的個數.由引理3可得任意兩個基子模同構.

3 基子模的一個實例

事實上,對任意w∈B,

若w=pg,g∈M,則w=pg=p∑bixi=∑(ai-ai-1pni-ni-1)xi,

因此

∑(pbi-ai+ai-1pni-ni-1)xi=0,

pnipbi-ai+ai-1pni-ni-1.

對任意的i,

xi+B=pni+1-nixi+1+B=p(pni+1-ni-1-1xi+1+B)=P(yi+B).

任意的g+B∈M/B,

而∑ciyi+B∈M/B.繼續此過程可得對任意的t,存在h∈M,g+B=pt(h+B),即M/B為一可除模.

因此B為M的基子模.

參考文獻:

[1] DereK J S Robinson.A course in the theory of groups[M].New York:Spring-Verlag,2001.

[2] Frank W,Anderson K,Fuller R.Rings and categories of modules[M].New York:Springer-Verlag,1992.

[3] 聶靈沼,丁石孫.代數學引論[M].北京:高等教育出版社,2000.

[4] 陳家鼐.環與模[M].北京:北京師范學院出版社,1989.

猜你喜歡
矛盾
咯咯雞和嘎嘎鴨的矛盾
幾類樹的無矛盾點連通數
數學雜志(2022年4期)2022-09-27 02:42:48
對待矛盾少打“馬賽克”
當代陜西(2021年22期)2022-01-19 05:32:32
再婚后出現矛盾,我該怎么辦?
中老年保健(2021年2期)2021-08-22 07:29:58
矛盾心情的描寫
矛盾的我
對矛盾說不
童話世界(2020年13期)2020-06-15 11:54:50
愛的矛盾 外一首
實現鄉村善治要處理好兩對矛盾
人大建設(2018年5期)2018-08-16 07:09:06
這個圈有一種矛盾的氣場
商周刊(2017年11期)2017-06-13 07:32:30
主站蜘蛛池模板: 婷婷开心中文字幕| 国产成人免费视频精品一区二区| 亚洲无限乱码| 国产精品开放后亚洲| 亚洲欧洲日产国码无码av喷潮| 亚洲看片网| 波多野结衣一区二区三区四区| 99无码中文字幕视频| 国产无人区一区二区三区| 在线欧美国产| 四虎亚洲国产成人久久精品| 久久久久亚洲AV成人人电影软件| 四虎精品国产AV二区| 亚洲二区视频| 亚洲成人在线网| 日韩精品毛片人妻AV不卡| 亚洲精品欧美日本中文字幕| 茄子视频毛片免费观看| 免费一级无码在线网站| 真实国产乱子伦高清| www中文字幕在线观看| 尤物成AV人片在线观看| 欧美亚洲国产精品久久蜜芽| 996免费视频国产在线播放| 国产成人AV男人的天堂| 国产精品福利社| 有专无码视频| 久久精品亚洲中文字幕乱码| 91福利国产成人精品导航| 91视频区| 国产成人精品亚洲77美色| 在线国产91| 国产无人区一区二区三区| 好久久免费视频高清| 国产网站免费看| 午夜a级毛片| 欧美精品伊人久久| 高清无码一本到东京热| 国产99视频精品免费视频7| 亚洲国产中文精品va在线播放| 青青青草国产| 99久久国产综合精品女同 | 国产福利小视频高清在线观看| 一本一道波多野结衣一区二区 | 国产成人一区二区| 久久国产乱子| 国产中文在线亚洲精品官网| 在线色国产| 国产成人资源| 国产福利不卡视频| 五月天福利视频| 久久无码av三级| 在线国产资源| 精品久久蜜桃| 五月激激激综合网色播免费| 欧美日韩精品一区二区在线线| 乱人伦视频中文字幕在线| 人妻无码一区二区视频| 亚洲中文字幕av无码区| 亚洲精品无码抽插日韩| 黑色丝袜高跟国产在线91| 久久96热在精品国产高清| 日韩天堂在线观看| 四虎永久免费地址在线网站 | 高清不卡毛片| 国产男女免费视频| 国产精品污视频| 欧洲免费精品视频在线| 国产欧美精品一区二区| 国产欧美在线观看视频| 免费网站成人亚洲| 嫩草国产在线| 国产va在线| 亚洲国产欧美国产综合久久| 欧美精品一区在线看| 午夜精品区| 77777亚洲午夜久久多人| 国产激情无码一区二区APP | 亚洲综合二区| jizz在线观看| 性欧美在线| 国产第八页|