Cтраница 2
Пусть ЗЯ - некоторое однородное многообразие алгебр; тогда супералгебра ЛЛ0ФЛ1 называется УЯ-супералгеброй, если ее грассманова оболочка G ( Л) JQ G0 Л0 G. Если известны тождества, задающие многообразие 5Ш, то можно выписать супертождества, определяющие ЭЗ-супералгебры. [16]
Решетку составляют и все многообразия алгебр Халмоша в заданной схеме. Из приводившихся сейчас замечаний выводится, что и эта решетка дистрибутивна. [17]
В главе П рассматриваются многообразия унарных алгебр. [18]
Отдельно можно рассматривать и многообразия специализированных алгебр Халмоша с равенством. [19]
Важную роль при изучении многообразий алгебр играет исчисление тождеств. [20]
Alg, которую называют многообразием алгебр. [21]
Многообразием мономиальных алгебр мы называем многообразие алгебр, порожденное некоторым множеством мономиальных алгебр. Покажем, что каждое такое многообразие порождается одной конечно определенной алгеброй с графом без параллельных ребер специального вида: каждая стрелка, имеющая общую вершину с циклом, помечена буквой, которая нигде больше не встречается. Далее получим описание унитарно замкнутых многообразий мономиальных алгебр. Это многообразия, порожденные прямыми суммами полупрямых произведений матричных алгебр разного размера. [22]
Локально финитно аппроксимируемые и локально представимые многообразия алгебр / / Алгебра и логика. [23]
Локально финитно аппроксимируемые и локально пред-ставимые многообразия алгебр / Алгебра и логика. [24]
При рассмотрении ( пред) многообразий алгебр предполагалось, что сигнатура всех алгебр фиксирована. Рассмотрим теперь связи между многообразиями алгебр разной сигнатуры. [25]
Наряду с общей проблемой классификации многообразий алгебр Халмоша имеются и разные частные задачи. [26]
В категории УС, являющейся многообразием алгебр, имеются свободные произведения. [27]
Мы видели раньше, что по каждому многообразию алгебр в можно построить алгебраическую теорию Т, для которой категория Alg Т эквивалентна категории в. Рассмотрим сейчас переходы в обратном направлении. [28]
Конгруэнция р определяется как вербальная конгруэнция по многообразию алгебр Халмоша, специализированному в в, т - это синтаксическая конгруэнция, определявшаяся в предыдущем пункте, и т ] определяется при семантическом подходе. [29]
Аналоги данного предложения и теоремы 2.127 переносятся на многообразия неассоциативных алгебр, для которых радикал нильпотентен, простые алгебры с конечным центром конечны, и первичные алгебры вкладываются в прямую сумму простых. [30]