Математика Этерна

Математика Этерна
Открытый доступ

ISSN: 1314-3344

Абстрактный

BG/BF1/B/BM-алгебры являются конгруэнтно перестановочными

Анджей Валендзяк

Мы показываем, что каждая пара конгруэнций на BG-алгебре (также на BF1/B/BM-алгебре) перестановочна. Этот результат означает, что если A является BG/BF1/B/BM-алгеброй, то решетка всех конгруэнций на A модулярна. Более того, доказано, что BF-алгебры и BCK-алгебры (а также BCI/BCH/BH-алгебры) в общем случае не являются конгруэнтно перестановочными.

Отказ от ответственности: Этот тезис был переведен с использованием инструментов искусственного интеллекта и еще не прошел рецензирование или проверку.
Top