On Congruence Permutable $G$-sets

Abstract

An algebraic structure is said to be congruence permutable if its arbitrary congruences $α$ and $β$ satisfy the equation $α\circ β=β\circ α$, where $\circ$ denotes the usual composition of binary relations. For an arbitrary $G$-set $X$ with $G\cap X=\emptyset$, we define a semigroup $(G,X,0)$ with a zero $0$ ($0\notin G\cup X$), and give necessary and sufficient conditions for the congruence permutability of the $G$-set $X$ by the help of the semigroup $(G,X,0)$.

6 pages, Theorem 2 of version v1 is not complete. Version v2 is an improved version of v1