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.     

Further Considerations on a Variational Property of Integral Functionals

In this note, we point out that the conclusion of Theorem 2.1 of Ref. 1 applies to any decomposable linear subspace of L ^p (T, E).     

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.     

On arbitrarily vertex decomposable trees

A tree T is arbitrarily vertex decomposable if for any sequence τ of positive integers adding up to the order of T there is a sequence of vertex-disjoint subtrees of T whose orders are given by τ; from a result by Barth and Fournier it follows that Δ(T)?4. A necessary and a sufficient condition for being an arbitrarily vertex decomposable star-like tree have been exhibited. The conditions seem to be very close to each other.     

Multilinear Components of the Prime Subvarieties of the Variety Var(M2(F))

We describe the multilinear components of the prime subvarieties of the variety Var(M ₂(F)) generated by the matrix algebra of order 2 over a field of characteristic p>0.     

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微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.