纯正半群上的同余扩张(二)

刻画半群上的同余及其扩张是半群的代数理论中的一个非常重要的课题（参见［1－5］）本文在[6]讨论了带上的同余的正规性和不变性以及在其Hall半群上的扩张的基础上,从同余扩张的角度刻划了完全正则的纯正半群的特征（定理26）,给出了一个纯正半群的带上的所有同余都可以扩张到这个纯正半群的充分必要条件．     

Principal Congruence Subgroups of Hecke Groups H（√q）

Using the notion of quadratic reciprocity, we discuss the principal congruence subgroups of the Hecke groups H（√q）,q 〉 5 prime number.     

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.     

Congruence join semidistributivity is equivalent to a congruence identity

We show that a locally finite variety is congruence join semidistributive if and only if it satisfies a congruence identity that is strong enough to force join semidistributivity in any lattice. Received February 9, 2000; accepted in final form November 23, 2000.     

The subvariety lattice of the join of two semigroup varieties

The join A ∨ B of two semigroup varieties A and B is investigated. The latrine of subvarieties of A ∨ B is completely described, It is shown that this lattice is finite and non-modular and that all varieties in it are finitely based and finitely generated.     

Free Algebras over Biregularizations of Varieties

Let : F N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of nonnegative integers. An identity of type is called biregular if the sets of variables in and are identical and the sets of fundamental operation symbols in and are identical. If K is a variety of type , we denote by K_b the variety of type defined by all biregular identities from Id(K). K_b will be called the biregularization of K. In this paper we give a representation of free algebras over K_b by means of free algebras over K.     

关于Lucas数列同余性质的研究

将二项式系数的性质应用到Lucas数列的研究中,并结合Fibonacci数列与Lucas数列的恒等式得到几个有趣的Lucas数列的同余式．     

Analytic Composition Laws with Identities

Foundations of the theory of binary analytic composition laws with two-sided neutral element are discussed.     

All Varieties of Normal Bands with Involution

In the present paper we completely determine the lattice L(NB ^*) of all varieties of normal bands equipped with an involutorial antiautomorphism as a fundamental operation.     

多进小波展开的Gibbs函数的渐近性质

具有道断面S°的正则半群可表示为有Saito's结构的半群W（I,S°,Λ,*,α,β）.我们利用由I,S°和Λ上的同余构成的所谓同余聚抽象地表示这类半群上的同余,进而给出了这类半群的同态象的构造法．     

Definable principal subcongruences

For varieties of algebras, we present the property of having "definable principal subcongruences" (DPSC), generalizing the concept of having definable principal congruences. It is shown that if a locally finite variety V of finite type has DPSC, then V has a finite equational basis if and only if its class of subdirectly irreducible members is finitely axiomatizable. As an application, we prove that if A is a finite algebra of finite type whose variety V(A) is congruence distributive, then V(A) has DPSC. Thus we obtain a new proof of the finite basis theorem for such varieties. In contrast, it is shown that the group variety V(S ₃ ) does not have DPSC. Received May 9 2000; accepted in final form April 26, 2001.     

Representation of congruences on regular semigroups with inverse transversals

For a regular semigroup with an inverse transversal, we have Saito’s structureW(I,S ^o, Λ, *, {α, β}). We represent congruences on this kind of semigroups by the so-called congruence assemblage which consist of congruences on the structure component partsI,S ^o and Λ. The structure of images of this type of semigroups is also presented. This work is supported by Natural Science Foundation of Guangdong Province     

Complete congruence lattices of join-infinite distributive lattices

Received July 26, 1993; accepted in final form July 16, 1996.     

含幺元的半格和群的Zappa-Sz'{e}p积上的同余

Let P = E G be a Zappa-Szp product of a semilattice E with an identity and a group G. In this paper, we first introduce the concept of congruence pairs for P , and then prove that every congruence on P can be described by such a congruence pair. In fact the congruence lattice on P is lattice-isomorphic to the set of all congruence pairs for P . Finally,we characterize group congruences on P .     

PMS-代数中的正则理想

本文提出伪补 Ｍ Ｓ 代数（简称 Ｐ Ｍ Ｓ 代数）中正则理想、正则同余关系的概念,研究正则理想与核理想、０ 理想之间的关系,讨论正则同余关系的性质,得到若干结果     

同余可换的Stone代数

借助Stone代数的对偶空间的性质,考察了Stone代数的同余可换性.     

x^n—1在有理数域上分解式的系数

由一种计算分圆多项式系数的简捷算法给出和证明了分圆多项式的系数绝对值不大于1的若干条件，并对分圆多项式的系数的一些性质进行了研究。