×

Combinatorial results for semigroups of orientation-preserving transformations. (English) Zbl 1543.20069

Let \(X_n\) denote the chain \(\{1,2,\ldots ,n\}\) under its natural order. We denote the semigroups consisting of all order-preserving transformations and all orientation-preserving transformations on \(X_n\) by \(\mathcal{O}_n\) and \(\mathcal{OP}_n\), respectively. We denote by \(E(U)\) the set of all idempotents of a subset \(U\) of a semigroup \(S\). The fix and image sets of a transformation \(\alpha\) are defined and denoted by \(\operatorname{fix}(\alpha) = \{x \in X_n : x\alpha = x\}\) and \(\operatorname{im}(\alpha) = \{x\alpha : x \in X_n\}\), respectively. Let \begin{align*} E_r(\mathcal{O}_n)&=\{\alpha\in E(\mathcal{O}_n):|\operatorname{im}(\alpha)|=|\operatorname{fix}(\alpha)|=r\},\\ E_r^*(\mathcal{O}_n)&=\{\alpha\in E_r(On):1,n\in\operatorname{fix}(\alpha)\},\\ E_r(\mathcal{OP}_n) &=\{\alpha\in E(OPn):|\operatorname{fix}(\alpha)|=r\}\text{ and}\\ E_r^*(\mathcal{OP}_n) &=\{\alpha\in E_r(\mathcal{OP}_n):n\in\operatorname{fix}(\alpha)\} \end{align*} where \(1\leq r\leq n\). In Section 2, the authors determine the cardinalities of \(E_r(\mathcal{O}_n),\) \(E_r^*(\mathcal{O}_n),\) \(E_r(\mathcal{OP}_n)\) and \(E_r^*(\mathcal{OP}_n)\). Using these results, the authors determine the numbers of idempotents in \(\mathcal{O}_n\) and \(\mathcal{OP}_n\) by a new method. Next, let \(\mathcal{OP}^-_n\) denote the semigroup of all orientation-preserving and order-decreasing transformations on \(X_n\). In Section 3, the authors determine the cardinalities of \(\mathcal{OP}^-_n\), \(\mathcal{OP}^-_{n,Y}=\{\alpha\in\mathcal{OP}^-_n:\operatorname{fix}(\alpha)=Y\}\) for any nonempty subset \(Y\) of \(X_n\) and \(\mathcal{OP}^-_{n,r}=\{\alpha\in\mathcal{OP}^-_n:|\operatorname{fix}(\alpha)|=r\}\) for \(1\leq r\leq n\). Also, the authors determine the number of idempotents in \(\mathcal{OP}^-_n\) and the number of nilpotents in \(\mathcal{OP}^-_n\).

MSC:

20M20 Semigroups of transformations, relations, partitions, etc.
Full Text: DOI

References:

[1] Ayık G, Ayık H, Koç M. Combinatorial results for order-preserving and order decreasing transformations. Turkish Journal of Mathematics 2011; 35 (3): 617-625. https://doi.org/10.3906/mat-1010-432 · Zbl 1244.20055 · doi:10.3906/mat-1010-432
[2] Catarino PM, Higgins PM. The Monoid of Orientation-preserving Mappings on a Chain. Semigroup Forum 1999; 58 (2): 190-206. https://doi.org/10.1007/s002339900014 · Zbl 0919.20041 · doi:10.1007/s002339900014
[3] Howie JM. Products of idempotents in certain semigroup of transformations. Proceedings of the Royal Society of Edinburgh Section 1971; 17: 223-236. https://doi.org/10.1017/S0013091500026936 · Zbl 0226.20072 · doi:10.1017/S0013091500026936
[4] Howie JM. Fundamentals of Semigroup Theory. New York, NY, USA: Oxford University Press, 1995. · Zbl 0835.20077
[5] Higgins PM. Combinatorial results for semigroups of order-preserving mappings. Mathematical Proceedings of the Cambridge Philosophical Society 1993; 113 (02): 281-296. https://doi.org/10.1017/S0305004100075964 · Zbl 0781.20036 · doi:10.1017/S0305004100075964
[6] Korkmaz E, Ayık H. Ranks of nilpotent subsemigroups of order-preserving and decreasing transformation semi-groups. Turkish Journal of Mathematics 2021; 45 (11): 1626-1634. https://doi.org/10.3906/mat-2008-19 · Zbl 1496.20111 · doi:10.3906/mat-2008-19
[7] Laradji A, Umar A. On certain finite semigroups of order-decreasing transformations I. Semigroup Forum 2004; 69: 184-200. https://doi.org/10.1007/s00233-004-0101-9 · Zbl 1072.20080 · doi:10.1007/s00233-004-0101-9
[8] Laradji A, Umar A. Combinatorial results for semigroups of order preserving partial transformations. Journal of Algebra 2004; 278 (1): 342-359. https://doi.org/10.1016/j.jalgebra.2003.10.023 · Zbl 1057.20046 · doi:10.1016/j.jalgebra.2003.10.023
[9] Laradji A, Umar A. Combinatorial results for semigroups of order-preserving full transformations. Semigroup Forum 2006; 72: 51-62. https://doi.org/10.1007/s00233-005-0553-6 · Zbl 1098.20049 · doi:10.1007/s00233-005-0553-6
[10] Li DB, Zhang WT, Luo YF. The monoid of all orientation-preserving and extensive full transfor-mations on a finite chain. Journal of Algebra and Its Applications 2022; 21: 2250105 (16 pages). https://doi.org/10.1142/S0219498822501055 · Zbl 1505.20058 · doi:10.1142/S0219498822501055
[11] Li DB, Zhang WT, Luo YF. The monoid of orientation-preserving k-extensive transformations. Semigroup Forum 2022; 104: 376-397. https://doi.org/10.1007/s00233-022-10260-y · Zbl 1510.20053 · doi:10.1007/s00233-022-10260-y
[12] Umar A. On the semigroups of order-decreasing finite full transformations. Proceedings of the Royal Society of Edinburgh 1992; 120 (1-2): 129-142. https://doi.org/10.1017/S0308210500015031 · Zbl 0746.20048 · doi:10.1017/S0308210500015031
[13] Yağcı M, Korkmaz E. On elements of finite semigroups of order-preserving and decreasing transformations. Bulletin of the Malaysian Mathematical Sciences Society 2020; 43: 3863-3870. https://doi.org/10.1007/s40840-020-00899-7 · Zbl 1472.20140 · doi:10.1007/s40840-020-00899-7
[14] Yağcı M, Korkmaz E. On nilpotent subsemigroups of the order-preserving and decreasing transformation semigroups. Semigroup Forum 2020; 101 (2): 486-496. https://doi.org/10.1007/s00233-020-10098-2 · Zbl 1508.20119 · doi:10.1007/s00233-020-10098-2
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.