一类弱整体维数为2的局部环上的Bass-Quillen问题II

设R是U2环,即(R,m)是局部GCD整环,且存在u∈m-m2,使得R/(u)是赋值环,且Ru是Bézout整环.本文证明了若R是带有正规元素为u的U2环,且dim(R/(u))=1,则每个有限生成投射R[X1,...,Xn]模是自由模.由此得到了若R是广义伞环,则每个有限生成投射R[X1,...,Xn]模是自由模.     

一类弱整体维数为2的局部环上的Bass-Quillen问题

设局部GCD整环(R,m)满足: 存在u∈m-m², 使得R/(u)是赋值环, 且R_u是 Bézout整环, 则R叫做 U₂环, u叫做一个正规元素. 证明了若R是U₂环, 则R与一元多项式环R[X]都是凝聚环; 且若u是R的正规元素, dim(R/(u))=1, 则每个有限生成投射R[X]-模是自由模.     

自由模的投射素子模

设R是整环,u是R的素元,F是有限生成自由R-模,M是F的投射子模.本文证明了:若F/M是投射R/(u)-模,或者M是(u)-准素子模,并且F/M是循环模,则当R/(u)既是GE环,又是PF环时,M是自由模.     

投射可迁环上矩阵环的若当同态

设R′是一个环,Mn′（R′）是R′上的n′×n′矩阵环.如果环R有不变基数性质并且每个有限生成的投射左R-模是自由模,则R是一个投射自由环.如果环R≌Mr（S）,其中S是一个投射自由环,则R是一个投射可迁环.当R是一个投射可迁环时,给出了从Mn′（R′）到Mn（R）（n′≥n≥2）的若当同态的代数公式.     

Noether环上的幂稳定自由模

