Abstract. We associate a graph N S with a semigroup S (called the upper non-nilpotent graph of S). The vertices of this graph are the elements of S and two vertices are adjacent if they generate a semigroup that is not nilpotent (in the sense of Malcev). In case S is a group this graph has been introduced by A. Abdollahi and M. Zarrin and some remarkable properties have been proved. The aim of this paper is to study this graph (and some related graphs, such as the non-commuting graph) and to discover the algebraic structure of S determined by the associated graph. It is shown that if a finite semigroup S has empty upper non-nilpotent graph then S is positively Engel. On the other hand, a semigroup has a complete upper non-nilpotent graph if and only if it is a completely simple semigroup that is a band. One of the main results states that if all connected N S -components of a semigroup S are complete (with at least two elements) then S is a band that is a semilattice of its connected components and, moreover, S is an iterated total ideal extension of its connected components. We also show that some graphs, such as a cycle Cn on n vertices (with n ≥ 5), are not the upper nonnilpotent graph of a semigroup. Also, there is precisely one graph on 4 vertices that is not the upper non-nilpotent graph of a semigroup with 4 elements. This work also is a continuation of earlier work by Okniński, Riley and the first named author on (Malcev) nilpotent semigroups.

a b s t r a c tIn this paper, rough approximations of Cayley graphs are studied, and rough edge Cayley graphs are introduced. Furthermore, a new algebraic definition for pseudo-Cayley graphs containing Cayley graphs is proposed, and a rough approximation is expanded to pseudo-Cayley graphs. In addition, rough vertex pseudo-Cayley graphs and rough pseudo-Cayley graphs are introduced. Some theorems are provided from which properties such as connectivity and optimal connectivity are derived. This approach opens new research fields, such as data networks.

No abstract

We give a description of finite semigroups $S$ that are minimal for not being Malcev nilpotent, i.e. every proper subsemigroup and every proper Rees factor semigroup is Malcev nilpotent but $S$ is not. For groups this question was considered by Schmidt.Comment: 21 page

The finite basis property is often connected with the finite rank property, which it entails. Many examples have been produced of finite rank varieties which are not finitely based. In this note, we establish a result on nilpotent pseudovarieties which yields many similar examples in the realm of pseudovarieties of semigroups.