一类逆半群的亚直可约性

本文利用逆半群上的同余扩张，讨论了一类逆半群的亚直可约性，并刻划了这类逆半群的幂等元集的特征。     

Commutative idempotent residuated lattices

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

Bernoulli数模2r和3r的同余式

设{Bn}为Bernoulli数,m、n为自然数,本文证明了同余式(2-22n)B2n≡1-4n ∑mk=1(2n)/(2k)24kB2k (mod 24m 3)与(3-32n)B2n≡2-6n 2∑mk=1(2n)/(2k)32kB2k (mod 32m 1).取m=1,2,得到[5]中宣布的(2-22n)B2n(mod 27)与(3-32n)B2n(mod 35)的简单同余式.     

正则带的半格结构

Petrich解决了一般带的构造定理（见[1]或[2]），在此基础上，我们将证明正则带（满足等式axya=axaya的带）的一些特征，并给出一个带为正则带或右似正规带（满足等式xya=xaya的带）的充分必要条件，这些结果是Yamada和Kimura的关于正规带（满足等式axya=ayxa的带）的结果的推广，正规带被他们描述为矩形带的强半格（见[1]或[3]）。     

Distributive lattices of numberings

We study into a semilattice of numberings generated by a given fixed numbering via operations of completion and taking least upper bounds. It is proved that, except for the trivial cases, this semilattice is an infinite distributive lattice every principal ideal in which is finite. The least upper and the greatest lower bounds in the semilattice are invariant under extensions in the semilattice of all numberings. Isomorphism types for the semilattices in question are in one-to-one correspondence with pairs of cardinals the first component of which is equal to the cardinality of a set of non-special elements, and the second — to the cardinality of a set of special elements, of the initial numbering. Supported by INTAS grant No. 00-429. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 83–102, January–February, 2007.     

Hilbert algebras as implicative partial semilattices

The infimum of elements a and b of a Hilbert algebra are said to be the compatible meet of a and b, if the elements a and b are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the same ?lters.An expanded Hilbert algebra is actually an implicative partial semilattice (i.e., a relative subalgebra of an implicative semilattice),and conversely.The implication in an implicative partial semilattice is characterised in terms of ?lters of the underlying partial semilattice.     

正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。     

关于序半群的半格同余

Ｎ．Ｋｅｈａｙｏｐｕｌｕ教授在「１」中提出“ｐ０－半群上的半格同余‘Ｎ’是否为去掉最小半格同余”的问题。本文引进半格同余ｎ,证明存在ｐ０－半群Ｓ,Ｓ,上的半格同余ｎ∩→上的半格同余ｎ∩→Ｎ,给出该问题否定回答。     

正则纯整群带的同余格

利用正则半纯整群带上同余的同余组刻划，分别用图以及生成集和生成关系这两种方法，确定了正则纯整数带的两个重要的同余子格。