半群的模糊同余扩张

本文引入半群的模糊同余扩张的概念,给出了模糊同余扩张的同态性质,同时,本文研究了带有模糊同余扩张性质的半群类,证明了一个半群S有模糊同余扩张性质当且仅当S有同余扩张性质,最后进一步给出 有模糊同余张张性质的半群类的特征。     

A note on CIP varieties

It is proved that every variety satisfying the Congruence Intersection Property (CIP) is Abelian. In addition, a CM Abelian variety has the CIP if and only if it has a constant term operation. Finally, a CM variety is Abelian if and only if it has the weak CIP. Received October 8, 1998; accepted in final form January 5, 1999.     

Special Elements of the Lattice of Overcommutative Varieties of Semigroups

The distributive, codistributive, standard, costandard, and neutral elements of the lattice of overcommutative varieties of semigroups are completely described.     

正则半群上的广义逆半群同余

利用同余的核与超迹描述正则半群上的广义逆半群同余。     

Classification of torsion-free genus zero congruence groups

We study and classify all torsion-free genus zero congruence subgroups of the modular group.

     

半群的模糊理想和模糊同余

引入半群上模糊理想、模糊同余的概念。给出它们的一些等价刻划,证明了一个半群上所有模糊同余关系作成一个格。最后,给出模糊理想的积和模糊同余关系的积的概念,讨论了它们的一些性质。     

[C(E) ,Ca(E)]中的唯一原子

对于集合X上的任一非平凡等价关系E,本文考察了半群T_E(x)上的同余C_*(E),并证明了C_*(E)是T_E(X)的同余格的完全子格[C(E),C_a(E)]中的唯一原子.     

MS-代数的理想和同余关系

给出了MS-代数L的理想I=(d]可以成为某个同余关系核的充要条件;分别给出了以L的理想I=(d]为核的最小同余关系及最大同余关系的充要条件．     

环中关于理想同余的粗糙集的性质

讨论了环中由理想同余关系所决定的下、上近似的一些特殊性质．     

Ramanujan-type congruences for broken 2-diamond partitions modulo 3

The notion of broken k-diamond partitions was introduced by Andrews and Paule.Let△k(n)denote the number of broken k-diamond partitions of n.Andrews and Paule also posed three conjectures on the congruences of△2(n)modulo 2,5 and 25.Hirschhorn and Sellers proved the conjectures for modulo 2,and Chan proved the two cases of modulo 5.For the case of modulo 3,Radu and Sellers obtained an infinite family of congruences for△2(n).In this paper,we obtain two infinite families of congruences for△2(n)modulo 3 based on a formula of Radu and Sellers,a 3-dissection formula of the generating function of triangular number due to Berndt,and the properties of the U-operator,the V-operator,the Hecke operator and the Hecke eigenform.For example,we find that△2(243n+142)≡△2(243n+223)≡0(mod 3).The infinite family of Radu and Sellers and the two infinite families derived in this paper have two congruences in common,namely,△2(27n+16)≡△2(27n+25)≡0(mod 3).