A Note on Semigroup Algebras of Permutable Semigroups

Abstract

Let $S$ be a semigroup and $\mathbb F$ be a field. For an ideal $J$ of the semigroup algebra ${\mathbb F}[S]$ of $S$ over $\mathbb F$, let $\varrho _J$ denote the restriction (to $S$) of the congruence on ${\mathbb F}[S]$ defined by the ideal $J$. A semigroup $S$ is called a permutable semigroup if $α\circ β=β\circ α$ is satisfied for all congruences $α$ and $β$ of $S$. In this paper we show that if $S$ is a semilattice or a rectangular band then $φ_{\{S;{\mathbb F}\}}:\ J\mapsto \varrho _J$ is a homomorphism of the semigroup $(Con ({\mathbb F}[S]);\circ )$ into the relations semigroup $({\cal B}_S; \circ )$ if and only if $S$ is a permutable semigroup.

8 pages