对应于tame遗传代数的bocses(Ⅱ)

展示了tame遗传代数的bocses.对于每个维数d,给出了对应的仅含有不可约映射的极小bocses.除了有限个点外,这些极小bocses与对应代数的AR-箭图中具有性质dim(topM)<d的不可分解模M组成的满子图完全重合.     

可驯表示型与野表示型bocs

简化了Drozd关于极小野bocs的一个著名定理的证明, 这使得该证明中所构造的矩阵的阶数由43降低到20. 为了刻画可驯表示型bocs的微分, 给出了所有可能的极小野bocs, 并讨论了可驯表示型bocs的首箭的微分形式.     

局部和两点bocs的表示型

设k是一个代数闭域,2005年,张等人证明了,如果域k上的一个bocs是tame表示型的,则首箭微分的次数必须小于等于3.我们在本文中证明：当首箭微分的次数等于3时,bocs仍然是野型的.特别地,只含一个实箭的bocs是tame型,当且仅当首箭微分的次数小于等于2.在这种情形下,文章进一步对bocs表示范畴的生长情形进行了分类,给出了bocs为有限型、tame型domestic以及tame型指数生长的充分必要条件.     

四元数Sylvester方程的Toeplitz约束解及其最佳逼近

本文研究了四元数体上Sylvester方程具有Toeplitz矩阵约束解及其最佳逼近问题.利用四元数矩阵的实分解和矩阵Kronecker积,获得四元数Sylvester方程AX-XB=C具有Toeplitz矩阵解的充要条件及其通解表达式.同时在Toeplitz解集合中,得到与预先给定的四元数Toeplitz矩阵有极小Frobenius范数的最佳逼近解.     

统一化tame定理

著名的 tame 定理告诉我们, 对于任意的tame bocs和 正整数 $n$, 存在有限多个极小 bocs, 使得原 bocs的任意维数不超过 $n$ 的表示同构于其中某个极小 bocs的一个表示在一定的约化函子之下的像. 本文将用矩阵问题的语言给出 tame 定理的叙述, 并对正整数 $n$ 构造一个统一的极小矩阵问题, 使得原矩阵问题的任意维数不超 过 $n$ 的不可分解表示同构于该极小矩阵问题的一个表示在约化函子之下的像. 同时给出这个不可分解表示的典范形.     

二次图构形的边搜索法及其Orlik-Solomon代数的上同调

本文研究了一类特殊的图构形,即二次图构形.首先,给出了弦图的边搜索法,用边搜索法可以决定弦图所对应的超平面构形中超平面的哪些排序使构形是二次均.其次,对二次图构形的Orlik-Solomon代数作为线性空间的维数进行了计算,得到了它的Poincare多项式的表达式.最后,对二次图构形Orlik-Solomon代数的上同调进行了研究,对边缘算子集中在秩为二的模元时,得到了二次图构形的Orlik-Solomon代数的上同调的维数计算公式.     

G_(2)-型导出Hall代数的PBW基北大核心CSCD

在Dynkin型Ringel-Hall代数中,不可分解模同构类之间的所有拟交换关系的集合S构成理想Id(S)的一个极小Grobner-Shirshov基,并且对于S的所有不可约元素构成Ringel-Hall代数的一个PBW基.本文把此结果推广到G_(2)-型导出Hall代数上.首先用Auslander-Reiten箭图计算不可分解模同构类之间的所有拟交换关系,然后证明这些拟交换关系之间的所有合成都是平凡的,最后给出G_(2)-型导出Hall代数的一个PBW基.     

四元数体上Sylvester方程的循环解及其最佳逼近

Sylvester方程AX-XB=C是一类具有广泛应用背景的矩阵方程,本文在四元数体上讨论它的循环解及其最佳逼近问题.主要利用四元数矩阵的实分解和循环矩阵的特定结构,借助Kronecker积把约束四元数矩阵方程转化为实域上的无约束方程,从而得到四元数体上Sylvester方程的循环解存在条件及其通解形式.同时,在循环解集合中,寻找到与预先给定的四元数循环矩阵有极小Frobenius范数的最佳逼近解.数值算例验证了本文方法的可行性.     

具有箭形矩阵约束的四元数Sylvester方程求解

箭形矩阵是一类结构简单应用广泛的特殊矩阵,在四元数体上讨论Sylvester方程的箭形矩阵解及其最佳逼近问题.利用四元数矩阵的实分解和箭形矩阵的特征结构,借助Kronecker积把约束四元数矩阵方程转化为实域上无约束方程,从而得到四元数Sylvester方程AX-XB=C具有一般箭形解和自共轭箭形解的充要条件及其通解表达式.同时在相应的解集合中,获得与预先给定的四元数箭形矩阵有极小Frobenius范数的最佳逼近解.     

两类矩阵方程的极小范数最小二乘三对角Hermite解

正1引言矩阵方程广泛应用于诸多领域,例如:控制理论[1],系统稳定性分析[2]等.对矩阵方程的研究虽然已取得一系列重要成果[3-9],但仍然是数值代数领域中热门的课题之一.此外,由于三对角矩阵在诸多学科领域中的广泛应用,使得三对角矩阵倍受人们的关注.文献[10]利用Moore-Penrose广义逆及Kronecker积,给出四元数矩阵方程AXB=C的三对角Hermite极小范数最小二乘解和三对角双Hermite极小范数最小二乘解;文献[11]利用矩阵的实表示结构,给出四元数矩阵方程AXB=C的三对角Hermite极小范数最     

