Ω-左R-模范畴中内射对象的等价刻画

引入内射Ω-左R-模的概念,研究内射Ω-左R-模的等价刻画,证明一簇Ω-左R-模的乘积是内射Ω-左R-模当且仅当每一个是内射Ω-左R-模,一个Ω-左R-模是内射Ω-左R-模当且仅当它的每一个截集是内射左R-模.     

内蕴左R-模范畴在Ω-集范畴中的表示

本文研究内蕴环范畴在集合范畴中的表示,内蕴Abel群范畴在集合范畴中的表示,以及内蕴左R-模范畴在集合范畴中的表示,进一步,研究内蕴左R-模范畴在Ω-集范畴中的表示,给出基于Ω-集范畴的内蕴左R-模范畴与Ω-左R-模范畴之间的同构关系。     

范畴M_R~l(Ω)若干性质的研究

研究了Ω-左R-模范畴中的余积及余等值子的性质,揭示了范畴M_R~l(Ω)与范畴M_R~l中余积之间的关系,刻画了范畴M_R~l(Ω)与范畴M_R~l中余等值子之间的关系,同时证明了范畴M_R~l(Ω)的余完备性.     

具有左R-模结构的类型及其范畴逻辑模型

以范畴逻辑与类型论为基础,引入类型中的交换群理论、环理论以及左R-模理论.证明了类型中的交换群理论在满足分配律的范畴中的模型是交换群对象,环理论的模型是环对象,左R-模理论的模型是左R-模对象,并给出左R-模理论在集合范畴和层范畴等几个具体范畴中的模型.     

基于Ω-左R-子模范畴的伴随性

给出了Ω-左R-子模范畴的概念,研究了一对诱导函子,证明了诱导函子的伴随性.     

Ω-左R-子模范畴一对双诱导函子的伴随性

本文给出了Ω-左R-子模范畴的概念,得到了一对双诱导函子,证明了双诱导函子的伴随性。     

关于E_ω-投射模和E_ω-内射模(英文)

左R-模M称为Eω-内射模,如果对环R中任意的ω阶Euclid理想I来说,任何R-模同态能够拓展为R-模同态。左R-模M称为Eω-投射模,若对环R中任意的ω阶Euclid理想I和任何R-模同态f∈HomR(M,R/I),存在R-模同态g∈HomR(M,R)使得f=πg,其中π是自然同态。本文证明P和Q均是Eω-投射模当且仅当PQ是Eω-投射模。进而,又证明了每一个左R-模是Eω-投射的当且仅当每一个左R-模是Eω-内射。     

复形的#-内射包络的存在性

令■表示所有#-内射左R-模复形构成的类(即内射左R-模的复形构成的类).本文证明了在左诺特环R上■是完备的内射余挠对.特别地,我们得到每个左R-模复形都有#-内射包络.作为应用,证明了在左诺特环R上,每个左R-模复形都有特殊■-预包络,其中■是所有内射左R-模的完全零调复形构成的类.     

Gillespie所提出一个问题的否定回答

本文引入Gorenstein n-凝聚环的概念,证明即使所有左R-模的AC-内射复形和所有内射左R-模的复形对应的同伦范畴是一致的,环R也未必是左凝聚的,从而否定地回答了Gillespie(2017)提出的一个问题.     

Gorenstein环上的Gorenstein平坦和内射

设R是一个Gorenstein环. 证明了, 如果I是R的一个理想且使得R/I是一个半单环, 则R/I作为右R-模的Gorenstein平坦维数与R/I作为左R-模的Gorenstein内射维数是相等的. 另外证明了, 如果R→S是一个环同态且_SE是左S-模范畴的一个内射余生成元, 则S作为右R-模的Gorenstein平坦维数与E作为左R-模的Gorenstein内射维数是相等的. 同时给出了这些结果的一些应用.     

半群S-分次环与冲积R#S~*

