幂等剩余格

研究一种特殊的刺余格--幂等刺余格,证明满足幂等性的一般刺余格必是可换剩余格,即不存在非可换的幂等剩余格.讨论幂等剩余格的基本性质以及与各类特殊剩余格之间的关系.在一般剩余格中引入psG-滤子的概念,给出其一组等价条件,并借助psG-滤子刻画幂等刺余格的特征.     

半群环的幂等元

讨论了半群环R[S]的幂等元问题．对[1]提出的公开问题9作了一个肯定回答，同时就一般半群环的幂等元的具体形式作了深入的研究，给出了若干情形下的幂等元刻划．     

幂等元分配半环簇的格 *

给出了自由幂等元分配半环上的字问题的解 ,借助于这个解 ,确定了幂等元分配半环簇ID的子簇格L(ID)∶L(ID)同构于格L和一个四元格的直积 ,其中L表示带簇B的子簇格L(B)的4个拷贝的次直积 ;L(ID)是可数无限的和分配的 ;ID的每一个子簇有有限基底.     

具有弱中间幂等元的正则半群

本文在正则半群上引入弱中间幂等元和拟中间幂等元,着重探讨了这两类幂等元的性质特征.构造了若干具有弱(拟)中间幂等元的正则半群,确定了弱中间幂等元和拟中间幂等元之间的关系,给出了弱中间幂等元和拟中间幂等元各自的等价判定,利用拟中间幂等元刻画了纯正半群.最后,得到了构造具有拟中间幂等元的正则半群的一般途径,并在此基础上进一步给出了判定正则半群是否具有乘逆断面的方法.     

具有正规中间幂等元的富足半群的构造

本文研究富足半群上中间幂等元的若干性质，并给出了具有正规中间幂等元的富半群的构造。作为推论，我们得到Ｂｌｙｔｈ和ＭｃＦａｄｄｅｎ［１］及Ｅ１－Ｑａｌｌａｌｉ［２］中相应结果。     

具有中心幂等元的L-弱正则半群

本文定义了具有中心幂等元的(L)-弱正则半群,研究了这类半群的代数结构.利用半群上的右同余(L)+和左同余R+,证明了半群S是一个具有中心幂等元的(L)-弱正则半群,当且仅当S是H-左可消幺半群的强半格.这推广了Clifford半群的相应结果.     

具有左中心幂等元的弱L-正则半群

本文证明了半群S是一个具有左中心幂等元的弱L-正则半群,当且仅当S为H-左可消幺半群和右零带直积的强半格,并借助具有中心幂等元的弱L-正则半群和右正规带建立了半群S的强织积结构.     

幂等元位于中心的半群的局部化和最小幂幺半群同余

局部化是交换代数的重要工具[1],证明幂等元位于中心的半群在其幂等元半格上的局部化存在且唯一,并给出此类半群的最小幂幺半群同余.另外,给出了若干半群的重要同余的刻划.     

具有左中心幂等元的U-富足半群

本文研究了具有左中心幂等元的U-富足半群的半格分解.利用半格分解,证明了半群S为具有左中心幂等元的U-富足半群,当且仅当S为直积M_α×Λ_α的强半格,其中M_α是幂幺半群,Λ_α是右零带.这一结果为具有左中心幂等元的U-富足半群结构的建立奠定了基础.     

具有弱正规幂等元的富足半群的结构

本文研究含弱正规幂等元的富足半群.在给出这类半群的若干特征后,建立了具有弱正规幂等元的富足半群的结构．作为应用,给出具有正规幂等元的富足半群和具有（弱）正规幂等元的拟适当半群的结构．     

Representable idempotent commutative residuated lattices

It is proved that the variety of representable idempotent commutative residuated lattices is locally finite. The -generated subdirectly irreducible algebras in this variety are shown to have at most elements each. A constructive characterization of the subdirectly irreducible algebras is provided, with some applications. The main result implies that every finitely based extension of positive relevance logic containing the mingle and Gödel-Dummett axioms has a solvable deducibility problem.

     

