逆半群上同余网络的一种新方法

本文丰富了从泛关系出发并依次施加算子 lower $k$ 与 lower $t$ 所得到的同余序列已知性质列表。研究了两类逆半群，即 $\ker{\alpha_n}$-is-Clifford 半群与 $\beta_n$-is-over-$E$-unitary 半群。发现两个同余 $\alpha_{n+2}$ 与 $\beta_{n+2}$ 分别是 $S$ 上最小的 $\ker{\alpha_n}$-is-Clifford 同余与最小的 $\beta_n$-is-over-$E$-unitary 同余。针对由 min 网络所诱导的逆半群拟簇，建立了一个新的蕴涵系统。