ff3583948b1004e1.tex
1: \begin{abstract}
2: For $n \in \N$, let $[n] = \{1, 2, \ldots, n\}$ be an $n$ - element set.
3: As usual, we denote by $I_n$ the symmetric inverse semigroup on $[n]$, i.e. the partial one-to-one transformation
4: semigroup on $[n]$ under composition of mappings. The crown (cycle) $\C_n$ is an $n$-ordered set with the partial order $\prec$ on $[n]$, where the only comparabilities are
5: $$1 \prec 2 \succ 3 \prec 4 \succ \cdots \prec n \succ 1 ~~\mbox{ or }~~ 1 \succ 2 \prec 3 \succ 4 \prec \cdots \succ n \prec 1.$$
6: We say that a transformation $\alpha \in I_n$ is order-preserving if $x \prec y$ implies that $x\alpha \prec y\alpha$, for all $x, y $ from the domain of $\alpha$.
7: In this paper, we study the inverse semigroup $IC_n$ of all partial automorphisms on a finite crown $\C_n$. We consider the elements, determine a generating set of minimal size and calculate the rank of $IC_n$.
8: \end{abstract}
9: