Аннотация:
Найден алгоритм, проверяющий по любой коночной системе полугрупповых тождеств, будет ли порядок каждой конечной полугруппы, удовлетворяющей этой системе тождеств, ограничен функцией (рекурсивной функцией) от числа порождающих.
Образец цитирования:
М. В. Сапир, “Ослабленная проблема Бернсайда для многообразий полугрупп”, Изв. АН СССР. Сер. матем., 55:3 (1991), 670–679; Math. USSR-Izv., 38:3 (1992), 659–667