关于OI_n和DOI_n的理想的生成集及其秩

设Xn={1,2,3,…,n}(n≥3)并赋予自然序,OIn为Xn上的一切保序严格部分一一变换半群,DOIn为Xn上的一切保序或保反序严格部分一一变换半群.分别记OIn,DOIn的理想为K(n,r)=α∈OIn:|imα|≤{r},KD(n,r)={α∈D OIn:|imα|≤r}.刻划了K(n,r)=<I>或KD(n,r)=<I>当且仅当与I相伴的有向图Γ(I)是强连通的.同时证明了rank(K(n,r))=Crn和rank(KD(n,r))=Crn,其中0≤r≤n-1.

关于K_D(n,r)的极大逆子半群

设Xn={1,2,3,…,n}(n≥3)并赋予自然序,DOIn为Xn上的一切保序或保反序严格部分一一变换半群.设2≤r≤n-1,刻划了DOIn的理想KD(n,r)={α∈DOIn:|imα|≤r}(n≥3)的极大逆子半群的结构.