形式三角矩阵环上的F-Gorenstein平坦模

设■是形式三角矩阵环,其中A,B是环,U是(B,A)-双模.利用Hom函子和伴随同构等理论,刻画形式三角矩阵环T上的F-Gorenstein平坦模结构,并证明若_BU的平坦维数有限,U_A的平坦维数有限且对任意的余挠左A-模C,有U?_AC是余挠左B-模,则左T-模■是F-Gorenstein平坦模当且仅当M₁是F-Gorenstein平坦左A-模,Coker φ^M是F-Gorenstein平坦左B-模,且φ^M:U?_AM₁→M₂是单射.     

形式三角矩阵环上的强Ding投射模和强Ding内射模

讨论了形式下三角矩阵环T=(A 0U B)上的强Ding投射模和强Ding内射模,证明了当U_A和_BU的平坦维数有限,并且(M₁M₂)_φ^M是强Ding投射左T-模时,M₁是强Ding投射左A-模,φ^M是单同态,M₂/Im φ^M是强Ding投射左B-模。     

形式三角矩阵环上的n-Gorenstein投射模

设n是整数,T=(A 0U B)是形式三角矩阵环,其中A,B是环,U是左B右A双模,_BU是投射模,U_A的平坦维数有限。证明了若左T-模(M₁M₂)_φ^M是n-Gorenstein投射模,则M₁是(n-1)-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射。反过来,若M₁是n-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射,则左T-模(M₁M₂)_φ^M是n-Gorenstein投射模。     

三角矩阵环上的Gorenstein AC-投射模

考虑三角矩阵环上的Gorenstein AC-投射模. 设T是三角矩阵环, 其中A和B是环, U是(B,A)-双模. 证明: 若_BU是平坦模, U_A是有限生成投射模, 则左T-模M是Gorenstein AC-投射模当且仅当M₁是Gorenstein AC-投射左A-模, φ^M是单同态, 且Coker φ^M是Gorenstein AC-投射左B-模.     

n-凝聚环的若干刻划

通过引入FPn-内射右模与FPn-平坦左模来刻划右n-凝聚环，证明了R是右n-凝聚环当且仅当FPn-内射右R-模组成的模类是上分解的(n≥1)，当且仅当FPn-平坦左R-模组成的模类是分解的(n≥2)．     

(n,d)-内射模与Morita对偶

证明了在Morita对偶之下,自反模是(n,d)-内射的((n,d)-投射的)当且仅当它的Morita偶是(n,d)-投射的((n,d)-内射的),以及右(n,d)-环与左余(n,d)-环,(弱)n-遗传模与(弱)n-余遗传模都是互为对偶的.特别地,自反模是内射的(余遗传的)当且仅当它的偶是(0,0)-投射的(0-遗传的).     

形式三角矩阵环上的Gorenstein平坦模

设T=(AU0B)是形式下三角矩阵环.引入相对于平坦分解的相容双模,证明了:若U是相对于平坦分解的相容(B,A)-双模,M1是左A-模,M2是左B-模,则M=(M1M2)φM是Gorenstein平坦左T-模当且仅当M1是Gorenstein平坦左A-模,其中φM是单同态,Coker(φM)是Gorenstein平坦左...     

关于n-强Gorenstein FP-内射模的注记

研究了n-强GorensteinFP-内射模,证明了在左凝聚的右IF环上一个模肘是n-强GorensteinFP-内射模当且仅当对任意投射模N,N M是n-强GorensteinFP-内射模,并证明了在左右IF环上一个模M是n-强GorensteinFP-内射模当且仅当M是n-强Gorenstein平坦模。     

强(m,n)-凝聚环

文中引入强左(m,n)-凝聚环R(如果左R-模Rm的每个n-生成子模是(m,n)-表现),证明了在强(m,n)-凝聚环上,(P(m,n),I(m,n))和(F(m,n),C(m,n))是遗传余挠理论;每个左R-模是(m,n)-投射当且仅当每个(m,n)-内射左R-模是(m,n)-投射当且仅当每个(m,n)-内射左R-模存在有唯一映射性质的P(m,n)-覆盖。     

形式三角矩阵环的P1-内射性和P1-内射维数

设A、B为环,M为左B右A的双模,令■为形式三角矩阵环.设R是任何环,右R-模D称为P_1-内射模,是指对任何投射维数不超过1的模P,有Ext_R~1(P,D)=0.研究形式三角矩阵环T上P_1-内射模与P_1-内射维数.证明若M为平坦的左B-模,则T-模(Z,W)g为P_1-内射模当且仅当ZA与WB为P_1-内射模;并证明若M为平坦的左B-模,则r. P_1dim(T)≤max{r. P_1dim(A),r. P_1dim(B)}.     

三角代数上互逆元处的高阶ξ-Lie可导映射

