The Variety of Commutative BCI-Algebras is 2-Based

In this note, we first solve the following open problem in [5]: Can the variety of commutative BCI-algebras be defined by two identities? An algebra of type (2, 0) is a commutative BCI-algebra if and only if it satisfies $u\ast\left(((x \ast y) \ast (x \ast y))(z \ast y)\right) = uIn this note, we first solve the following open problem in [5]: Can the variety of commutative BCI-algebras be defined by two identities? An algebra of type (2, 0) is a commutative BCI-algebra if and only if it satisfies and (see Theorem 2 below).Next, we prove that I-variety [2] is also 2-based. Finally, we show that I-variety is a proper subvariety of the variety of commutative BCI-algebras.AMS Subject Classification (2000): 03G25, 06A10, 06D99     

Undecidability of the word problem in relatively free rings

An example of a series of varieties of rings with the finite basis property is constructed for which the word problem in the relatively free ring of rankn in the variety is decidable if and only ifn <p. Translated fromMatematicheskie Zametki, Vol. 67, No. 4, pp. 582–594, April, 2000.     

北疆复种油葵品种特性的初步研究

通过对 5个油葵品种特性不同侧面的量化分析 ,筛选并确定SF1 87和EX399,因其产量高 ,生育期短 ,含油量高 ,株型紧凑 ,便于机械收获 ,可作为北疆地区理想的复播油葵品种     

Elementary equivalence for the lattices of subalgebras and automorphism groups of free algebras

We find an elementary equivalence criterion for the lattices of subalgebras of free algebras in regular varieties. The question is addressed of elementary equivalence for the automorphism groups of algebras of this type.     

李莎如图形轨迹变化的规律

用几何画板描绘了各种情形下的李莎如图形,归纳总结出李莎如图形的轨迹形状不仅与两振动的圆频率比及初相差有关,还与初相φ1 和φ2 有关,并得到轨迹变化的规律.     

多元智力理论对新课程评价改革的影响

加德纳的多元智力理论是对传统评价理论的多方面突破，是一次对传统智力理论的革命。它不仅为世界范围内的教育评价改革提供了思维框架，也对我国新一轮课程评价的改革起到积极的影响。研究加德纳的多元智力理论，并将其运用于课程改革评价体系的构建中，对于完善新课程评价的标准、原则和方法，具有现实意义。     

On the scarcity of contravariant left adjunctions

It is shown that any pair of contravariant mutually left adjoint functors between varieties of algebrasC andD factors through the retractions of these categories onto the complete lattices of epimorphs of their respective initial objects, and is thus fairly degenerate. However, some interesting contravariant left adjoint functors do exist between categories of finitely generated (or otherwise restricted) algebras.This work was done while the author was partly supported by NSF contract DMS 85-02330.Presented by F. E. J. Linton.     

Vortices and Jacobian varieties

We investigate the geometry of the moduli space of N$N$ vortices on line bundles over a closed Riemann surface Σ$\Sigma$ of genus g>1$g>1$, in the little explored situation where 1≤N<g$1\le N<g$. In the regime where the area of the surface is just large enough to accommodate N$N$ vortices (which we call the dissolving limit), we describe the relation between the geometry of the moduli space and the complex geometry of the Jacobian variety of Σ$\Sigma$. For N=1$N=1$, we show that the metric on the moduli space converges to a natural Bergman metric on Σ$\Sigma$. When N>1$N>1$, the vortex metric typically degenerates as the dissolving limit is approached, the degeneration occurring precisely on the critical locus of the Abel–Jacobi map of Σ$\Sigma$ at degree N$N$. We describe consequences of this phenomenon from the point of view of multivortex dynamics.     

微分周形式与稀疏微分结式

代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.