高维丛范畴中的丛倾斜对象

对高维丛范畴中丛倾斜对象的存在性及其性质进行了研究,讨论了有限型d-丛范畴中存在丛倾斜对象满足它的自同态代数为自入射代数的情形.证明了:(1)当d1时,d-丛范畴的几乎完备丛倾斜对象只有一个补;(2)d-丛范畴的丛倾斜对象都是由遗传代数上的倾斜模诱导的,并给出了倾斜模诱导d-丛范畴的丛倾斜对象的一个充分条件;(3)对于有限型d-丛范畴,有限型3-丛范畴存在丛倾斜对象当且仅当3-丛范畴是A_1,A_3.D_(2n-1)(n2)型的;(4)D_(2n-1)型(2m+1)-丛范畴存在一个丛倾斜对象满足其自同态代数为自入射代数,且其模范畴的稳定范畴等价于A_(4mn-4m+2n-1)型(4m+2)-丛范畴.     

CONSTRUCTIONS OF POWER BASES OF CYCLOTOMIC FIELDS

Suppose Q(ζ_m) is the m-th cyclotomic number field, where ζ_m is an m-th primitive root of unity, m>1 any integer. Let a_m=ζ_m+ζ_m~2+...+ζ_m~((m-1)/2) if m is odd and let β_m be the product of the integersl-ζ_m(1相似文献   

对合导子构造的3-李双代数与3-Pre-李代数

研究具有对合导子的3-李代数的结构,证明了具有对合导子的m-维3-李代数A存在相容的3-Pre-李代数,且在2m-维半直积3-李代数A■_(ad~*)A~*上存在局部上循环3-李双代数结构.利用对合导子构造了3-李代数A■_(ad~*)A~*上的3-李Yang-Baxter方程的解和一类3-Pre-李代数,并构造了8-维和10-维局部上循环3-李双代数.     

仿射李代数上基本模的极大权

设g(A)是结合于仿射型广义Cartan矩阵A的Kac-Moody代数,L(Λ)(Λ∈P )是g(A)上可积不可约的最高权模。文献[1]证明了L(Λ)的支配极大权只有有限个,并且决定了A~((k))_l,D~((k))_l,E~((k))_l(k=1,2,3)型Kac-Moody代数上水平1的可积不可约模L(Λ)的极大权集及权系。本文试图用不同于[1]的方法,也是更直接的方法,来决定C~((1))_2,G~((1))_2型Kac-Moody代数上基本不可约模L(Λ)的极大权集和权系。 本文所使用的术语和记号均见文献[1]。     

Automorphisms of a Class of Finite p-groups with a Cyclic Derived Subgroup

Let p be an odd prime,and let k be a nonzero nature number.Suppose that nonabelian group G is a central extension as follows1→G'→G→Z_(p~k)×…×Z_(p~k),where G'≌Z_(p~k),and ζG/G' is a,direct factor of G/G'.Then G is a central product of an extraspecial p~kgroup E and ζG.Let |E|=p~((2n+1)k) and |ζG|=p~((m+1)k).Suppose that the exponents of E and ζG are p~(k+l) and p~(k+r),respectively,where 0≤l,r≤k.Let Aut_(G') G be the normal subgroup of Aut G consisting of all elements of Aut G which act trivially on the derived subgroup G',let Aut_(G/ζG,ζG) G be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on the center ζG and let Aut_(G/ζG,ζG/G') G be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on ζG/G'.Then(ⅰ) The group extension 1→Aut G'→Aut G→Aut G'→1 is split.(ⅱ) Aut_(G') G/Aut_(G/ζG,ζG) G≌G_1 × G_2,where Sp(2n-2,Z_(p~k))■H≤G_1≤Sp(2n,Z_(p~k)),H is an extraspecial p~k-group of order p~((2n-1)k) and(GL(m-1,Z_(p~k))■Z_(p~k)~((m-1))■Z_(p~k)~((m))≤G_2≤GL(m,Z_(p~k))■Z_(p~k)~((m)).In particular,G_1=Sp(2n-2,Z~(p~k))■ H if and only if l=k and r=0;G_1=Sp(2n,Z_(p~x)) if and only if l≤r;G_2=(GL(m-1,Z_(p~k))■ Z_(p~k)~((m-1))■ Z_(p~k)~((m)) if and only if r=k;G_2=GL(m,Z_(p~k))■Z_(p~k)((m)) if and only if r=0.(ⅲ) Aut_(G') G/Aut_( G/ζG,ζG/G') G≌G_1 × G_3,where G_1 is defined in(ⅱ);GL(ml,Z_(p~k))■ Z_(p~k)~((m-1))≤G_3 ≤GL(n,Z_(p~k)).In particular,G_3=GL(m-1,Z_(p~k))■ Z_(p~k)~((m-1)) if and only if r=k;G_3=GL(m,Z_(p~k)) if and only if r=0.(ⅳ) Ant_(G/ζG,ζG/G') G≌ Aut_(G/ζG,ζG/G') G■ Z_(p~k)~((m)),If m=0,then Ant_(G/ζG,ζG/G') G=Inn G≌Z_(p~k)~((2n));If m 0,then Ant_(G/ζG,ζG/G') G≌Z_(p~k)~((2nm))×Z_(p~(k-r))~((2n)),and Aut_(G/ζG,ζG) G/Inn G≌Z_(p~k)~((2n(m-1))× Z_(p~(k-r))~((2n)).     

对偶扩张代数的倾斜模及其导出的挠理论 *

设A是有限维代数 ,R为代数A的对偶扩张代数 .研究了倾斜理论及其导出的挠理论 .首先通过函子研究了倾斜R 模与倾斜A 模的重要联系 ,给出了M _AR是一个倾斜R-模的充分必要条件.其次讨论了两个倾斜模给出模范畴中同一子范畴的不同等价问题 .对倾斜R-模M₁ AR和M₂ AR ,证明了它们导出modR中相同的挠理论当且仅当M₁和M₂ 导出modA中相同的挠理论 .     

约束线性方程组通解的显式表示及Cramer法则

本文研究了一般的约束线性方程组Ax=b,x∈T, (1.1)其中A∈C~(m×n),b∈R(A),T为C~n中任意取定的子空间。给出了(1.1)有唯一解的充要条件;在有唯一解时,利用B-D逆(A~*A)_((T))~((-1))给出了唯一解的显式及cramer法则;在有解但解不唯一时,利用B-D逆(A~*A)_((?))~((-1))(这里(?)=R(R_TA~*))给出了(1.1)的通解的显式及Cramer法则。其结果改进并推广了文[2,3,4,5,6]中的有关结果。 另外,本文研究了A的T-约束M-P逆(AP_T)~+与A~*A的B-D逆(A~*A)_((?))~((-1))的关系,证明了下列事实:(AP_T)~+=(A~*A)_((?))~((-1))A~*,特别,当T∩N(A)={0}时,(AP_T)~+=(A~*A)_((?))~((-1))A~*。     

关于n-BB-倾斜模的一个注记

设A是一个域k上的基本有限维代数.本文证明了如果AT是一个n-BB-倾斜模,那么TB亦为n-BB-倾斜模,其中B=End(AT).进一步,如果AT是一个n-APR-倾斜模,那么TB亦为n-APR-倾斜模.最后,把本文的结果应用到一个具有n-APR-倾斜模AT的代数A上,得到A是n-表示-有限的(无限的)当且仅当B是n-表示-有限的(无限的).     

平凡扩张代数的Generic模

设A为代数闭域上的有限维代数.一个无限维不可分解A-模M称为Gen-eric模意指M作为它自同态环上的模是有限长度的.设R=ADA是A的平凡扩张代数.通过ModA与ModR之间的某些函子由Generic A-模构造出了Generic R-模.同时还证明了:当A为Tame遗传代数时,R有且仅有两个Generic模.     

关于线性规划问题惩罚因子的范围估计

文[1]证明了约束线性方程组的增广矩阵[A b]经m次初等行变换即可化成形如A_1=(A~(1)b~(1))的矩阵,这里A~(1)=(a(_ij)~(1))_m×n,A~(1)的第J_i(i=2,3,…,m)列为m维列向量e_i=(0,…,0,1,0,…,0)~T,其中“1”位于i维,b~(1)=(b_1~(1),0,…,0)~T.其中b_1~(1)为正数.于是问题(1)可化成如下的等价形式     

倾斜代数的一类单点扩张(Ⅱ)

设A遗传,(A,T,B)是倾斜对,B~N=Hom_A(T,M),M∈G(T).本文首先给出A=A[M]上倾斜模T=T⊕P_A(ω)诱导的B=B[N]-mod中Torsion theory((T),(T))可裂的充要条件;然后利用它对B-mod的AR箭图的结构作了刻划;得到了遗传代数借助不可分解内射模的单点扩张代数的表示型的完整刻划,作为推论给出了Happel提出的公开问题的部分回答.     

对偶扩张代数的shod子范畴与反变有限子范畴

设A是一个有限维代数,R是A的对偶扩张代数。本文研究代数R的shod子范畴,A-模范畴D的倾斜对象与R-模范畴D的倾斜对象之间的关系以及R的反变有限的子范畴。     

Morita context环上的倾斜模和余倾斜模（英文）

令■为一个Morita context环,其中双模同态Φ和Ψ是0.本文研究了A₍(0,0))上扩张函子Ext的消失性,描述了具有有限投射维数(内射维数)的A(0,0)-模的结构.利用这些结果,我们分别刻画了Λ₍(0,0))上的倾斜模和余倾斜模.     

GMRES方法的收敛率

1 引 言 GMRES方法是目前求解大型稀疏非对称线性方程组 Ax=b,A∈R~(n×n);x,b∈R~n (1)最为流行的方法之一.设x~((0))是(1)解的初始估计,r~((0))=b-Ax~((0))是初始残量,K_k=span{r~((0)),Ar~((0)),…A~(k-1)r~((0))}为由r~((0))和A产生的Krylov子空间.GMRES方法的第k步     

Koszul微分分次模

引入了Koszul微分分次模的概念. 给定Koszul微分分次代数上的一个下有界的微分分次模, 如果这个模到平凡模的Ext-\!群是有界的分次空间, 则它必定包含一个微分分次子模, 其在适当的截断和移位下是Koszul微分分次模; 这样的模还可以通过一系列Koszul微分分次模来逼近(参见本文推论3.6). 设$A$是一个Koszul微分分次代数, $D^c(A)$是微分分次右$A$-\!模范畴的导出范畴中由对象$A_A$生成的满三角子范畴. 如果平凡微分分次模$k_A$落在范畴$D^c(A)$中, 则三角范畴$D^c(A)$的标准$t$-\!结构的中心, 作为Abel范畴, 与某个有限维代数上的有限生成模范畴对偶. 进一步, 可推得三角范畴$D^c(A)$等价于它的标准$t$-\!结构的中心的有界导出范畴.     

一类Koszul代数的n-APR倾斜的τ_([n])-mutation实现

本文引入一类Koszul代数的τ_([n])-mutation的概念,并证明对于整体维数小于等于n的Koszul代数,如果其Koszul对偶为允许(n-1)-平移代数,则其n-APR倾斜模的自同态代数的箭图可由其自身作τ_([n])-mutation实现.     

△-tame拟遗传代数

设(K,M,H)是上三角双模问题,Br(u)stle和Hille证明了(K,M,H)的矩阵范畴Mat(K,M)的投射生成子P的自同态代数的反代数A是拟遗传代数,而且代数A的△好模范畴与Mat(K,M)等价.本文基于双模问题的tame定理,证明了如果由上三角双模问题所对应的拟遗传代数A是△-tame表示型的,则F(△)具有齐次性质,即F(△)中的几乎所有的模都同构于它的Auslander-Reiten变换;进一步地,如果(K,M,H)是上三角双分双模问题,则A是△-tame表示型的当且仅当F(△)具有齐次性质.     

对偶扩张代数的分裂挠理论与Generic模

设A是一个有限维代数,R是A的对偶扩张代数.MA是一个A-模.给定一个倾斜R-模M(○)AR,我们知道MA一定是一个倾斜A-模.设(TM(○)AR,FM(○)AR)与(TM,FM)是分别由M (○)AR和MR导出的挠理论.本文讨论挠理论的分裂性以及Generic A-模与Generic R-模之间的关系。     

环上的Hopf稠密伽罗瓦扩张（英文）

给定交换整环R,以及Hopf R-代数H,且H是一个有限生成的自由R-模.设A是一个R-代数,并且A是H-余模代数.如果自然映射β:A■_(A~(coH)) A→A■RH的余核是商有限的,则称A/A~(coH)是一个Hopf稠密伽罗瓦扩张.它是域上Hopf稠密伽罗瓦扩张的推广.本文证明了R上的Hopf稠密伽罗瓦扩张隐含了一个弱化的Auslander定理.此外,假设A是几乎可交换代数,且gr(A)是一个整环.如果A/A~(coH)是Hopf稠密伽罗瓦扩张,且自然映射β是严格的,本文证明了在此情形下,H在一个包含R的代数闭域上对偶于一个有限群代数.     

仿射代数A_2~(2)的一类可积模的完全分类

本文讨论了有扭的仿射李代数 A_2~((2))的一类不在范畴 O 的可积模.证明了这样的模是完全可约的,并且决定了所有的这类不可约模.从而这类模的结构是完全清楚的.