Cтраница 4
Кроме обычного задания квазитождествами, одна из естественных ситуаций появления квазимногообразий полугрупп описывается следующей полугрупповой версией общеалгебраического факта ( см. [26], с. ЛС - квазимногообразие универсальных алгебр, среди операций которых есть полугрупповая, то класс всех полугрупп, вло-жимых в алгебры из Ж, рассматриваемые только относительно операции, будет квазимногообразием. [46]
В частности, среди аксиоматизируемых классов систем полной теорией определяющих соотношений обладают квазимногообразия и только они. Каждая частичная алгебра сигнатуры Q может быть рассматриваема как й - модель, и многообразия частичных алгебр этим путем обращаются в квазимногообразия соответствующих систем. Тем самым теория определяющих соотношений для частичных алгебр становится частным случаем теории определяющих соотношений в квазимногообразиях алгебраических систем. [47]
Все общностные, мультипликативно замкнутые классы, содержащие единичную систему, являются квазимногообразиями ( ср. [48]
Непосредственно проверяется, что если в - квазимногообразие автоматов, то VQ - квазимногообразие, насыщенное по входам, а Ув - насыщенное по выходам. [49]