量子交换代数的张量积

域K上两个代数的张量积还是一个代数。类似地,拟三角Hopf代数(H,R)上的代数(H-模代数)的辫化张量积仍是H-模代数。但一般来说,H-模代数A,B是H-交换不能保证A(?)B仍是H-交换的,文献[1]中证明了当(H,R)为三角Hopf代数时,A,B为H-交换可推出A(?)B也为H-交换。本文在更一般的背景下(对任一Hopf代数H,考虑其Yetter-Drinfel’d范畴_H~HYO中的代数)来研究量子交换代数的辫化张量积成为量子交换代数的充要条件,作为推论得知文献[1]中上述结论反过来亦成立,从而得到三角(余三角)Hopf代数的一种新的刻画。由于将拟三角Hopf代数的作用和余拟三角Hopf代数的余作用统一在一起进行研究,同时也可获得对偶情形的结果。     

Hopf代数的扭曲积和量子偶

设σ是Ｈｏｐｆ代数对（Ｂ,Ｈ）上一个斜配对,Ａ是左（Ｂ,Ｈ）双余模代数,利用σ和ＨＢ,Ｈ在Ａ上的余作用改变Ａ的乘法得到一个新的代数Ａσ,称为Ａ的扭曲积。对偶地,从斜余配对出发引入扭曲余积构作,描述了Ｄｒｉｎｆｅｌｄ余量子偶和某些Ｓｍａｓｈ构作亦是以上扭曲积的特殊情形。     

mod_pΛ中无短链的有限表示型自入射代数存在Hall多项式

在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下:u_[N_1]×u_[N_2]=sum from [M] ((F_(N_1)~M)×(N_2)×u_[M])由于A是Finitary环,上式右端是有限和.这里F_(N_1N_2)~M是M的适合L（?）N_2且M/L（?）N_1的子模L的个数.Hall代数(?)(A)是有单位元1=u_[0]的结合环.为简便,总假定A是有限域k上的有限维代数.所有的有限A模构成的子范畴记为mod-A.由文献[1～3]可知,Dynkin型或仿射型遗传代数的Hall代数与相应的Kac-Moody Lie代数及其量子包络代数均有深刻的内在联系,而Hall多项式在1处的赋值恰好给出了对应Lie代数的结构系数.在文献[2]中Ringel猜测:任意有限表示型k-代数总存在Hall多项式.Ringel证明了表示直向代数有Hall多项式.Guo等人证明了mod-A中没有短圈的代数A有Hall多项式.在这篇短文中,我们证明了mod_pA中没有短链的有限表示型自入射代数A存在Hall多项式.     

格蕴涵代数的滤子与结构

为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3～5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子.     

超有限vN代数中三角子代数上的局部导子

从Ａ是超有限ｖＮ代数Ｂ中的Ｃａｒｔａｎ子代数Ｄ的σ－弱闭的三角子代数,刚从Ａ到Ｂ或Ａ的σ－弱连续的局部导子是导子,进一步,如果Ａ是σ－Ｄｉｒｉｃｈｌｅｔ子代数,则从Ａ到Ａ的σ－弱连续的局部导子是内导子。     

倾斜代数AR箭图中含直向模的DT_r轨道的个数

设A是一个连通的Artin代数.mod-A表示全体有限生成右A模的范畴.Г_A表示A的AR箭图Auslander-Reiten quiver).τ表示Auslander-Reiten变换DT_r.一个A模T_A称为倾斜(tilting)模,如果(1)T_A的投射维数至多是1;     

关于子对象分类的两则注记

关于子对象分类的公理在Topos理论的发展中起着重要的作用,在本文中,我们的目的是给出下面关于它的两个性质:定理1 设A为有拟零终对象和子对象分类(t:1→Ω,Ω)的有限完备范畴。则(1)当存在单态     

H-本原环的Martindale商环

本文均设H是域k上具有可逆antipode的Hopf代数,R是有1的H-素模代数,M是左R,H-酉模.M称为不可约的是指:RM≠0,并且M无真R,H-子模.一个H-模代数R称为是左H-本原环,若R有一个左R,H-模M,M作为左R-模是忠实的,作为R,H-模是不可约的.详细性质可见文献[1].在文献[2]中已给出例子说明:存在代数R,它是H-素,但不是通常的半素.     

拟核族的一个性质

本文讨论拟核族的构造。我们引进自匹满半函子并证明拟核族是它的一个不变量。从而,文献[1]的一条主要定理,定理3.8,被推广到带终对象的范畴而得定理A.定义1 设为一范畴,函数ψ:称为上的自匹满半函子,若     

一个新的C代数和它的本质交换子

得到了一个新的Ｃ＾＊代数Ｅ＋Ｅ;它介于所有的Ｔｏｅｐｌｉｔｚ算子的Ｈａｎｋｅｌ算子所生成的Ｈａｎｋｅｌ代数Ｎ＾Ｇ和Ｈａｒｄ空间Ｈ＾２上的所有的有界线性算子代数Ｂ（Ｈ＾２）之间,且 它的本质交换子是由满足ｆ（ｚ）＝ｆ（ｚ）的所有连续符号的Ｔｏｅｐｌｉｔｚ算子生成的Ｃ＾＊代数再加上紧算子代数。     

Hopf模代数的投射性与平坦性

Hopf代数是代数学的一个活跃分支。给出一个H-模代数A,Hopf代数理论的一个重要课题是研究代数A,不动子代数A~H及Smash积A#H三者代数性质之间的关系。我们知道,若A/A~H是H-Galois扩张,则_A~HA是投射模(见文献[1]中定理1.7或文献[2]中定理1.2′)。这启发我们研究在什么条件下_A~HA是投射模或平坦模。     

