对称逆幺半群的一个子幺半群的表示

给定类型自由代数上的完全不变同余关系诱导出该给定类型的簇。相比之下，自由代数的同余关系给出该类型的代数。该代数由一个所谓的表示给出。在本文中，我们处理类型$(2)$的一类重要代数，即有限集上的变换半群。此处我们特别关注对称逆幺半群$I_n$的一个子幺半群的表示。我们的主要结果是$IOF_n^{par}$的表示，即$n$元集合上所有保序、保栅栏与保奇偶变换的幺半群。