Частное (универсальная алгебра)
- Конгруэнтность в алгебре определяет отношение эквивалентности между элементами.
- Фактор-алгебра алгебры по модулю E называется фактор-алгеброй.
- Гомоморфизм определяет две изоморфные алгебры, изображение h(A) и A/ker h.
- Конгруэнтная решетка алгебры содержит множество соответствий и операции пересечения и объединения.
- Конгруэнтно-перестановочные многообразия характеризуются условием Мальцева, которое связано с троичным членом q (x, y, z).
- Каждая конгруэнтно-перестановочная алгебра является конгруэнтно-модулярной.
- Условия Мальцева находят применение в других видах свойств многообразий и приводят к созданию алгоритма Пиксли-Уилла для генерации условий Мальцева.
Полный текст статьи: