Yonsson muddati - Jónsson term

Yilda universal algebra ichida matematika, a ko'pchilik muddati, ba'zan a Yonsson muddati, a muddat t to'liq uchtasi bilan erkin o'zgaruvchilar qoniqtiradigan tenglamalar t(x, x, y) = t(x, y, x) = t(y, x, x) = x.[1]

Masalan uchun panjaralar, atama (x ∧ y) ∨ (y ∧ z) ∨ (z ∧ x) - bu Yonsson atamasi.

Yonsson davrining ketma-ketliklari

Umuman, Yonsson shartlari, rasmiy ravishda, a Yonsson atamalarining ketma-ketligi, ba'zi bir o'ziga xos xususiyatlarni qondiradigan uchlik atamalarning ketma-ketligi. Eng qadimgi biri Maltsevning holati, a xilma-xillik Yonsson atamalarining ketma-ketligiga ega bo'lsa, faqat muvofiqlik taqsimoti hisoblanadi. [2]

Ko'pchilik muddat ishi maxsus ish tomonidan berilgan n = 2 Yonsson atamalarining ketma-ketligi. [3]

Yonsson atamalari Islandiyalikning nomi bilan atalgan matematik Bjarni Yonsson.

Adabiyotlar

  1. ^ R. Padmanabhan, Lattices va Boolean Algebralar uchun aksiomalar, World Scientific Publishing Company (2008)
  2. ^ Dastlab B. Jonsonda isbotlangan, Uyg'unlik panjaralari tarqatuvchi algebralar. Matematika. Skand., 21: 110-121, 1967 yil.
  3. ^ Klifford Bergman, Universal Algebra: asoslari va tanlangan mavzular, Teylor va Frensis (2011), p. 124 - 1256