The congruence $\eta^{\ast}$ on semigroups

TL;DR

This paper introduces a new congruence relation $ ext{eta}^*$ on semigroups, characterizes its properties on finite semigroups, and explores its implications for various classes like regular and Clifford semigroups.

Contribution

It defines the $ ext{eta}^*$ congruence on semigroups and analyzes its structure and effects on finite semigroups, including the concept of $ ext{eta}^*$-roots and their properties.

Findings

$ ext{eta}^*$ is the smallest congruence making the quotient nilpotent.

For $ extbf{CS}$-diagonal finite regular Rees matrix semigroups, the quotient is inverse.

For finite completely regular semigroups, the quotient is a Clifford semigroup.

Abstract

In this paper we define a congruence $\eta^{\ast}$ on semigroups. For the finite semigroups $S$, $\eta^{\ast}$ is the smallest congruence relation such that $S/\eta^{\ast}$ is a nilpotent semigroup (in the sense of Malcev). In order to study the congruence relation $\eta^{\ast}$ on finite semigroups, we define a $\textbf{CS}$-diagonal finite regular Rees matrix semigroup. We prove that, if $S$ is a $\textbf{CS}$-diagonal finite regular Rees matrix semigroup then $S/\eta^{\ast}$ is inverse. Also, if $S$ is a completely regular finite semigroup, then $S/\eta^{\ast}$ is a Clifford semigroup. We show that, for every non-null principal factor $A/B$ of $S$, there is a special principal factor $C/D$ such that every element of $A\setminus B$ is $\eta^{\ast}$-equivalent with some element of $C\setminus D$. We call the principal factor $C/D$, the $\eta^{\ast}$-root of $A/B$. All $\eta^{\ast}$-roots are $\textbf{CS}$-diagonal. If certain elements of $S$ act in the special way on the $\textbf{R}$-classes of a $\textbf{CS}$-diagonal principal factor then it is not an $\eta^{\ast}$-root. Some of these results are also expressed in terms of pseudovarieties of semigroups.