曲线上微分算子环的Stafford-Smith问题

设XM特征为零的代数闭域k上的仿射代数曲线,O(X)表示X上的正则函r,D(X)是X上微分算子环,H(X)是D(X)的导出Artin代数.Stafford-Smith在文献[1]中提出如下两个问题:Stafford-Smith问题Ⅰ:D(X)是否有无限的总体同调维数?Stafford-Smith问题Ⅱ:给定一个任何有限维代数A,是否存在仿射曲线X,使得H(X)=A?Brown在文献[2]中提出了如下问题:是否H(X)总是为拟遗传代数?     

代数系上Fuzzy合同关系的格论性质

设是一个代数系(如群、环、格、向量空间等等),上具有某些(有限或无限多个)代数运算。上的一个Fuzzy等价关系R称为一个Fuzzy合同关系,如果对     

连通环上Borel子群的自同构

设G是由有限维复单李代数L与其伴随表示确定的伴随型Chevalley-Demazure群概形,R是一个含单位元的交换环,R~*是R中所有单位构成的乘群,G(R)是环只上的ChevaUey群。设Δ是L的根系,Δ~+是由某一组素根系确定的正根系。设E(R)是G(R)的初等子群,U(R)是E(R)中由所有x_α(t),t∈R,α∈Δ~+,生成的上三角幺幂子群。设T(R)是G(R)的标准极大环面,T(R)同构于Hom(P,R~*),其中P是由Δ在整数环Z上张成的格。设B(R)是G(R)的由子群U(R)与T(R)生成的标准Borel子群。本文的主要结果是:     

具有预投射分支的mild代数

本文讨论的代数都是某个固定代数闭域k上的有单位元的有限维结合代数,并且是基本的按照文献[1],一个无限表示型代数A称为mild代数,如果对A的任意非零理想I,有A/I是有限表示型代数.我们知道,如何判别一个代数是有限表示型代数是困难的.所以,通过某种简单的方法得到一大类非平凡的有限表示型代数是有兴趣的.文献[2]给出了所有的具有预     

sl_n(A,X)的2-上循环

设A为C上任意具有单位元的结合代数,Xz为A到任意交换结合代数的一个同态,gl_n(A)为A上的n×n矩阵代数,sl_n(A,X)={A∈gl_n(A)|x(trA)=0}为gl_n(A)的李子代数,令历=Kerx。 李代数(或结合代数)L的2-上循环为L的反对称双线性函数,满足     

交叉积Hopf代数的结构

Molnar在文献[1]中用Hopf代数范畴中的可裂及余可裂短正合裂刻画了半直积Hopf代数及其对偶.Radford及Majid分别将其推广成双积(biproduct)及双交叉积(bicrossproduct),前者成为Majid的bosonization定理的一个漂亮例子,后者给出了Drinfel’d的量子偶(Double)的通用构作用.本文从新的角度推广Molnar的构作,研究张量积余代数与交叉积代数结构一起成为双代数以及Hopf代数的条件.设K为域,所论代数、余代数均指域K上的,采用文献[6]中的Sigma记号,但上、下标中省去括号,(?)简记为(?).定义 设H为双代数,B为K上向量空间,若存在双线性映射σ:H(?)H→B和线性映射·:H(?)B→B,满足1)I_H·b=b,2)∑(h_1·(l_1·b))σ(h_2,l_2)=∑σ(h_1,l_1)(h_2l_2·b),(?)b∈B,h,l∈H,则称B为左H(?)扭曲模.若代数B是左H(?)扭曲模且满足3)h·ab=∑(h_1·a)(h_2·b),4)h·1_B=ε_H(h)1_B,(?)h∈H,a,b∈B,则称B为左H(?)扭曲模代数.若余代数B是左H(?)扭曲模且满足3′)△_B(h·b)=∑h_1·b_1(?)h_2·b_2,4′)ε_B(h·b)=ε_H(h)ε_B(b),(?)h∈H,b∈B,则称B为左H(?)扭曲模余代数.若双代数B同时是左H(?)扭曲模代数和左H(?)扭曲模余代数,则称B为左H(?)扭曲模双代数.设H为双代数,B同时是代数和余代数,但不一定是双代数.若B是左H(?)扭曲模     

一个具有强齐性条件的野型Bocs

Bocs是一个范畴上具有余代数结构的双模的缩写,由Rojter在1975年提出。Дроэд发展并完善了这一理论,并运用它证明了代数表示论中最重要的定理之一,即代数闭域上的一个有限维代数或者是驯顺型的,或者是野型的,二者不可能同时成立。1988年,Crawley-Boevey将Bocs理论形式化并证明了下述     

关于遍历拟不变测度

本文给出了关于遍历拟不变测度的0-1律,还讨论了遍历测度乘积的遍历性,作为应用推广了关于高斯测度的Landan-shepp定理。设G是线性拓扑空间,R是Borel σ-代数,H是G的某线性子空间,Ω=(G,R,μ)是关于H遍历拟不变的正则概率测度。若f是其上可测实函数,满足下述条件(ⅰ)f(tg)=tf(g),(ⅱ)对每一h∈H,     

拓扑空间的Frame映射与点分离性公理

继Wallman以格论观点研究拓扑性质的方法之后,Ehresmann及其学生Bénabou首先将完备Heyting代数作为广义拓扑空间来讨论。此后Dowker,Papert和Isbell等许多数学家对完备Heyting代数做了大量的研究,逐渐建立了一个新的数学分枝——Frame理论(或其偶范畴Locale理论)。Frame理论从范畴论的高度,把拓扑学代数化,同时把代数学拓