Термин Йонссона - Jónsson term
В универсальная алгебра, в математика, а срок большинства, иногда называемый Термин Йонссона, это срок т ровно с тремя свободные переменные что удовлетворяет уравнения т(Икс, Икс, y) = т(Икс, y, Икс) = т(y, Икс, Икс) = Икс.[1]
Например для решетки, период, термин (Икс ∧ y) ∨ (y ∧ z) ∨ (z ∧ Икс) - это термин Йонссона.
Последовательности термина Йонссона
В целом, Условия Йонссона, более формально, последовательность терминов Йонссона, представляет собой последовательность тернарных терминов, удовлетворяющих определенным родственным идентичностям. Один из самых ранних Состояние Мальцева, а разнообразие является конгруэнтно-дистрибутивным тогда и только тогда, когда он имеет последовательность терминов Йонссона. [2]
Случай большинства определяется частным случаем п = 2 последовательности терминов Йонссона. [3]
Термины Йонссона названы в честь исландского математик Бьярни Йонссон.
Рекомендации
- ^ Р. Падманабхан, Аксиомы для решеток и булевых алгебр, World Scientific Publishing Company (2008)
- ^ Первоначально доказано у Б. Йонссона, Алгебры, решетки конгруэнций которых дистрибутивны. Математика. Сканд., 21: 110-121, 1967.
- ^ Клиффорд Бергман, Универсальная алгебра: основы и избранные темы, Тейлор и Фрэнсис (2011), стр. 124–1256