Article contents
THE NATURAL PARTIAL ORDER ON THE SEMIGROUP OF ALL TRANSFORMATIONS OF A SET THAT REFLECT AN EQUIVALENCE RELATION
Published online by Cambridge University Press: 25 January 2013
Abstract
Let ${ \mathcal{T} }_{X} $ be the full transformation semigroup on a set
$X$ and
$E$ be a nontrivial equivalence relation on
$X$. Denote
$$\begin{eqnarray*}{T}_{\exists } (X)= \{ f\in { \mathcal{T} }_{X} : \forall x, y\in X, (f(x), f(y))\in E\Rightarrow (x, y)\in E\} ,\end{eqnarray*}$$
${T}_{\exists } (X)$ is a subsemigroup of
${ \mathcal{T} }_{X} $. In this paper, we endow
${T}_{\exists } (X)$ with the natural partial order and investigate when two elements are related, then find elements which are compatible. Also, we characterise the minimal and maximal elements.
MSC classification
- Type
- Research Article
- Information
- Bulletin of the Australian Mathematical Society , Volume 88 , Issue 3 , December 2013 , pp. 359 - 368
- Copyright
- Copyright ©2013 Australian Mathematical Publishing Association Inc.
References





- 1
- Cited by