Orthodox semigroups with complemented congruence lattices

Communicated by J. M. Howie     

Elementary theories of completely simple semigroups

The connections between first-order formulas over a completely simple semigroupC and corresponding formulas over its structure groupH are found in this paper. For the case of finite sandwich-matrix the criterion of decidability of the elementary theoryT(C) is established in terms of the elementary theory ofH in the enriched signature (Theorem 1). For the general case the criterion is established in terms of two-sorted algebraic systems (Theorem 2). Sufficient conditions in terms ofH for decidability and for undecidability ofT(C) are outlined. Corollaries and examples are presented, among them an example of a completely simple semigroup with a finite structure group and with undecidable elementary theory (Theorem 3).     

On congruence lattices of regular semigroups with Q-inverse transversals

Communicated by F. Pastijn     

Two-sided networks for completely simple semigroups

Let S be a completely simple semigroup represented as a Rees matrix semigroup M(I,G,P) with normalized sandwich matrix P. On the congruence lattice C(S) of S we consider the relations T _i, K and T _r which identify congruences with the same left trace, kernel and right trace, respectively. These are equivalences whose classes are intervals. The upper and lower ends of these intervals induce the following operators on C(S) T_l, K, T_r, t_l, k and t_r .We construct here the semigroup generated by these operators as a homomorphic image of a semigroup given by generators and relations and demonstrate the minimality of the latter.     

完全单半群上的相容组与同余结

对完全0-单半群上的相容组条件进行简化,引入完全单半群上同余结的概念,并给出相容组与同余结的应用.     

Varieties generated by free completely simple semigroups

Communicated by N. R. Reilly     

E-inversive semigroups with a completely simple kernel

We show that an E-inversive semigroup S has a completely simple kernel K_S if and only if it contains a primitive idempotent (in that case, K_S is the set-theoretic union of the groups eSe, where e is a primitive idempotent of S). Along the way, some equivalent conditions for a semigroup to be E-inversive are given. Moreover, some applications of the above theorem will be pointed out.     

Near varieties of idempotent generated completely simple semigroups

Algebra universalis - Completely simple semigroups form a variety if we consider them as algebras with multiplication and inversion. A near variety of idempotent generated completely simple...     

On extensions of completely simple semigroups by groups

An example of an extension of a completely simple semigroup \(U\) by a group \(H\) is given which cannot be embedded into the wreath product of \(U\) by \(H\) . On the other hand, every central extension of \(U\) by \(H\) is shown to be embeddable in the wreath product of \(U\) by \(H\) , and any extension of \(U\) by \(H\) is proved to be embeddable in a semidirect product of a completely simple semigroup \(V\) by \(H\) where the maximal subgroups of \(V\) are direct powers of those of \(U\) .     

On the Cayley graphs of completely simple semigroups

In this paper, the Cayley graphs of completely simple semigroups are investigated. The basic structure and properties of this kind of Cayley graph are given, and a condition is given for a Cayley graph of a completely simple semigroup to be a disjoint union of complete graphs. We also describe all pairs (S,A) such that S is a completely simple semigroup, A⊆S, and Cay (S,A) is a strongly connected bipartite Cayley graph.