Abstract
We prove that every finite idempotent semigroup (band) is finitely related, which means that the clone of its term operations (i.e. operations induced by words) is determined by finitely many relations. This solves an open problem posed by Peter Mayr in 2013.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have