分配半环上的可除半环同余

§ 1.　Introduction　　AsemiringSisanalgebraicsystem (S ,+ ,·)consistingofanon_emptysetStogetherwithtwobinaryoperations +and·onSsuchthat (S ,+ )and (S ,·)aresemigrolupscon nectedbyring_likedistributivity .AsemiringSiscalleddistributiveifinStheadditionisdis tributiveaboutmultiplication ,i.e .ab+c=(a+c) (b +c)anda+bc=(a +b) (a+c)holdforalla ,b ,c∈S .AsemiringSiscalleddivisibleif(S ,·)isagroup .AnequivalencerelationρonasemiringSiscalledacongruenceonS ,iffρisacongruenceon (S ,+ )and (…     

可补半环上的同余

研究可补丰环上的同余关系,得出一些重要性质.并证明了一个半环R是可补半环当且仅当它是某个布尔环和布尔代数的直积,因而可补半环必是来法可交换的.     

半环的强分配格上的环同余

主要讨论了在一定条件下半环的强分配格S上的环同余ρ与半环族{Sα}α∈D上的环同余族{ρα}α∈D之间的关系.     

纯正半群上的同余

Let S be an orthodox semigroup and γ the least inverse congruence on S. C(S) denotes the set of all congruences on S. In this paper we introduce the concept of admissible triples for S, where admissible triples are constructed by the congruences on S/γ. the equivalences on E(S)/L and E(S)/R. The notation Ca(S) denotes the set of all admissible triple for S. We prove that every congruence p on S can be uniquely determined by the admissible triple induced by p, and there exists a lattice isomomorphism between C(S) and Ca(S).     

A Semiring Whose Grothendieck Group is not Isomorphic to the Grothendieck Group of the Ring completion of the Semiring

We define the Grothendieck group of a semiring and present an example of the Grothendieck group K₀R of a semiring R such that K₀R is not isomorphic to the Grothendieck group of the ring completion of R.     

Certain congruences on E-inversive E-semigroups

A semigroup S is called E-inversive if for every a ∈ S there exists x ∈ S such that ax is idempotent. S is called E-semigroup if the set of idempotents of S forms a subsemigroup. In this paper some special congruences on E-inversive E-semigroups are investigated, such as the least group congruence, a certain semilattice congruence, some regular congruences and a certain idempotent-separating congruence.     

关于拟正则半环上可除半环同余的注记

研究了拟正则半环上的同余,给出了拟正则半环上一类理想的性质,并利用这类理想给出了拟正则半环上可除半环同余的几种等价形式.     

矩形带的O-并的Hall半群及其强同余

得到了矩形带的O-并B的Hall半群S,得出了S的乘法公式,Green关系及其结构,进一步讨论了S的幂等元集E(S)的最小正规迹(?),得到结论(?)=D^(E(S)),最后得到S的最大幂等元分离同余μ=ε.     

拟正则半群上的完全正则同余

拟正则半群上的两个完全正则同余相等当且仅当它们的核正规系相同。更进一步地,我们还可建立一个从一个拟正半群上的全体完全正则同余的集合到这个半群的所有完全正则核正规系的集合上的双射。     

一类广义正则半环上可除半环同余的等价刻画

研究了一类广义正则半环的理想,利用这类理想,得到了这类半环上同余的几种刻画.     

关于半环半群

This paper characterizes the multiplication operator semigroup of semiring semigroup by using the tensor product of semigroups, and by using the endomorphism semigroup, and considers some properties of the multiplication operator semigroup of semiring semigroup.     

纯正半群上的强同余及Clifford同余

把Reilly对逆半群的幂等元集合的正规划分的概念推广到纯正半群,用它从另一角度刻画。了纯正半群上强同余的结构.并刻画了具有T关系的两个强同余的联和交的正则核正规系,又讨论了纯正半群上的Clifford同余,给出了最小Clifford同余的刻画.     

Congruences on regular semigroups

The kernel of a congruence on a regular semigroup S may be characterized as a set of subsets of S which satisfy the Teissier-Vagner-Preston conditions. A simple construction of the unique congruence associated with such a set is obtained. A more useful characterization of the kernel of a congruence on an orthodox semigroup (a regular semigroup whose idempotents form a subsemigroup) is provided, and the minimal group congruence on an orthodox semigroup is determined.     

Congruences on ternary semigroups

We study ternary semigroups as universal algebras with one associative operation. We investigate their algebraic structure and associated representations. Results for congruences of ternary semigroups generated by binary relations are presented.Published in Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 4, pp. 544–559, April, 2004.     

亚纯正半群上的同余

本文讨论了亚纯正半群S上特殊同余间的关系.利用超迹和核给出了S上任一同余与特殊同余的关系及与群同余并的等式.用核正规系刻画了S上的极大幂等分离同余,得到了S/μ同构于E的几个等价条件.     

Congruences on near-Heyting algebras

A near-Heyting algebra is a join-semilattice with a top element such that every principal upset is a Heyting algebra. We establish a one-to-one correspondence between the lattices of filters and congruences of a near-Heyting algebra. To attain this aim, we first show an embedding from the lattice of filters to the lattice of congruences of a distributive nearlattice. Then, we describe the subdirectly irreducible and simple near-Heyting algebras. Finally, we fully characterize the principal congruences of distributive nearlattices and near-Heyting algebras. We conclude that the varieties of distributive nearlattices and near-Heyting algebras have equationally definable principal congruences.