Relationships among quasivarieties induced by the min networks on inverse semigroups

Ying-Ying Feng, Li-Min Wang, Zhi-Yong Zhou

A congruence on an inverse semigroup $S$ is determined uniquely by its kernel and trace. Denoting by ${\rho }_k$ and ${\rho }_t$ the least congruence on $S$ having the same kernel and the same…