資源描述：
《strongart數(shù)學(xué)筆記：半單環(huán)上的模特征與環(huán)的同調(diào)維數(shù)小結(jié)》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、半單環(huán)上的模特征小結(jié)記得剛開(kāi)始學(xué)模的時(shí)候，總覺(jué)得其中有一種不協(xié)調(diào)感，后來(lái)知道是主角與配角之間的關(guān)系有點(diǎn)錯(cuò)亂，作為系數(shù)的環(huán)似乎喧賓奪主的成了主角，但是這也使得環(huán)與模的關(guān)系非常密切。下面我就結(jié)合最近學(xué)到的東西，以半單環(huán)上的模特征為例作一個(gè)小結(jié)。先看這樣的一個(gè)命題：ArightringRisvon-NeumannregularringiffeveryrightR-moduleisdivisible.其實(shí)直觀上也容易理解，類比于semisimplering中anyrightideal均可作為直和加項(xiàng)，在von-Neumannregularring中的principalrig
2、htideal是直和加項(xiàng)，而divisiblemodule則等價(jià)于principallyinjective，后者是指BaerCriterion中的anyrightideal換成anyprincipalrightideal，可以視為我們熟知的結(jié)論injective→divisible的本質(zhì)解釋。我們還可以從另一個(gè)角度看這個(gè)問(wèn)題，初級(jí)教科書(shū)中一般只在domain上介紹divisiblemodule，其實(shí)可以推廣到一般環(huán)上如下：AR-moduleMisdivisibleifforanyu∈Manda∈R,(foranyx∈R,ax=0→ux=0)→u∈Ma.我們把它推廣到
3、相應(yīng)的族，就得到fullydivisible的概念，也就是說(shuō)：AR-moduleMisfullydivisibleifforany{u_i}CMand{a_i}CR,(forany{x_i}CR,Σa_ix_i=0→Σu_ix_i=0)→u_i=va_i，v∈M.可以證明，fullydivisible與injective也是等價(jià)的。在初級(jí)環(huán)論中，我們知道semisimple→von-Neumannregular→Jacobsonsemisimple，一個(gè)自然的問(wèn)題就是它們對(duì)應(yīng)的模有什么性質(zhì)？事實(shí)上，我們還有命題：A(right)ringRissemisimpleri
4、ngiffeveryrightR-moduleisinjective，這與上文中的injective→divisible高度契合。如果我們知道相應(yīng)環(huán)上模之間關(guān)系，就可以導(dǎo)出相應(yīng)的環(huán)的關(guān)系，但反過(guò)來(lái)卻是不行的，理由是這樣的模未必一定是相應(yīng)環(huán)上的模。事實(shí)上，我們還有A(right)ringRissemisimpleringiffeveryrightR-moduleisprojective，ArightringRisvon-NeumannregularringiffeveryrightR-moduleisflat，這些都是很漂亮的命題，但對(duì)于一般的模，顯然injectiv
5、e不意味著projective，divisible也不意味著flat.對(duì)于Jacobsonsemisimplering，我也想找一下相應(yīng)模的特征，開(kāi)始我猜想是rad(M)=0.后來(lái)發(fā)現(xiàn)ArightringRisV-ringiffforanyrightR-moduleM,rad(M)=0.這樣的rightV-ring在交換的情形下重合于von-Neumannregularring，考慮一般緊集上的連續(xù)函數(shù)環(huán)，就知道von-Neumannregularring并不是都是Jacobsonsemisimplering，因此我的猜想是錯(cuò)誤的。但這樣的rightV-ring有個(gè)
6、等價(jià)條件是anyrightidealI≠Risanintersectionofmaximalrightideals，因此anyquotientofRisJacobsonsemisimplering.特別地，它自身也應(yīng)該是Jacobsonsemisimplering，這多少還是值得欣慰的。我查了手頭的代數(shù)書(shū)，似乎都沒(méi)找到Jacobsonsemisimplering的模特征，甚至連交換的情形也沒(méi)有，看來(lái)問(wèn)題并不是太簡(jiǎn)單的。但是就von-Neumannregularring而言，有這樣一個(gè)有趣的命題：AcommutativeRisvon-Neumannringiffeve
7、rysimpleR-moduleisinjectiveiffeverysimpleR-moduleisdivisible.如果在模的上面再加上一些修飾，結(jié)論自然要弱一些，但Jacobsonsemisimple正好就是比較弱的，也許最終只能得到這樣稍弱的命題，當(dāng)然這還有待于進(jìn)一步的探索。環(huán)的同調(diào)維數(shù)學(xué)習(xí)小結(jié)最近讀了Lam的LecturesonModulesandRing的第五段Homologicaldimension，主要就是講投射維數(shù)(pd.dim)、內(nèi)射維數(shù)(id.dim)與平坦維數(shù)(fd.dim)這三個(gè)概念，這次算是基本上看清楚了。下面我就來(lái)簡(jiǎn)單小結(jié)一下，重
