Abstract:We associate a graph ${\mathcal 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 ${\mathcal 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 $C_{n}$ on $n$ vertices (with $n\geq 5$), are not the upper non-nilpotent 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.

The Structures of Zero-divisor Semigroups with Graph Kn + 1

The structure of zero-divisor semigroups with graph K n ○ K 2

The Structure Of Zero-Divisor Semigroups With Graph K-N Circle K-2

Complemented zero-divisor graphs associated with finite commutative semigroups

On determining number and metric dimension of zero-divisor graphs

Remarks on the zero-divisor graph of a commutative ring

Exploring the zero-divisor graph over commutative ring: topological examine of algebraic structure

On a new extension of the zero-divisor graph (II)

Zero-Divisor Graphs and Zero-Divisor Functors

The Wiener index and the Wiener Complexity of the zero-divisor graph of a ring

Complete $r$-partite zero-divisor graphs and coloring of commutative semigroups

On varieties of rings whose finite rings are determined by their zero-divisor graphs

Eulerian and pancyclic zero-divisor graphs of ordered sets

On vertex connectivity of zero-divisor graphs of finite commutative rings

Inverse Zero-Sum Problems III

On spectrum of the zero-divisor graph of matrix ring

Some Zero-Difference Functions Over $\mathbb{Z}_n$ Using Cyclotomies

Power graphs of a class of completely 0-simple semigroups

The Non-Nilpotent Graph of a Semigroup

Generalized zero-divisor graph of $*$-rings

Zero sum sets in abelian groups