Аннотация:
Указывается (и описывается системами квазитождеств) класс многообразий
универсальных алгебр, в которых положительно разрешимы алгоритмические
проблемы тождества слов, изоморфизма и вхождения, а также имеют место теоремы о свободных алгебрах и свободных произведениях алгебр, аналогичные теоремам Нильсена–Шрейера, Куроша и некоторым следствиям теоремы Грушко из теории групп.
Библиография: 17 названий.