In this paper , we define the concepts of fuzzifying subalgebras , fuzzifying ideals , and fuzzifying implicative ideals in bck - algebras and discuss their properties and relations among them 在bck -代数中定义了不分明化子代数和不分明化理想的概念,讨论了它们的性质及彼此间的关系。
Derivation algebras play an important role in the research of lie algebras and lie superalgebras . until 1988 , the derivation algebras of finite dimensional modular lie algebras of cartan - type had been researched 由于导子代数在李代数及李超代数的研究中起着非常重要的作用。到1988年,已研究了有限维cartan型模李代数的导子代数。
The basic properties of matrix subalgebra were investiaged , the matrix subalgebra was generated by a single matrix , all maximal ideals were classified , the necessary and sufficient conditions for the subalgebra to be semisimple algebra were given 摘要研究了由一个矩阵生成的拒阵子代数的基本性质,给出了其极大理想的完全分类及这类子代数是半单代数的充要条件。
The system ip and relations of classification of generalized tautologies among the systems ip and its 3 - valued system and the system c2 is investigated . it is proved that generalized tautologies are decidable in the system ip 本文分两种情形b一0与p 0 )研究了系统lp与其三元子代数及经典二值系统q之间(广川重言式的关系,指出在系统lp中广义重言式是可判定的
The c * - algebras considered are those that can be expressed as inductive limits of matrix algebras , matrix algebras over cuntz algebras , matrix algebras over extensions of cuntz algebras , and their hereditary c * - subalgebras . c * - algebras in the class are not necessary simple 我们要分类的c ~ * -代数可表示为矩阵代数, cuntz代数上的矩阵代数, cuntz代数的扩张上的矩阵代数及其可遗传的c ~ * -子代数的归纳极限。
Let f be a field and charf = p = 3 . in this paper the generators of modular simple lie superalgebras w , h , s , k and ho of cartan - type are determined . their derivation algebras and their dimensions are determined , also . the main results are following : ( l ) let t = { xki | 1 < i < m , 0 < ki < 3ti } , s = { xi | m + 1 < i < s } , then t sgenerates k ( m , n , t ) 设f是特征p = 3的域,本文决定了f上有限维cartan型单李超代数w型, h型, s型, k型和ho型的生成元和它们的导子代数及其维数
Their size parameters , the largest probability of a successful impersonation attack and the largest probability of a successful substitution attack are computed ; chapter three use sympletic geometry to construct authentication codes with arbitration , some parameters and the largest probability of successful attack are also computed ; chapter four is about lattices generated by transitive sets of subalgebras under finite chevalley groups 并计算了相关参数及成功伪造和成功替换的最大概率;第三章在辛几何的基础上构造了具有仲裁的认证码,亦计算了相关参数及各种攻击成功的最大概率;第四章讨论了有限域上chevalley群作用下的子代数轨道生成的格。
In the third part , this paper studies the mp filters of mtl algebras from many respects . it gives the definition of maximal mp filters , provides the equivalent condition of maximal mp filters , depicts the structure of the subalgebras of mtl algebras , discusses locally finite mtl algebras ; studies the boolean filters of mtl algebras , proves if f is a boolean filters of m which is an mtl algebra , then m / - f is a boolean algebra and discusses local mtl algebras 第三章:从多方面研究了mtl代数的mp滤子,给出mtl代数极大mp滤子的定义;找出了是mtl代数极大mp滤子的等价条件;对mtl代数的子代数给予刻划;还讨论了局部有限mtl代数;研究了mtl代数的布尔滤子;证明了当f是mtl代数m的布尔滤子时, m f是布尔代数;还讨论了局部mtl代数。
We can give different structures on a tensor product h q to make it a bialgebra or hopf algebra . in [ 1 ] radford constructed a hopf algebra a x h with the smash algebra structure and the smash coproduct coalgebra structure , and pointed out that if a bialgebra b has a hopf subalgebra h and a projection ! : b - - > h , then there must be a subalgebra a of b such that b @ a x h is a bialgebra isomorphism 在张量积hq上可以给出不同的构造,使它成为双代数或hopf代数, radford在文献[ 1 ]中构造了以smash积为代数结构,余smash积为余代数结构的hopf代数a h ,并指出若b是双代数, h是b的子hopf代数,且存在投射: b h (即是双代数同态,且| _ h = id _ h ) ,则一定存在b的子代数a ,使ba h是双代数同构。
So r0 operator and godel operator are united in the systems ha the negation - a with respect to parameter a is defined in ha , the many - valued system h1 / 2 = ( [ 0 , 1 ] - 1 / 2 , 1 / 2 ) is discussed in detail . the classification theorem of tautologies in f ( s ) is obtained in h1 / 2 . the classfication of tautologies is defined on hq 本文还在h _系统中引入了带参数的非运算,较细致地研究了多值系统的子代数理论,以为赋值域建立了f ( s )中重言式的分类定理,并将广义重言式分类定理推广到系统h _ ( 0 1 )中。