Set-theoretical solutions of the pentagon equation on Clifford semigroups

Abstract

Given a set-theoretical solution of the pentagon equation $s:S\times S\to S\times S$ on a set $S$ and writing $s(a, b)=(a\cdot b,\, θ_a(b))$, with $\cdot$ a binary operation on $S$ and $θ_a$ a map from $S$ into itself, for every $a\in S$, one naturally obtains that $\left(S,\,\cdot\right)$ is a semigroup. In this paper, we focus on solutions on Clifford semigroups $\left(S,\,\cdot\right)$ satisfying special properties on the set of the idempotents $E(S)$. Into the specific, we provide a complete description of idempotent-invariant solutions, namely, those solutions for which $θ_a$ remains invariant in $E(S)$, for every $a\in S$. Moreover, considering $(S,\,\cdot)$ as a disjoint union of groups, we construct a family of idempotent-fixed solutions, i.e., those solutions for which $θ_a$ fixes every element in $E(S)$, for every $a\in S$, starting from a solution on each group.

Theorems & Definitions (40)

• Theorem 1
• Definition 2
• Definition 3
• Proposition 4
• proof
• Definition 5
• Lemma 6
• proof
• Corollary 7
• proof