Существенно бесконечно базируемые конечные полугруппы

Локально конечное многообразие называется существенно бесконечно базируемым, если оно не cодержится ни в каком конечно базируемом локально конечном многообразии. Конечная универсальная алгебра называется существенно бесконечно базируемой, если она порождает существенно бесконечно базируемое многообразие. В статье дано описание существенно бесконечно базируемых конечных полугрупп, доказано, что множество таких полугрупп рекурсивно, и что существенно бесконечная базируемость конечной полугруппы во многом определяется строением ее подгрупп. В статье показано также, что существует единственное минимальное существенно бесконечно базируемое многообразие полугрупп, состоящее не только из групп. Не известно, существует ли групповое существенно бесконечно базируемое многообразие.
Библиография: 18 названий.