半导出Hall代数的Gr(o)bner-Shirshov基

在Dynkin型Ringel-Hall代数中,不可分解表示同构类之间的所有拟交换关系之集构成由这些关系生成的理想的一个极小Gr(o)bner-Shirshov基,并且相应的不可约元素构成此Ringel-Hall代数的一组PBW基.本文的目的 是将把此结果推广到Dynkin箭图的半导出Hall代数上去.为此,首先通过计算...     

半导出Hall代数的Gr?bner-Shirshov基

在Dynkin型Ringel-Hall代数中,不可分解表示同构类之间的所有拟交换关系之集构成由这些关系生成的理想的一个极小Gr?bner-Shirshov基,并且相应的不可约元素构成此Ringel-Hall代数的一组PBW基.本文的目的是将把此结果推广到Dynkin箭图的半导出Hall代数上去.为此,首先通过计算所有合成来证明不可分解表示同构类之间的所有拟交换关系之集是一个极小Gr?bner-Shirshov基.然后,作为一个应用,通过取所有不可约元素构造一组PBW基.     

实单纯Lie代数的分类

引言实单纯Lie代数的分类,早经E.cartan解决,他是对各类复单纯Lie代数通过实际计算得到的。方法非常烦复,不足以阐明实单纯Lie代数的特征。其后E.cartan结合对称Riemann空间的研究,得出了用紧致Lie代数对合自同构的分类法的极为重要的结果。Lardy和具体地作出了这种分类;特别是后者找出了自同构的标准形。作者曾经利用的标准形作了较深入的研究,得到了所谓半单实Lie代数的“角图”,并证明了合同的角图对应的Lie代数是同构的。因此,直接从角图的结构来分类Lie代数是可能的,这便是本文所要讨论的问题,他的特点是不依赖于对合自同构的标准形及其分类方法。因之不但是直接的同时还是简单的。有趣的是这和利用所谓     

具拟不变测度群胚流上的Toeplitz代数

设G为第二可数群胚,具有Haar系{λ^n},R为实数群,左不变作用在G上。本文我们自然地（作为[3]中概念的推广）引进两类Toeplitz代数（对应于一拟不变测度）,即小和大Toeplitz代数,并且得到了小Toeplitz代数的同构定理及k群。     

一个自入射Koszul代数的Hochschild同调与循环同调

代数的Hochschild同调群与其对应的Gabriel箭图的循环圈有着紧密的联系.本文基于Furuya构造的一个四点自入射Koszul代数的极小投射双模分解,用组合的方法计算了该代数的Hochschild同调空间的维数,并用循环圈的语言给出该代数的Hochschild同调空间的一组k-基.进一步,当基础域k的特征为零时,我们也得到了该代数的循环同调群的维数.     

双重三角棋盘格的链环分支数的计数

研究平图的链环分支数,是研究通过平图的中间图构造所对应的链环的基本问题之一,通常是通过对平图实施不改变其链环分支数的无符号平图的三类Reidemeister变换,化大图为小图,从而获得链环分支数的计数.本文运用更多的变换,使得图的缩小更快捷和更有效.由此获得双重三角棋盘格图、周期双重三角棋盘格图、蛛网周期双重三角棋盘格图和双蛛网周期双重三角棋盘格图的链环分支数的计数.     

几类积图的团染色数

设G=（VE）为简单图,V和E分别表示图的点集和边集．图G的一个k-团染色是指点集V到色集{1,2,…,k）的一个映射,使得G的每个至少含两个点的极大团都至少有两种颜色．分别给出了任意两个图的团色数与它们通过笛卡尔积、Kronecker积、强直积或字典积运算后得到的积图的团色数之间的关系．     

Brauer代数的图子式(英文)

本文研究Brauer代数的根基问题.利用图子式的方法,获得了Gavarini的猜想对Brauer代数B1n是成立的结果.     

AR箭图,例外序列与导出Hall代数中的算法

如果半单Lie代数g和有限维遗传代数Λ对应于相同的Dynkin图,则有量子群U_q(g)的正部分U~+典范地同构于Hall代数H(Λ).一个自然的问题是:如何将U+中的根向量分解为Chevalley生成元的单项式的线性组合?Chen和Xiao给出的两种算法分别利用了Λ-模的例外序列上的辫子群作用以及Λ的Auslander-Reiten箭图的结构.对于To(e|¨)n定义的导出Hall代数,本文提出了类似的问题.并得到了相应的两种算法.这两种算法也同样适用于Kapranov定义的格代数和Heisenberg double.而且,所有新的递归公式都具有和量子Serre关系相似的形式.     

二部图的距离k次方和问题（英文）

本文定义S_k(G)为G中所有点对之间距离的k次方之和.利用顶点划分的方法得到了直径为d的n顶点连通二部图S_k(G)的下界,并确定了达到下界所对应的的极图.