设U=Tri(A,M,B )是含单位元1的三角代数,1_A、1_B分别是A和B的单位元。对任意的A∈A, B∈B分别存在整数k₁、k₂,使得k₁1_A-A, k₂1_B-B在三角代数中可逆。利用代数分解的方法,证明了如果{φ_n}_n∈N:U→U是一列线性映射满足对任意的U,V∈U且UV=VU=1,有φ_n(［U,V］_ξ)=∑_i+j=nφ_i(U)φ_j(V)-ξφ_i(V)φ_j(U)(ξ≠0,1),则{φ_n}_n∈N是U上的高阶导子,其中φ₀=id₀是恒等映射,［U,V］_ξ=UV-ξVU。     

B2-型量子群的不可约模的Gröbner-Shirshov对

首先用B2-型量子群U_q(B2)的已知Gröbner-Shirshov基和双自由模方法,给出B2-型量子群上不可约模V_q(λ)的Gröbner-Shirshov对,然后通过在U_q(B2)的适当形式中取q=1给出B2型单Lie代数的泛包络代数U(B2)的Gröbner-Shirshov基和不可约U(B2)-模V(λ)的Gröbner-Shirshov对。     

剖分Q-邻接冠图的广义特征多项式及其应用

设正则图G₁和G₂的剖分Q-邻接点冠图G₁□·_QG₂是由Q(G₁)和|V(G₁)|个点不交的G₂的拷贝,通过连接V(G₁)中第i 个顶点的所有邻点与第i个G₂的拷贝的所有点后得到的图; 剖分Q-邻接边冠图G₁□—〓_QG₂是由Q(G₁)和|I(G₁)|个点不交的G₂的拷贝,通过连接 I(G₁)中第 i个顶点的所有邻点与第i个G₂的拷贝的所有点后得到的图。其中Q(G₁)是由图G₁的每条边上插入一个新点且当图G₁的2条边相邻时对应的2个新点之间连接一条边后得到的图, I(G₁)是图G₁中每条边上插入的新点所构成的集合。分别确定了剖分Q-邻接点冠图G₁□·_QG₂和剖分Q-邻接边冠图G₁□—〓_QG₂ 的广义特征多项式及其相应的Φ-谱。得到了G₁□·_QG₂和G₁□—〓_QG₂的规范拉普拉斯谱, 同时也构造了一些Φ-同谱无穷类。     

(n,m)-强投射余可解Gorenstein平坦模

引入(n,m)-强投射余可解Gorenstein平坦模(即(n,m)-强PGF模)的概念,给出它的一些基本性质。证明了如果M是一个(n,m)-强PGF模,则：(1)M的PGF维数PGFd(M)≤m;(2)当1≤i≤m时,M的第i个合冲是(n,m-i)-强PGF模;当i≥m时,M的第i个合冲是(n,0)-强PGF模。其次证明了：如果模M的第d个合冲是(1,m)-强PGF模,则PGFd(M)=k≤d+m,且M是(1,k)-强PGF模。     

关于函数域中相交多项式的一个注记

以Z表示有理整数环。设L为一个特征为p的域, f(x)=∑ⁿ_j=0a_jx^j∈L［x］,L［x］表示L上的多项式环。假定在L的某个代数闭包上, f(x)=a∏^r_i=1(x-η_i)^e_i。此处,a∈L,一切η_i是两两不同的,r,e₁,e₂,…,e_r是正整数,且r≥2, n=∑^r_j=1e_j。f的半判别式Δ(f)被定义为Δ(f)=a^2n-1∏_{1≤i,j≤ri≠j}(η_i-η_j)^{e_i e_j}。证明了下面的结果: 如果n1,e₂,…,e_r)有关的正整数m与G∈Z［x₀,x₁,…,x_n］,使得Δ(f)=1/mG(a₀,a₁,…,a_n)且m|n!。此外,当L为有限域时,还应用此结果研究了与环L［x］上相交多项式有关的一个问题。     

亚纯函数微分多项式IM分担值的唯一性

研究了亚纯函数的微分多项式分担一个值的唯一性问题,证明了如果f(z)和g(z)为非常数亚纯函数,其零点和极点的重数至少为s,s为正整数,且满足(n+1)s≥24,n为正整数且n≥2。如果f ⁿf '和gⁿg'分担1 IM,则g(z)=c₁e^cz,f(z)=c₂e^-cz,其中c₁、c₂、c为常数,且满足(c₁c₂)ⁿ⁺¹c²=-1,或者f(z)=tg(z),其中tⁿ⁺¹=1。     

Frobenius扩张上的Ding投射模

研究了Frobenius扩张上的Ding投射模和Ding投射维数。设R⊂A是可分Frobenius扩张,M是任意左A-模,证明了:M是Ding投射左A-模当且仅当M是Ding投射左R-模当且仅当A⊗_RM和HomR(A,M)是Ding投射左A-模。进一步,得到了关于Ding投射维数的结论。     

分次版本的Enochs定理

证明了分次版本的Enochs定理: 设A是有限生成分次R-模B的分次子模, 若对任何FP-gr-内射 R-模E, 分次同态f:A→E恒能扩张到B, 则A是有限生成的。 由此得到有限生成分次R-模M是有限表现的当且仅当对任何FP-gr-内射模E, 都有EXT1_R(M,E)=0。