纯正半群上若干同余的刻划(英文)

本文在纯正半群上首先引入了关系ρｍｉｎ,ρｍａｘ,ρｍｉｎ和ρｍａｘ,刻划了纯正半群上一般同余的迹类。然后利用核－迹方法给出了纯正半群上几类特殊同余的等价刻划。在此基础上,进一步研究了各类同余间的相互联系,把逆半群上有关同余的若干结果推广到纯正半群上。     

纯整Ehresmann半群的若干刻划

本文介绍纯整Ehresmann半群．纯整Ehresmann半群是一类特殊的U-半富足半群，我们给出了这类半群的若干刻划，并讨论了一些特殊的纯整Ehresmann半群．     

亚纯正半群上的同余

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

纯正半群上的同余

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).     

Left Reductive Congruences on Semigroups

A semigroup S is called a left reductive semigroup if, for all elements a,b∈S, the assumption “xa=xb for all x∈S” implies a=b. A congruence α on a semigroup S is called a left reductive congruence if the factor semigroup S/α is left reductive. In this paper we deal with the left reductive congruences on semigroups. Let S be a semigroup and ? a congruence on S. Consider the sequence ? ⁽⁰⁾?? ⁽¹⁾???? ⁽ⁿ⁾?? of congruences on S, where ? ⁽⁰⁾=? and, for an arbitrary non-negative integer n, ? ⁽ⁿ⁺¹⁾ is defined by (a,b)∈? ⁽ⁿ⁺¹⁾ if and only if (xa,xb)∈? ⁽ⁿ⁾ for all x∈S. We show that $\bigcup_{i=0}^{\infty}\varrho^{(i)}\subseteq \mathit{lrc}(\varrho )$ for an arbitrary congruence ? on a semigroup S, where lrc(?) denotes the least left reductive congruence on S containing ?. We focuse our attention on congruences ? on semigroups S for which the congruence $\bigcup_{i=0}^{\infty}\varrho^{(i)}$ is left reductive. We prove that, for a congruence ? on a semigroup S, $\bigcup_{i=0}^{\infty}\varrho^{(i)}$ is a left reductive congruence of S if and only if $\bigcup_{i=0}^{\infty}\iota_{(S/\varrho)}^{(i)}$ is a left reductive congruence on the factor semigroup S/? (here ι _(S/?) denotes the identity relation on S/?). After proving some other results, we show that if S is a Noetherian semigroup (which means that the lattice of all congruences on S satisfies the ascending chain condition) or a semigroup in which S ⁿ =S ⁿ⁺¹ is satisfied for some positive integer n then the universal relation on S is the only left reductive congruence on S if and only if S is an ideal extension of a left zero semigroup by a nilpotent semigroup. In particular, S is a commutative Noetherian semigroup in which the universal relation on S is the only left reductive congruence on S if and only if S is a finite commutative nilpotent semigroup.     

Congruences on *-Regular Semigroups

In this paper we study the congruences of *-regular semigroups, involution semigroups in which every element is p-related to a projection (an idempotent fixed by the involution). The class of *-regular semigroups was introduced by Drazin in 1979, as the involutorial counterpart of regular semigroups. In the standard approach to *-regular semigroup congruences, one ,starts with idempotents, i.e. with traces and kernels in the underlying regular semigroup, builds congruences of that semigroup, and filters those congruences which preserve the involution. Our approach, however, is more evenhanded with respect to the fundamental operations of *-regular semigroups. We show that idempotents can be replaced by projections when one passes from regular to *-regular semigroup congruences. Following the trace-kernel balanced view of Pastijn and Petrich, we prove that an appropriate equivalence on the set of projections (the *-trace) and the set of all elements equivalent to projections (the *-kernel) fully suffice to reconstruct an (involution-preserving) congruence of a *-regular semigroup. Also, we obtain some conclusions about the lattice of congruences of a *-regular semigroup. This revised version was published online in June 2006 with corrections to the Cover Date.     

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

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

富足半群上的F-好同余

引入了富足半群上F-好同余的概念,给出了富足半群上F-好同余的性质和特征.在此基础上,得到了富足半群上F-好同余的并为F-好同余的相关条件.最后,进一步对拟适当半群上的F-好同余作了讨论并得到了一些性质.     

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

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

半群的子半群上的同余扩张(英)

设ρ是个群S上的一个同余．如果S／ρ是矩形带,则称ρ是矩形带同余。本文刻画了半群上的最小矩形带同余．设T是半群S的子半群,本文给出了T上每个矩形带同余能扩张成S上矩形带同余的充分必要条件。     

完全正则半群上的纯整同余

研究了完全正则半群上的纯整同余.通过刻画纯整同余核的特征,证明了E-自反同余是纯整同余,给出了核为群带的充分必要条件.     

Orthodox Congruences on An Eventually Regular Semigroup

It is shown that each regular congruence on an eventually regular semigroup is uniquely determined by its kernel and hyper-trace. Furthermore, the orthodox congruences (resp., the regular congruences ) on an eventually regular (resp., orthodox) semigroup S are described by means of certain congruence pair (ξ, K), where ξ is a certain normal congruence on the subsemigroup 〈E(S)〉 generated by E(S) and K is a certain normal subsemigroup of S.     

Almost Factorizable Orthodox Semigroups

In this paper, we investigate idempotent separating and arbitrary homomorphic images of semidirect products of bands by groups. We give characterizations for idempotent separating homomorphic images of semidirect products, and show that the class of all idempotent separating homomorphic images is strictly contained in the class of all homomorphic images. Furthermore, we give a characterization of all homomorphic images.     

半群的模糊同余扩张

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

完全零单半群的模糊同余

介绍完全零单半群上的真模糊同余和连接模糊三元组的概念,由此得到完全零单半群上的真模糊同余集和连接模糊三元组集之间的双射。     

关于Clifford半群上的fuzzy同余

利用半群fuzzy同余的概念,讨论一类特殊的完全正则半群,即Clifford半群上的fuzzy同余.研究该类半群上fuzzy同余的性质.在此基础上,给出Clifford半群上fuzzy同余的性质和特征,得到Cllifford半群上fuzzy同余为fuzzy消去同余的充要条件.