蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

李超代数与Frobenius代数

利用限制李超代数的新定义,给出了李超代数的p-包络的一些相关结果,并将李代数中表示理论的一些结果推广到李超代数上,进而研究了限制李超代数与Frobenius代数的关系．     

李超代数与Frobenius代数

利用限制李超代数的新定义,给出了李超代数的p-包络的一些相关结果,并将李代数中表示理论的一些结果推广到李超代数上,进而研究了限制李超代数与Frobenius代数的关系.     

粗糙集代数与MV代数

讨论粗糙集代数与MV代数的关系以及由粗糙集代数构造MV代数的方法.粗糙集代数本身具有格结构,证明了在适当选取蕴涵及乘积运算之后,粗糙集代数就成为MV代数.     

一类非Hopf 代数的双Frobenius 代数

本文构造了一类非Hopf 代数的双Frobenius 代数. 特别地, 在某些特殊的情形下, 这里构造的双Frobenius 代数是整体维数为3 的阶1 生成的Artin-Schelter 正则代数的Yoneda 代数.     

BCI—代数的KI并代数

本文引入ＢＣＩ－代数的ＫＩ并代数，它是ＢＣＫ－代数的无交并的推广。     

Fuzzy蕴涵代数与MV代数

本文讨论Ｆｕｚｚｙ蕴涵代数与ＭＶ代数之间的关系，并证明了在一定的条件下Ｆｕｚｚｙ蕴函代数是剩余格。     

Quantale代数及其代数理想

给出Quantale代数的概念,得到了单位Quantale是Quantale代数的充要条件,讨论了理想与代数理想的关系,找到了理想不是代数理想的具体例子以及理想是代数理想的充分条件.     

关于格蕴涵代数与BCK-代数

证明了格蕴涵代数与有界可换 Ｂ Ｃ Ｋ代数是两类相互等价的代数系统,借此得到了一类 Ｂ Ｃ Ｋ代数的结构定理     

可换环上一般线性李代数在几类典型李代数中的扩代数

研究典型李代数的子代数结构,利用矩阵方法决定了含幺可换环上n级一般线性李代数分别在2n级辛代数,2n级正交代数及2n 1级正交代数中的扩代数.     

Affine Algebraic Varieties Relative to an Algebraic Theory

Affine algebraic varieties relative to an algebraic theory are introduced and described as irreducible components of affine algebraic sets. Their category is shown to be dually equivalent to the category of irreducible functional algebras.     

一类算子矩阵特征值的代数指标和代数重数

自伴算子特征值的几何重数与代数重数相等,但对于非自伴算子不一定成立,这主要是特征值的代数指标起着决定性的作用.讨论了一类非自伴算子矩阵特征值的几何重数,代数指标与代数重数.     

实分片代数曲线的某些研究

分片代数曲线作为二元样条函数的零点集合是经典代数曲线的推广. 利用代数的基本知识, 本文对实分片代数曲线的基本性质进行了初步讨论, 并且将实分片代数曲线与相应的二元样条分类进行讨论. 最后, 对实分片代数曲线上的孤立点进行了研究.     

Algebraic Functions,Calculus Style

We investigate the structure and properties of the explicit algebraic functions described in calculus texts and their relation to algebraic functions. A structure theorem enables us to construct a large number of examples. An example of an algebraic function that is not explicitly algebraic is studied, and an abstract algebraic context is provided for the theory.     

The Quotient Ring of Algebraic Interger Ring

ＴｈｅＱｕｏｔｉｅｎｔＲｉｎｇｏｆＡｌｇｅｂｒａｉｃＩｎｔｅｒｇｅｒＲｉｎｇ￥ＤｉｎｇＲｕｉｘｉａｎｇ；ＬｉｕＧｕａｎｇｌｉａｎｇ（ＰｕｙａｎｇＥｄｕｃａｔｉｏｎｓＣｏｌｌｅｇｅ，Ｈｅｎａｎ，４５７０００）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｅｐａｐｅｒ，ｗｅ...     

Two-dimensional Irreducible Algebraic Semigroups

We study two-dimensional irreducible projective smooth algebraic semigroups. Minimal surface semigroups with Kodaira dimension at most one are partially classified. We also calculate the local dimension of the moduli scheme parameterizing all algebraic semigroup laws on a fixed minimal surface.     

Bounded Algebraic Geometry over a Free Lie Algebra

Bounded algebraic sets over a free Lie algebra F over a field k are classified in three equivalent languages: (1) in terms of algebraic sets; (2) in terms of radicals of algebraic sets; (3) in terms of coordinate algebras of algebraic sets.Supported by RFBR grant No. 02-01-00192a.__________Translated from Algebra i Logika, Vol. 44, No. 3, pp. 269–304, May–June, 2005.     

具有两个二次代数曲线解的三次系统的代数极限环

本文证明了具有椭圆和抛物线解的三次系统可以存在代数极限环，纠正了文[4]的主要结果.     

上三角无穷维Hamilton算子特征值的代数指标

无穷维Hamilton算子特征函数系是否完备与其代数指标有关,研究了上三角无穷维Hamilton算子特征值的代数指标问题,基于主对角元的特征值和特征向量的某些性质,得到上三角无穷维Hamilton算子的几何重数和代数重数.     

Algebraic cocycles on normal, quasi-projective varieties

This paper extends to quasi-projective varieties earlier work by the author and H. Blaine Lawson concerning spaces of algebraic cocycles on projective varieties. The topological monoid C_r(Y) (U) of effective cocycles on a normal, quasi-projective variety U with values in a projective variety Y consists of algebraic cycles on U×Y equi-dimensional of relative dimension r over U. A careful choice of topology enables the establishment of various good properties: the definition is essentially algebraic, the group completion Z_r (Y) (U) has 'sensible' homotopy groups, the construction is contravariant with respect to U, convariant with respect to Y, and there is a natural 'quality map" to the topological group of cycles on U×Y. The fundamental theorem presented here is the extension of Friedlander-Lawson duality to this context: the duality map Z_r (Y) (U) to Z_{_r+m} (U × Y) is a homotopy equivalence provided that both U and Y are smooth (where m=dim U). Various application are given, especially the determination of the homotopy types of certain topological groups of algeb raic morphisms.