The rank of the inverse semigroup of all partial automorphisms on a finite crown (Q6109723)

The \textit{crown} \(C_n\) is an \(n\)-element set \([n]=\{1, 2, \ldots, n\}\) equipped with a partial order \(\prec\), where the only comparabilities are \(1\prec 2\succ 3\prec 4\succ\dots \prec n\succ 1 \) or \(1\succ 2\prec 3\succ 4\prec \dots\succ n\prec 1\). Let \(IC_n\) be the inverse semigroup of all partial automorphisms of a crown \(C_n\). In this paper, the minimal generating set of \(IC_n\) is determined and it is proved that \(\operatorname{rank}IC_n=4(\lfloor n/4\rfloor+1)\).