In this paper we prove two main results. The first is a necessary and sufficient condition for a semidirect product of a semilattice by a group to be finitely generated. The second result is a necessary and sufficient condition for such a semidirect product to be finitely presented.
- semidirect products
- inverse semigroups
- generators and presentation
Dombi, E., & Ruskuc, N. (2009). On generators and presentation of semidirect products in inverse semigroups. Bulletin of the Australian Mathematical Society, 79(3), 353-365. https://doi.org/10.1017/S0004972708000890