The global dimensions of crossed products and crossed coproducts

In this paper, we show that if H is a finite-dimensional Hopf algebra such that H and H^＊ are semisimple, then gl.dim（A#σH）=gl.dim（A）, where a is a convolution invertible cocycle. We also discuss the relationship of global dimensions between the crossed product A^#σH and the algebra A, where A is coacted by H. Dually, we give a sufficient condition for a finite dimensional coalgebra C and a finite dimensional semisimple Hopf algebra H such that gl.dim（C α H）=gl.dim（C）.     

基于代数滑移模型的光催化反应器内催化剂颗粒分布特性研究

针对光催化制氢反应器内液固两相流的特点,运用代数滑移模型,对反应器内的催化剂颗粒-水两相流动进行了数值模拟。采用分块的结构化网格,并运用多重网格方法进行求解。通过与前人实验中压力梯度结果的比较,对模型进行了验证,并最终得到了反应器内催化剂颗粒的典型分布及相应的类型图。     

Fuzzy半群中的Fuzzy理想

本文先引入Ｆｕｚｚｙ半群中Ｆｕｚｚｙ理想的概念，进而讨论它们的一些代数性质，推广了前人的一些结果。     

集对Fuzzy格及其在格表示论中的应用

用幂集格构造了集对 Ｆｕｚｚｙ 格（这与用整数对构造有理数集有相似之处）,并用它证明了完整的软代数表示定理,即定义了到自身的映射且有最大元和最小元的格为软代数的充要条件是它与某个集对 Ｆｕｚｚｙ 格的子格同构．这样,与分配格在幂集 Ｂｏｏｌｅ 格中表示相对应,软代数在集对 Ｆｕｚｚｙ 格中有表示,在理论上是很完美的     

无限维Heisenberg代数的导子代数和全形

给出了无维Ｈｅｉｓｒｂｅｒｇ代数的全形和全形的导子代数Ｄｅｒ（ｓ）证明（ｓ）不是一个完备李代数，但Ｄｅｒ（ｓ）是一个完备李代数。     

Complete Positivity of Elementary Operators on C^＊—algebras

1.IntroductionandPreliminariesInthispaper,AdenotesaC'-algebra.AnelementaryoperatoronAisamappingoftheformE:x-Zaixbi,whereaiandbiarefixedelementsofA.AnidempotenteinAiscalledi-lminimal,ifeAe=Ce.ThesocleofA,soc(A)isdefinedtobethetwo-sidedidealgeneratedbyallminimalidempotentsinAoroiftherearenone.AissaidtObeprimeifxAy=Oimpliesx=oory=oforallx,yinA.Aiscalledprimitiveifithasafaithfulirreduciblerepresenta-tion.LetAandBbeC'-algebras,alinearmap@:A-Biscalledpositiveifdi(a)ispositiveforallPositiv…     

代数体函数的充满圆

代数体函数是否存在充满圆序列？是个一直未解决的基本问题．木文证明了有限正级Ｋ值代数体函数，必定存在充满圆序列．从而关于亚纯函数的一些结论．有可能推广到代数体函数．     

Homomorphisms between JC＊-algebras and Lie C＊-algebras

It is shown that every almost ＊-homomorphism h ： A→B of a unital JC＊-algebra A to a unital JC＊-algebra B is a ＊-homomorphism when h（rx） = rh（x） （r 〉 1） for all x∈A, and that every almost linear mapping h ： A→B is a ＊-homomorphism when h（2^nu o y） - h（2^nu） o h（y）, h（3^nu o y） - h（3^nu） o h（y） or h（q^nu o y） = h（q^nu） o h（y） for all unitaries u ∈A, all y ∈A, and n = 0, 1,.... Here the numbers 2, 3, q depend on the functional equations given in the almost linear mappings. We prove that every almost ＊-homomorphism h ： A→B of a unital Lie C＊-algebra A to a unital Lie C＊-algebra B is a ＊-homomorphism when h（rx） = rh（x） （r 〉 1） for all x ∈A.     

An Implementation for the Algorithm of Janet bases of Linear Differential Ideals in the Maple System

In this paper, an algorithm for computing the Janet bases of linear differential equations is described, which is the differential analogue of the algorithm JanetBasis improved by Gerdt. An implementation of the algorithm in Maple is given. The implemented algorithm includes some subalgorithms: Janet division,Pommaret division, the judgement of involutive divisor and reducible, the judgement of conventional divisor and reducible, involutive normal form and conventional normal form, involutive autoreduction and conventional autoreduction, PJ-autoreduction and so on. As an application, the Janet Bases of the determining system of classical Lie symmetries of some partial differential equations are obtained using our package.