Bulletin of the
Korean Mathematical Society
BKMS

ISSN(Print) 1015-8634 ISSN(Online) 2234-3016

Article

HOME ALL ARTICLES View

Bull. Korean Math. Soc. 2014; 51(4): 1055-1062

Printed July 1, 2014

https://doi.org/10.4134/BKMS.2014.51.4.1055

Copyright © The Korean Mathematical Society.

Generating sets of strictly order-preserving transformation semigroups on a finite set

Hayrullah Ayik and Leyla Bugay

\c{C}ukurova University, \c{C}ukurova University

Abstract

Let $O_{n}$ and $PO_{n}$ denote the order-preserving transformation and the partial order-preserving transformation semigroups on the set $X_{n}=\{1,\ldots ,n\}$, respectively. Then the strictly partial order-preserving transformation semigroup $SPO_{n}$ on the set $X_{n}$, under its natural order, is defined by $SPO_{n} = PO_{n} \setminus O_{n}$. In this paper we find necessary and sufficient conditions for any subset of $SPO(n,r)$ to be a (minimal) generating set of $SPO(n,r)$ for $2\leq r\leq n-1$.

Keywords: (partial/strictly partial) order-preserving transformation semigroup, idempotents, (minimal) generating set, rank

MSC numbers: 20M20