$J$-平凡幺半群的极限簇

我们证明 Gusev、Zhang 和 Luo 最近发现的幺半群极限簇及其子簇由形如 $M_\tau(W)$ 的幺半群生成，其中 $\tau$ 是自由幺半群上的某些同余。$M_\tau(W)$ 构造是广泛使用的 Dilworth-Perkins 构造的推广。利用该构造，我们找到了 Gusev 极限簇的显式生成元，并简短重证了 Zhang-Luo 极限簇非有限基的事实。