An-型线性矩阵问题的典范形

给出了An-型路代数的所有不可分解表示与其对应的An-型线性矩阵问题的所有不可分解矩阵之间的一一对应,以及这些不可分解矩阵的典范形.     

band-模的典范型

设k是一个代数闭域,Λ=k[x,y]/(x2,xy,y3)是一个Gelfand-Ponomarev代数,(μ)=((Λ~)×(Λ~),rad(Λ~),0)为其双模问题.本文确定了Mat(μ)中维数向量为(n,n)的不可分解典范型的结构,并给出了计数公式;定义了(μ)上的R-band,证明了(μ)上的所有R-band与Λ的band等价类一一对应, (μ)上的不可分解典范型与Λ上band-模的同构类一一对应.     

一个野代数的二维的不可分解表示

在表示型的研究中,野代数Γ=k〈x,y〉扮演重要角色,但通常描述其表示是非常困难的。本文主要利用Belitskii算法得到代数Γ所有二维表示的同构类,等价地,得到二阶矩阵对的Belitskii标准形,并得到该线性矩阵问题的Belitskii标准形的参数数。     

Gorenstein范畴的一个推广

主要介绍并研究强W-Gorenstein范畴SG(W)。进而证明了M是W-Gorenstein范畴中的对象当且仅当M是强W-Gorenstein范畴SG(W)中对象的直和因子。     

关于Abelian三角范畴的一个注记

主要证明如下结论:如果(C,T,Δ)是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成:U⊕V(00/01)→W⊕V(00/10)→T(U)⊕W(10/00)T(U)⊕T(V).由此得到:如果C是一个Abelian范畴,T是C上的可逆加法自函子,则有且仅有一种方式使(C,T)构成三角范畴.另外,还通过Abelian范畴C上的Serre类,研究局部化范畴C[S-1]是Abelian三角范畴的条件.     

k-线性平凡扩张范畴

设C是k-线性范畴,M是C-C双模,定义k-线性平凡扩张范畴C′=C■M,首先证明其为平凡扩张代数的自然推广,其次证明左C′-模范畴等价于左C-模范畴关于张量函子MC-的右平凡扩张范畴(C-Mod)■(MC-),推广了经典的平凡扩张代数的模范畴理论.并将此结论应用到k-线性三角矩阵范畴,重新刻画其模范畴的结构.     

偏序范畴若干问题研究

本文介绍了关系及关系矩阵等概念,并着重讨论了偏序关系及对应的偏序范畴、偏序矩阵,刻划了偏序范畴的始对象、终对象和零对象,偏序范畴的积范畴以及给出相应的矩阵的关系,即积范畴对应的偏序矩阵是原来两个偏序矩阵的张量积;讨论了等价的偏序范畴对应的偏序集之间的关系.     

k-线性三角矩阵范畴

k-线性范畴是有限维k-代数的自然推广.设C=C1凵MC2是k-线性三角矩阵范畴,首先证明k-线性三角矩阵范畴C是三角矩阵代数的自然推广,然后研究左C模范畴,证明了cMod同构于三元组范畴CT,并利用Hom函子与函子的伴随关系,得到CMod同构于三元组范畴C■,推广了经典的三角矩阵代数的模范畴理论.     

野败型水稻的核质互作与基因差异表达

运用差异展示方法对野败型细胞质雄性不育系珍汕９７Ａ及其相应的保持系珍汕９７Ｂ基因产物进行比较分析,发现这两个核基因组完全相同的品质间约有１０％的基因表达有差异;选取一个差异表达明显的ｃＤＮＡ成员Ｂ１３２进行Ｎｏｒｔｈｅｒｎ杂交发现,该基因在保持系中正常表达同源,在不育系中表达受到明显抑制,而在杂种一代中又正常代表达,在恢复系中表达水平也很低,这是一种典型的核质互作现象。     

球体约束的规范表达

研究球体的规范表达。提出平面冗余、平凡线性冗余、半线性冗余三条新的规范原则,并给出了球体约束元组的规范算法。     

Jordan标准形理论中的一个计算问题

讨论了域F上矩阵A到它的Jordan标准形所关联的可逆矩阵W_0,在理论上给出了求W_0的一种初等方法.     

关于线性型Frobenius问题的注记

以g(a_1,a_2,…,a_n)表n元整系数线性型a_1x_1+…+a_nx_n,a_i>0,(a_1,…,a_n)=1,不可非负整表出之最大整数,D_(n-1)=(a_1,…,a_(n-1)).注记中将证明g(a_1,…,a_n)=D_(n-1)·g(a_1/D_(n-1),…,a_(n-1)/D_(n-1),a_n)+(D_(n-1)-1)a_n。并由此对Brayer关于g(a_1,…,a_n)之上确界的著名结果和Roberts关于g(a,a+d,…,a+sd)的精确结果分别给出一个十分简洁的新证明.     

复半正定矩阵的标准形及行列式模的不等式

建立了复半正定矩阵的复相合标准形,由此得到复半正定矩阵行列式模的两个重要不等式,推广了Ｏｓｔｒｏｗｓｋｉｉ－Ｔｕｓｓｋｙ不等式及李俊杰（１９９５）文中的结果。     

建立可观测标准形的一种新方法

介绍一种简单易懂的由微分方程推导可观测标准形的方法.该方法可清晰得出状态变量的选择规则.     

关于Jordan标准形

该文首先定义线性变换(矩阵)的最小多项式,讨论它的若干性质,并给出求过渡矩阵的方法,从而得到Jordan标准形的一种比较简洁的证明:     

二元外代数对应的线性矩阵问题

设((￡)(M))是对应于二元外代数A=k/(x2,xy+ yx,y2)的线性矩阵问题,利用Belitskii算法得到(M)(n)中的(n)×(n)不可分解矩阵在(￡)(n)-相似变换下的典范形的具体形式.     

若当标准形计算简化及在解线性递推式中应用

对若当标准形及所使用的可逆矩阵的计算加以简化，并借助若当标准形给出线性递推关系式求解的一般方法。