蕴涵格与Stone表现定理的推广

从R₀-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R₀-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.     

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:     

关于局部性质的一般性定理

J.M.Atkim及R.F.Gittings(Proc.Amer.Math.Soc..50(1975),405—411)个别地证明了如下形式的一些定理:“θ-加细的局部Q空间是Q空间”,其中Q空间是某些广义度量空间。这里统一地给出了两个一般性定理,不仅使上述一些定理可以以特例而得到,且具有普遍意义。定理1 设X是θ-加细的局部Q空间,且拓扑属性Q满足下列条件:(ⅰ)关于不相交拓扑和保持的;(ⅱ)关于有限对一,连续开映射保持的;(ⅲ)     

非紧致一秩Riemann对称空间上的中心极限定理

Terras,于1984年得到了Poincar(?)上半平面M=SL(2,R)/SO(2)的中心极限定理.这是在非紧致Riemann对称空间上得到的第一个非Euclid中心极限定理.以球Fourier变换作基础,利用Lohoue和Rychner得到的热核表达式,我们在本文中建立起非紧致一秩Rie-mann对称空间上的非Euclid中心极限定理.设M=G/K为非紧致Riemann对称空间,9和(?)分别是G和K的Lie代数,(?)=(?) (?)为Cartan分解,a是(?)中的极大Abel子空间,a是a的对偶空间,a~ 是a中的正Weyl室,Ω~ 是Lie代数 (?)相对于a~ 的全体正根之集,ρ=1/2∑_(λ∈Ω)~ mλ·λ是(?)的半正根和,其中m_λ为根λ的重数,(?)=(?) a n为相应的Iwasawa分解,x∈G,H(x)∈a是x在a中的投影.G上的初等球函数定义成     

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多项式.     

A_(■0)类移位的构造和Beurling格的一个性质

设H是复可分Hilbert空间.关于日上的A_(■0)类算子、(BCP)_θ算子和加权移位算子的概念分别参见文献[1—3]. 利用Beurling格的构造,我们证明了 定理1 设T是H上不加权双边、单边移位算子,则T是非A_2的A_1类算子. 定理2 设T是以为权序列的单边加权移位算子,则T是A_(■0)类算     

核C~*-代数的张量积

M. Takesaki引入了具有性质(T)的C~*-代数,并且指出,Type Ⅰ的C~*-代数具有性质(T),具有性质(T)的C~*-代数的诱导极限仍然具有性质(T)。C. Lance指出,C~*-代数具有性质(T)的充要条件与A.Grothendieck引入的逼近性质有类似之处,因此C. Lance把具有性质(T)的C~*-代数称作核C*-代数。近来S. Wassermann指出,C~*-代数的核性与它的von Neumann代数包的半离散性(或injectivity)等价。本文将指出,核C~*-代数的张量积仍然是核的。定理 1 设A_1,…,A_n是C~*-代数,α是它们的代数张量积A_i上的C~*-范,A_n+l_n是A_n嵌以单位元l_n的C~*-代数,则     

AR箭图—类连通分支中的几乎分裂序列

设A是代数闭域F上一个有限维基连通代数,modA为有限维右A-模范畴,ΓA为代数A的AR箭图.由于modA中成立Krull-Schmidt定理,通常将modA中模与它的同构类看作一回事.Auslander和Reiten在研究Artin代数的表示理论时,引进了几乎分裂序列和既约映射的概念.今天,几乎分裂序列理论已成为代数表示论的一大基石. 令0→X→(?)_i~r=_1Y_i→Z→0是modA中的几乎分裂序列,其中Y_i是不可分解的,则数γ刻画了modA中始于X且止于Z的映射的复杂程度.因此,研究几乎分裂序列中间项的不可分解直和项的个数是很有意义的.Bautista和Brenner证明了如果A是有限表示型的,则modA中几乎分裂序列中间项至多有4个不可分解模,当中间项有4个不可分解模时,必有一个是投射-内射模.Liu将此定理推广到非正则模的几乎分裂序列上.本文研究的modA中几乎分裂序列出现在AR箭图中     

Gr(?)bner基的一个应用

本文中,假定基域k是代数封闭域P_k~n是n-维射影空间,V是P_k~n的射影代数闭集,W是P_k~m中射影代数闭集.{F_i}_(i=0)~m(?)k[X_0,…,X_n],F_i是齐次多项式且次数都是d.假定V(F_0,…,P_m)(?)V=Φ,可定义一个正则映射F:V→W满足: F(x_0,…,x_n)=(F_0(x_0,…,x_n),…,F_m(x_0,…,x_n)),其中(x_0,…,x_n)∈V。 利用Gr(?)bner基给出F是“限制同构”的充要条件。为此先给出其定义。 定义 如上所述的F:V→W,如果存在L使得L:W→V,满足F(?)L=id_w,L(?)=id_v,并且L=(L_0,…,L_n),{L_i}_(i=0)~n(?)k[Y_0,Y_0,…,Y_m],L_i为齐次多项式并且次数都是d′. 我们所用Gr(?)bner基的表述和结论都来源于文献[1]～[3]。