关于 $\mathcal{D}^\bullet$ 为最小分配格同余的幂等半环

在此，我们一般性地描述了幂等半环上的最小分配格同余 $\eta$，并刻画了所有满足 $\eta=\mathcal{D}^\bullet$、$\mathcal{L}^\bullet$ 和 $\mathcal{R}^\bullet$ 的幂等半环簇 $D^\bullet, L^\bullet$ 和 $R^\bullet$。如果 $S \in D^\bullet [L^\bullet, R^\bullet]$，则其乘法约化 $(S, \cdot)$ 是 [左，右] 正规带。每个半环 $S \in D^\bullet$ 都是 $L^\bullet$ 中的一个半环与 $R^\bullet$ 中的一个半环关于某个分配格的脊积。