Quiver的正合表示

给定一个quiver Q和正合范畴A.证明了Q的A-表示范畴Rep(Q,A)继承了A的正合结构;当Q是左rooted quiver时确定了Rep(Q,A)的投射对象.     

拟阵Q_6与W~4可F-线性表示的构造

对拟阵 Q6与W4可F-线性表示的构造进行了研究.用E(G)在R上的链群F0(G,R)表示G的圈拟阵M(G);用松弛拟阵M的极小圈超平面X的方法得到拟阵M′.得到主要结果为:(1)用链群表示了M(K4),M(W4);(2)用松弛极小圈超平面的方法从M(K4)构造了Q6,从M(W4)构造了W4,找出了W4可线性表示的所有域F.     

根箭图表示范畴中的Gorenstein平坦-余挠对象

设R是具有单位元的结合环,Q=(Q₀,Q₁,s,t)是箭图.给出根箭图表示范畴中的Gorenstein平坦-余挠对象的定义及等价刻画,并研究Gorenstein平坦-余挠对象的相关性质.     

1—群自由积的非2可迁表示

A.M.W.Glass给出了有理数集Q上两个l-群的l-自由积的2-可迁表示.本文在作者已经得到两个l-群的l-自由积的高O-可迁表示的基础上给出自然数集N上l-群的自由积的非2可迁表示.     

有限群广义表示的进一步研究

经典的群表示是通过研究与抽象群保持运算的具体群来获取原来群的结构的丰富信息,如通过研究与抽象群G保持同态的线性空间V的全体可逆线性变换组成的乘法群GL(V)及域F上全体可逆矩阵组成的乘法群GL(n,F),解决与群结构有关的许多问题.该文在已有定义及相关结论的基础上,继续研究群G到GL(V)或GL(n,F)的广义同态,即群的广义线性表示和广义矩阵表示,获得若干有用的群结构信息.     

带自同构的Dynkin箭图的F-稳定表示

研究了Bernstein-Gelfand-Ponomarev反射函子在带自同构σ的箭图Q的F-稳定表示上的作用,并证明了当Q是Dynkin图时,存在一个从Q的不可分解F-稳定表示的同构类到(Q,σ)对应的赋值图的正根的双射.     

一类四元数矩阵保左特征值的线性映射条件

设Q表示四元数集合,Mn(Q)表示n×n四元数矩阵的集合.若M、N∈Mn(Q)分别是下三角可逆四元数矩阵且φ(A)=MAN,证明了对于任意下三角四元数矩阵A∈Mn(Q),如果φ(A)与A具有相同的左特征值,当且仅当M、N和A中的元素mss,nss和ass的虚部对应成比例,且mssnss=1,或虚部对应为零.     

余模的Auslander-Reiten 平移

设Γ是域k上的余代数,对函子τ=DTr:MΓ_qc→MΓ_qc作进一步研究,其中MΓqc表示MΓ中由拟有限余表示余模确定的完全子范畴.证明了当Γ是半完备余代数时,τ是范畴f.d.M〖TXX-〗Γ_qc与f.d.M〖TX-〗Γ_qp之间的等价,其中M〖TXX-〗Γqc(M〖TX-〗Γ_qp)是内射(投射)稳定范畴,f.d.M〖TXX-〗Γ_qc(f.d.M〖TX-〗Γ_qp)是M〖TXX-〗Γ_qc(M〖TX-〗Γ_qp)中有限维射内射(投射)余模作成的完全子范畴.     

(M,H)-临界矩阵

引进(M,H)临界矩阵的概念,研究由广义对称算子诱导的两非零广义对称张量相等的必要条件和VX∈Mn(C),多项式恒等dHM(AX)=dHM(XA)成立的充要条件,这里H是n次对称群Sn的子群,而dHM表示由群H的酉表示M诱导的矩阵函数.     

关于有限n-表示模的若干复形

基于Bravo等对FPn-内射模和Wang等对FP-内射复形的研究,利用同调代数的方法,讨论关于有限n-表示模的内射复形和平坦复形,证明了当环R为左n-凝聚环时,复形X是FPn-平坦复形当且仅当X+=Hom(X,D1(Q/Z))是FPn-内射复形.     

自由群的高可迁表示

给出自由群Fη(2≤η≤χ0)在有理数集Q上的一个高O-可迁表示;也给出Fη(2≤η≤χ0)在自然数集N上的一个高O-可迁表示.     

覆盖理论手册

