- ВЕРБАЛЬНАЯ КОНГРУЭНЦИЯ
- пересечение всех конгруэнции
алгебры
, факторалгебры
по к-рым принадлежат иек-рому фиксированному многообразию
-алгебр. Конгруэнция
произвольной ал-гебрапч. системы
наз. вербальной, если существует многообразие
-систем, для к-рого каноническое отображение
является
-мор-физмом. В. к. является вполне характеристической конгруэнцией. Если
- свободная
-система в нек-ром многообразии
, то п, обратно, всякая вполне характеристическая конгруэнция
в
является В. к. относительно многообразия
, порожденного фактор-системой
.
Лит.:[1] Мальцев А. И., Алгебраические системы, М., 1970. Д. М. Смирнов.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.