scholarly journals The kernel relation for a strict extension of certain regular semigroups

1996 ◽  
Vol 38 (3) ◽  
pp. 347-357 ◽  
Author(s):  
Mario Petrich

Let R be a regular semigroup and denote by (R) its congruence lattice. For , the kernel of pis the set ker . The relation K on (R) defined by λKp if ker λ = ker p is the kernel relation on (R). In general, K is a complete ∩-congruence but it is not a v-congruence. In view of the importance of the kernel-trace approach to the study of congruences on a regular semigroup (the trace of p is its restriction to idempotents of R), it is of considerable interest to determine necessary and sufficient conditions on R in order for K to be a congruence. This being in general a difficult task, one restricts attention to special classes of regular semigroups. For a background on this subject, consult [1].

2009 ◽  
Vol 86 (2) ◽  
pp. 177-187 ◽  
Author(s):  
XIANGJUN KONG ◽  
XIANZHONG ZHAO

AbstractIn any regular semigroup with an orthodox transversal, we define two sets R and L using Green’s relations and give necessary and sufficient conditions for them to be subsemigroups. By using R and L, some equivalent conditions for an orthodox transversal to be a quasi-ideal are obtained. Finally, we give a structure theorem for regular semigroups with quasi-ideal orthodox transversals by two orthodox semigroups R and L.


Author(s):  
G.A. Pinto

An ordered regular semigroup, , is said to be principally ordered if for every  there exists . A principally ordered regular semigroup is pointed if for every element,  we have . Here we investigate those principally ordered regular semigroups that are eventually pointed in the sense that for all  there exists a positive integer, , such that . Necessary and sufficient conditions for an eventually pointed principally ordered regular semigroup to be naturally ordered and to be completely simple are obtained. We describe the subalgebra of  generated by a pair of comparable idempotents  and such that . 


1986 ◽  
Vol 34 (1) ◽  
pp. 127-132 ◽  
Author(s):  
P. M. Edwards

Necessary and sufficient conditions are given for certain classes of eventually regular semigroups to the group-bound or even periodic.


1980 ◽  
Vol 29 (4) ◽  
pp. 475-503 ◽  
Author(s):  
D. B. McAlister

AbstractIn this paper we obtain necessary and sufficient conditions on a regular semigroup in order that it should be an idempotent separating homomorphic image of a full subsemigroup of the direct product of a group and a fundamental or combinatorial regular semigroup. The main tool used is the concept of a prehomomrphism θ: S → T between regular semigroups. This is a mapping such that (ab) θ ≦ aθ bθ in the natural partial order on T.


1997 ◽  
Vol 07 (05) ◽  
pp. 577-604 ◽  
Author(s):  
Paul Bennett

This paper is the second of two papers devoted to the study of amalgamated free products of inverse semigroups. We use the characterization of the Schützenberger automata given previously by the author to obtain structural results and preservational properties of lower bounded amalgams. Haataja, Margolis and Meakin have shown that if [S1,S2;U is an amalgam of regular semigroups in which S1∩ S2=U is a full regular subsemigroup of S1 and S2, then the maximal subgroups of the amalgamated free product S1*U S2 may be described by the fundamental groups of certain bipartite graphs of groups. In this paper we show that the maximal subgroups of a lower bounded amalgam [S1,S2;U] are either isomorphic copies of subgroups of S1 and S2 or can be described by the same Bass-Serre theory characterization. It follows, as for the regular case, that if S1 and S2 are combinatorial, then the maximal subgroups of S1*U S2 are free. By studying the endomorphism monoids of the Schützenberger graphs we obtain a number of results concerning when inverse semigroup properties are preserved under the amalgamated free product construction. For example, necessary and sufficient conditions are given for S1*U S2 to be completely semisimple. Under a mild assumption we establish necessary and sufficient conditions for S1*U S2 to have finite ℛ-classes. This enables us to reprove a result of Cherubini, Meakin and Piochi on amalgams of free inverse semigroups. Finally we give sufficient conditions for S1*U S2 to be E-unitary.


Author(s):  
T. S. Blyth ◽  
R. McFadden

SynopsisWe consider ordered regular semigroups in which the order extends the natural order on the idempotents, and which are graced with the presence of a greatest idempotent. This implies that every element has a greatest inverse. An investigation into the properties ofthese special elements allows a description of Green's relations on the subsemigroup generated by the idempotents. This in turn leads to a complete description of the structure of idempotent-generated naturally ordered regular semigroups having a greatest idempotent. The smallest such semigroup that is not orthodox is also described. These results lead us to obtain structure theorems in the general case with the added condition that Green's relations be regular. Finally, necessary and sufficient conditions for such a semigroup to be a Dubreil-Jacotin semigroup are found.


Author(s):  
Craig Miller

Abstract We call a semigroup $S$ weakly right noetherian if every right ideal of $S$ is finitely generated; equivalently, $S$ satisfies the ascending chain condition on right ideals. We provide an equivalent formulation of the property of being weakly right noetherian in terms of principal right ideals, and we also characterize weakly right noetherian monoids in terms of their acts. We investigate the behaviour of the property of being weakly right noetherian under quotients, subsemigroups and various semigroup-theoretic constructions. In particular, we find necessary and sufficient conditions for the direct product of two semigroups to be weakly right noetherian. We characterize weakly right noetherian regular semigroups in terms of their idempotents. We also find necessary and sufficient conditions for a strong semilattice of completely simple semigroups to be weakly right noetherian. Finally, we prove that a commutative semigroup $S$ with finitely many archimedean components is weakly (right) noetherian if and only if $S/\mathcal {H}$ is finitely generated.


1986 ◽  
Vol 23 (04) ◽  
pp. 851-858 ◽  
Author(s):  
P. J. Brockwell

The Laplace transform of the extinction time is determined for a general birth and death process with arbitrary catastrophe rate and catastrophe size distribution. It is assumed only that the birth rates satisfyλ0= 0,λj> 0 for eachj> 0, and. Necessary and sufficient conditions for certain extinction of the population are derived. The results are applied to the linear birth and death process (λj=jλ, µj=jμ) with catastrophes of several different types.


Sign in / Sign up

Export Citation Format

Share Document