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
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:63771:20160513224644125-0367:S0004972712001013_inline9.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:98154:20160513224644125-0367:S0004972712001013_inline10.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:62239:20160513224644125-0367:S0004972712001013_inline11.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:80593:20160513224644125-0367:S0004972712001013_inline12.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:85775:20160513224644125-0367:S0004972712001013_inline13.gif?pub-status=live)
- 1
- Cited by