设S为任意半群,本文以S-集为基础,讨论了S-集分次模的一些性质并得到范畴(S,A,R)-gr的一个有限生成投射生成子集合;对于冲积R#S*,主要证明了在一定条件下, unital左R#S*-模范畴和分次R-模范畴是同构的.     

局部Noether模的相对连续性特征

设M是左R-模,本文证明了M是局部Noether的当且仅当σ[M]中的任意M-内射左R-模的直和是S∧2-连续的（S∧2-拟连续的）。     

关于基本可数生成子模的扩张性

称左R-模M是ecg-扩张模,如果M的任意基本可数生成子模是M的直和因子的基本子模.在研究了ecg-扩张模的基本性质的基础上,本文证明了对于非奇异环R,所有左R-模是ecg-扩张模当且仅当所有左R-模是扩张模.同时我们还用ecg-拟连续模刻画了Noether环和Artin半单环.     

相对n-FP-内射模

给出了n-FP-内射模的定义,M为左R-模,如果对任意的左R-模N有Ext1(N,M)=0,则称M为n-FP-内射模,作为应用,给出了n-FP-内射模的一些等价条件.     

关于所有子模是纯子模的平坦模

引进了一新模类-完全平坦模(每一个商模平坦).并得到了:令M是平坦左R-模,RM是完全平坦模当且仅当RM的所有子模是纯的当且仅当每一个右R-模A是M-平坦的.同时本文用完全平坦模刻画了V.N.正则环.     

弱半素子模的一些刻划

引入n′-系的概念,且给出弱半素子模的两个等价条件:(i)设K是左R-模M的子模,则K是M的弱半素子模当且仅当C(K)=M\K是n′-系;(ii)设K是左R-模M的子模,则K是M的弱半素子模当且仅当对任意f∈HomR(R,M),及任意A R,若f(A2)K,就有f(A)K.     

l-分解与l-维数

设R是一个有单位元的结合环,l是包含所有内射左R-模的左R-模类,则M是l-内射(约化l-内射)的当且仅当M是一个左R-模l-预覆盖(l-覆盖)E→l的核,且E是内射的.当环R关于l-预覆盖核是可经内射分解的,刻画了左l-分解、左l-维数和导出函子之间的关系,并给出应用.     

关于忠实非齐次完全可约模的结构

设是忠实非齐次完全可约-模,Γ是中心化子,Ω是左Γ-模的中心化子.本文共三节,第一节建立了的全体瓤一子模之集Σ与Γ的全体具幂等生成元的右理想之集Σ′间的格同构关系,并得到若Σ′中两元素作为Γ-模同构则其在Σ中的象作为-模也同构.应用此关系在第二节中对Ω(Γ)的基座_Ω(_Γ)作一些讨论,得到结果:_Γ(_Ω)的右(左)秩等于在(Γ)上的维数,_Γ(_Ω)是Γ(Ω)中所有有限秩的元素之集.第三节研究模的稠密性问题,并得到是的弱(无限基数)可迁环的充要条件.     

广义逆多项式模的co-Hopf性质

设R是结合环(可以没有单位元),(S,≤)是严格全序幺半群,序≤是Artin的且对任意s∈S,有0≤s,则对任意具有性质(F)的左R-模M,[MS,≤]是co-Hopf左[[RS,≤]]一模当且仅当M是co-Hopf左R-模.     

关于链条件的几个定理

在本文中除非有特别说明,环 R 均指未必有恒等元的结合环,R-模均指左模,且不必是么模。设 M 是—R-模,令∧=End_R M,则 M 自然地成为(R,∧)-双模。如果 M 的R-子模的集合满足极小(极大)条件,则称 M 是 Artin(Noether)R-模。类似地定义 M为 Artin(Noether)右∧-模。如果 R 作为其自身上的左模是 Artin(Noether)R-模,则称 R 为 Artin(Noether)环。对X(?)M,记(?)。则(?)是R的左理想。又记 A_1(R,M)={l~R X|X(?)M}。同样对 Y(?)R,记 rmY={x∈M|rx=0,