Ultra <Emphasis Type="Italic">LI</Emphasis>-ideals in lattice implication algebras and <Emphasis Type="Italic">MTL</Emphasis>-algebras

A mistake concerning the ultra LI-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an LI-ideal to be an ultra LI-ideal are given. Moreover, the notion of an LI-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) LI-ideal and an ILI-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper LI-ideal and Boolean LI-ideal, (2) prime proper LI-ideal and ILI-ideal, (3) proper obstinate LI-ideal, (4) ultra LI-ideal. This work was supported by the Zhejiang Provincial Natural Science Foundation of China (Grant No. Y605389) and K. C. Wong Magna Fund in Ningbo University.     

一类具有阶段结构和时滞的捕食系统的持续生存和稳定性

我们提出和研究一类带有阶段结构和时滞的捕食模型,得到了种群持续生存的充分条件.研究了阶段结构和时滞对系统稳定性的影响,获得了系统发生Hopf分支和稳定性的条件以及轨道渐进稳定的周期解的存在性.     

Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

关于广义四元数代数上矩阵的迹的一个等式

众所周知,相似矩阵的迹相等对于非交换代数和环上的矩阵不一定成立,有趣的问题是给定一个条件使得相似矩阵的迹相等对于非交换代数或非交换环上的矩阵成立。本文对于特征不是2的任意域F上定义的广义四元数代数上的两个矩阵A和B,给出如果A和B相似并且它们的主对角线上的元素在F中,那么它们的迹相等。     

Cyclic cohomology and algebra extensions

We construct a spectral sequence to study cyclic cohomology for an extension A = R/I of algebras. When R is a free algebra we describe the cyclic cohomology of A in terms of traces defined on R or powers of I. Explicit cyclic cocycles representing the cyclic cohomology class belonging to the trace are constructed as analogues of Chern character and Chern-Simons forms.Dedicated to Alexander Grothendieck     

两个非线性方程的准确解

借助于计算机代数系统Ｍａｔｈｅｍａｔｉｃａ利用直接代数方法获得了两个有数学物理意义的非线性耗散－色散方程的准确解，这种方法也适用于高维非线性方程。     

Augmented Spinor Space

In this paper, based on the Pauli matrices, a notion of augmented spinor space is introduced, and a uniqueness of such augmented spinor space of rank n is proved. It may be expected that this new notion of spaces can be used in mathematical physics and geometry.