DECISION AND SEPARABILITY PROBLEMS FOR BAUMSLAG–SOLITAR SEMIGROUPS
2002 ◽
Vol 12
(01n02)
◽
pp. 33-49
◽
Keyword(s):
We show that the semigroups Sk,ℓ having semigroup presentations <a, b:abk = bℓ a> are residually finite and finitely separable. Generally, these semigroups have finite separating images which are finite groups and other finite separating images which are semigroups of order-increasing transformations on a finite partially ordered set. These semigroups thus have vastly different residual and separability properties than the Baumslag–Solitar groups which contain them.
1975 ◽
Vol 27
(3)
◽
pp. 636-665
◽
2007 ◽
Vol 06
(04)
◽
pp. 553-586
◽
2000 ◽
Vol 68
(2)
◽
pp. 252-260
◽
Keyword(s):
2011 ◽
Vol 85
(1)
◽
pp. 68-78