逆半群上min网络诱导的拟簇之间的关系
Relationships among quasivarieties induced by the min networks on inverse semigroups
摘要：
逆半群$S$上的同余由它的核和迹唯一确定。分别用$ρ_k$和$ρ_t$表示$S$上与$ρ$具有相同核和相同迹的最小同余，用$ω$表示$S$上的泛同余，我们考虑序列$ω$，$ω_k$，$ω_t$，$(ω_k)_t$，$(ω_t)_k$，$((ω_k)_t)_k$，$((ω_t)_k)_t$，$\cdots$ .当$S$在所有逆半群上运行时，等价元$\{S/ω_k\}$、$\{S/ω_t\}$、$\{S/(ω_k)_t\}$、$\{S/(ω_t)_k\}$、$\{S/((ω_k)_t)_k\}$、$\{S/((ω_t)_k)_t\}$、$\cdots$形成拟簇。本文探讨了这些准簇之间的关系。
英文摘要：
A congruence on an inverse semigroup $S$ is determined uniquely by its kernel and trace. Denoting by $ρ_k$ and $ρ_t$ the least congruence on $S$ having the same kernel and the same trace as $ρ$, respectively, and denoting by $ω$ the universal congruence on $S$, we consider the sequence $ω$, $ω_k$, $ω_t$, $(ω_k)_t$, $(ω_t)_k$, $((ω_k)_t)_k$, $((ω_t)_k)_t$, $\cdots$. The quotients $\{S/ω_k\}$, $\{S/ω_t\}$, $\{S/(ω_k)_t\}$, $\{S/(ω_t)_k\}$, $\{S/((ω_k)_t)_k\}$, $\{S/((ω_t)_k)_t\}$, $\cdots$, as $S$ runs over all inverse semigroups, form quasivarieties. This article explores the relationships among these quasivarieties.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
