Пусть группа

задана конечным множеством порождающих элементов

и конечным множеством определяющих соотношений

, т.е. задано конечное копредставление

. Меня интересует вопрос, как можно по копредставлению

проверить конечность группы

. Можно ли это сделать алгоритмически? Если нет, то существуют ли какие-нибудь алгоритмически проверяемые достаточные условия того, что группа

конечна (бесконечна).
Интересует литература или статьи на этот счёт.
Аналогичный вопрос интересует и про полугруппы.