The structure of idempotent residuated chains

In this paper we study some special residuated lattices, namely, idempotent residuated chains. After giving some properties of Green’s relation on the monoid reduct of an idempotent residuated chain, we establish a structure theorem for idempotent residuated chains. As an application, we give necessary and sufficient conditions for a band with an identity to be the monoid reduct of some idempotent residuated chain. Finally, based on the structure theorem for idempotent residuated chains, we obtain some characterizations of subdirectly irreducible, simple and strictly simple idempotent residuated chains. This work is supported by a grant of NSF, China # 10471112 and a grant of Shaanxi Provincial Natural Science Foundation # 2005A15.     

Conical residuated lattice-ordered idempotent monoids

In this paper, we study some special residuated lattices, namely, conical idempotent residuated lattices. After obtaining some properties of such residuated lattices, we establish a structure theorem for conical idempotent residuated lattices. This work is supported by a grant of NSF, China # 10471112 and a grant of Shaanxi Provincial Natural Science Foundation # 2005A15.     

Commutative idempotent residuated lattices

We investigate the variety of residuated lattices with a commutative and idempotent monoid reduct.     

On the finite embeddability property for residuated ordered groupoids

The finite embeddability property (FEP) for integral, commutative residuated ordered monoids was established by W. J. Blok and C. J. van Alten in 2002. Using Higman's finite basis theorem for divisibility orders we prove that the assumptions of commutativity and associativity are not required: the classes of integral residuated ordered monoids and integral residuated ordered groupoids have the FEP as well. The same holds for their respective subclasses of (bounded) (semi-)lattice ordered structures. The assumption of integrality cannot be dropped in general--the class of commutative, residuated, lattice ordered monoids does not have the FEP--but the class of -potent commutative residuated lattice ordered monoids does have the FEP, for any .

     

Totally ordered sets and the prime spectra of rings

Let T be a totally ordered set and let D(T) denotes the set of all cuts of T. We prove the existence of a discrete valuation domain O_v such that T is order isomorphic to two special subsets of Spec(O_v). We prove that if A is a ring (not necessarily commutative), whose prime spectrum is totally ordered and satisfies (K2), then there exists a totally ordered set U?Spec(A) such that the prime spectrum of A is order isomorphic to D(U). We also present equivalent conditions for a totally ordered set to be a Dedekind totally ordered set. At the end, we present an algebraic geometry point of view.     

On minimal residuated bounded mappings in atomistic lattices

Relationship between automorphisms and residuated bounded mappings in atomistic lattices is studied.      

剩余格的模糊滤子理论

运用模糊集的方法和原理进一步深入研究剩余格的滤子问题.在剩余格中引入了模糊预线性滤子,模糊可除滤子和模糊Glivenko滤子三类新的模糊滤子概念,给出了它们的若干性质和等价刻画.系统讨论了这三类模糊滤子以及模糊正关联滤子,模糊Boolean滤子,模糊MV滤子和模糊正则滤子间的相互关系,证明了一个模糊滤子为模糊MV滤子当且仅当它既是模糊正则滤子又是模糊可除滤子的结论.     

The subvariety lattice for representable idempotent commutative residuated lattices

RICRL denotes the variety of commutative residuated lattices which have an idempotent monoid operation and are representable in the sense that they are subdirect products of linearly ordered algebras. It is shown that the subvariety lattice of RICRL is countable, despite its complexity and in contrast to several varieties of closely related algebras.     

An eigenvector existence theorem in idempotent analysis

In this paper, we prove an eigenvector existence theorem for linear operators on abstract idempotent spaces in the framework of the algebraic approach. Earlier, an algebraic version of a similar statement was known only for operators in free finite-dimensional semimodules. The corresponding result for compact operators in semimodules of real continuous functions is known in the case of topological semimodules.