覆盖理论是作为构造范畴间的等价关系的通用方法而出现的一种数学理论，它的起源可追溯到1973年前苏联数学家I．N．Bernstein，J．M．Geffand和V．A．Ponomanov的两篇关于有限维代数表示理论的论文。这个理论最初是在有限维代数上的模范畴的研究中发展起来的，     

一个用无理数幂表示整数的公式

设 Q =4l +1 ,l是非负整数 ,a、b是奇偶性相同的整数 ,则对于任意的非负整数 n,　　　　 f ( n) =1Qa +b Q2n+1-a -b Q2n+1　　　　 ( * )都表示整数。特别 ,当 a、b是自然数时 ,f ( n)也是自然数 ;当 a、b是偶数时 ,f ( n)也是偶数。( * )式就是一个用无理数幂表示整数的公式。证 :当 n =0时 ,f ( 0 ) =b,命题成立 ;假设对一切小于 k的自然数 n命题均成立 ,则f ( k) =1Qa +b Q2k+1-a -b Q2k+1=1Qa +b Q2k a +b Q2 -a -b Q2k a -b Q2=1Qa +b Q2k -a -b Q2k a +b Q2 +a -b Q2　 -1Qa +b Q2k a -b Q2 -a -b Q2k a +b Q2=af ( k -1 ) …     

Coribbon弱Hopf代数

通过讨论Coribbon弱Hopf代数的有限表示范畴与Ribbon范畴之间的关系，得到一个判断一类弱Hopf代数是Cofibbon弱Hopf代数的充分必要条件．     

S~1作用的4维流形的符号差

给出了有理系数等变上同调环HG*(M;Q)是自由H*(BG;Q)模且具有有限不动点集的4维连通闭G-流形M的相交形式的符号差σ(M)与不动点集中元素个数|MG|之间的关系.     

一类由群表示诱导的迹函数

讨论了TGM(A)的性质 ,这里G是m次对称群Sm 的子群 ,TGM(A)表示群G的酉表示M诱导的迹函数 ,定义为TGM(A) =∑σ∈GM(σ)∑mt =1 atσ(t) ,所得结果推广了TGχ(A)的性质 ,这里 χ是群G的特征标 .     

pq阶Cayley图的符号星控制数

设G=(V,E)是一个没有孤立顶点的图,如果一个函数f:E→{-1,1},满足f(E(v))≥1,v∈V(G),则称f为图G的一个符号星控制函数.图G的符号星控制数定义为:γss(G)=min{f(E)|f为G的反符号星控制函数},论文确定了pq(2pq,且p、q为互异的素数)阶群Q上Cayley图X(Q,M)的符号星控制数γss(X(Q,M))=(p-1)q+1,M表示群Q的极小生成集.     

群的自由积的高可迁表示

可数无限秩的自由格序群是同构于有理数集上的格序置换群A(Q)的2-可迁子群，THEOREM6．7)．McCleary证明了有限秩的自由格序群有一个Q上的2-可迁表示．McCleary给出自由格序群Fη(1＜η＜^s\τ )在Q上有一个o-2-可迁作用，这一想法被推广到格序群的自由积．若G是一个L-群，F是基数至少是|F|的无限生成子上的自由群，则自由积G∪H在一个基数|F|的秩域上有一个o-2-可迁表示，G1ass和Gurevich则证明了两个可数L-群在Q上有一个o-2-可迁表示。证明若G和H是在有理数集Q上有忠实表示的非平凡可数群，则它们的自由积G∪H在Q上有高可迁忠实表示；若G和H是非平凡有限和可数群，且H有一个无限阶元素，则自由积G∪H在自然数集上有高可迁忠实表示。     

正交投影的子矩阵

设H是n维复Hilbert空间,Q是定义在H上的正交投影.任给H的子空间M,设dim M=r,在空间分解H=M⊕M⊥下,Q=(A B·B D),其中A∈B(M),B∈B(M⊥,M),D∈B(M⊥).利用算子分块的技巧,对空间进一步分解,讨论了Q的子矩阵A,B,D的性质及其之间的关系以及M上的正交投影P与Q之间的关系.得...     

两类domestic bocses

证明了只有一个实箭a的2点bocs,当2个点都是非平凡的,且微分δ(a)=(x-γ)u-w(y-μ)JF,以及当一个点是平凡的,一个点是非平凡的,且微分文δ(a)=(x-λ)2υ时,其表示型是tarne的,表示范畴的生长是domestic的.