半群H_((n,m))(r)的秩

设n,m∈■_+,S_n和T_n分别是X_n={1, 2,…,n}上的对称群和全变换半群.对于1≤m≤n-1,记X_m={1, 2,…,m}.令■则G_((n,m)),H_((n,m))和T_((n,m))都是全变换半群T_n的子半群,且G_((n,m))?H_((n,m))?T_((n,m)).对于r∈■_+且2≤mr≤n-1,研究半群H~*_((n,m))(r)={α∈H_((n,m)):|im(α)|≤r}∪G_((n,m))的生成集.通过分析半群H_((n,m))的二元关系,考虑到半群H~*_((n,m))(r)为半群H_((n,m))的理想H_((n,m))(r)={α∈H_((n,m)):|im(α)|≤r}和子半群G_((n,m))的并集,发现H_((n,m))(r)可由其顶端J~◇_r生成.基于半群G_((n,m))为对称群的性质对J~◇_r进行等价类划分,并应用整数拆分的性质研究J~◇_r中的等价类数,从而找到H~*_((n,m))(r)的最小生成集,证明了半群H~*_((n,m))(r)(2≤mr≤n-1)的秩为p_((r-m))(n-m)+2.