设I是Noether环R的投射理想, I^m=Iⁿ, m≠n. 该文证明, 有限生成投射右R - 模幂稳定自由当且仅当(1) 存在环S使得I^|m-n|( S ( R且有限生成投射S - 模是幂稳定自由; (2) 有限生成投射右R/I^|m-n| - 模幂稳定自由.     

关于拟投射模和拟内射模

设 R 是有单位元的环,U 和 M 都是环 R 上的左幺模,如果 M 的任意子模到 U 的每一同态都能扩张为 M 到 U 的同态,则称 U 是 M-内射的,如果 U 到 M 的任一商模上的任一同态都能提升为 U 到 M 的同态,则称 U 是 M-投射的。若 U 是 U-投射的(U-内射的),则称 U 是拟投射的(拟内射的)。本文中将给出投射模的任意直积是拟投射的几个等价条件,从而把[1]中定理3.3作了进一步扩展;同时利用[2]中的定理24.20给出了每个拟投射左 R-模是拟内射的,每个拟内射左 R-模是拟投射的这样的环的刻划。     

平坦的多项式剩余类环

本文证明了如果多项式的剩余类环 A=R[T]/fR[T]作为 R-模是平坦模,且R是约化环,则f是正规多项式.特别地,若R还是连通的,则f的首项系数是单位.也证明了弱整体有限的凝聚环是约化环,以及弱整体为有限的凝聚连通环是整环.     

多项式环上的投射模

本文证明了：如果R为交换的w-遗传环，则有限生成的投射R[x1…xn]-模能够从R扩张，进而系统研究了非Noether环上多项式环上的模结构．     

环上的拓扑和偏序

在环R上引入了拓扑O[R]和偏序≤R,证明了(R,O[R])是可分的,第一可数的局部紧空间,并得出了如下结论:(1)(R*,O*[R])是T1的当且仅当O*[R]是离散的当且仅当R中的任一元r满足r=r2=-r;(2)若(R,O[R])是T0的,则U∈O[R]当且仅当U=↓U;(3)若R是伪有限的且对任意r都有〈r〉>2,则(R,≤R)是代数Domain;(4)若环R的特征数chR为2,则R是伪有限的当且仅当Rop是代数Domain。     

关于置换环上强可分性的注记

环R是强可分的,如果对任意有限生成投射R-模A,B,A⊕A ≌B⊕B,则A≌B.该文证明了置换环上的强可分性在亚直积下是不变量.作为应用,证明了R/(IJ)是强可分的当且仅当R/(I∩J)是强可分的.     

特殊模的对偶模

一、引言 设R是具有单位元的结合环,A为左(酉)R-模,则其对偶模A~*=Hom_R(A,R)是右R-模,依次可定义A~(**)=(A~*)~*等等。如众所知,任意环R上每个有限生成投射模之对偶模是投射的,但是,即使在Noether环上,并非每个投射模之对偶模是投射的。例如:F=Z是投射的Z-模,但是F~*=multiply form 1 to ∞(Z)不是投射Z-模(参阅[1])。一个自然的问题就是:何时投射(平坦或内射)模之对偶模是投射(平坦或内射)的?本文主要讨论这个问题。     

Milnor方图中的w-凝聚性

整环R称为ω-凝聚整环,是指R的每个有限型理想是有限表现型的.本文证明了ω-凝聚整环是v-凝聚整环,且若(RDTF,M)是Milnor方图,则在Ⅰ型情形,R是ω-凝聚整环当且仅当D和T都是ω-整环,且T_M是赋值环;对于Ⅱ-型情形,R是ω-凝聚整环当且仅当D是域,[F:D]<∞,M是R的有限型理想,T是ω-凝聚整环,且R_M是凝聚整环.     

The Bass-Quillen problem on a class of local rings with weak global dimension two

Let (R,m) be a local GCD domain. R is called a U2 ring if there is an element u ∈ m-m2 such that R/(u) is a valuation domain and Ru is a B′ezout domain. In this case u is called a normal element of R. In this paper we prove that if R is a U2 ring, then R and R[x] are coherent; moreover, if R has a normal element u and dim(R/(u)) = 1, then every finitely generated projective module over R[X] is free.     

关于有限生成投射模为自由模的环

若环R上一切有限生成投射模都是自由模,则称R为PF环,本文讨论了PF环的一些性质及其一些应用。     

强n-凝聚环

设R是一个环,n是一个正整数.右R-模M称为强n-内射的,如果从任一自由右R-模F的任一n-生成子模到M的同态都可扩张为F到M的同态;右R-模V称为强n-平坦的,如果对于任一自由右R-模F的任一n-生成子模T,自然映射VT→VF是单的;环R称为左强n-凝聚的,如果自由左R-模的n-生成子模是有限表现的;环R称为左n-半遗传的,如果R的每个n-生成左理想是投射的.本文研究了强n-内射模,强n-平坦摸及左强n-凝聚环.通过模的强n-内射性和强n-平坦性概念,作者还给出了强n-凝聚环和n-半遗传环的一些刻画.     

关于F-环的一点注记

一个环称为F环,如果环R中含有一个有限非零元集X,使得对任何非零αR与X之交不空(非零)。如果在上面的假设下,X还在R的中心Z(R)中,则称R为FZ环。关于F环,文[1]、[2]给出了一些结果。本文主要结果是: 1.说明文中定理的充分性不真。文[2]的主要定理是:R为半素F-环,当且仅当R为有限个除环上的方阵环的直和。 2.说明非奇异F-环未必是半单环。     

模与环的(■,U)-M-凝聚性

设N是一个无穷基数,U是平坦的右R-模,M是左R-模.称左R-模N是((N),U)-M-凝聚的,如果对任意的B/A→Rm,其中0≤A相似文献   

置换群直积的张量对称类的秩

假定基环R是特征为零的整环，并且使得它上每个有限生成的投射模是自由模．本文研究有限秩自由R-模的张量积相对于有限个置换群直积而言的张量对称类，给出了张量对称类非平凡的判别准则以及相应张量对称类秩之间的关系式，并将所得结果应用到模情形．     

量子代数模的张量积与不可分解模

令M是Z[v]的由v-1和奇素数p生成的理想,U是A=Z[v]M上相伴于对称Cartan矩阵的量子代数.k是特征为零的代数闭域,A→k(v(?)ξ)是环同态.U_k=U(?)_Ak,u_k是U_k的无穷小量子代数.令ξ是1的p次本原根.本文证明了:若有限维可积U_k模M,V中至少有一个是内射模,或者M,V中有一个模作为u_k模是平凡的,则有U_k模同构M(?)V≌V(?)M.我们还证明了:若有限维可积U_k模V作为u_k模是不可分解的,有限维可积U_k模M是不可分解的,且M|_(uk)是平凡的,则V(?)M是不可分解U_k模.令V和M是有限维可积U_k模,作为u_k模是同构的且具有单基座,本文证明V和M作为U_k模也是同构的.由此得到:不可分解内射u_k模提升为U_k模是唯一的.     

S-内射模及S-内射包络

设R是环.设S是一个左R-模簇,E是左R-模.若对任何N∈S,有Ext_R~1(N,E)=0,则E称为S-内射模.本文证明了若S是Baer模簇,则关于S-内射模的Baer准则成立;若S是完备模簇,则每个模有S-内射包络;若对任何单模N,Ext_R~1(N,E)=0,则E称为极大性内射模;若R是交换环,且对任何挠模N,Ext_R~1(N,E)=0,则E称为正则性内射模.作为应用,证明了每个模有极大性内射包络.也证明了交换环R是SM环当且仅当T/R的正则性内射包e(T/R)是∑-正则性内射模,其中T=T(R)表示R的完全分式环,当且仅当每一GV-无挠的正则性内射模是∑-正则性内射模.